군(대수학)

수학 외의 분야에서 군을 응용하는 방법이나 그 사례에 대한 내용은 군론 문서 참고하십시오.

1. 개요[편집]

---

군(群, group)

군은 어떤 집합에 두 원소의 연산인 이항연산(binary operation)이 주어진 구조로 집합과 연산을 묶어서 표기한다. [1], 군은 가장 쉽게 접할 수 있는 기본적인 대수적 구조이며 우리가 배우는 정수, 유리수, 실수, 복소수 위에서의 덧셈, 곱셈등이 군에 속하며 행렬의 곱셈 또한 군 구조를 가진다.

정확한 수학적 정의는 다음과 같다. 집합 <math>G</math>의 이항연산 <math>*</math> [2][3] 이 다음 조건을 만족할 때, <math>\left(G, *\right)</math>를 군이라 한다.

1. (결합법칙; association law) 임의의 세 원소 $a,b,c\backslash in\; G$에 대해,
   $\backslash left(\; a*b\; \backslash right)*c=a*\backslash left(\; b*c\; \backslash right)$.
2. (항등원의 존재; existence of indentity) $e\backslash in\; G$이 존재하여,$G$의 임의의 원소 $a$에 대해,
   $a*e\; =a\; =e*a$
   항등원은 존재하면 유일하므로[4]
   e'도 항등원이면 e = e*e' = e'이므로 유일하다.
   이 원소를 $1$, $e$, $i$ 등으로 적는다.
3. (역원의 존재; existence of inverse) 임의의 $a\backslash in\; G$에 대해, $x\backslash in\; G$가 존재하여,
   $a*x=e=x*a$
   역원은 존재하면 유일하므로[5]
   y 도 a 의 역원이면 x = x*e = x*\left(a*y\right) = \left(x*a\right)*y =e*y =y 이므로 유일하다.
   이 원소를 $a^\{-1\}$로 적는다.

여기서, 위의 정의 중 부분만을 만족시키는 대상들에 대해 반군(1만을 만족), 모노이드(1, 2만을 만족) 등의 이름이 있다.

가끔 좀 별난 교과서에서는 2와 3을 결합법칙 전제하에서 다음과 같이 대체하기도 한다.

1. 좌항등원의 존재: $l\backslash in\; G$이 존재하여,$G$의 임의의 원소 $a$에 대해,
   $a\; =\; l*a$
2. 좌항등원의 좌역원의 존재: 임의의 $a\backslash in\; G$에 대해, $x\backslash in\; G$가 존재하여,
   $l=x*a$

마찬가지로 결합법칙 전제하에 우항등원이 존재하고 우항등원의 우역원이 존재한다로도 군이 된다. 물론 좌항등원이 존재하고 좌항등원의 우역원이 존재한다 같은 걸로는 안 된다. 증명은 다음을 참조

1.1. 군의 직관적 이해[편집]

---

군이라는 대상을 처음 접하는 학생들은 위에서 서술한 군의 정의를 한 번에 이해하기 힘들기 때문에 정의를 무작정 외우고 이해하기보다는 여러 가지 예시를 통해서 이해하는 것이 좋다. 정의에 너무 집착하지 말란 말이다

군은 대칭성을 가지는 구조의 움직임에서 자연스럽게 유도된다. 예를 들어, 루빅스 큐브의 움직임들을 모아놓은 집합은 군(Group)이다! [6]

눈치 빠른 위키니트들이라면 루빅스 큐브의 예에서 이미 알아차렸겠지만, 저기 있는 세 가지 공리는 자기자신으로 가는 일대일 대응들을 모아놓았을 때 자연스럽게 생기는 성질이다.

1. (결합법칙): 결합법칙은 함수가 가지고 있는 자연스러운 성질이다
2. (항등원의 존재): 항등함수[7]는 자기 자신으로 가는 일대일 대응 중 하나이다
3. (역원의 존재): 자기 자신으로 가는 어떤 일대일 대응 f의 역함수 g도 자기자신으로 가는 일대일 대응 함수이다.

즉, 어떤 대상이 "대칭" 구조만 있으면 자연스럽게 그 대상에 대응하는 군을 만들어 볼 수 있다. 심지어 아무 대칭구조가 없는 대상이라 할지라도![8]

