정칙국소환
§차원, ⁋정의 9을 생각하면, regular local ring (A,m)에서 m을 생성하는 d=dimA개의 원소들 a1,…,ad는 A의 system of parameters가 되는 것이 자명하다. 이를 regular system of parameters라 부른다.
따름정리 1 Regular local ring은 integral domain이다.
증명
(A,m)의 차원에 대한 귀납법으로 증명한다. d=0인 경우는 A가 field이므로 증명할 것이 없다. dimA=d인 경우까지 주어진 주장이 성립한다 가정하고 dimA=d+1인 경우를 보이자. 그럼 특히 m=0이므로 §정수적 확장, ⁋보조정리 8로부터 m=m2임을 안다. 한편, §동반소아이디얼, ⁋정리 7로부터 A의 minimal prime ideal들은 유한하다는 것을 안다. 이들을 p1,…,pk라 하자. 만일
m⊆m2∪p1∪⋯∪pk
라면 §동반소아이디얼, ⁋보조정리 2과 위의 계산 m=m2에 의해 m=pi여야 하고, 이는
d+1=dimA=codimm=codimpi=0
이 되어 모순이므로 우리는 반드시 적당한 a∈m이 존재하여 a∈m2∪p1∪⋯∪pk여야 함을 안다.
이제 A′=A/(a)라 하고, A′의 maximal ideal m′=mA′를 생각하자. 그럼 a의 선택에 의하여, A′의 prime ideal들 중에는 pi에 대응되는 것이 없으므로 반드시 dimA′<dimA가 성립하며, 이를 §매개계, ⁋따름정리 6과 종합하면 dimA′=d−1인 것을 안다. 따라서 다음 식
m′/(m′)2=m/(m2+(a))
과 §정수적 확장, ⁋보조정리 8로부터 m′이 (d−1)개의 원소로 생성되는 것을 알고, 따라서 귀납적 가정에 의해 A′는 integral domain이다. 즉, (a)는 prime ideal이며, 따라서 어떤 i에 대해 pi⊊(a)가 성립한다.
이제 임의의 x∈pi에 대하여, x=αa이도록 하는 α∈A를 택하자. 그럼 a∈pi이므로 α∈pi이고, 따라서 pi=api이며 이로부터 pi=mpi이다. 다시 §정수적 확장, ⁋보조정리 8를 적용하면 pi=0이므로 A는 integral domain이다.
이 따름정리는 앞으로도 자주 사용하게 되므로, 다음과 같이 새로운 정의를 내린다.
정의 2 Ring A의 원소들 a1,…,ad가 A-regular sequence 혹은 간단히 A-sequence라는 것은 (a1,…,ad)가 proper이고, 각각의 i에 대하여 ai+1의 image가 A/(a1,…,ai)에서 non-zerodivisor인 것이다.
따름정리 3 Regular local noetherian ring의 regular system of parameters는 A-sequence를 이룬다.
증명
각각의 i에 대하여 A/(a1,…,ai)도 regular local ring이고, 따름정리 1에 의해 이는 integral domain이며 xi+1은 이 ring의 0이 아닌 원소가 된다.
명제 4 Complete regular local noethereian ring (A,m)의 차원이 d이고, residue field κ=A/m라 하자. 만일 A가 어떠한 field를 포함한다면 A≅κ[[x1,…,xd]]이며, 이 isomorphism은 각각의 변수 xi들과 A의 regular system of parameters를 대응시킨다.
증명
§완비화의 성질들, ⁋정리 8에 의하여, 주어진 가정으로부터 A가 κ를 포함해야 한다는 것을 안다. 이제 §완비화의 성질들, ⁋정리 5의 첫째 결과에 의하여 κ-algebra homomorphism ϕ:κ[[x1,…,xd]]→A를 얻으며, 둘째 결과에 의하여 ϕ는 surjective이다. 한편 κ[[x1,…,xd]]는 따름정리 1에 의하여 d차원이므로
d=dimA=dimim(ϕ)=dimκ[[x1,…,xd]]/kerϕ≤dimκ[[x1,…,xd]]−codimkerϕ=d−codimkerϕ
이고, 이것이 참이기 위해서는 반드시 codimkerϕ=0이어야 한다. 그런데 κ[[x1,…,xd]]는 §매개계, ⁋따름정리 10에 의하여 integral domain이므로, 이는 곧 kerϕ=0이라는 뜻이다.
이산값매김환
이제 우리는 1차원의 regular local ring (A,m)에 대해 살펴본다. 그럼 정의에 의해 m은 하나의 원소 m으로 생성되어야 하며, 우리는 이를 A의 regular parameter 혹은 uniformizing parameter라 부른다.
명제 5 1차원의 regular local ring (A,m)이 주어졌다 하고, m이 A의 regular parameter라 하자. 그럼 Frac(A)의 임의의 원소 x는
x=amkk∈Z, a a unit of A
의 꼴로 유일하게 적을 수 있다.
증명
우선 A는 따름정리 1으로부터 integral domain이다. 이제 §부풀림 대수, ⁋따름정리 8에 의하여 ⋂mi=0이므로, 0이 아닌 임의의 x∈A에 대하여 x∈mi를 성립하도록 하는 index i는 유한히 많다. 이들 중 가장 큰 것을 k라 하면, x∈mk=(mk)인 것으로부터 x=amk이도록 하는 a∈A가 존재한다. 그럼 k의 maximality에 의하여 a는 A의 unit이다.
이제 Frac(A)의 임의의 원소 x가 주어졌다 하자. x=x1/x2라 하면, 위의 논증에 의하여
x=x2x1=a2mk2a1mk1=a1a2−1mk1−k2=amk
로 적을 수 있다. 이 때 a=a1a2−1이 unit이며, 이 표기의 유일성은 거의 자명하다.
그럼 위에서 증명한 표기의 유일성으로부터, multiplicative group Frac(A)×에서 Z로의 group homomorphism
ν:Frac(A)×→Z;amk↦k
를 정의할 수 있다. 더 일반적으로 다음을 정의한다.
정의 6 Integral domain A와 totally ordered abelian group G에 대하여, group homomorphism ν:Frac(A)×→G가 다음 부등식
ν(x+y)≥min(ν(x),ν(y))
를 만족한다면 ν를 valuation값매김이라 부른다. Valuation ν에 대하여, 다음의 ring
S=ν−1({g∈G∣g≥0})
을 ν의 valuation ring값매김환이라 부른다.
특히 만일 G=Z일 경우에는 이를 discrete valuation이산값매김이라 부르고, ν의 valuation ring을 discrete valuation ring이산값매김환이라 부른다.
그럼 위에서 정의한 ν:Frac(A)×→Z가 discrete valuation이 된다는 것은 다음의 식
amk+bml=(amk−min(k,l)+bml−min(k,l))mmin(k,l)
에 의해 자명하다. 그럼 명제 4에 의하여, 두 complete discrete valuation ring이 각각 field를 포함하고, isomorphic한 residue field를 갖는다면 이들은 서로 isomorphic하다는 것을 안다. 그러나 일반적으로 complete하지 않은 discrete valuation ring들 사이에는 이러한 종류의 classification이 존재하지 않는다.
세르의 정규화 조건
우선 편의를 위해, ring A의 non-zerodivisor u에 대하여, A/(u)의 associated prime ideal p를 associated to a non-zerodivisor u라 부르기로 하자. 이는 §동반소아이디얼, ⁋정의 1에서와 마찬가지 예외이다.
명제 7 Reduced noetherian ring A와 A의 total ring of fractions K가 주어졌다 하자. 그럼 원소 x∈K가 A에 속하는 것은 임의의 prime ideal p associated to a non-zerodivisor에 대하여 x의 Kp에서의 image가 Ap에 속하는 것과 동치이다.
증명
정의에 의해 K의 원소는 임의의 a∈A와 non-zerodivisor u∈A에 대하여 a/u의 꼴이다. 이제
ua∈A⟺a∈(u)⟺a=0mod(u)⟺ϵp(a)=0 in (A/(u))p=Ap/(u)Ap for all p associated prime of A/(u)
가 성립한다. 여기서 ϵp:A→Ap는 canonical morphism이고, 마지막 동치는 §동반소아이디얼, ⁋따름정리 4에 의한 것이다. 그럼 임의의 prime ideal p associated to a non-zerodivisor에 대하여,
ϵp(a)∈(u)Ap
이다. 한편, A가 reduced이므로 K는 field들의 유한한 direct product이고 (§동반소아이디얼, ⁋따름정리 8), localization은 유한한 direct product와 commute하므로 Ap의 total ring of fractions와 Kp를 identify할 수 있다. 이 identification을 통해 위의 포함관계를 다시 살펴보면 원하는 결과를 얻는다.
이를 통해 다음을 보일 수 있다.
정리 8 Noetherian integral domain A가 normal domain인 것은 다음 조건과 동치이다.
(∗) 임의의 prime ideal p associated to a principal ideal에 대하여, pAp는 Ap의 principal ideal이다.
증명
우선 (∗)를 가정하고 A가 normal domain임을 보인다. 그런데 공통의 quotient field를 갖는 normal domain들이 주어졌다 하면, 이들의 교집합 또한 normal domain이 되는 것이 자명하다. 따라서 다음 식
A=p associated to a principal ideal⋂Ap
을 보이면 충분하며, 여기서 Ap는 A의 quotient field K의 부분집합으로 본 것이다. 이제 보이고자 하는 주장은 명제 7에서 더 일반적인 경우에 다루었다.
거꾸로 A가 normal domain이라 하고, p가 principal ideal a=(a)의 associated prime이라 하자. 즉
p=ann(b+a)
이며, 우리는 pAp가 Ap의 principal ideal인 것을 보여야 한다. 이는 어차피 localization에 대한 것이므로, (A,p)가 local ring이었다고 가정해도 상관 없으며, 이 때 K를 A의 field of fraction이라 하고, p의 inverse
p−1={x∈K∣xp⊆A}
를 생각하면 p−1p는 p와 A 사이의 ideal이다. 이제 p의 maximality로부터 p−1p=p이거나 p−1p=A가 성립해야 한다. 그런데 만일 p−1p=p라면 §정수적 확장, ⁋보조정리 5에 의하여 p−1의 임의의 원소는 integral이고, 따라서 p−1⊆A이다. 그런데 pb⊆(a)이므로, b/a∈p−1이고 이로부터 b∈(a)가 되어 모순이다.
따라서 pp−1=A여야 한다. 또, (A,p)가 local이므로, 이 두 조건을 종합하면 적당한 x∈p−1에 대하여 xp=A여야 함을 안다. 따라서 p=Ax−1은 principal이다.
이 정리는 더욱 일반화가 가능하다. 우선 다음을 정의하자.
정의 9 Ring A와 A의 total ring of fractions K를 고정하자.
- A가 normal ring정규환이라는 것은 A가 reduced이고, K 안에서 A가 integrally closed인 것이다.
- Reduced ring A의 normalization정규화을 K에서의 A의 integral closure로 정의한다.
그럼 다음이 성립한다.
정리 10 (Serre) Noetherian ring A가 normal domain들의 (유한한) direct product인 것은 다음의 두 조건이 모두 성립하는 것과 동치이다.
(R1) A의 codimension 1 prime에서의 localization은 DVR이고, A의 codimension 0 prime에서의 localization은 field이다.
(S2) A의 non-zerodivisor로 생성되는 principal ideal의 associated prime은 codimension 1이다. 또, 0의 associated prime은 모두 codimension 0이다.
증명
우선 일반적으로, noetherian ring A가 다른 ring들의 direct product
A=A1×⋯An
이고, 이 ring의 임의의 prime ideal은 prime ideal pk⊆Ak에 대해
A1×⋯×Ak−1×pk×Ak+1×⋯×An
의 꼴로 나타나며, 0의 associated prime ideal은 위의 꼴에서 pk를 0의 (Ak에서의) associated prime으로 두면 된다. 마찬가지로 A의 non-zerodivisor
a=(a1,…,an),ai a non-zerodivisor of Ai
의 associated prime은 pk를 ak의 associated prime으로 둔 것과 같다.
이제 주장을 증명하자. 우선 각각의 Ai가 normal이라면 (S2)조건은 정리 8의 결과로 얻어지고, (R1) 조건은 A의 codimension c짜리 prime ideal p에서의 localization을 위에서의 p의 묘사를 통해 Ak에서의 codimension c prime pk에서의 localization으로 볼 수 있기 때문에 성립한다.
거꾸로 R1S2 조건이 성립한다 하자. 그럼 우선 R은 reduced ring이다. 이는 만일
0=⋂qi,qi a pi-primary ideal
가 0의 minimal primary decomposition이라면 여기에 등장하는 pi들은 모두 S2 조건에 의해 codimension 0 ideal들이고, R1 조건에 의해 여기에서의 localization이 field임을 안다. 따라서 명제 7을 적용할 수 있고, 여기에 §조르단-횔더 정리, ⁋정리 5를 적용해주면 원하는 결과를 얻는다.
참고문헌
[Eis] David Eisenbud. Commutative Algebra: with a view toward algebraic geometry. Springer, 1995.
댓글남기기