본문 바로가기
수학

이항연산과 군의 정의, 군의 기본성질 알아보기

by 여행과 수학 2023. 1. 15.
반응형

이항연산이란 무엇인가?

집합 GG상에서 이항연산은 GG의 임의의 두 원소로 이루어진 순서쌍 (a,b)(a,b)에 대해 GG의 원소를 하나씩 대응시키는 연산이다.  (a,b)(a,b)에 대응되는 GG의 원소를 abab라 하자.

이때 GG상의 이항연산

 

:G×GG:G×GG,    (a,b)abG(a,b)abG 

 

이때 G×GG×G는 모든 순서쌍 (a,b)(a,b)의 집합, 즉, G×G={(a,b)|aG,bG}G×G={(a,b)|aG,bG} 이다.

 

군(gruop)의 정의

연산 가 가진 공집합이 아닌 GG가 다음 성질 (1)~(3)을 만족시킬 때, GG에 대한 군(group)이라 한다.

 

(1) 모든 a,b,cGa,b,cG에서 (ab)c=a(bc)(ab)c=a(bc) 이다.

(2) 모든 aGaG에 대해 ea=ae=aea=ae=a를 만족시키는 eGeG가 존재한다.

(3) 임의의 aGaG에 대해 aa=aa=e를 만족시키는 aG가 존재한다.

 

(1)은 결합법칙, (2)에서 원소 eG의 항등원, (3) 에서 aa의 역원이라 한다.

 

덧셈연산(+) 인 경우 a의 항등원은 0, a의 역원은 a라 한다.

곱셈연산() 인 경우 a의 항등원은 1, a의 역원은 a1라 한다.

 

가환군의 정의

G가 아래 교환법칙 (4) 을 만족시킬 때, G를 가환군이라 한다.

 

(4) 모든 a,bG에 대해 ab=ba 이다.

 

가환군이 아닌 군은 비가환군이라 한다.

 

군의 기본성질

G의 이항연산을 라 하면

(1) 항등원은 유일하다.

(2) 임의의 aG에서 그 역원은 유일하다.

(3) 임의의 a,bG에 대해 (a)=a, (ab)=ba 이다.

(4) ab=ac이면 b=c이다.

(5) ac=bc이면 a=b이다.

 

증명하기

(1) e1,e2G가 항등원이면, e1=e1e2=e2 이므로 e1=e2 이다. 따라서 항등원은 유일하다.

 

(2) a1,a2Ga의 역원이면, a1=a1e=a1(aa2)=(a1a)a2=ea2=a2 이므로 a1=a2 이다. 따라서 역원은 유일하다.

 

(3) aa=aa=e 로부터 a의 역원 (a)a이다. 또한,

(ba)(ab)=b(a(ab))=b((aa)b)=b(eb)=bb=3 이다.

같은 방법으로 (ab)(ba)=e 이므로 (ab)의 역원은 ba이다.

 

(4) ab=ac의 좌변에서 a연산하면, a(ab)=a(ac)이다. 결합법칙을 적용하면 b=c이다.

 

(5) ac=bc의 우변에서 c연산하면, (ac)c=(bc)c 이다. 결합법칙을 적용하면 a=b이다.

728x90