이와 같이 군을 처음 배우는 사람들은 군의 개념은 어느 순간 뚝 하고 만들어진 것이 아니라 정다각형[9], 정다면체, 원, 좌표평면, 다항식과 같은 수학적 대상의 대칭성을 생각하다가 자연스럽게 만들어졌다는 것을 이해해야 한다

1.2. 이해를 돕기 위한 예시[편집]

---

1.2.1. 덧셈에 대한 정수군[편집]

---

위는 순수한 집합의 개념 위에서 이항연산을 정의하는 표현이라 대수학을 공부한 사람이 아니면 직관적으로 이해되지 않을 수 있다. 쉬운 이해를 위해서는 <math>G</math>대신 정수의 집합 <math>\mathbb{Z}</math>를 이항연산은 덧셈(<math>+</math>)으로 생각하여 <math>\left(\mathbb{Z}, +\right)</math>를 생각하면 된다. 항등원은 당연히 <math>0</math> 이다. [10]

1. 덧셈에 대한 결합법칙: $\backslash left(\; a+b\; \backslash right)+c=a+\backslash left(\; b+c\; \backslash right)$ 이 성립한다.
2. 덧셈에 대한 항등원: $a+0\; =\; a\; =\; 0+a$ 인 0 이 존재한다.
3. 덧셈에 대한 역원: $a+x=0=x+a$ 를 만족하는 $x\; =\; -a$ 가 항상 존재한다.

참고로 자연수의 집합 <math>\mathbb{N}</math>에는 덧셈에 대한 항등원 <math>0</math>이 존재하지 않으므로 <math>\left(\mathbb{N}, +\right)</math>은 반군이다. 그리고 <math>0</math>을 포함한 자연수의 집합 <math>\mathbb{N}_{0}</math>는 항등원은 존재해도 역원은 존재하지 않으므로 <math>\left(\mathbb{N}_{0}, +\right)</math>은 모노이드가 된다. 곱셈에 대하여 생각하면 <math>\left(\mathbb{N}, *\right)</math>는 항등원이 존재하지만, 역원은 존재하지 않기에 모노이드가 된다.

1.2.2. 이면군(dihedral group)[편집]

---

염주순열
자연수 <math>n</math>에 대해, 이면군은 <math>D_{2n}=\left\langle r,\,f\mid r^{n}=f^{2}=\left(rf\right)^{2}=1\right\rangle</math>로 정의된다.[11]

이면군을 상상하려면 정<math>n</math>-각형 <math>P</math>을 생각하면 된다. <math>P</math>의 모양을 그대로 두는[12] 변환은, <math>2\pi/n</math>만큼 회전(rotation), (꼭짓점과 중심을 잇는 선으로)뒤집기(flip)[13]와 그것을 연속으로 적용한 것이 전부임을 직관적으로 알 수 있을 것이다. 회전과 뒤집기를 각각 <math>r</math>, <math>f</math>라 하면, <math>r^{n}=f^{2}=\left(rf\right)^{2}=1</math>이다.

돌리고 뒤집기와 뒤집고 돌리기는 다르므로(뒤집으면 방향이 바뀌니까!) 이것은 아래 설명할 가환군(abelian group)이 아니다. 집에서도 간단히 해볼 수 있다. 꼭 해보자 교환법칙 성립하지 않는 게 마치 행렬이나 함수를 보는 듯하다

1.2.3. 대칭군(symmetric group)[편집]

---

문서 참조

2. 다른 수학 분야에서의 응용[편집]

---

많은 상황에서 군은 대상들의 변환을 서술하는 도구로 사용된다. 군의 원소 각각이 집합 <math>X</math>의 원소들을 섞어 놓을 때, 즉 집합 <math>X</math>의 일대일대응 함수라고 생각할 수 있을 때, 이를 군의 작용(group action)이라 한다. 관점에 따라서는 대칭군으로 볼 수도 있다.

예를 들어서 "정육면체의 면에 <math>n</math>가지 색을 칠하는 방법의 개수는? 단 돌렸을 때에 같은 것은 같다고 한다." 같은 문제를 생각해 보자. '정육면체를 돌리는 법'의 집합을 생각하고, 연산을 변환의 합성 (즉 한 번 돌리고 다른 방법으로 돌리는 것)으로 정의하면 이것은 군이 되고, 이 문제도 따라서 군론의 관점에서 접근할 수 있다. [14] 이와 비슷한 예로 루빅스 큐브의 조작들을 군이라 할 수 있다.

