정수 확장
정수 확장은 모든 원소가 부분환에 대한 모닉 다항식을 만족하는 환 확장으로, 대수적 체 확장을 일반화하고 환들 사이의 소 아이디얼(prime ideal) 관계를 제어합니다.
Definition
환 확장의 원소가 부분환에 대해 정수적(integral)이라는 것은 그 원소가 부분환의 계수를 갖는 모닉 다항식의 근이라는 의미입니다. 확장은 모든 원소가 정수적일 때 정수적이며, 정수 폐포는 그러한 모든 원소의 집합입니다.
Scope
이 주제는 정수 원소와 정수 의존성, 확장 내 환의 정수 폐포(integral closure)와 정규 환(normal ring), lying-over, going-up, going-down 정리, 그리고 차원 이론의 기초가 되는 구조적 결과인 뇌터 정규화(Noether normalization)를 다룹니다.
Core questions
- 하나의 환 원소가 부분환에 대해 정수적이라는 것은 무엇을 의미합니까?
- 정수 폐포는 무엇이며, 환이 언제 정규적(normal)입니까?
- 정수 확장을 따라 소 아이디얼은 어떻게 상승하고 하강합니까?
- 뇌터 정규화는 어떻게 대수를 다항식 환의 유한 확장으로 표현합니까?
Key theories
- 정수 폐포와 정규성
- 부분환에 대해 정수적인 원소들은 부분환, 즉 정수 폐포를 형성하며, 분수체(field of fractions) 내에서 자신의 정수 폐포와 동일한 정역(domain)을 정수적으로 닫혀 있거나 정규적이라고 부르는데, 이는 핵심적인 정칙성 조건입니다.
- Lying-over 및 going-up 정리
- 정수 확장의 경우, 부분환의 모든 소 아이디얼은 확장의 소 아이디얼의 수축(contraction)이며 (lying over), 소 아이디얼의 사슬은 호환적으로 상승합니다 (going up). 따라서 두 환의 소 스펙트럼(prime spectra)은 밀접하게 연결되어 있습니다.
- 뇌터 정규화
- 체에 대한 모든 유한 생성 대수(finitely generated algebra)는 대수적으로 독립적인 원소들로 이루어진 다항식 부분환에 대한 유한, 따라서 정수적 모듈(module)이며, 이는 차원 이론과 아핀 다양체(affine varieties) 기하학의 대수적 핵심입니다.
Clinical relevance
정수 확장은 대수적 수론(algebraic number theory)에서 수체의 정수환이 정수의 정수 폐포인 경우와, 대수 기하학(algebraic geometry)에서 뇌터 정규화와 going-up 정리가 차원 이론과 다양체(varieties) 사이의 유한 사상(finite morphisms)의 거동을 뒷받침하는 경우에 핵심적입니다.
History
정수 의존성은 데데킨트(Dedekind)가 연구한 수론의 대수적 정수(algebraic integers)를 추상화한 것입니다. 에미 뇌터(Emmy Noether)의 정규화 보조정리와 크룰(Krull)의 1920년대 및 1930년대 연구는 정수 확장을 차원 이론의 기초로 만들었으며, 이는 나중에 자리스키(Zariski)와 그로텐디크(Grothendieck)에 의해 기하학적으로 해석되었습니다.
Key figures
- Emmy Noether
- Wolfgang Krull
- David Hilbert
- Oscar Zariski
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- 정수 확장은 대수적 체 확장을 어떻게 일반화합니까?
- 체 위에서는 모닉 다항식과 임의의 0이 아닌 다항식이 단위(unit)에 의해서만 다르기 때문에 정수적(integral)과 대수적(algebraic)은 동일한 의미를 가집니다. 일반적인 환 위에서는 모닉 조건이 필수적이며, 이는 대수적 정수처럼 행동하는 원소들을 포착합니다.
- 뇌터 정규화가 왜 중요합니까?
- 이는 체에 대한 모든 유한 생성 대수를 다항식 환의 유한 확장으로 표현하여, 그 차원이 다항식 변수의 수와 같게 만듭니다. 이는 아핀 다양체의 전체 차원 이론을 구체적인 구성에 기반을 둡니다.