군(대수학)

(부분군에서 넘어옴)

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

대수학
이론
기본대상방정식 ・ 부등식 ・ 산술
수 체계실수 · 복소수 · 사원수
구조와 관심대상
군(Group)군의 작용, 실로우 정리
환(Ring)가환대수학
체(Field)갈루아 이론
가군(Module)
대수(Algebra)
정리
대수학의 기본정리 · 나머지 정리
다항식 · 유클리드 호제법 · 대수#s-1 · 노름
분야와 관심대상
대수학
정수론대수적 정수론 · 해석적 정수론
선형대수학벡터 · 행렬 · 선형변환
대수기하학스킴 · 모티브 · 사슬 복합체

1 개요

군(群, group)

군은 두 원소의 연산인 이항연산(binary operation)이 주어진 수학의 기본적인 대수적 구조이다. 엄밀하게 말하면 집합 [math]G[/math]의 이항연산 [math]*[/math] [1][2] 이 다음 조건을 만족할 때, [math]\left(G, *\right)[/math]를 군이라 한다.

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

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

1.1 군의 직관적 이해

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

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

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

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

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

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

1.2 이해를 돕기 위한 예시

1.2.1 덧셈에 대한 정수군

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

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

참고로 자연수의 집합 [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]로 정의된다.[10]
이면군을 상상하려면 정 [math]n[/math]-각형 [math]P[/math]을 생각하면 된다. [math]P[/math]의 모양을 그대로 두는[11] 변환은, [math]2\pi/n[/math]만큼 회전(rotation), (꼭짓점과 중심을 잇는 선으로)뒤집기(flip)[12]와 그것을 연속으로 적용한 것이 전부임을 직관적으로 알 수 있을 것이다. 회전과 뒤집기를 각각 [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]가지 색을 칠하는 방법의 개수는? 단 돌렸을 때에 같은 것은 같다고 한다." 같은 문제를 생각해 보자. '정육면체를 돌리는 법'의 집합을 생각하고, 연산을 변환의 합성 (즉 한번 돌리고 다른 방법으로 돌리는 것) 으로 정의하면 이것은 군이 되고, 이 문제도 따라서 군론의 관점에서 접근할 수 있다. [13] 이와 비슷한 예로 루빅스 큐브의 조작들을 군이라 할 수 있다.
다른 예로 일차 변환 중 거리를 보존하는 행렬들의 모임은 군을 이루고, 이들은 벡터공간 [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. (닫힘성)임의의 [math]a,b\in H[/math]에 대해 [math]a*b\in H[/math],
  2. (항등원의 존재) [math]H[/math]는 [math]G[/math]의 항등원을 포함.

군 [math]\left(H,\left.*\right|_{H}\right)[/math]를 [math]\left(G,*\right)[/math]의 부분군(subgroup)이라 한다. (쉽게 말해 주어진 군 내부에서 다시 군을 이루는 군)

  1. (역원의 존재)임의의 [math]a\in H[/math]에 대해, [math]a^{-1} \in H[/math] ([math]a^{-1} [/math]는 [math]a [/math]의 [math]G[/math]에서의 역원)

항등원의 집합 [math]\left\{e\right\}[/math]는 항상 군이 되고, 이를 자명한 부분군(trivial subgroup)이라 한다. 자기 자신 G가 아닌 부분군을 진부분군(proper subgroup)이라 하고, 이는 비자명 부분군(nontrivial subgroup)과 구분되어야 한다.

부분군의 정의에서 닫힘성은 "임의의 [math]a,b\in H[/math]에 대해 [math]a*b\in H[/math]" 인 필요충분조건으로 대체될 수 있고, 항등원의 존재성은 (닫힘성 전제 하에) [math]H[/math]가 공집합이 아니라는 조건으로 바꾸어 쓸 수 있다. 보통 주어진 집합이 부분군임을 쉽게 확인하기 위해 쓰이는 성질. 하지만 이 정의 또는 조건들에서 어느 부분이라도 빠지면 부분군이 되지 않는다. [math]G[/math]가 유한집합이면 닫힘성을 [math]a*b\in H[/math] 까지만 확인하더라도 괜찮지만, 일반적으로는 반례가 있다. [14]

부분군은 어느 대수구조에나 있는 '부분집합이 다시 같은 대수구조가 되는' 대상이다. 선형대수학을 먼저 배우고 군론을 학습한다면, 부분공간(subspace)의 수많은 성질들이 부분군에 적용됨을 알 수 있을 것이다. (부분군의 부분군은 부분군, 생성부분군의 존재성 등등) 하지만 군론에서 부분군의 대접은 부분공간과는 미묘하게 차이가 있는데, 부분공간이 만족시키는 성질들 중 만족시키지 않는 것이 상당히 많기 때문이다. 군론에서 제대로 된 '부분대상'으로 쳐 주는 것은 사실상 아래에 후술할 정규부분군(normal subgroup)이다.[15] 물론 그렇다고 정규부분군이 아닌 부분군들이 푸대접을 받는다는 것은 절대 아니고, 다만 다른 대수학과는 다른 군론 특유의 방법론으로 연구된다는 것이다. 덕분에 군론이 어렵다

3.1 관련된 정리들

([math]G[/math]는 군이고, [math]H,\,K\ltG[/math])

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

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

  • 실로우 정리: 유한군의 [math]p[/math]-부분군을 완벽히 분석한 정리.
  • 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]는 단 두 개의 원소만으로 생성된다.

  • 이면군
    [math]D_{2n}=\left\langle r,f\right\rangle[/math]이다.