다른 예로 일차 변환 중 거리를 보존하는 행렬들의 모임은 군을 이루고, 이들은 벡터공간 <math>R^{n}</math>에 작용한다고 볼 수 있다. (애초에 일차변환의 정의가 <math>R^{n}\rightarrow R^{n}</math>인 함수이므로.) 이 일차변환 중 강체운동(rigid motion)만을 생각한다면 이를 유클리드 기하학이라 볼 수 있는 것.

물리에서 군론은 매우 중요하게 사용되는데, 헤르만 바일(Hermann Weyl)이나 에미 네터(Emmy Noether) 등에 의해 물리학의 보존법칙(운동량 보존, 에너지 보존 등)이 항상 변환에 대한 불변성으로 해석될 수 있음을 보인 이후이다. 이 '변환에 대한 불변성'은 일반적으로 대칭성이라 불리고, 현대물리학의 거의 모든 분야의 화두가 된다.

3. 부분군(subgroup)[편집]

---

말 그대로, 군 속의 군이다. 정의는 다음과 같다.
군 <math>\left(G,*\right)</math>에서 <math>G</math>의 부분집합 <math>H</math>가

1. (닫힘성)임의의 $a,b\backslash in\; H$에 대해 $a*b\backslash in\; H$,
2. (항등원의 존재) $H$는 $G$의 항등원을 포함.
3. (역원의 존재)임의의 $a\backslash in\; H$에 대해, $a^\{-1\}\; \backslash in\; H$ ($a^\{-1\}$는 $a$의 $G$에서의 역원)

을 만족하면 군 <math>\left(H,\left.*\right|_{H}\right)</math>를 <math>\left(G,*\right)</math>의 부분군(subgroup)이라 한다. (쉽게 말해 주어진 군 내부에서 다시 군을 이루는 군)
항등원의 집합 <math>\left\{e\right\}</math>는 항상 군이 되고, 이를 자명한 부분군(trivial subgroup)이라 한다. 자기 자신 G가 아닌 부분군을 진부분군(proper subgroup)이라 하고, 이는 비자명 부분군(nontrivial subgroup)과 구분되어야 한다.

부분군의 정의에서 1과 3 둘을 합쳐서 "임의의 <math>a,b\in H</math>에 대해 <math>a*b^{-1} \in H</math>"인 필요충분조건으로 대체될 수 있고, 아예 이걸 닫힘성이라고 쓰기도 한다. 항등원의 존재성은 (닫힘성 전제 하에) <math>H</math>가 공집합이 아니라는 조건으로 바꾸어 쓸 수 있다.[15]
부분군은 어느 대수구조에나 있는 '부분집합이 다시 같은 대수구조가 되는' 대상이다. 선형대수학을 먼저 배우고 군론을 학습한다면, 부분공간(subspace)의 수많은 성질들이 부분군에 적용됨을 알 수 있을 것이다. (부분군의 부분군은 부분군, 생성부분군의 존재성 등등) 하지만 군론에서 부분군의 대접은 부분공간과는 미묘하게 차이가 있는데, 부분공간이 만족시키는 성질들 중 만족시키지 않는 것이 상당히 많기 때문이다. 군론에서 제대로 된 '부분대상'으로 쳐 주는 것은 사실상 아래에 후술할 정규부분군(normal subgroup)이다.[16] 물론 그렇다고 정규부분군이 아닌 부분군들이 푸대접을 받는다는 것은 절대 아니고, 다만 다른 대수학과는 다른 군론 특유의 방법론으로 연구된다는 것이다. 덕분에 군론이 어렵다

3.1. 관련된 정리들[편집]

---

(<math>G</math>는 군이고, <math>H,\,K<G</math>)

