정의
코시 정리(Cauchy's Theorem)는 유한군 이론에서, 군 $G$의 차수가 어떤 소수 $p$를 포함하고 있을 때, $G$ 안에 차수가 정확히 $p$인 원소가 존재한다는 명제를 의미한다. 즉,
$$ p \mid |G| \quad \Longrightarrow \quad \exists, g\in G \text{ such that } \operatorname{ord}(g)=p . $$
이 정리는 군의 구조를 파악하는 데 기본적인 도구로 활용된다.
역사
이 정리는 프랑스의 수학자 오귀스트-루이 코시(Augustin-Louis Cauchy, 1789–1857)가 1845년에 발표한 논문에서 처음 제시하였다. 군론에서는 코시 정리와 함께 실버 정리(Sylow's Theorems)가 흔히 언급되며, 실버 정리는 코시 정리를 일반화한 형태로 다루어진다.
정리 내용
| 요소 | 내용 |
|---|---|
| 가정 | $G$는 유한군이며, $ |
| 결론 | $G$에는 차수가 $p$인 원소가 존재한다. 즉, 차수가 $p$인 순환 부분군 $\langle g\rangle$가 존재한다. |
증명 개요
일반적인 증명은 다음과 같은 두 가지 접근법 중 하나를 사용한다.
-
작용과 궤도 분해
- 군 $G$가 자기 자신에 대한 왼쪽 곱셈 작용을 고려한다.
- 원소 집합 $X = { (g_1,\dots,g_p) \in G^p \mid g_1g_2\cdots g_p = e }$에 순환군 $C_p = \langle \sigma\rangle$ (여기서 $\sigma$는 순환 순열) 를 작용시킨다.
- 고정점 원리(버그나흐의 정리)를 이용해 고정점이 존재함을 보이고, 그 결과 차수가 $p$인 원소가 존재함을 확인한다.
-
군의 중심과 영(零) 차수
- $G$의 중심 $Z(G)$가 $p$를 나누면, $Z(G)$ 안에 차수가 $p$인 원소가 존재함을 바로 알 수 있다.
- 그렇지 않은 경우, 중심이 $p$와 서로소이면, $G/Z(G)$에 대한 귀류법을 적용하여 차수가 $p$인 원소를 유도한다.
두 접근법 모두 군의 구조에 대한 일반적인 성질을 이용해 정리를 증명한다.
관련 정리
-
실버 정리(Sylow’s Theorems)
코시 정리를 $p$-부분군(차수가 $p^n$인 군)의 존재와 그 개수에 대해 일반화한다. 실버 제1정리는 $|G|$가 $p^n m$ ($p mid m$) 형태일 때 차수가 $p^n$인 부분군(실버 $p$-부분군)이 존재함을 보인다. -
라그랑주 정리(Lagrange’s Theorem)
군의 원소 차수와 부분군 차수가 군 차수를 나눈다는 기본적인 정리로, 코시 정리의 전제인 $|G|$와 소수 $p$의 관계를 배경으로 한다.
응용
코시 정리는 유한군의 원소 구조를 분석하고, 군이 특정 소수 차수를 포함하는지를 판단하는 데 이용된다. 특히, 군이 단순군인지 여부를 판단하거나, 실버 정리를 적용하기 위한 전제 조건을 검증할 때 기본적인 도구로 사용된다.
참고문헌
- D. S. Dummit, R. M. Foote, Abstract Algebra, 3rd ed., Wiley, 2004. – Chapter 3, Section “Cauchy’s Theorem”.
- J. Rotman, An Introduction to the Theory of Groups, 4th ed., Springer, 1995. – §3.4.
- M. Aschbacher, Finite Group Theory, Cambridge University Press, 2000. – Chapter 1, Theorem 1.3.
외부 링크
- 위키백과: Cauchy’s theorem (group theory) (영어)
- 한국수학회: 유한군론 교재 및 강의노트 (코시 정리 포함)
이 항목은 2026년 현재까지 확인된 학술 자료와 표준 교과서에 기반하여 작성되었다.