정의 1 Symmetric monoidal category (Ab,⊗,Z)의 monoid object를 ring환이라 부른다. (§가환군, ⁋정의 11)
Abelian group을 다룰 때의 convention에 따라 A의 연산은 +로 적는다. 이러한 상황에서 ring A의 곱셈 μ:A⊗A→A는 ⋅으로 적으며, 오해의 여지가 없을 때에는 이를 생략하여 α⋅β를 간단히 αβ로 적기도 한다. 그럼
HomAb(A⊗A,A)≅Bilin(A,A;A)
으로부터 μ가 bilinear라는 것을 안다. 즉
(α+β)γ=αγ+βγ,α(β+γ)=αβ+αγ
이 성립한다. 또, μ는 결합법칙을 만족하며,
η:Z→A
는 1∈Z의 image를 통해 A의 (곱셈에 대한) 항등원 1을 결정한다. 즉, 집합 A가 ring이라는 것은 두 이항연산 +,⋅과 원소 0,1이 존재하여, 다음 조건들이 성립하는 것이다.
(A,+,0)이 abelian group이다.
(A,⋅,1)은 monoid이다.
⋅과 + 사이에 분배법칙이 성립한다.
저자에 따라 ring의 정의에서 곱셈에 대한 항등원의 존재성은 없을 때도 있지만, 우리는 이러한 경우를 pseudo-ring, 혹은 (ring에서 i가 없는) rng라 부른다. 어차피 대부분의 경우 우리는 commutative ring (with unity)을 사용하게 된다.
명제 2 Ring A의 임의의 원소 α,β에 대해 다음이 성립한다.
α0=0α=0,
α(−β)=(−α)β=−(αβ).
증명
0은 덧셈에 대한 항등원이므로, 다음 식
0α=(0+0)α=0α+0α
으로부터 0α=0을 얻는다. 유사하게 α0=0을 얻을 수 있다.
1번 결과에 의하여,
0=α0=α(β+(−β))=αβ+α(−β)
이고 따라서 −(αβ)=α(−β)이다. 유사하게 (−α)β=−(αβ) 또한 얻는다.
일반적으로 정의 1에서 우리는 0=1임을 가정하지는 않지만, 만일 0=1이라면 명제 2의 1번에 의해, 임의의 α∈A에 의해
α=α⋅1=α⋅0=0
이 성립할 것이므로 A={0}이어야 한다. 이러한 ring을 zero ring이라 부른다.
정의 3 두 ring A,B에 대하여, 함수 ϕ:A→B가 ring homomorphism환 준동형사상이라는 것은 임의의 x,y에 대하여
ϕ(α+β)=ϕ(α)+ϕ(β),ϕ(αβ)=ϕ(α)ϕ(β),ϕ(1)=1
이 성립하는 것이다.
이를 morphism으로 하여,
Ring들의 category Ring,
Rng들의 category Rng,
Commutative ring들의 category cRing
등이 정의된다. Ring과 cRing에서는 Z가 initial object, {0}이 terminal object이며, Rng에서는 {0}이 zero object이다.
정의에 의하여 ring homomorphism ϕ:A→B은 두 abelian group (A,+,0), (B,+,0) 사이의 group homomorphism이기도 하다. 그럼 ring homomorphism ϕ의 kernel kerf는 이 group homomorphism의 kernel로 정의된다. 즉 kerϕ=ϕ−1(0)이다. 그럼 §준동형사상, ⁋명제 4에 의하여 ϕ가 단사인 것은 kerϕ={0}인 것과 동치이다.
정의에 의해 ring은 abelian group이고, ring homomorphism은 abelian group들 사이의 homomorphism이기도 하다. 즉 forgetful functor U:Ring→Ab이 존재하며, 이는 단순히 곱셈구조를 잊어버리는 functor이다. 이 functor는 right adjoint이며, 그 left adjoint F:Ab→Ring은 다음의 graded abelian group
F(G)=n≥0⨁G⊗n
으로 주어진다. 여기서 G⊗n의 원소 αn은 다음의 꼴
αn=i∈I∑αn1i⊗⋯⊗αnni,αnji∈A, I finite
로 쓸 수 있으며, F(G)의 원소들은
(α0,α1,…)=(α0,0,…)+(0,α1,…)+⋯,αn=0 for all but finitely many n
의 꼴이다. 그런데 αn들 각각은 이들을 이루는 αn1i⊗⋯αnni들이 몇 개의 원소의 텐서곱으로 이루어졌는지를 보면 어떠한 G⊗n에 들어있는지를 알 수 있으므로, 표기법을 남용하여 (0,…,0,αn,0,…)을 αn으로 적어도 되고, 그럼 F(G)의 임의의 원소는
i∈I∑αi1⊗⋯⊗αini
의 꼴로 쓸 수 있다. 이제 F(G) 위에 곱셈을 정의해야 하는데, 곱셈이 잘 정의된다면 분배법칙에 의하여
으로 정의한다. Coherence theorem에 의해 이것이 F(G) 위에 ring의 구조를 정의하는 것을 알 수 있으며, F(G)의 덧셈에 대한 항등원은 0=(0,0,…), 곱셈에 대한 항등원은 1=(1,0,…)이 된다. 어렵지 않게 G↦F(G)의 functoriality를 증명할 수 있으며, 여기에 더해 다음이 성립한다.
명제 4 위에서 정의한 F와, forgetful functor U:Ring→Ab에 대하여, F⊣U이다.
증명
임의의 ring A와 abelian group G가 주어졌다 하자. 그럼
HomRing(F(G),A)≅HomAb(G,U(A))
을 증명해야 한다. 임의의 ring homomorphism ϕ:F(G)→A에 대하여, inclusion i:G↪F(G)를 합성하면 abelian group homomorphism ϕ∘i:G→U(A)을 얻는다.
거꾸로 임의의 abelian group homomorphism f:G→U(A)이 주어졌다 하면 다음 식
i∈I∑αi1⊗⋯⊗αini↦i∈I∑f(αi1)⊗⋯⊗f(αini)
이 ring homomorphism ϕ:F(G)→A를 정의한다.
이렇게 정의한 두 방향의 함수들 HomRing(F(G),A)→HomAb(G,U(A))과 HomAb(G,U(A))→HomRing(F(G),A)이 서로의 inverse가 되고, 이 bijection이 natural이라는 것을 확인할 수 있다.
정의 5 Ring (A,+,−,⋅,0,1)의 부분집합 S가 subring부분환이라는 것은 (S,+,−,⋅,0,1)가 ring의 구조를 갖는 것이다.
한편, 다음이 성립한다.
명제 6 임의의 ring homomorphism ϕ:A→B에 대하여, kerϕ는 A의 subring이다.
증명
kerϕ는 abelian group (A,+,0)의 subgroup임을 확인하였으므로, kerϕ가 곱셈에 대해 닫혀있음을 보이면 충분하다. 그런데 임의의 α,β∈kerϕ에 대하여,
ϕ(αβ)=ϕ(α)ϕ(β)=0⋅0=0
이므로 αβ∈kerϕ가 성립한다.
위의 증명을 잘 살펴보면, 두 원소 α,β 중 히니민kerϕ에 속하더라도 αβ가 kerϕ에 속한다는 것을 확인할 수 있다. 이를 다음과 같이 정의한다.
정의 7 Ring A가 주어졌다 하자. 그럼 a⊆A가 left ideal왼쪽 아이디얼 (resp. right ideal오른쪽 아이디얼)이라는 것은 a가 (A,+,0)의 subgroup이며, 임의의 x∈a와 α∈A에 대하여 αx∈a (resp. xα∈a)가 성립하는 것이다.
만일 a가 left ideal인 동시에 right ideal이라면 이를 two-sided ideal양쪽 아이디얼이라 부른다.
편의를 위해 앞으로 left ideal에 대한 명제들 (혹은 two-sided ideal에 대한 명제들)만 증명하지만, left ideal에 대한 모든 명제들은 적절한 변형을 통해 right ideal에 대해서도 성립한다. 어차피 실제로 사용할 ring의 대부분은 commutative이므로, left ideal, right ideal, two-sided ideal의 구분이 필요하지 않다.
Left ideal들의 교집합은 left ideal이라는 것을 쉽게 증명할 수 있다. 한편, A의 임의의 원소 x에 대하여, 다음 집합
Ax={αx∣α∈A}
은 덧셈에 대한 subroup이며, 뿐만 아니라 임의의 β∈A와 αx∈Ax에 대하여, β(αx)=(βα)x∈Ax이므로 Ax는 A의 left ideal이다. 이들은 사실 x를 포함하는 left ideal 중 가장 작은 것, 즉 x를 포함하는 모든 left ideal들의 교집합과 일치한다는 것을 확인할 수 있으며, 같은 논증이 right ideal과 two-sided ideal에 대해서도 적용된다.
더 일반적으로 A의 left ideal들의 합suma+b를 다음 집합
a+b={x+y∣x∈a,y∈b}
으로 정의하면 a+b도 다시 left ideal이 된다는 것을 알 수 있으며, 사실 이는 두 left ideal a와 b룰 포함하는 left ideal 중 가장 작은 것이다. 그럼 A의 임의의 원소 x1,…,xn에 대하여, 다음 아이디얼
Ax1+⋯+Axn
은 x1,…,xn을 포함하는 모든 left ideal들 중 가장 작은 것이다. 비슷하게
x1A+⋯+xnA,Ax1A+⋯+AxnA
을 정의할 수도 있으며, 이들은 각각 x1,…,xn을 포함하는 가장 작은 right ideal과 two-sided ideal들이다. 만일 A가 commutative라면 left ideal, right ideal과 two-sided ideal의 개념이 모두 같으므로, 이들을 뭉뚱그려 (x1,…,xn)이라 적기도 한다.
한편 임의의 left ideal a에 대하여 1∈a인 것과 a=A인 것이 동치이다. 따라서 a⊊A이기 위해서는 반드시 1∈a여야 한다.
정의 8 Ring A와 ideal m에 대하여, 만일 m⊊a⊊A를 만족하는 ideal a가 존재하지 않는다면 m을 maximal ideal극대 아이디얼이라 부른다.
A의 임의의 ideal a가 주어졌다 하자. 그럼 a를 포함하고, A 자신과는 다른 A의 ideal들의 모임을 생각할 수 있다. 그럼 이 모임은 inductive set이므로 maximal element를 갖는다. ([집합론] §선택공리, ⁋정리 4) 어렵지 않게 이 maximal element는 maximal ideal임을 알 수 있다. 즉 다음을 얻는다.
정리 9 (Krull) Ring A의 ideal a⊊A에 대하여, a를 포함하는 A의 maximal ideal m이 항상 존재한다.
참고문헌
[Bou] Bourbaki, N. Algebra I. Elements of Mathematics. Springer. 1998.
댓글남기기