• 한 군의 여러 부분군의 교집합은 부분군이다.
• Lagrange의 정리: $\backslash left|G/H\backslash right|\backslash left|H\backslash right|\; =\; \backslash left|G\backslash right|$
• $HK:=\backslash left\backslash \{\; hk\; :\; h\backslash in\; H,\; k\backslash in\; K\; \backslash right\backslash \}$가 부분군이기 위한 필요충분조건은 $HK=KH$
• $HK$의 원소의 수
  $\backslash left|HK\backslash right|=\backslash frac\{\backslash left|H\backslash right|\backslash left|K\backslash right|\}\{\backslash left|H\backslash cap\; K\backslash right|\}$

다음은 조금 어렵지만 매우 중요한 정리들.

• 실로우 정리: 유한군의 $p$-부분군을 완벽히 분석한 정리.
• Zassenhaus의 나비 보조정리 그림이 예쁘다
• Jordan-Holder 정리: 정규부분군의 composition series는 유일하다. 나중에 배울 갈루아 이론에서 매우 중요해지는 정리.

3.2. 부분군의 생성원(generator)[편집]

---

군의 주어진 부분집합을 포함하는 최소의 군을 생성부분군(spanning subgroup)이라 한다. 이때 주어진 부분 집합은 생성원 또는 생성집합이라 불린다. 생성집합이 <math>X</math>인 생성부분군은 보통 <math>\left\langle X\right\rangle</math>로 표시된다.

생성원이 <math>X=\left\{a_{1}, a_{2}, ...\right\}</math>인 경우에 생성부분군의 모든 원소는 X의 원소들과 그 역원들을 (같은 것 중복을 허용해서) 순서대로 나열한 단어(word)들로 나타난다. 예를 들어서 <math>X=\left\{a,b\right\}</math>인 경우는 <math>abbba^{-1}</math> , <math>aab^{-1}</math>, <math>aba^{-1} b</math> 같은 것들이 있다는 것. 보통 이 곱을 순서를 바꿔 쓰는 게 안 되므로, 생성부분군의 구조는 상당히 복잡해질 수 있다. 실제로 2*2 정수행렬 중 행렬식이 1인 것들의 군 <math>\text{SL}_{2}\left(\mathbb{Z}\right)</math>는 단 두 개의 원소만으로 생성된다.

• 이면군
  $D\_\{2n\}=\backslash left\backslash langle\; r,f\backslash right\backslash rangle$이다.

4. 몫군(factor group / quotient group)과 정규부분군(normal subgroup)[편집]

---

대수학을 비롯한 다양한 수학분야에서, 일상적인 개념은 동치관계이다. 그런 이유에서, 동치관계에 있는 원소들을 같은 것으로 간주하여, 연산을 하기를 원한다. 이를 자세히 보자.

군과 그것의 부분군 <math>H<G</math>를 생각하자. 동치관계 <math>a\sim_{H} b</math>를 <math>ab^{-1}\in H</math>로 정하자.[17] 그리고 그 동치류들의 모임 <math>G/\sim_{H}</math>를 <math>G/H=\left\{aH:a\in G\right\}</math>[18]로 적는다.[19] <math>G/H</math>는 군을 이루는가? 다시 말해, 동치류에 적절한 연산 <math>\left(aH\right)\left(bH\right)=\left(ab\right)H</math>이 잘 정의될(well-defined) 수 있을 것인가? 불행히도 그렇지 않다. <math>G/H</math>이 군을 이룰 때, 이것을 몫군(factor group)이라 하며, 몫군을 만들 필요충분조건이 <math>H<G</math>가 정규부분군인 것이다.[20] 동기는 설명했으니, 정규부분군의 정확한 정의를 보자.

4.1. 정규부분군(normal subgroup)[편집]

---

<math>N<G</math>이 정규부분군(normal subgroup)이라 함은, 다음이 성립하는 것이다. 그리고 <math>N\vartriangleleft G</math>라 표현한다.

TFAE

* 임의의 <math>a\in G</math>에 대해, <math>aNa^{-1}\subset N</math>

* 임의의 <math>a\in G</math>에 대해, <math>aNa^{-1}=N</math>

* 임의의 <math>a\in G</math>에 대해, <math>aN=Na</math>

• $N\backslash vartriangleleft\; G$, 에 대해,

5. 준동형(homomorphism)과 동형 정리(isomorphism theorem)[편집]

---

