대수적으로 닫힌 체편집자 확인

대수적으로 닫힌 체는 추상대수학의 체론에서 중요한 개념이다. 이는 주어진 체 위에서 정의된 모든 다항식이 그 체 안에서 적어도 하나의 근을 가질 때를 가리킨다. 즉, 체 K에 대해, 다항식환 K[t]의 모든 원소 p(t)에 대해 p(t₀)=0을 만족하는 t₀ ∈ K가 항상 존재하는 체를 말한다.

이 정의는 여러 동치 조건으로 설명된다. K[t]의 모든 기약 다항식이 일차식이라는 것, 체 K의 대수적 확대가 K 자신밖에 존재하지 않는다는 것, 그리고 Kⁿ에서 Kⁿ으로 가는 선형 변환이 항상 고윳값을 가진다는 것 등이 모두 대수적으로 닫힌 체의 특징이다. 이러한 체의 대표적인 예로는 복소수체가 있으며, 이는 대수학의 기본 정리에 의해 보장된다.

주어진 체 K를 포함하는 가장 작은 대수적으로 닫힌 체를 K의 대수적 폐포라고 하며, 기호로는 K̅로 표기한다. 대수적 폐포는 항상 존재하며, 모든 대수적 폐포는 서로 동형이지만, 그 동형 사상은 표준적이지 않다. 즉, 대수적 폐포를 구성하는 방법은 유일하지 않다.

대수적으로 닫힌 체는 체 K가 다음 동치 조건들 중 하나를 만족할 때를 말한다. 첫째, 다항식환 K[t]의 모든 다항식이 K 안에 적어도 하나의 근을 가진다. 둘째, K[t]의 모든 기약 다항식이 일차식이다. 셋째, K의 모든 대수적 확대가 K 자신밖에 존재하지 않는다. 넷째, Kⁿ에서 Kⁿ으로 가는 모든 선형 변환이 적어도 하나의 고윳값을 가진다.

이 개념과 밀접하게 연관된 것이 대수적 폐포이다. 체 K의 대수적 폐포는 K를 포함하는, 대수적으로 닫힌 대수적 확대를 의미하며, 기호로는 K̅로 나타낸다. 대수적 폐포는 항상 존재하지만, 그 구성은 표준적이지 않다. 즉, 주어진 체의 모든 대수적 폐포들은 서로 동형이지만, 그 동형 사상은 유일하게 정해지지 않는다.

대수적으로 닫힌 체는 여러 동치 조건을 통해 그 성질을 특징짓는다. 가장 기본적인 정의는 다항식환 K[t]의 모든 다항식이 체 K 내에서 적어도 하나의 근을 갖는 것이다. 이는 K[t]의 모든 다항식이 일차식들의 곱으로 완전히 인수분해 가능하다는 것과 동치이며, 이로부터 K[t]의 모든 기약 다항식이 일차식이라는 결론을 얻는다. 또한, 체 K의 어떠한 대수적 확대도 K 자신밖에 존재하지 않는다는 성질도 동일한 개념을 설명한다.

대수적으로 닫힌 체의 중요한 성질 중 하나는 선형 변환과의 관계이다. 체 K 위의 벡터 공간 Kⁿ에서 Kⁿ으로 가는 임의의 선형 변환은 항상 적어도 하나의 고윳값을 가진다. 이는 해당 선형 변환의 특성 다항식이 대수적으로 닫힌 체 위에서는 반드시 근을 가지기 때문이다. 이러한 성질은 행렬의 조르당 표준형 존재와 같은 선형대수학의 핵심 정리들을 뒷받침한다.

또한, 대수적으로 닫힌 체는 무한 집합이다. 만약 유한한 체가 대수적으로 닫혀 있다고 가정하면, 그 체의 모든 원소 a₁, a₂, ..., aₙ에 대해 다항식 (x - a₁)(x - a₂)...(x - aₙ) + 1은 어떤 원소도 근으로 갖지 않게 되어 모순이 발생하기 때문이다. 따라서 모든 대수적으로 닫힌 체, 예를 들어 복소수체나 유한체의 대수적 폐포는 무한히 많은 원소를 갖는다.

대수적으로 닫힌 체의 또 다른 특징은 절대 초월 차수와 집합의 크기 사이의 관계이다. 절대 초월 차수가 기수 κ인 대수적으로 닫힌 체 K의 크기는 |K| = max{κ, ℵ₀}이다. 이는 비가산 대수적으로 닫힌 체들이 그 집합의 크기와 체의 표수에 따라 분류될 수 있음을 의미한다.

두 대수적으로 닫힌 체가 서로 동형인지 여부는 그 체의 표수와 절대 초월 차수에 의해 완전히 결정된다. 구체적으로, 두 대수적으로 닫힌 체 K와 K'에 대해 다음 두 조건은 서로 동치이다. 첫째, K와 K'이 체로서 서로 동형이다. 둘째, K와 K'이 같은 표수를 가지며, 또한 같은 절대 초월 차수를 갖는다. 여기서 절대 초월 차수는 체에서 대수적으로 독립인 부분집합의 최대 크기를 의미한다.

이 결과에 따라, 모든 대수적으로 닫힌 체는 표수 p와 초월 차수 κ라는 두 개의 불변량으로 완전히 분류된다. 예를 들어, 표수가 0이고 초월 차수가 2^ℵ₀인 대수적으로 닫힌 체는 모두 서로 동형이며, 복소수체가 그 대표적인 예이다. 이는 C ≅ Q({x_i}_{i ∈ 2^ℵ₀})의 대수적 폐포와 동형임을 의미한다.

반면, 같은 표수를 가져도 초월 차수가 다르면 두 체는 동형이 아니다. 예를 들어, 모든 유한체의 대수적 폐포인 F̅_p는 초월 차수가 0이다. 따라서 표수 p > 0이고 초월 차수가 0인 대수적으로 닫힌 체는 모두 F̅_p와 동형이다. 이 분류는 대수적으로 닫힌 체의 구조가 본질적으로 그 체가 포함하는 초월적 원소들의 수와 표수에 의해 결정됨을 보여준다.

• 위키백과 - 대수적으로 닫힌 체

• OnulWiki - 대수적으로 닫힌 체

• Math-JH - 대수적으로 닫힌 확장

• KISTI - 대수적으로 닫힌 체의 성질과 응용

• Encyclopedia of Mathematics - Algebraically closed field

• Wolfram MathWorld - Algebraically Closed Field

• Brilliant - Algebraically Closed Fields

• ProofWiki - Definition:Algebraically Closed Field

• nLab - Algebraically closed field

• Stack Exchange - What is an algebraically closed field?

• ko.wikipedia.org

• wiki.onul.works

• math-jh.github.io

• scienceon.kisti.re.kr