대수적으로 닫힌 체

(대수적 폐포에서 넘어옴)

추상대수학에서 대수적으로 닫힌 체(代數的으로 닫힌 體, 영어: algebraically closed field)는 모든 다항식을 1차 다항식으로 인수 분해할 수 있는 이다.

정의

편집

 에 대하여, 다음 조건들이 서로 동치이며, 이를 만족시키는 체를 대수적으로 닫힌 체라고 한다.

  • 다항식환  의 임의의 원소  에 대하여,   가 항상 적어도 하나가 존재한다.
  •  기약 다항식이 모두 일차식이다.
  •  대수적 확대  자신밖에 존재하지 않는다.
  • 임의의  에 대해,  선형 변환은 항상 어떠한 고윳값을 가진다. (이것은 해당 선형 변환의 특성다항식이 어떠한 근을 가진다는 것과 동치이기 때문에 성립한다.)

 대수적 폐포(代數的閉包, 영어: algebraic closure)   를 포함하는, 대수적으로 닫힌 대수적 확대  이다. 대수적 폐포는 항상 존재한다. 주어진 체  의 대수적 폐포들은 모두 서로 동형이지만, 이러한 동형은 표준적(영어: canonical)이지 않다. 엄밀하게 말하면, 대수적 폐포는 체의 범주에서 체의 범주로 가는 함자를 이루지 않는다.

분류

편집

두 대수적으로 닫힌 체   에 대하여, 다음 두 조건이 서로 동치이다.

  •   로서 서로 동형이다.
  •   은 같은 표수를 가지며, 또한 같은 절대 초월 차수(대수 독립 집합의 최대 크기)를 갖는다.

따라서, 대수적으로 닫힌 체들은 표수  와 초월 차수  로 완전히 분류된다. 즉, 모든 대수적으로 닫힌 체들은

 

또는

 

의 꼴로 나타낼 수 있다. 예를 들어, 복소수체는 초월 차수가  인 표수 0의 대수적으로 닫힌 체이므로,

 

이다.

성질

편집

절대 초월 차수가 기수  인 대수적으로 닫힌 체  집합의 크기는 다음과 같다.

 

즉, 모든 대수적으로 닫힌 체는 무한 집합이다. 이는  이면 절대 초월 차수와 같으므로, 비가산 대수적으로 닫힌 체들은 집합의 크기체의 표수에 따라 분류된다. (물론, 이는 가산 대수적으로 닫힌 체에 대해서는 성립하지 않는다.)

표수 0

편집

양의 표수

편집

모든 유한체는 대수적으로 닫혀 있지 않다. 체의 원소가  인 경우, 다항식  은 해를 갖지 않는다. 소수  의 크기를 가진 유한체  의 대수적 폐포  귀납적 극한

 

이다. 즉, 만약 체의 확대

 

집합론부분집합으로 간주하여

 

로 쓴다면,

 

이다.

참고 문헌

편집

외부 링크

편집

같이 보기

편집