대수학의 기본적 철학은, 두 대수적 대상 사이의 대수적인 함수를 생각하는 것이다. 여기서 함수가 대수적이라 하는 것은, 대수적 구조를 보존하는 것을 말한다. 예컨대, 벡터 공간의 대수적 구조는 선형성이고, 선형성을 보존해주는 함수를 선형 변환이라 한다. 이는 군을 포함한 대수학의 모든 경우로 일반화될 수 있으며, 대수학에서 아주 중요한 개념이다.[21]

5.1. 준동형(homomorphism)[편집]

---

두 군 <math>G_{1}</math>, <math>G_{2}</math> 사이의 함수 <math>f:G_{1}\to G_{2}</math>가 준동형(homomorphism)이라 함은 다음을 만족하는 것이다.

임의의 <math>a,\,b\in G_{1}</math>에 대해, <math>f\left(ab\right)=f\left(a\right)f\left(b\right)</math>이다.[22]

대수 구조를 보존한다.

5.1.1. 핵(kernel) 상(image)[편집]

---

두 군 <math>G_{1}</math>, <math>G_{2}</math>의 준동형 <math>f:G_{1}\to G_{2}</math>에 대해 핵(kernel)과 상(image)을 각각 다음과 같이 정의한다.

* <math>\text{Im}f:=f\left(G_{1}\right)</math>

* <math>\ker f:=\left\{a\in G_{1}:f\left(a\right)=e_{2}\right\}</math>[23]

<math>e_{i}</math>는 <math>G_{i}</math>의 항등원이다.

다음이 성립한다.

• $\backslash ker\; f\backslash vartriangleleft\; G\_\{1\}$이다.
• 지만, $\backslash text\{Im\}f\backslash vartriangleleft\; G\_\{2\}$이 성립하지 않을 수 있다.

5.1.2. 전사준동형(epimorphism)과 단사준동형(monomorphism), 동형 사상(isomorphism)[편집]

---

두 군 <math>G_{1}</math>, <math>G_{2}</math>의 준동형 <math>f:G_{1}\to G_{2}</math>가 전사(surjective), 단사(injective), 전단사(bijective)일 때, 각각 전사준동형(epimorphism)과 단사준동형(monomorphism), 동형 사상(isomorphism)이라 부른다.

만약 두 군 사이에 동형 사상이 있다면, 두 군은 사실상 같은 것이다. 동형 사상이 존재하는 두 군의 관계를 동형적(isomorphic)이라 부르고, <math>G_{1}\cong G_{2}</math>라 적는다. 따라서, 군의 분류 문제는 동형적이라는 동치관계 위에서 진행된다.[24]

5.2. 동형 정리(isomorphism theorem)[편집]

---

동형 정리(isomorphism theorem)라 함은 다음의 세 가지를 일컫는다. 뒤의 두 가지는 첫 번째 것의 따름정리일 뿐이다.

제1 동형 정리

두 군 <math>G_{1}</math>, <math>G_{2}</math>의 준동형 <math>f:G_{1}\to G_{2}</math>에 대해, 다음이 성립한다.

<math>G_{1}/\ker f\cong \text{Im}f</math>

제2 동형 정리

<math>N\vartriangleleft G</math>, <math>H<G</math>에 대해, <math>N\cap H\vartriangleleft H</math>, <math>H\vartriangleleft NH</math>이고 <math>NH/N\cong H/\left(H\cap N\right)</math>이다.

제3 동형 정리

<math>N_{1}, N_{2}\vartriangleleft G</math>, <math>N_{1}<N_{2}</math>에 대해, <math>N_{2}/N_{1}\vartriangleleft G/N_{1}</math>이고 <math>\left(G/N_{1}\right)/\left(N_{2}/N_{1}\right)\cong G/N_{2}</math>이다.

6. 군의 종류[편집]

---

군들 중에 좋은 성질을 가진 것들에는 따로 이름을 붙여 다루고 있다. 그들 중 학부에서 배울 만한 것들로는 순환군(cyclic group), 가환군(abelian group), 멱영군(nilpotent group), 가해군(solvable group)이 있다. 이들은 순서대로 먼저 것이 다음 것에 포함되고, 그 어느 것도 같지 않다.

6.1. 사전 지식[편집]

---

이하의 두 용어는 멱영군과 가해군을 정의할 때 쓰인다.

6.1.1. 교환자(commutator)[편집]

---

