수학/현대대수학

[현대대수학] 2. 이항연산

riroan 2021. 12. 13. 21:38

이항연산(binary operation)

어떤 집합 $S$에서 이항연산 $*$가 $S \times S \rightarrow S$인 사상이다.

순서쌍 $(a,b)\in S \times S$에 대해 $S$의 원소 $*((a,b))=a*b$로 나타낸다.

 

이를 우리가 평소 하던 실수 덧셈에 대입해 보자면

$S = \mathbb{R}, *=+$

가 된다.

 

이항연산에서 핵심은 순서쌍의 집합과 연산 결과의 집합이 같아야 한다는 것이다.

이를테면 다음은 이항연산이 아니다.

$S = \mathbb{Z^+}, *=-$

$a=1, b=3$을 선택할 경우 $a-b=-2$가 되어 $\mathbb{Z^+}$에 포함되지 않기 때문이다.

 

유도된 연산(induced operation)

$*$가 $S$위에서 이항연산이고 $H \subset S$일 때 모든 $a,b \in H$에 대해 $a*b \in H$인 경우 $H$는 $*$에 관하여 닫혀 있다라고 한다. 

이 경우 $*$를 $H$위에서 유도된 연산 이라고 한다.

 

쉽게 말해 부분집합안에서 같은 연산을 수행했을 때 결과가 해당 부분집합 안에 있으면 되는것같다.

예를들어 $\mathbb{R^{*}} \subset \mathbb{R}$에서 $+,-$는 유도된 연산이 아니다.

$2+(-2)=0, 3-3=0$인데 $0\notin \mathbb{R^{*}}$이기 때문이다.

그런데 $*,/$은 결과로 $0$이 나오지 않기 때문에 유도된 연산이 된다.

 

가환(commutative)

집합 $S$위에서 이항연산 $*$가 있을 때 모든 $a,b\in S$에 대해 $a*b=b*a$이면 가환이다.

 

결합적(associative)

집합 $S$위에서 이항연산 $*$가 있을 때 모든 $a,b,c\in S$에 대해 $(a*b)*c=a*(b*c)$이면 결합적이다.

 

고등학교때 배운 교환법칙, 결합법칙과 큰 차이가 없어보인다.

$\mathbb{R}$에서 $+,\times$는 가환이고 결합적이지만 $-,/$는 가환도 아니고 결합적이지도 않다.

'수학 > 현대대수학' 카테고리의 다른 글

[현대대수학] 5. 부분군  (0) 2021.12.14
[현대대수학] 4. 군  (0) 2021.12.14
[현대대수학] 3. 동형 이항구조  (0) 2021.12.14
[현대대수학] 1. 소개와 예  (0) 2021.12.13
[현대대수학] 0. 입문  (0) 2021.12.13