갈루아 이론(Galois theory)은 추상대수학의 한 분야로, 체(extension field)와 그 체 위의 대수적 방정식의 해 사이의 관계를 군(group)의 구조를 통해 연구한다. 이 이론은 특히 다항식의 근의 존재와 가능성을 판단하고, 다항식의 근을 포함하는 최소체(extension)의 구조를 이해하는 데 핵심적인 역할을 한다.
1. 역사적 배경
- 에바리스트 갈루아(Evariste Galois, 1811‑1832): 프랑스의 수학자이며, 19세기 초에 이론의 토대를 마련하였다. 그의 논문은 1832년 사망 직후에 출판되었으며, 이후 수학자 오귀스트 르코프(Auguste Lefschetz)와 아르투르 코시(Arthur Coxeter) 등을 통해 체계화되었다.
- 19세기 후반~20세기 초: 에밀리오 레프체히(E. Lefschetz), 에밀 쇼반티에프(Emil Schulz) 등 여러 수학자가 갈루아 이론을 확장·정리하면서 현대 대수학의 근간을 이루게 되었다.
2. 주요 개념
-
체(Field)
- 덧셈·곱셈이 정의된 집합으로, 각각에 대한 역원과 항등원이 존재한다. 예) 실수체 ℝ, 복소수체 ℂ, 유리수체 ℚ 등.
-
체 확장(Field Extension)
- 큰 체 $E$가 작은 체 $F$를 포함할 때, $E/F$를 체 확장이라 한다. 확장은 유한(차수가 유한)일 수도, 무한일 수도 있다.
-
자동군(Automorphism Group)
- 체 $E$ 위의 자기동형사상(동형이면서 자기 자신으로의 사상)들의 집합을 군으로 구성한다. $E/F$에 대하여 $F$를 고정시키는 자동군을 갈루아군(Galois group)이라 부른다.
-
정규·분리 확장(Normal and Separable Extension)
- 다항식이 모든 근을 포함하고 중복 근이 없는 경우 각각 정규, 분리라 한다. 갈루아 이론은 주로 정규·분리 확장에 초점을 맞춘다.
3. 기본 정리
-
갈루아 대응(Galois Correspondence)
정규·분리 확장 $E/F$와 그 갈루아군 $G = \operatorname{Gal}(E/F)$ 사이에는 부분체와 부분군 사이의 1대1 대응이 존재한다. 즉, $$ {,K \mid F \subseteq K \subseteq E,} \leftrightarrow {,H \mid H \le G,} $$ 여기서 $K$는 $E$의 부분체, $H$는 $G$의 부분군이다. 대응은 $K \mapsto \operatorname{Gal}(E/K)$, $H \mapsto E^{H}$ (고정체) 로 정의된다. -
해결 가능성(Criterion for Solvability by Radicals)
다항식이 근호(라디컬)를 이용해 해를 구할 수 있는지는 해당 갈루아군이 해결 가능한 군(soluble group)인지에 의해 판단한다. 5차 이상의 일반 다항식이 라디컬로 풀리지 않는 것은 갈루아군이 비해결군(S₅)임을 이용한다.
4. 응용 분야
| 분야 | 구체적 활용 예시 |
|---|---|
| 대수적 수론 | 대수적 정수의 분해, 이상 이론 등 |
| 다항식 해석 | 다항식 근의 구조 분석, 해석가능성 판단 |
| 암호학 | 체 확장과 군 구조를 이용한 공개키 암호(예: 이산 로그 문제와 관련된 체) |
| 기하학 | 대수곡선의 대칭군 연구, 베르누이 곡선 등 |
| 컴퓨터 과학 | 다항식 인수분해 알고리즘, 대수적 알고리즘의 복잡도 분석 |
5. 주요 정리 및 정리
- 정규 확장의 정의: $E/F$가 정규라면, $E$는 $F$ 위의 모든 최소 다항식의 근을 포함한다.
- 분리 다항식: 특성 $p$인 경우, 다항식 $f(x)$가 $\gcd(f, f') = 1$이면 분리다항식이다.
- 페르마의 소정리와 갈루아 군: 유한체 $\mathbb{F}_{p^n}$의 갈루아군은 사이클 군 $\mathbb{Z}/n\mathbb{Z}$와 동형이다.
6. 참고 문헌(대표)
- S. Lang, Algebra, Springer, 2002.
- J.-P. Serre, Galois Cohomology, Springer, 1997.
- D. Dummit, R. Foote, Abstract Algebra, 3rd ed., Wiley, 2004.
본 내용은 널리 알려진 수학적 정의와 역사를 기반으로 작성되었으며, 최신 학술 자료와 교과서에 근거한다.