<math>a,b\in G</math>에 대해, <math>\left[a,\, b\right]:=aba^{-1}b^{-1}</math>이라 정의한다. 그리고 <math>H,K\in G</math>에 대해, <math>\left[H,\,K\right]:=\left\langle\left[h,\,k\right]:h\in H, k\in K\right\rangle</math>이라 한다.

<math>G^{\left(0\right)}=G</math>, <math>G^{\left(n+1\right)}:=\left[G^{\left(n\right)},\,G^{\left(n\right)}\right]</math>로 정의한다.

<math>G_{\left[0\right]}=G</math>, <math>G_{\left[n+1\right]}:=\left[G_{\left[n\right]},\,G\right]</math>로 정의한다.

• $N\backslash vartriangleleft\; G$에 대해, $G/N$이 가환군일 필요충분 조건은

6.1.2. 중심화 부분군(centralizer)의 확장[편집]

---

군 <math>G</math>의 중심화 부분군(centralizer)를 확장하는 것에서 시작한다. <math>Z_{0}\left(G\right)=1</math>이다. 군 <math>G/Z_{n}\left(G\right)</math>에 대해, <math>Z_{n+1}\left(G\right)<G</math>가 존재하여, <math>Z_{n+1}\left(G\right)/Z_{n}\left(G\right):=Z\left(G/Z_{n}\left(G\right)\right)</math>이다.[25] 이하에서 별다른 오해의 소지가 없다면, <math>Z_{n}:=Z_{n}\left(G\right)</math>이라 쓰기로 한다.

6.2. 순환군(cyclic group)[편집]

---

군이 단일한 생성원을 가질 때, 즉 <math>a\in G</math>가 존재하여 <math>G=\left\langle a\right\rangle</math>일 때, 순환군(cyclic group)이라 한다.

• $G$가 순환군이면, $n\backslash in\; \backslash mathbb\{Z\}$가 존재하여 $G\backslash cong\; \backslash mathbb\{Z\}/n\backslash mathbb\{Z\}$이다.[26]
  G=\left\langle a\right\rangle에 대해, \phi\ :\mathbb{Z}\rightarrow G를 \phi\left( n\right)=a^{n}로 정의하고 제1 동형정리를 적용하여 바로 얻는다.

이 사실에 의해, 순환군은 기초정수론에 의해 모두 파악될 수 있다는 것을 알 수 있다.

6.3. 가환군(abelian group)[편집]

---

군이 교환법칙을 만족할 때, 가환군(abelian group) 또는 아벨군이라 한다.

(교환 법칙; commutative law) 임의의 두 원소 <math>a, b\in G </math>에 대해,
<math>a*b = b*a </math>

이 경우, 이항연산을 덧셈으로 생각하고 역원을 <math>-a</math>라 적는다. 아무런 차이가 없다. 다만, 관습의 문제일 뿐이다. 모든 부분군은 정규부분군이다.

가환군은 <math>\mathbb{Z}</math>-가군이고, 그 역 또한 성립한다.

순환군은 가환군이다. 그러나, <math>\mathbb{Z}\times \mathbb{Z}</math>은 가환군이지만 순환군은 아니다. 그런 이유에서 다음의 유한생성 가환군의 기본정리는 PID 위의 유한생성 가군의 기본 정리의 따름 정리이다.

유한생성 가환군 <math>G</math>은 다음의 형식으로 표현되며, 다른 형식들은 서로 비동형적이다.

<math>G\cong \mathbb{Z}^{r}\times \prod\left(\mathbb{Z}/a_{i}\mathbb{Z}\right)</math>(<math>a_{i}\mid a_{i+1}</math>)이다.

그리고 유한 가환군에서는 <math>r=0</math>이다. 이것을 처음 증명한 것은 아벨이며, 이런 이유로 가환군에 아벨의 이름이 붙었다.

6.4. 멱영군(nilpotent group)[편집]

---

다음이 성립하며, 다음의 명제들 중 하나가 성립할 때, 멱영군(nilpotent group)이라 한다.

TFAE

* <math>\exists1=G_{c}<\cdots<G_{0}=G\qquad\forall i,\, x\in G,\, y\in G_{i}\left[\left[x,\, y\right]\in G_{i+1}\right]</math>

