임의의 abelian group G와 그 subgroup들의 decreasing sequence
J:G=H0⊇H1⊇⋯
가 주어졌다 하면, G/Hi+1→G/Hi들이 잘 정의되며, 더 일반적으로 이들의 적절한 합성을 통해 j>i일 때마다 ρji:G/Hj→G/Hi가 정의된다. 이들 데이터를 통해 inverse limit
GJ=ilimG/Hi={(g1,g2,…)∈∏G/Hi∣∣ρji(gj)=gi for all j>i}
그리고 canonical morphism들 ρi:GJ→G/Hi들이 주어지며, 이 때 ρji∘ρj=ρi가 모든 j>i에 대해 성립한다. 표기의 편의를 위해 J가 문맥에 따라 명확할 경우 이를 간단히 G로 쓰기도 한다.
그럼 이들은 [범주론] §극한, ⁋예시 5에서 살펴본 것과 같이 범주론적인 극한으로 생각할 수 있으며, 따라서 다음의 universal property 또한 만족한다.
ρji∘πj=πi를 만족하는 K→G/Hi들이 주어질 때마다, 유일한 π:K→G가 존재하여 다음의 diagram
이 commute하도록 할 수 있다.
만일 G에 ring 구조가 주어져 있고 Hi들이 ideal들이었다면 G 또한 자연스러운 ring 구조를 갖는다. 우리가 살펴볼 상황은 다음과 같은 상황이다.
정의 1 Ring A와 ideal a를 고정하자. 그럼 A의 ideal들의 a-filtration
J:A=a0⊇a1⊇a2⋯
에 대하여,
A=ilimA/ai
을 이 filtration에 의해 정의되는 A의 completion완비화이라 부른다. 만일 natural map A→A이 isomorphism이라면, A을 이 filtration에 대한 complete ring완비환이라 부른다.
특별히 위의 filtration이
A⊇a⊇a2⋯
꼴로 주어졌다면 이를 A의 a-adic completiona진 완비화이라 부른다. 이 경우, 만일 a가 maximal ideal이라면 A은 유일한 maximal ideal a를 갖는 local ring이 되므로, A을 complete local ring국소완비환이라 부른다.
우선 natural map ρ:A→A는 canonical morphism들 pri:A→A/ai들에 universal property를 적용하여 얻어지는 것이다. 그럼 정의에 의하여
x∈kerρ⟺ρ(x)=0⟺ρi(ρ(x))=0 for all i⟺pri(x)=0 for all i⟺x∈ai for all i
이므로 ρ가 injective인 것과 ⋂ai=0인 것이 동치이다.
이제 canonical morphism ρi:A→A/ai들의 kernel을 ai로 쓰기로 하자. 그럼 정의에 의해 ai=ρ−1(ai)이며, pri들이 surjective이고 pri=ρi∘ρ이므로 ρi들이 모두 surjective이고, 따라서 first isomorphism theorem에 의하여
A/ai≅A/ai
이 성립한다. 따라서 A의 ideal들의 descending chain
A=a0⊇a1⊇⋯(1)
은 a-filtration이 되며, 또 위의 isomorphism으로부터
A=ilimA/ai≅ilimA/ai
이므로 A는 주어진 filtration에 대해 complete이다. 또, 위의 isomorphism은 다음의 isomorphism
한편, A로부터 A를 만드는 과정은 특수한 종류의 위상을 부여하여 살펴볼 수도 있다. 우선 topological abelian group G가 주어졌다 하자. 그럼 G의 한 원소 g를 고정한 후, 이를 사용해 정의하는 translation map Tg는 연속이므로 G의 각 점에서의 neighborhood filter는 정확히 0∈G에서의 neighoborhood filter에 의해 모두 결정된다. 이 과정은 당연히 거꾸로 해낼 수도 있다.
앞선 절과 같이, G의 subgroup들의 decreasing sequence
G=H0⊇H1⊇⋯
가 주어졌다 하자. 그럼
N(0)={U⊆G∣Gn⊆U for some n}
으로 정의하면 이것이 [위상수학] §열린집합, ⁋명제 6의 모든 조건을 만족한다는 것을 안다. 이제 임의의 g∈G와 U∈N(0)에 대하여, g+U∈N(g)이도록 하면 이것이 G 위에 위상구조를 준다.
특별히 이를 정의 1의 상황에 대입하면 위의 과정을 통해 정의한 위상구조를 a-adic topologya진 위상이라 부른다. 이 때, 0∈A는 countable local base
a⊇a2⊇⋯(2)
를 가지므로 이렇게 정의된 A 위에서의 위상은 first countable이다.
다시 일반적인 topological abelian group G로 돌아와서, 우리는 ##ref##의 조건을 약화시켜 다음을 정의할 수 있다.
정의 2 Topological group (G,+,0)에 대하여, G의 원소들의 수열 (xi)i∈N이 Cauchy sequence코시 수열이라는 것은 0의 임의의 근방 U가 주어질 때마다 적당한 자연수 N이 존재하여, 다음 명제
m,n>N⟹xm−xn∈U
가 참이도록 할 수 있는 것을 말한다.
그럼 ##ref##에서 Cauchy filter들의 equivalence class들의 모임으로 completion을 정의한 것과 같이, 우리는 두 Cauchy sequence (xm), (yn)이 주어졌을 때 이들을 언제 같은 것으로 볼지를 정하고, 그를 통해 (위상적인) completion을 정의할 수 있다. 다만 우리가 관심있는 것은 위의 filtration (2)에 의해 정의되는 first countable topological group A이며, first countable space는 sequentual이므로 다음 정의에서는 편의를 위해 G가 first countable space라 가정하고, Cauchy filter 대신 Cauchy sequence를 사용한다.
정의 3 Topological group (G,+,0)의 두 Cauchy sequence (xm), (yn)이 equivalent동등하다는 것은 0의 임의의 근방 U가 주어질 때마다 적당한 자연수 N이 존재하여, 다음 명제
m,n>N⟹xm−yn∈U
가 참이도록 할 수 있는 것을 말한다. First countable topological group G의 모든 Cauchy sequence들의 집합에 이 equivalence relation을 주어 얻어지는 집합을 G의 completion완비화이라 부르고, 이를 G로 적는다.
이제 0∈G의 열린근방 U에 대하여,
U={[(xn)]∈G:for any (yn)∈[(xn)], yn∈U for all but finitely many n}
으로 정의하자. 그럼 약간의 계산을 통해, Hi들을 coninitial subset으로 갖는 G의 집합들의 모임 N(0)이 [위상수학] §열린집합, ⁋명제 6의 모든 조건을 만족한다는 것을 확인할 수 있고, 따라서 G에 위상구조를 정의할 수 있다. 정의에 의해 G 또한 first countable이며, x∈G를 받아 상수수열 (xi=x)를 내놓는 함수 G→G가 연속임을 알 수 있다. 뿐만 아니라, 이 함수는 앞선 절에서 정의한 G→G와 완전히 같은 것이다.
이제 완비화의 기본적인 성질들에 대해 살펴보자. 앞서 살펴본 정의 3에 의하여 A의 임의의 원소는 A의 a-adic topology에서의 Cauchy sequence로 생각할 수 있다. 그럼 bj∈aj를 만족하는 bj들에 대하여,
ai=j=1∑ibj(3)
으로 적으면 (ai)는 A에서의 Cauchy sequence이고 따라서 이 수열의 극한
j=1∑∞bj
은 A의 원소를 하나 정의한다. 거꾸로, 임의의 A의 원소 (an′)이 주어졌다하면 0의 local base (2)를 이용하여 이 원소와 equivalent하고 (3)과 같은 형태를 갖는 Cauchy sequence를 찾을 수 있다.
예시 4 만일 A=K[x]이고 a=(x)라면 A는 formal power series들의 ring K[[x]]이다.
Ring K[[x]]는 유일한 nonzero prime ideal m=(x)를 갖는 discrete valuation ring이다. 즉 (x)에 속하지 않는 임의의 원소는 unit이며, 이는 본질적으로 다음의 식
1+x1=1−x+x2−⋯
으로부터 나온다. 위의 등식, 혹은 이와 동치인 다음의 등식
(1+x)(1−x+x2−⋯)=1
은 위의 논의와 같이, 1−x+x2−⋯의 차수 i까지의 부분합
1−x+x2−⋯+(−1)ixi
에 대하여
(1+x)(1−x+x2−⋯+(−1)ixi)=1+(−1)ixi∈mi
이므로, 이 곱은 상수수열 (1)과 equivalent하다는 것을 통해 얻어진다.
이 계산을 일반화하여 다음의 두 결과를 얻는다.
명제 5A가 ideal a에 대해 complete이라 하자. 그럼 다음 집합
U={1+a∣a∈a}
은 A의 unit들의 모임이며, U는 multiplicatively closed이다.
증명
위의 논증에서 x만 a로 바꾸면 된다.
따름정리 6 Local ring (A,m)에 대하여, A[[x1,…,xn]]도 local ring이며, 그 유일한 maximal ideal은 m+(x1,…,xn)이다.
증명
m+(x1,…,xn) 바깥의 원소는 0이 아닌 상수항을 가지므로, 명제 5에 의해 이것이 unit임을 보일 수 있다.
또, 다음이 성립한다.
명제 7A의 ideal들의 filtration
A=a0⊇a1⊇⋯
과 filtration에 대한 associated graded ring grA를 고정하자. 만일 A가 이 filtration에 대해 complete이라 하면, A의 ideal a와 그 원소들 a1,…,an에 대하여, initial(a)가 initial(a1),…,initial(an)에 의해 생성된다면 a 또한 a1,…,an에 의해 생성된다.
증명
원소들 a1,…,an에 의해 생성되는 ideal을 a′라 하고 a=a′임을 보이자. 일반성을 잃지 않고 이들 원소들이 모두 0이 아니라 가정할 수 있다. 또, 만일 ak∈ai가 모든 i에 대해 성립했다면, canonical morphism A→A에 의해 ak는 0∈A로 옮겨지고, A가 complete이므로 이는 ak=0이었다는 것이므로 적당한 d를 택하여 ak∈ai가 모든 k에 대해 성립하도록 할 수 있다.
한편 initial(a)가 initial(ak)들에 의해 생성된다는 가정으로부터, 임의의 a∈a에 대해 다음의 식
initial(a)=k=1∑nβkinitial(ak)(4)
를 만족하는 βk∈graA들이 존재하며, 위의 식에서 차수를 고려하면 βk들은 homogeneous이고 그 차수는
여야 함을 안다. 따라서 initial(bk)=βk를 만족하는 bk∈A들에 대하여 a−∑kbkak는 mdeg(initial(a))+1에 속하게 된다. 이 과정을 반복하여,
a−=a′k∑bkak−⋯∈ad+1
이도록 하는 a′∈a′를 택할 수 있다. 이 때, a′는 어차피 ak들로 생성되므로 a가 ak들로 생성되는 것은 a−a′가 ak들로 생성되는 것을 보이는 것과 같다. 즉, 우리는 일반성을 잃지 않고 a가 ad+1에 속해있다고 가정할 수 있다.
이제 이와 같은 가정에서 위의 식 (4)를 다시 살펴보자. deg(initial(a))=e라 하면, βk의 차수는 e−d 이상이어야 함을 앞에서 살펴보았다. 따라서 bk들을 ae−d에서 택할 수 있으며, 이제 위에서와 마찬가지 논리를 통해
a−k=1∑nbkak
는 ae−d+1에 속한다는 것을 안다. 이를 반복하면
a−k=1∑nl=0∑jbk(l)ak∈ae+j+1
이도록 하는 bk(l)∈ae−d+l들을 택할 수 있다. 이제 A는 complete이므로, 무한합
l=0∑∞bk(l)
은 A의 원소 ck로 생각할 수 있다. 그럼
a−k=1∑nckak∈⋂ai=0
이므로 원하는 결과를 얻는다.
참고문헌
[AM] M.F. Atiyah and I.G. Macdonald, Introduction to commutative algebra, Basic Books, 1969. [Eis] David Eisenbud. Commutative Algebra: with a view toward algebraic geometry. Springer, 1995.
댓글남기기