부분군

군을 이루는 부분 집합

군론에서, 부분군(部分群, 영어: subgroup)은 스스로 을 이루는, 주어진 군의 부분 집합이다. 즉, 군의 부분 집합이 부분군이 되려면, 항등원을 원소로 하며, 임의의 원소들의 곱을 원소로 하며, 임의의 원소의 역원을 원소로 하여야 한다. 부분군은 보편대수학에서의 부분 대수 구조의 특수한 경우이다. 모든 부분군은 부분 모노이드이지만, 군의 부분 모노이드는 부분군이 아닐 수 있다.

정의

편집

부분군대수 구조 다양체에서의 부분 대수 구조이다. 구체적으로,  부분군은 다음 세 조건을 만족시키는 부분 집합  이다.

  •  . 즉, 항등원 에 속한다.
  • 임의의  에 대하여,  . 즉,  의 두 원소의 곱은  에 속한다.
  • 임의의  에 대하여,  . 즉,  의 원소의 역원 에 속한다.

항등원을 유일한 원소로 하는 부분 집합   의 부분군을 이룬다. 이를  자명 부분군(自明~, 영어: trivial ~)이라고 한다. 군 전체   의 부분군이다.  가 아닌  의 부분군을  진부분군(眞~, 영어: proper ~)이라고 한다.

만약   의 부분군이라면, 흔히

 

라고 쓴다. 만약   의 부분군이며,  라면, 흔히

 

라고 쓴다.

부분군   의 연산을 물려받아 스스로 군을 이룬다.  의 이항 연산을  라고 하였을 때, 이를   위로 제한한 이항 연산

 

을 정의할 수 있다. (일반적인 부분 집합의 경우, 공역 로 제한하지 못할 수 있다.) 또한,  와 이 이항 연산은 군의 공리를 만족시킨다.   위의 결합 법칙  위의 결합 법칙의 특수한 경우이다.  항등원 에 속하며, 이는  의 항등원을 이룬다. 임의의  에 대하여,   에서의 역원 에 속하며, 이는   에서의 역원이다.

성질

편집

필요충분조건

편집

 부분 집합  에 대하여, 다음 세 조건이 서로 동치이다.

  •  
  •  이며, 임의의  에 대하여  이며, 임의의  에 대하여  이다.
  •  이며, 임의의  에 대하여  이다.

유한군의 (공집합이 아닌) 부분 집합의 경우, 연산에 대하여 닫혀 있는 것으로 부분군이 되기에 충분하다. 구체적으로,  유한 부분 집합  에 대하여, 다음 두 조건이 서로 동치이다.

  •  
  •  이며, 임의의  에 대하여  이다.

증명:

첫째 조건은 자명하게 둘째 조건을 함의한다. 이제, 둘째 조건을 가정하고,   의 부분군임을 보이자. 임의의  의 역원이  에 속함을 보이면 충분하다. 만약  이라면,  이다. 이제,  이라고 하자. 가정에 따라,

 

 의 부분 집합이다.  유한 집합이므로,   역시 유한 집합이다. 즉,  인 양의 정수  가 존재한다. 편의상  라고 하자. 양변에  를 곱하면  을 얻는다. 즉,  이다.  이므로,  이며,  은 양의 정수이다. 즉,   의 양의 정수 번 거듭제곱이다. 가정에 따라,  이다.

합집합과 교집합

편집

주어진 군의 임의의 수의 부분군들의 교집합은 부분군이다. 특히,  부분 집합  에 대하여,  를 포함하는  의 모든 부분군들의 교집합은  의 부분군을 이룬다. 이는  를 포함하는  의 최소의 부분군이다. 구체적으로, 이 부분군은 다음과 같다.

 

여기서

 

이다.  한원소 집합인 경우,  순환군이다.  유한 집합인 경우,  유한 생성 군이다.  가 부분군일 필요충분조건 이다.

주어진 군의 부분군들의 합집합은 부분군이 아닐 수 있다. 예를 들어, 두 부분군  에 대하여,  필요충분조건 이거나  인 것이다.    의 부분군이지만,  이다. x측과 y축은  의 부분군이지만, 그 합집합을 포함하는 최소의 부분군은  이다. 그러나, 부분군들의 족이 포함 관계에 의하여 상향 집합을 이룬다면, 그 합집합은 부분군이다. 특히,  부분군들의 열  에 대하여, 만약

 

라면,   의 부분군이다.

부분군 격자

편집

임의의 주어진 군  의 부분군들은 포함 관계 아래 대수적 완비 격자  를 이룬다. 부분군 격자에서, 부분군의 집합  하한교집합  이며, 상한은 부분군들의 합집합을 포함하는 최소의 부분군

 

이다. 최소 원소는 자명 부분군  이며, 최대 원소 이다. 콤팩트 원소는 유한 생성 부분군들이다.

잉여류와 라그랑주 정리