* <math>\exists c\in N\qquad Z_{c}\left(G\right)=G</math>

* <math>\exists c\in N\qquad G_{\left[c\right]}=1</math>

• 멱영군과 그것의 부분군
  • $p$-군은 멱영군이다.
  • 유한 멱영군은 $p$-군의 곱으로 표현된다.
• 가환군은 멱영군이지만, 가환군이 아닌 멱영군도 있다.
  • 소수 $p$에 대해 이면군 $D\_\{2p\}$은 멱영군이다.
• 두 멱영군의 곱은 멱영군이다.
• 멱영군의 부분군과 몫군은 멱영군이다.
  • 그러나, $A\_\{3\}\backslash vartriangleleft\; S\_\{3\}$와 같이, $N\backslash vartriangleleft\; G$과 $G/N$이 모두 멱영군이라 하더라도, $G$는 멱영군이 아닐수 있다.

6.5. 가해군(solvable group)[편집]

---

대수 방정식의 가해성에 대한 갈루아의 결론이 가해군으로 표현된다.

다음이 성립하며, 다음의 명제들 중 하나가 성립할 때, 가해군(solvable group)이라 한다.

TFAE

* <math>\exists 1=G_{0}\vartriangleleft\cdots\vartriangleleft G_{c}=G\qquad\forall i,\, G_{i}/G_{i+1}\text{abelian}</math>

* <math>\exists c\in N\qquad G^{\left(c\right)}=1</math>

• 두 가해군의 곱은 가해군이다.
• 가해군의 부분군과 몫군은 가해군이다.
• $N\backslash vartriangleleft\; G$에 대해, $N$, $G/N$이 모두 가해군이면 $G$도 가해군이다.

6.6. 포함 관계[편집]

---

<math>\text{cyc.}</math>, <math>\text{ab.}</math>, <math>p-\text{gp.}</math>, <math>\text{nil.}</math>, <math>\text{sol.}</math>, <math>\text{gp.}</math>는 각각 순환군, 가환군, <math>p</math>-군, 멱영군, 가해군, 일반적인 군을 나타낸다.

<math>\text{cyc.}\varsubsetneq\text{ab.}\varsubsetneq\text{nil.}\varsubsetneq\text{sol.}\varsubsetneq\text{gp.}</math>

<math>p\text{-gp.}\varsubsetneq\text{nil.}</math>

여기서, <math>\mathbb{Z}\times \mathbb{Z}\in\text{ab.}-\text{cyc.}</math>, 소수 <math>p</math>에 대해 <math>D_{2p}\in\text{nil.}-\text{ab.}</math>, <math>S_{3}\in\text{sol.}-\text{nil.}</math>, <math>S_{5}\in\text{gp.}-\text{sol.}</math>[27], <math>\mathbb{Z}/\left(pq\mathbb{Z}\right)\in\text{nil.}-p\text{-gp.}</math>[28]

7. 수학에서의 군론[편집]

---

학부대수학에서의 군은 가장 간단한 대수적 구조로서의 의미를 갖지만, 군은 '변환'과 '대칭'으로 생각될 수 있는 모든 것을 설명하는 강력한 도구로서의 의미가 더 강하다. 여기서는 군론의 구체적인 내용보다는, 수학의 다양한 분야에서 군이 사용되는 예들을 설명한다.

7.1. 군과 대수학[편집]

---

역사적으로 군이 처음 등장한 것은 19세기에 프랑스의 수학자 갈루아가 <math>n</math>차방정식의 일반해가 존재할 조건을 군론을 이용하여 제시하면서이다. 여기서 등장한 갈루아 군(Galois group)의 개념은, 간단히 말하면 방정식의 근들의 대칭을 묘사하는 군이다. 예를 들어서 이차방정식 <math>x^2 - 2 = 0</math>의 근 <math>\sqrt{2}</math>와 <math>-\sqrt{2}</math>는 (유리수 위에서는) 연산을 보존하며 서로 바꾸어 쓸 수 있고, [29] 따라서 이 두 근의 치환군을 이 방정식의 갈루아 군이라 할 수 있다. 갈루아 이론의 내용은 갈루아 군의 성질을 탐구함으로서 방정식의 성질을 알아낼 수 있다는 것이고, 방정식의 일반해가 존재하지 않는다는 것은[30] 그 갈루아 군이 가해성(solvability)이라는 군론의 성질을 만족하지 않음과 동치라는 것이다.

