이항연산이란 무엇인가?
집합 GG상에서 이항연산은 GG의 임의의 두 원소로 이루어진 순서쌍 (a,b)(a,b)에 대해 GG의 원소를 하나씩 대응시키는 연산이다. (a,b)(a,b)에 대응되는 GG의 원소를 a∗ba∗b라 하자.
이때 GG상의 이항연산 ∗∗ 는
∗:G×G→G∗:G×G→G, (a,b)→a∗b∈G(a,b)→a∗b∈G
이때 G×GG×G는 모든 순서쌍 (a,b)(a,b)의 집합, 즉, G×G={(a,b)|a∈G,b∈G}G×G={(a,b)|a∈G,b∈G} 이다.
군(gruop)의 정의
연산 ∗∗가 가진 공집합이 아닌 GG가 다음 성질 (1)~(3)을 만족시킬 때, GG를 ∗∗에 대한 군(group)이라 한다.
(1) 모든 a,b,c∈Ga,b,c∈G에서 (a∗b)∗c=a∗(b∗c)(a∗b)∗c=a∗(b∗c) 이다.
(2) 모든 a∈Ga∈G에 대해 e∗a=a∗e=ae∗a=a∗e=a를 만족시키는 e∈Ge∈G가 존재한다.
(3) 임의의 a∈Ga∈G에 대해 a∗a′=a′∗a=e를 만족시키는 a′∈G가 존재한다.
(1)은 결합법칙, (2)에서 원소 e를 G의 항등원, (3) 에서 a′을 a의 역원이라 한다.
덧셈연산(+) 인 경우 a의 항등원은 0, a의 역원은 −a라 한다.
곱셈연산(⋅) 인 경우 a의 항등원은 1, a의 역원은 a−1라 한다.
가환군의 정의
군 G가 아래 교환법칙 (4) 을 만족시킬 때, G를 가환군이라 한다.
(4) 모든 a,b∈G에 대해 a∗b=b∗a 이다.
가환군이 아닌 군은 비가환군이라 한다.
군의 기본성질
군 G의 이항연산을 ∗라 하면
(1) 항등원은 유일하다.
(2) 임의의 a∈G에서 그 역원은 유일하다.
(3) 임의의 a,b∈G에 대해 (a′)′=a, (a∗b)′=b′∗a′ 이다.
(4) a∗b=a∗c이면 b=c이다.
(5) a∗c=b∗c이면 a=b이다.
증명하기
(1) e1,e2∈G가 항등원이면, e1=e1∗e2=e2 이므로 e1=e2 이다. 따라서 항등원은 유일하다.
(2) a1,a2∈G가 a의 역원이면, a1=a1∗e=a1∗(a∗a2)=(a1∗a)∗a2=e∗a2=a2 이므로 a1=a2 이다. 따라서 역원은 유일하다.
(3) a∗a′=a′∗a=e 로부터 a′의 역원 (a′)′ 은 a이다. 또한,
(b′∗a′)∗(a∗b)=b′∗(a′∗(a∗b))=b′∗((a′∗a)∗b)=b′∗(e∗b)=b′∗b=3 이다.
같은 방법으로 (a∗b)∗(b′∗a′)=e 이므로 (a∗b)의 역원은 b′∗a′이다.
(4) a∗b=a∗c의 좌변에서 a′를 ∗연산하면, a′∗(a∗b)=a′∗(a∗c)이다. 결합법칙을 적용하면 b=c이다.
(5) a∗c=b∗c의 우변에서 c′을 ∗연산하면, (a∗c)∗c′=(b∗c)∗c′ 이다. 결합법칙을 적용하면 a=b이다.
'수학' 카테고리의 다른 글
극한의 사칙연산과 부정형 극한값을 구하는 방법 (0) | 2023.01.17 |
---|---|
소수 사이의 간격을 알 수 있는 소수정리 (0) | 2023.01.16 |
중국인의 나머지정리 증명하기 (0) | 2023.01.14 |
일차방정식의 정수해 알아보기 (0) | 2023.01.13 |
유클리드 호제법 알아보기 (0) | 2023.01.12 |
댓글