정의
대수적으로 닫힌 체(algebraically closed field)란, 임의의 비정상 상수 다항식 $f(x)\in F[x]$에 대해 적어도 하나의 근 $\alpha\in F$가 존재하는 체 $F$를 말한다. 즉, 모든 차수가 1보다 큰 다항식이 그 체 안에서 완전히 인수분해될 수 있다.
주요 성질
| 성질 | 내용 |
|---|---|
| 무한성 | 대수적으로 닫힌 체는 반드시 무한하다. (유한체는 모든 다항식이 완전히 인수분해되지 않음) |
| 특성 | 대수적으로 닫힌 체는 0 또는 소수 $p$인 특성을 가질 수 있다. |
| 대수적 폐쇄 | 임의의 체 $K$에 대하여, 대수적으로 닫힌 체는 $K$의 대수적 폐쇄(algebraic closure) 로서 존재한다. 대수적 폐쇄는 $K$에 대한 대수적 확장의 최대(포함 관계상)이며, 고유성은 동형사상으로 보장된다. |
| 분할 정리 | 대수적으로 닫힌 체 위에서 정의된 다항식은 일차인수들의 곱으로 완전히 분해된다(분할 정리). |
| 다항식 근 | 체 $F$가 대수적으로 닫혔을 때, $F[x]$의 모든 비상수 다항식은 적어도 하나의 근을 가지므로, 근을 찾는 과정이 단순해진다. |
대표적인 예
| 체 | 특성 | 비고 |
|---|---|---|
| $\mathbb{C}$ (복소수체) | 0 | 실수체 $\mathbb{R}$ 위의 대수적 폐쇄이며, 가장 널리 알려진 대수적으로 닫힌 체 |
| $\overline{\mathbb{Q}}$ (유리수의 대수적 폐쇄) | 0 | 모든 대수적 수를 포함하는 최소한의 대수적으로 닫힌 체 |
| $\overline{\mathbb{F}_p}$ (유한체 $\mathbb{F}_p$의 대수적 폐쇄) | 소수 $p$ | 무한하지만 가산인 체. 각 원소는 유한체들의 직접한계(limit)로 구성된다. |
| $\mathbb{C}_p$ (완비 대수적 폐쇄) | 소수 $p$ | $\mathbb{Q}_p$ (p-진수 체)의 대수적 폐쇄를 완비화한 체로, 대수적으로 닫혀 있다. |
존재 및 유일성
모든 체 $K$에 대해 대수적 폐쇄가 존재한다는 것은 Zorn의 보조정리와 같은 선택공리를 이용한 존재 증명에 의해 보인다. 또한, 두 대수적 폐쇄는 $K$ 위에서 동형이며, 이러한 동형은 고유하게 정의된다(동형 유일성).
응용 분야
- 대수기하학 – 대수적으로 닫힌 체 위에서 정의된 대수다양체는 좌표함수의 근이 모두 체 안에 존재하므로, 위상 및 구조를 분석하기가 용이하다.
- 가일스 이론 및 체론 – 대수적 폐쇄는 체 확장과 가일스 군을 연구하는 기본 배경을 제공한다.
- 수론 – $p$-진수 체와 그 대수적 폐쇄는 로컬 필드 이론 및 모듈러 형태 연구에 활용된다.
- 복소해석학 – 복소수체가 대수적으로 닫혀 있기 때문에, 복소해석학의 많은 결과(예: 복소다항식의 근 존재)는 체의 대수적 성질에 기초한다.
참고
- S. Lang, Algebra, Springer.
- D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry, Springer.
위와 같이, “대수적으로 닫힌 체”는 현대 수학, 특히 대수 및 대수기하학에서 핵심적인 개념으로 널리 사용된다.