7.2. 군과 기하학[편집]

---

7.2.1. 대칭구조와 격자[편집]

---

공간의 주어진 도형의 모양을 유지하는 조작을 도형의 대칭군(group of symmetry, symmetry group)[31]이라 한다. 예를 들어서 평면에서 정사각형의 대칭군은 0도, 90도, 180도, 270도 회전의 4가지 회전과, 4개의 대칭축에 대한 선대칭의 8개의 조작으로 이루어져 있다. 2차원 공간의 대칭군 중 격자의 대칭을 따지는 벽지무늬 군(wallpaper group)은 쪽매붙임(테셀레이션, tessellation)을 빠짐없이 분류하는 데에 쓰인다. 3차원 공간의 대칭군은 공간군(space group)이라는 이름을 갖고 있고, 아래 소개할 화학에서의 분자구조 및 결정구조 등을 따지는 데에 응용이 된다. 하지만 대칭군의 진가는 4차원 이상의 그릴 수 없는 대상들을 군론의 지식을 통해 분석하는 데에 있다.

7.2.2. 연속군[편집]

---

이제까지 살펴본 대칭군들은 이산적(discrete)이었지만, 여기에 대해 연속적인 대칭도 생각할 수 있다. 공간 그 자체의 대칭, 즉 유클리드 공간의 모든 강체운동을 모두 모은 대칭군을 직교군(orthogonal group)이라 한다.

7.2.3. 군의 표현[편집]

---

군이 벡터공간에 선형사상으로서 작용하는 것을 표현(representation)이라 한다. 대칭군들은 공간의 선형사상 그 자체이므로 이는 자연스런 표현이 되지만, 공간 자체뿐만이 아니라 공간의 여러 요소들에도 작용하므로 이는 다양한 종류의 표현을 동반한다. 그리고 추상적으로 같은 군이 다른 공간에 상이한 방식으로 작용할 수도 있다. 따라서 군의 가능한 모든 표현들을 분류하는 표현론(representation theory)이 중요해진다. 현대의 표현론은 다양한 유한군과 리군들의[34] 모든 표현을 빠짐없이 분류하는 데에 성공하였고, 이는 물리나 화학에서 공간의 대칭군을 생각할 때 아주 중요한 내용이다.

7.3. 군과 위상수학[편집]

---

위상수학(topology)은 간단히 말하자면 도형들을 연속적으로 (마치 고무판 위에서처럼) 변형시켰을 때 불변하는 대상들을 연구하는 기하학의 분야이다. 이 불변량들의 상당수는 군으로 나타나지고, 군론을 사용하여 이들을 연구하는 것을 대수적 위상수학이라 한다. 자세한 것은 위상수학 문서를 참고.

그리고 사실 위상군이란 것도 있다.

7.4. 군과 정수론(?)[편집]

---

모듈러 군(modular group)이란 행렬식이 <math>1</math>인 <math>2\times 2</math> 정수행렬의 군을 말한다. 얼핏 봐서는 이게 뭐가 중요하냐는 생각이 들겠지만, 이 군은 평면 격자의 대칭군이다. 마치 수직선 위의 주기함수가 푸리에 해석에 의해 정수군의 표현과 관련을 맺고 있듯이, 격자에 대한 주기함수로 생각될 수 있는 모듈러 형식(modular form)은 모듈러 군의 표현을 묘사한다. 뜻밖에도 이 모듈러 형식은 타원곡선 같은 현대정수론의 수많은 곳에 똑같은 형태로 나타나는 중요한 대상이다. 비록 복소수 위의 타원곡선이 격자에 바탕해 만들어지긴 하지만, 모듈러 형식과 관련있는 것은 이와 전혀 관련없는 타원곡선의 정수해라는 사실은 상당히 의미심장하다.

물론 대부분의 독자들은 이해하기는 힘들겠지만, 하여튼간 다 알 거 없고, 그 유명한 페르마의 마지막 정리의 대미를 장식하는 이론이라고만 해도 충분할 것이다.

8. 관련 문서[편집]

---

• 군의 작용
• 실로우 정리
• 대칭군
• 치환