대수적 수체와 정수환

대수적 수체는 유리수의 유한 확장이며, 그 정수환은 일반적인 정수의 자연스러운 산술적 유사체입니다. 이는 아이디얼(ideal)이 원소가 아닌 고유하게 인수분해되는 데데킨트 정역(Dedekind domain)입니다.

Definition

대수적 수체는 유리수의 유한 차수 체 확장이며, 그 정수환은 정수 계수를 갖는 모닉 다항식의 근인 원소들로 구성되며, 데데킨트 정역을 형성합니다.

Scope

이 주제는 대수적 수와 대수적 정수, 대수적 수체와 그 차수 및 임베딩, 대수적 수체 내 정수의 정수적 폐포로서의 정수환, 정수 기저와 수체 판별식, 데데킨트 정역으로서의 정수환의 특성화, 그리고 0이 아닌 아이디얼의 소수 아이디얼로의 고유한 인수분해를 다룹니다.

Core questions

• 대수적 수체의 어떤 원소들이 정수로 간주되며, 왜 그것들이 환을 형성하는가?
• 정수 기저(integral basis)란 무엇이며, 대수적 수체의 판별식(discriminant)은 어떻게 정의되고 계산되는가?
• 어떤 속성들이 정수환을 데데킨트 정역으로 만드는가?
• 아이디얼의 고유한 인수분해가 원소의 고유한 인수분해를 어떻게 대체하는가?

Key theories

정수환과 정수적 폐포

대수적 수체 내의 대수적 정수들은 그 수체의 정수환을 형성하며, 이는 수체 내 정수의 정수적 폐포입니다. 이는 수체 차수와 동일한 계수를 갖는 자유 가군(free module)이며, 정수 기저를 가집니다.

데데킨트 정역과 아이디얼의 인수분해

정수환은 뇌터(Noetherian)적이고, 정수적으로 닫혀 있으며, 차원이 1입니다. 즉, 데데킨트 정역이며, 모든 데데킨트 정역에서 모든 0이 아닌 아이디얼은 소수 아이디얼로 고유하게 인수분해됩니다.

판별식

정수 기저의 판별식은 수체의 정수 불변량으로, 분기된 소수(ramified primes)를 감지하고 민코프스키(Minkowski)의 상한과 에르미트(Hermite)의 유한성 정리를 통해 수체를 제한합니다.

Clinical relevance

정수환과 그 아이디얼 구조는 수체 체(number field sieve) 인수분해 알고리즘과 아이디얼-격자 암호학(ideal-lattice cryptography)의 배경이 되며, 여기서 정수환의 산술은 어려운 문제와 효율적인 연산의 원천이 됩니다.

History

쿠머(Kummer)는 1840년대에 원분 정수(cyclotomic integers)와 아이디얼 수(ideal numbers)를 연구했습니다. 데데킨트(Dedekind)는 1870년대 디리클레(Dirichlet)의 강의에 대한 보충 자료에서 정수환과 아이디얼의 현대적 개념을 정의하고, 아이디얼의 고유한 인수분해를 증명하며 추상 이론을 확립했습니다.

Key figures

• Richard Dedekind
• Leopold Kronecker
• Ernst Kummer

Seminal works

• marcus2018

Frequently asked questions

정수환은 항상 유일 인수분해 정역(unique factorization domain)인가?

그렇지 않습니다. 원소들이 고유하게 인수분해될 필요는 없지만, 이 환은 항상 데데킨트 정역이므로 아이디얼은 고유하게 인수분해됩니다. 이 환은 그 유수(class number)가 1일 때만 유일 인수분해 정역입니다.

판별식은 무엇을 알려주는가?

수체 판별식은 정수 불변량으로, 그 소수 약수들은 수체에서 분기되는 소수들과 정확히 일치하며, 그 크기는 수체가 얼마나 복잡할 수 있는지를 제한합니다.