4 몫군(factor group)과 정규부분군(normal subgroup)

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

군과 그것의 부분군 [math]H\ltG[/math]를 생각하자. 동치관계 [math]a\sim_{H} b[/math]를 [math]ab^{-1}\in H[/math]로 정하자.[16] 그리고 그 동치류들의 모임 [math]G/\sim_{H}[/math]를 [math]G/H=\left\{aH:a\in G\right\}[/math][17]로 적는다.[18] [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\ltG[/math]가 정규부분군인 것이다.[19] 동기는 설명했으니, 정규부분군의 정확한 정의를 보자.

4.1 정규부분군(normal subgroup)

[math]N\ltG[/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]
  • [math]N\vartriangleleft G[/math], [math]H\lt G[/math]에 대해, [math]NH\ltG[/math]이다.

5 준동형(homomorphism)과 동형 정리(isomorphism theorem)

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

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]이다.[21]

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:f\left(a\right)=e_{1}\right\}[/math][22]

다음이 성립한다.

  • [math]\ker f\vartriangleleft G_{1}[/math]이다.
  • [math]\text{Im}f\lt G_{2}[/math]지만, [math]\text{Im}f\vartriangleleft G_{2}[/math]이 성립하지 않을 수 있다.

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]라 적는다. 따라서, 군의 분류 문제는 동형적이라는 동치관계 위에서 진행된다.[23]

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\ltG[/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}\ltN_{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]로 정의한다.

  • [math]N\vartriangleleft G[/math]에 대해, [math]G/N[/math]이 가환군일 필요충분 조건은 [math]\left[G,\, G\right]\ltN[/math]인 것이다.

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)\ltG[/math]가 존재하여, [math]Z_{n+1}\left(G\right)/Z_{n}\left(G\right):=Z\left(G/Z_{n}\left(G\right)\right)[/math]이다.[24] 이하에서 별 다른 오해의 소지가 없다면, [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)이라 한다.

  • [math]G[/math]가 순환군이면, [math]n\in \mathbb{Z}[/math]가 존재하여 [math]G\cong \mathbb{Z}/n\mathbb{Z}[/math]이다.[25]

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

6.3 가환군(abelian group)

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