편집
 
아벨 군  와 부분군  에 대한 4개의 잉여류.   와 동형이다. 4개의 잉여류  ,  ,  ,  는 같은 크기의 겹치지 않는 집합으로  를 분할한다. 몫군   와 동형이다.

부분군  가 주어졌을 때,   위에 다음과 같은 두 개의 동치 관계를 정의할 수 있다.

 
 

두 동치 관계에 대한  동치류는 각각 왼쪽·오른쪽 잉여류

 
 

이다. ( 에 대하여  이므로,   역시 왼쪽 잉여류이자 오른쪽 잉여류이다.) 따라서, 임의의 군은 서로 다른 왼쪽 잉여류들로 분할되며, 또한 서로 다른 오른쪽 잉여류들로 분할된다. 모든 왼쪽·오른쪽 잉여류의 크기는 일치하며, 이는 부분군의 크기  와 같다. 왼쪽 잉여류들과 오른쪽 잉여류들 사이에는 다음과 같은 일대일 대응이 존재한다.

 

따라서, 왼쪽·오른쪽 잉여류의 수는 일치하며, 이를   에서의 지표라고 한다.  를 왼쪽 또는 오른쪽 잉여류로 분할하여 세면  의 크기가  의 크기와 지표의 곱임을 알 수 있다. 특히,  유한군인 경우   약수이다.[1]:90 이를 라그랑주 정리라고 한다.

정규 부분군과 몫군

편집

만약  아벨 군이라면, 교환 법칙에 의하여 왼쪽·오른쪽 잉여류를 구분할 필요가 사라진다. 보다 일반적으로,   정규 부분군인 경우, 항상  이며, 모든 잉여류의 집합

 

위에 이항 연산

 

을 정의할 수 있다. (일반적인 부분군의 경우,  ,  이더라도  일 수 있으므로 위 정의는 유효하지 않다.) 또한, 이 이항 연산은 군의 공리들을 만족시킨다. 이렇게 정의한 군    에 대한 몫군이라고 한다.

유한군의 부분군의 지표가 군의 크기의 최소 소인수라면, 이 부분군은 정규 부분군이다. 특히, 지표 2의 부분군은 항상 정규 부분군이다.

  • 짝수 정수들은 정수의 덧셈군의 부분군이다: 두 개의 짝수를 더하면 짝수를 얻는다.
  •  이데알은 덧셈군  의 부분군이다.
  • 벡터공간선형 부분공간은 벡터의 덧셈군의 부분군이다.
  •  아벨군이라 하자; 유한 주기를 갖는  의 원소들은  의 부분군을 형성하는데, 이를  꼬임 부분군이라 한다.

순환군

편집

순환군의 부분군은 항상 순환군이다. 유한  순환군

 

의 부분군은  의 양의 약수와 일대일 대응한다. 구체적으로,  에 대하여,

 

는 크기  의 유일한 부분군이며, 이는  차 순환군이다.

무한 순환군

 

의 부분군은 음이 아닌 정수와 일대일 대응한다. 구체적으로,  에 대하여,

 

은 지표  ( 인 경우  )의 유일한 부분군이며, 무한 순환군이다. 특히, 무한군은 스스로와 동형인 진부분군을 가질 수 있다.

순환군은 아벨 군이므로, 모든 부분군이 정규 부분군이며, 몫군 역시 순환군이다.

정이면체군

편집

정이면체군의 부분군은 순환군이거나 정이면체군이다.  정이면체군

 

의 부분군들은

 

의 원소들과 일대일 대응한다. 구체적으로,  에 대하여,

 

 차 순환 부분군이다. 마찬가지로,   에 대하여,

 

는 부분군이며,  차 정이면체군과 동형이다. 또한, 이 목록은 겹치지 않는다.

 홀수인 경우,  의 부분군들의 켤레류의 목록은 다음과 같다.

  •  에 대하여,  
  •  에 대하여,  

 짝수인 경우, 다음과 같다.

  •  에 대하여,  
  • 홀수  에 대하여,  
  • 짝수  에 대하여,  
  • 짝수  에 대하여,  

특히,  정규 부분군의 목록은 다음과 같다.  이 홀수인 경우,

  •  에 대하여,  
  •  

 이 짝수인 경우,

  •  에 대하여,  
  •  
  •  
  •  

또한, 정이면체군의 임의의 몫군은 정이면체군이다.

대칭군

편집

4차 대칭군  의 부분군은 총 30개이며, 이는 11개의 켤레류를 갖는다.  의 부분군 격자를 나타내는 하세 도형은 다음과 같다.

 

참고 문헌

편집
  1. Dummit, David S.; Foote, Richard M. (2004). 《Abstract algebra》 (영어) 3판. Chichester: Wiley. ISBN 0-471-43334-9. MR 2286236. Zbl 1037.00003. 

외부 링크

편집

같이 보기

편집