임의의 연산(o)를 a에 대해 n번 반복해서 수행함
<a>
로 표기a^0 = e
임 군 G = <Z6, +>로부터 네 개의 순환 부분군들이 생성될 수 있다. 그것은 H0 = <{0}, +>, H1 = G, H2 = <{0,2,4}, +>, H3 = <{0,3}, +>이다. 모든 군에 대해서 정의된 연산은 모듈러 6의 덧셈이다.
H0: 원소 0 ∈ Z6을 이용해 생성되는 순환 부분군
H1: 원소 1 ∈ Z6을 이용해 생성되는 순환 부분군
H2: 원소 2 ∈ Z6을 이용해 생성되는 순환 부분군
H3: 원소 3 ∈ Z6을 이용해 생성되는 순환 부분군
H4: 원소 4
Z6을 이용해 생성되는 순환 부분군
H5: 원소 5 ∈ Z6을 이용해 생성되는 순환 부분군
원소의 집합은 {0, 1, 2, 3, 4, 5}며 이는 G의 원소 집합 Z6와 동일
따라서 원소 5를 이용해 생성되는 순환 부분군 H5는 H1과 동일한 군으로 새로운 부분군이 아님
군 G = <Z'10, x>로부터 세 개의 순환 부분군들이 생성될 수 있다. 그것은 H1 = <{1}, x>, H9 = <{1,9}, x>, H3 = G이다. 이때, 모든 군에 대해서 정의된 연산은 모듈러 10의 곱셈이다.
a^n 연산의 의미
Z'10은 어떤 집합인가?
H1: 원소 1 ∈ Z10을 이용해 생성되는 순환 부분군 H1
H3: 원소 3 ∈ Z10을 이용해 생성되는 순환 부분군 H3
H7: 원소 7 ∈ Z10을 이용해 생성되는 순환 부분군 H7
H9: 원소 9 ∈ Z10을 이용해 생성되는 순환 부분군 H9
cf) 군의 위수: 집합의 크기 (집합 안의 원소의 개수)
- 의미: 원소 a를 n번 더한 후 6으로 나누었을 때 나머지 값이 항등원 e(=0)으로 다시 되돌아오는 데 필요한 n 값 중 최솟값
- 원소 a가 생성하는 순환 군의 위수와 같음
- 의미: 원소 a를 n번 곱한 후 10으로 나누었을 때 나머지 값이 항등원 e(=1)로 다시 되돌아오는 데 필요한 n 값 중 최솟값
- 원소 a가 생성하는 순환 군의 위수와 같음
첫 번째 연산(Operation1, o): 가환 군(아벨 군)에 대해 요구되는 다섯 가지 성질 (닫힘, 결합 법칙, 항등원 존재, 역원 존재, 교환 법칙)을 모두 만족해야 함
두 번째 연산(Operation2, ㅁ): 군(Group)에 요구되는 닫힘 성질과 결합 법칙을 만족하고, 첫 번째 연산과 함께 수행될 때 분배 법칙을 만족해야 함
a ㅁ (b o c) = (a ㅁ b) o (a ㅁ c)
가환 환: 두 번째 연산에 대해 교환 법칙을 추가로 만족하는 환
첫 번째 연산: +(-)
두 번째 연산: x
-> 나눗셈은 닫힘 성질을 만족하지 않기 때문에 불가능함
환을 이루는 공간에서 덧셈(뺄셈)/곱셈 모두 수행 가능
cf) 군 (Group)은 하나의 군에서 하나의 연산만 수행 가능