(교환 법칙; commutativite 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}\lt\cdots\ltG_{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]
  • 멱영군과 그것의 부분군 [math]H\ltG[/math]에 대해, [math]N_{G}\left(H\right)=H[/math]라면 [math]G=H[/math]이다. 이것에 의해 다음이 성립한다.
  • 가환군은 멱영군이지만, 가환군이 아닌 멱영군도 있다.
    • 소수 [math]p[/math]에 대해 이면군 [math]D_{2p}[/math]은 멱영군이다.
  • 두 멱영군의 곱은 멱영군이다.
  • 멱영군의 부분군과 몫군은 멱영군이다.
    • 그러나, [math]A_{3}\vartriangleleft S_{3}[/math]와 같이, [math]N\vartriangleleft G[/math]과 [math]G/N[/math]이 모두 멱영군이라 하더라도, [math]G[/math]는 멱영군이 아닐수 있다.

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]
  • 두 가해군의 곱은 가해군이다.
  • 가해군의 부분군과 몫군은 가해군이다.
  • [math]N\vartriangleleft G[/math]에 대해, [math]N[/math], [math]G/N[/math]이 모두 가해군이면 [math]G[/math]도 가해군이다.

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][26], [math]\mathbb{Z}/\left(pq\mathbb{Z}\right)\in\text{nil.}-p\text{-gp.}[/math][27]

7 수학에서의 군론

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

7.1 군과 대수학

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

7.2 군과 기하학

7.2.1 대칭구조와 격자

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

7.2.2 연속군

이제까지 살펴본 대칭군들은 이산적(discrete)이었지만, 우리는 연속적인 대칭도 생각할 수 있다. 공간 그 자체의 대칭, 즉 유클리드 공간의 모든 강체운동을 모두 모은 대칭군을 직교군(orthogonal group)이라 한다. 공간에서 거리라는 요소마저 무시한다면, 이 때의 대칭군은 벡터공간의 가역 선형사상을 모두 모은 general linear group이 된다. 이러한 연속적인 군을 통틀어 리군(Lie group)이라고 한다.[31][32] 선형대수학의 사고방식으로 본다면 리군은 보통 행렬들의 군이 된다.

7.2.3 군의 표현

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

7.3 군과 위상수학

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

7.4 군과 정수론(?)

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

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

