정의
유한단순군의 목록은 모든 유한단순군을 종류별로 정리한 목록을 말한다. 유한단순군은 그 자체 외에 비자명한 정상 부분군을 갖지 않는 유한군이며, 이러한 군들의 전체를 체계적으로 정리한 것이 유한단순군의 목록이다.
개요
유한단순군의 전체 구조는 20세기 후반에 완성된 ‘유한단순군의 분류 정리’에 의해 명확히 규정된다. 분류 정리에 따르면, 유한단순군은 다음 네 가지 종류로 구분된다.
-
소수 차수의 순환군
- 차수가 소수 $p$인 순환군 $C_{p}$ (또는 $\mathbb{Z}/p\mathbb{Z}$).
-
교대군
- 차수가 5 이상인 교대군 $A_{n}$ ($n \ge 5$).
-
리 군(군론적 군)
- 리 군(군론적 군)이라 불리는 무한 계열의 군들로, 다음과 같은 두 부류가 있다.
a. 고전군: $\mathrm{PSL}{n}(q)$, $\mathrm{PSp}{2n}(q)$, $\mathrm{PSU}{n}(q)$, $\mathrm{P\Omega}{2n+1}(q)$, $\mathrm{P\Omega}^{\pm}{2n}(q)$ 등.
b. 예외군: $,^{2}B{2}(q)$, $,^{2}G_{2}(q)$, $,^{2}F_{4}(q)$, $G_{2}(q)$, $F_{4}(q)$, $E_{6}(q)$, $E_{7}(q)$, $E_{8}(q)$ 등.
- 리 군(군론적 군)이라 불리는 무한 계열의 군들로, 다음과 같은 두 부류가 있다.
-
희소군(스포라딕 군)
- 26개의 희소군(스포라딕 군)으로 구성되며, 가장 유명한 예로는 몬스터 군($M$)이 있다.
위 네 종류가 모든 유한단순군을 포괄한다는 것이 분류 정리의 핵심이다.
어원/유래
‘유한단순군’이라는 용어는 “유한”(finite)과 “단순”(simple)이라는 형용사가 결합된 것으로, 군론에서 정상 부분군이 없는 유한군을 의미한다. ‘목록(list)’은 이러한 군들을 체계적으로 나열한다는 의미에서 사용된다. ‘유한단순군의 분류’는 1970년대~1980년대에 걸쳐 다양한 수학자들(예: Gorenstein, Lyons, Solomon 등)이 협력하여 완성한 대규모 정리이다.
특징
| 구분 | 대표적인 형태 | 주요 특징 |
|---|---|---|
| 소수 차수 순환군 | $C_{p}$ (p는 소수) | 모든 유한단순군 중 가장 단순한 형태이며, 차수가 소수인 경우에만 단순함 |
| 교대군 | $A_{n}$ (n ≥ 5) | 차수가 5 이상인 교대군만이 단순함. 대칭군 $S_{n}$은 정상 부분군 $A_{n}$을 포함하므로 비단순 |
| 리 군 | $\mathrm{PSL}_{n}(q)$ 등 | 유한 체 $\mathbb{F}_{q}$ 위에서 정의된 군들로, 차원·체의 크기에 따라 무한히 많은 군이 존재 |
| 희소군 | 26종 | 제한된 수(26개)만 존재하며, 각각 특수한 구성과 대칭성을 갖는다. 가장 큰 것은 차수가 약 $8 \times 10^{53}$인 몬스터 군 |
- 분류 정리는 ‘모든 유한단순군은 위 네 범주 중 하나에 속한다’는 명제이다.
- 리 군은 다시 ‘고전군’과 ‘예외군’으로 세분화되며, 고전군은 선형, 심플렉틱, 유니터리, 직교군 등 전통적인 대수구조와 연관된다.
- 희소군은 각각 독특한 마그마 구조와 차원을 가지며, 대부분은 특정 격자나 코호모로지 이론에서 나타난다.
관련 항목
- 유한단순군 – 단순성을 만족하는 유한군 전체에 대한 일반적 정의.
- 유한단순군의 분류 – 1980년대에 완성된 정리로, 위 네 종류로의 구분을 증명한다.
- 몬스터 군 – 가장 큰 희소군으로, 차원이 $196884$인 표준 표현을 가진다.
- 리 군 – 리 대수와 연결된 군들로, 군론·대수기하학에서 중요한 역할을 한다.
- 교대군 – 순열군의 한 종류로, 대칭성 이론 및 조합론에서 핵심적인 대상이다.
이와 같이 유한단순군의 목록은 유한군 이론에서 가장 기본적이고 완전한 분류 체계 중 하나이며, 현대 대수학·수론·기하학·수학 물리학 등 다양한 분야에서 활용된다.