3주차 순환군

정의. 가 군이라 하고 a∊G이라 하자. 그러면 의 부분군 { ∣ ∊ ℤ}는 a에 의해서

 

생성된 의 순환 부분군(cyclic subgroup)이라 부르고 〈〉로 적는다.

정의. 만약 〈〉 이면 군 의 원소 a가 를 생성한다고 하고 a를 의 생성원

(generator)이라 한다. 만약 를 생성하는 의 원소 a가 존재하면 를 순환군
(cyclic group)이라고 한다.

예제. 위에서 소개한 네 개의 원소를 가지는 군   mod 와 (      ,·)

를 비교해보자.
ℤ 는 순환군이고 1과 3은 생성원들이다. 즉


〈〉 〈〉 

이다. 그러나 V는 순환군이 아니다. 왜냐하면 〈〉 〈〉와 〈〉는 두 원소를 갖는

진부분군이기 때문이다. 물론 〈〉는 한 원소를 갖는 자명 부분군이다.

예제. 덧셈 아래서 군 ℤ는 순환군이다. 1과   둘 다 이 군의 생성원이고 생성원은 그들

밖 에 없다. 또한  ∈ 에 대하여 을 법으로 하는 군 ℤ 가 덧셈 아래서 순환군



이다.    이면 1과   둘 다 생성원 들이지만 다른 원소도 가능하다.

정의. 가 군이고 ∈ 이면     ∈



는 의 부분군이다. 이 군이 a에 의해서 생성되는 의 순환 부분군(cyclic

subgroup 〈a〉 of generated by a)이다. 또한 주어진 군 와 원소 a∊ 에 대
하여
    ∈
이면 a는 의 생성원(generator of )이며 군   〈〉는 순환적(cyclic)이다. 새로
운 용어를 하나 소개한다.
정의 a를 군 의 원소라 하자. 만약 의 순환 부분군 〈a〉가 유한이면 원소 a의 위수
(order)는 이 순환 부분군의 원소의 갯수(즉 순환 부분군의 위수) 〈〉이다.
 그렇지 않은 경우는 a는 무한위수를 갖는다고 한다.

note) 군 의 위수는 의 원소의 개수 이다.

문제. 다음 명제들이 참 혹은 거짓임을 결정하고 그 이유를 적으시오.

(1) 모든 ∈ 에 대하여    이면  는 가환군이다.
(2) 원소를 20개 갖는 군은 위수 5인 원소를 포함한다.
(3) 군  의 모든 원소의 위수가 유한이면 유한군이다.

순환군의 기본성질

정리. 모든 순환군은 가환이다.

증명)  를 순환군이라 하고 a를 의 생성원이라 하면

  〈〉    ∈

이다. 만약   가 G의 임의의 두 원소이면

   =  이고

 =  만족하는 정수 r와


s가 존재한다. 그러면
  =  
      
     

이다. 따라서 는 가환이다.

정리. 순환군의 부분군은 순환적이다.

증명) 를 a에 의해 생성되는 순환군 이라 하고 H를 의 부분군이라 하자.

만약 H = {e} 이면 H =〈e〉는 순환적이다.
H ≠ {e}이면 적당한 n∊ ℤ 에 대하여  ∊H이다. m 을     가 H인 최소의 양
   

정수라고 하자. 그러면, c =  가 H를 생성함을 보이자. 즉



  〈〉  〈〉
임을 보이자. 다시말하면, 모든 b∊H는 c의 멱임을 보여야 한다.
 ∈  이고  ≤  이므로 적당한 정수 에 대하여    이다. 그러면, 두 정수 
 에 대하여 나눗셈 알고리즘에 의해서
 
n = mq + r 단 0 ≤ r < m
을 만족하는 정수 q와 r이 존재한다. 그러면
      
이며,
    

이다. 이때  ∊   ∊  이고 H가 군이므로    와  둘 모두 H의 원소이다.

따라서
즉  ∊
   ∊  

이다. m은  ∊H인 가장 작은 양 정수이고 0 ≤ r < m이므로 r = 0을 얻는다.



그러므로,    이고
     
이며,
      
가 되고 그래서 는 의 멱이다.

따름정리. 덧셈 아래서 군ℤ의 부분군은 n∊ℤ에 대하여 덧셈 아래서 군 nℤ뿐이다.

정리. 가 a를 생성원 으로 갖는 순환군 이라 하자.


만약 의 위수가 무한이라면 G는 〈ℤ, +〉에 동형이다.
만약 가 유한위수  를 가지면 G는  ℤ  mod 에 동형이다. 

문제. 다음 명제들이 참 혹은 거짓임을 결정하고 그 이유를 적으시오.

(1)  의 생성원의 수는   이다. 여기서  는 오일러 파이 함수이다.


(2) 모든 순환군은  또는  과 동형이다. 

(3) 가  의 부분군이면
 ≠    는 순환군이며  에 속하는 가장 큰 양의 정수에
의해 생성된다.
(4) 가 순환군이고           이면
    는  에서 정확히  개의 근을
가진다.
(5)  은 위수 5인 부분군을 1개 가진다.


(6) 위수가  인 순환군은  의 각 양의 약수  에 대하여 위수  인 부분군을 단 하나

가진다.
(7)  의 각 양의 약수  에 대하여  를 원소를  개 갖는  의 부분군이라 하면 
는  와 동형이다.

(8)  의 생성원의 수는  이다. 여기서  는 오일러 파이 함수이다.



(9)     이다.



문제 군 G 의 원소 a , b 가 다음 두 조건을 만족하고 있다.

a 3 = e, aba - 1 = b 2 ( e 는 G 의 항등원)
b 가 항등원이 아닐 때, b 의 위수(order)를 구하시오. (1996.12.14)
문제. 다음 명제들이 참 혹은 거짓임을 결정하고 그 이유를 적으시오.
(1) 위수가 8인 가환군은 3개 존재한다. 단, 동형인 것은 같은 것으로 간주한다.
(2)  가 비 가환이면 위수는 4인 원소가 존재한다.
(3)        이면    는  의 정규부분군이고      ≅ 이다.

(4)  ∉   이면    또는    이다.
(5)    이고 위수가 8인 비 가환군은 두 개 존재한다