8 관련 문서

  1. ↑ 여기서 *은 곱셈이 아니다.
  2. ↑ 두 원소 [math]a[/math]와 [math]b[/math]에 대해 [math]G[/math]의 원소 [math]a*b[/math]를 대응시키는 것. 엄밀히 말하면 함수 [math]*:G\times G\rightarrow G[/math]이다.
  3. ↑ [math]e'[/math]도 항등원이면 [math]e = e*e' = e'[/math]이므로 유일하다.
  4. ↑ [math]y [/math]도 [math]a [/math]의 역원이면 [math]x = x*e = x*\left(a*y\right) = \left(x*a\right)*y =e*y =y [/math]이므로 유일하다.
  5. ↑ 가만히 놔두는 것을 항등원, 돌렸던 것과 정확히 반대로 돌리는 것을 역원이라고 정의하면 위에있는 세 가지 군의 공리를 모두 만족한다!
  6. ↑ 모든 원소가 자기자신에 대응되는 함수
  7. ↑ 이 경우 원소가 항등원 하나인 자명군(trivial group)만 유도할 수 있다
  8. ↑ 이경우 아래 설명할 이면군, 고등학교때 배운 염주순열을 생각하면 쉽다
  9. ↑ 참고로 정수의 집합 [math]\mathbb{Z}[/math] 는 군을 넘어 환이 된다.
  10. ↑ [math]r^{n}=1[/math]이란 점때문에 [math]D_{n}[/math]라 적기도 한다.
  11. ↑ 변환 후에 바뀌었는 지 알아차릴 수 없는
  12. ↑ 그 선을 기준으로 선대칭
  13. ↑ 군론을 배운 위키러들이라면, 자세한 것은 번사이드 보조정리 를 참고하기 바란다.
  14. ↑ 대수학을 처음 배우는 사람들이 흔히 다음과 같은 실수를 하기도 한다. "[math]H[/math]의 닫힘성에 의해 [math]a\in H[/math]이면 [math]a^{-1} \in H[/math] 이고, 따라서 [math]e=a*a^{-1} \in H[/math] 이다. 따라서 항등원의 존재성은 위 정의에서 불필요한 내용이다." 여기서 틀린 점은 [math]H[/math]의 원소 [math]a[/math]가 아예 없을 수도 있다는 것이다.
  15. ↑ 아무래도 정확한 의미는 나중에 가서 범주론(category theory)을 학습해야 알 수 있겠지만, 대충이라도 감을 갖고 있으면 학습 시 상당히 도움이 된다.
  16. ↑ 이것이 동치관계인 것을 보이는 것은 쉽다.
  17. ↑ [math]aH=\left\{ah:h\in H\right\}[/math]이고, 이는 동치류를 이룬다. [math]Ha[/math]도 비슷하게 정의한다.
  18. ↑ 정확히는 이를 좌잉여류(left coset)이라 한다. 우잉여류는 반대로 해주면 된다. 그러나 방향 외에는 아무런 차이가 없고, 관습적으로 좌잉여류를 쓴다.
  19. ↑ 또한 [math]H\ltG[/math]가 정규부분군일 때, [math]\left(aH\right)\left(bH\right)=\left(ab\right)H[/math]의 양변은 집합으로서 완전히 같다는 것도 보일 수 있다.
  20. ↑ 여기에 범주론적 관점을 더하면, 보편성(universal property)를 만나게 된다.
  21. ↑ 대수 구조를 보존한다.
  22. ↑ [math]e_{i}[/math]는 [math]G_{i}[/math]의 항등원이다.
  23. ↑ 대수적 구조를 결정짓는 것이 동형 사상에 달려 있다고 봐도 좋다. 예컨대, 벡터 공간에서의 동형 사상은 내적 공간의 동형 사상보다 약하다. 전자의 경우, 단순히 선형성을 보존하는 전단사함수이지만, 후자에는 내적을 보존해야한다는 조건이 더 붙는다. 따라서, 전단사인 선형 변환(벡터 공간의 동형 사상)이 내적 공간에서는 동형적이지 않을 수 있다. 이와 같이 동형적이란 표현에 모호함이 있을 경우, 동형 사상들을 다르게 표현하여 구분한다. 예를 들어, [math]F[/math]-벡터 공간의 전단사 선형 변환은 [math]F[/math]-동형 사상이라 하고, 내적 공간의 동형사상은 등거리 변환(isometry)라 한다.
  24. ↑ [math]Z_{1}\left(G\right)=Z\left(G\right)[/math]라는 것을 알 수 있다.
  25. ↑ [math]G=\left\langle a\right\rangle[/math]에 대해, [math]\phi\ :\mathbb{Z}\rightarrow G[/math]를 [math]\phi\left( n\right)=a^{n}[/math]로 정의하고 제 1 동형정리를 적용하여 바로 얻는다.
  26. ↑ 이것이 5차 방정식의 불가해성을 보여준다.
  27. ↑ [math]p[/math], [math]q[/math]는 서로 다른 소수
  28. ↑ 이는 중/고등 과정에서 이차방정식의 켤레근의 개념과 관련있다. 실은 켤레근도 갈루아 이론에서 온 단어로, (고차방정식의) 일반적인 켤레근의 정의는 갈루아 군으로 치환될 수 있는 복수의 근들이 된다.
  29. ↑ 정확히는 사칙연산과 제곱근호로 근을 나타낼 수 없다는 것도
  30. ↑ 치환의 군인 대칭군(symmetric group)과 영어 철자는 다르지만, 번역은 똑같이 된다. 문맥에 따라 구분하자.
  31. ↑ 거짓말 군이 아니라 노르웨이 수학자 Sophus Lie의 이름을 따왔다. 아주 엄밀히 말하면 리군의 정의는 미분다양체인 군이지만, 여기서는 신경쓰지 않아도 좋을 것 같다.
  32. ↑ 참고로, 중국어로는 李群이라고 한다. 이씨 수학자가 만든 이군
  33. ↑ 엄밀히는 반단순(semisimple) 리군들의