이 카테고리의 모든 글에서 등장하는 ring은 commutative ring이다. 또, 임의의 AA-algebra는 항상 commutative associative unital AA-algebra인 것으로 생각한다. 특히 우리는 [대수적 구조] §대수, ⁋정의 1 이후에 associative unital AA-algebra EE와, ring homomorphism AZ(E)A\rightarrow Z(E)가 같은 것임을 살펴보았으므로, 앞으로의 논의에서 AA-algebra는 ring homomorphism AEA\rightarrow E로 생각해도 충분하다.

기본 정의들Permalink

이 카테고리에서는 commutative ring AA와 그 위에 정의된 module MM에 대해 살펴본다. Ring AA의 임의의 ideal a\mathfrak{a}는 항상 AA-module로 생각할 수 있으므로 많은 경우 우리는 AA-module에 대한 이론을 전개하게 된다. 앞서 [대수적 구조] 카테고리의 글들에서는 혼동을 방지하기 위해 AA-module MM의 원소를 x,y,x,y,\ldots으로, AA의 원소를 α,β,\alpha,\beta,\ldots로 썼었는데, a\mathfrak{a}AA-module로 생각하면 이와 같이 표기법을 구분하는 것이 오히려 더 혼란을 주게 되므로, 이 카테고리에서는 이와 같은 구분을 하지 않는다.

정의 1 임의의 AA-module MM에 대하여, MMannihilator소멸자 ann(M)\ann(M)을 다음 식

ann(M)={aAaM=0}\ann(M)=\{a\in A\mid aM=0\}

으로 정의한다.

한편, ring AA의 두 ideal a,b\mathfrak{a},\mathfrak{b}에 대하여 ideal quotient아이디얼 몫 (a:b)(\mathfrak{a}:\mathfrak{b})를 다음 식

(a:b)={aAaba}(\mathfrak{a}:\mathfrak{b})=\{a\in A\mid a\mathfrak{b}\subseteq \mathfrak{a}\}

으로 정의하고, 비슷하게 AA-module MM의 두 submodule N1,N2N_1,N_2에 대하여는

(N1:N2)={aAaN2N1}(N_1:N_2)=\{a\in A\mid aN_2\subseteq N_1\}

으로 정의한다. Ideal quotient (a:b)(\mathfrak{a}:\mathfrak{b})는 대략적으로 a/b\mathfrak{a}/\mathfrak{b} 정도로 생각할 수 있으며, 임의의 AA-module MM에 대하여 ann(M)=(0:M)\ann(M)=(0:M)이다.

한편 우리는 [다중선형대수학] §완전열, ⁋명제 7에서 유용한 두 개의 short exact sequence를 살펴보았는데, 여기에 다음의 short exact sequence

0A/(a:(a))aA/aA/(a+(a))00 \longrightarrow A/(\mathfrak{a}:(a)) \overset{a}{\longrightarrow} A/\mathfrak{a}\longrightarrow A/(\mathfrak{a}+(a)) \longrightarrow 0

을 추가하여 기억할 가치가 있다. 첫 번째 함수 A/(a:(a))A/aA/(\mathfrak{a}:(a)) \rightarrow A/\mathfrak{a}는 다음의 식

x+(a:(a))ax+ax+(\mathfrak{a}:(a))\mapsto ax+\mathfrak{a}

로 주어지며, 이것이 잘 정의된다는 것은

y(a:(a))    ayay\in (\mathfrak{a}:(a))\iff ay\in \mathfrak{a}

인 것으로부터 자명하다. 이제 두 번째 함수 A/aA/(a+(a))A/\mathfrak{a} \rightarrow A/(\mathfrak{a}+(a))는 다음의 식

x+ax+(a+(a))x+\mathfrak{a}\mapsto x+(\mathfrak{a}+(a))

으로 정의되며, 이것이 surjective이고 그 kernel이 정확히 a+aa+\mathfrak{a}로 생성되는 A/aA/\mathfrak{a}의 submodule인 것을 확인할 수 있다.

Finiteness conditionPermalink

많은 경우 우리는 어떤 종류의 유한성을 가정하게 된다. 가령 [다중선형대수학]의 글들에서 우리는 주어진 module이 finitely generated AA-module임을 가정하고, basis를 택함으로써 많은 계산을 행렬의 계산으로 줄일 수 있었다. 비슷한 맥락에서 우리가 자주 사용할 유한성의 개념들을 정의한다.

정의 2 임의의 AA-module MMascending chain condition오름사슬조건을 만족한다는 것은 MM의 임의의 submodule들의 increasing sequence

M0M1M2M_0\subseteq M_1\subseteq M_2\subseteq\cdots

가 주어질 때마다, 적당한 kk가 존재하여 Mk=Mk+1=M_k=M_{k+1}=\cdots인 것이다. 비슷하게 MMdescending chain condition내림사슬조건을 만족한다는 것은 MM의 임의의 submodule들의 decreasing sequence

M0M1M2M_0\supseteq M_1\supseteq M_2\supseteq\cdots

가 주어질 때마다, 적당한 kk가 존재하여 Mk=Mk+1=M_k=M_{k+1}=\cdots인 것이다. Ascending chain condition을 만족하는 AA-module MMnoetherian뇌터가군이라 부른다. Descending chain condition을 만족하는 AA-module MMartinian아틴가군이라 부른다. 임의의 ring AA가 noetherian 혹은 artinian인 것은 AA가 자기 자신 위에서의 module로서 noetherian 혹은 artinian인 것이다.

그럼 다음이 성립한다.

정리 3 임의의 AA-module MM에 대하여 다음이 모두 동치이다.

  1. MM이 noetherian이다.
  2. MM의 임의의 submodule이 finitely generated이다.
  3. 임의의 MM의 submodule들의 모임은 항상 포함관계에 대한 maximal element를 갖는다.
증명

우선 1번 조건을 가정하고 2번 조건을 보인다. 결론에 반하여 MM이 finitely generated가 아닌 submodule NN을 갖는다 가정하자. 그럼 NN의 임의의 원소 x00x_0\neq 0을 택할 수 있으며, NN이 finitely generated가 아니라는 사실로부터 Nx1N\neq \langle x_1\rangle이므로 x2Nx1x_2\in N\setminus \langle x_1\rangle을 택할 수 있다. 이를 계속 반복하여 NN의 submodule들의 increasing sequence

x1x2\langle x_1\rangle\subsetneq \langle x_2\rangle\subsetneq\cdots

를 얻으며, 이들은 MM의 submodule이기도 하므로 MM이 noetherian이라는 가정에 모순이다.

이제 2번 조건을 가정하고 1번 조건을 보인다. MM의 submodule들의 ascending chain

M0M1M2M_0\subseteq M_1\subseteq M_2\subseteq\cdots

이 주어졌다 하고 M=MkM’=\bigcup M_k라 하면 MM’은 finitely generated이므로 M=x1,,xnM’=\langle x_1,\ldots, x_n\rangle이라 하자. 그럼 이제 각각의 ii에 대하여, kik_ixiNkix_i\in N_{k_i}가 성립하도록 잡을 수 있고 이제 이러한 kik_i들 중 가장 큰 것은 반드시 MM’과 같게 된다.

이제 1번 조건과 3번 조건이 동치임을 보인다. 우선 1번 조건이 만족된다면 이는 MM의 임의의 submodule들의 모임이 주어질 때마다 ACC에 의하여 [집합론] §선택공리, ⁋정리 4의 전제조건이 만족되므로 3번이 성립하는 것이 자명하다. 거꾸로 3번 조건을 만족할 경우, MM의 submodule들의 ascending chain

M0M1M2M_0\subseteq M_1\subseteq M_2\subseteq\cdots

이 주어졌을 때 이들 모임의 maximal element가 존재해야 하므로 1번 조건이 성립한다.

따라서 noetherian module의 임의의 submodule 또한 noetherian임이 자명하다. 뿐만 아니라 다음이 성립한다.

명제 4 Noetherian AA-module MM에 대하여, 임의의 quotient M/NM/N 또한 noetherian이다.

증명

M/NM/N의 임의의 submodule은 MM의 적당한 submodule LL에 대하여 L/NL/N의 꼴이고, 이제 LL이 finitely generated이며 canonical surjection에 의하여 LL의 generator들이 L/NL/N을 generate하므로 자명하다.

명제 5 임의의 AA-module MM과 임의의 submodule NN에 대하여, MM이 noetherian인 것과 N,M/NN,M/N이 모두 noetherian인 것이 동치이다.

증명

한쪽 방향은 이미 증명하였다. 따라서 N,M/NN, M/N이 noetherian이라 가정하고 MM이 noetherian임을 보이면 충분하다. MM의 임의의 submodule LL을 고정하자. 그럼 LLM/NM/N에서의 image L/NL/N은 finitely generated이며, LNL\cap N 또한 NN의 submodul이므로 finitely generated이다. 이제 x1,,xmLx_1,\ldots, x_m\in LL/NL/N으로 보낸 것이 L/NL/N의 generator가 된다 하고, y1,,ynLNy_1,\ldots, y_n\in L\cap NLNL\cap N의 generator라 하자. 그럼 임의의 xLx\in L에 대하여

xα1x1++αmxm(modN)x\equiv \alpha_1x_1+\cdots+\alpha_m x_m\pmod{N}

이도록 하는 αiA\alpha_i\in A들이 존재한다. 따라서

xαixiLNx-\sum \alpha_i x_i\in L\cap N

이고, 이를 다시 LNL\cap N의 generator를 이용하여 적어주면 원하는 결과를 얻는다.

따라서 다음이 성립한다.

따름정리 6 Ring AA와 두 noetherian AA-module M,NM,N에 대하여, MNM\oplus N은 noetherian AA-module이다.

증명

명제 5MNM\oplus N과 그 submodule M0MM\oplus 0\cong M에 대해 적용하면 된다.

[다중선형대수학] 카테고리에서 살펴보았던 finitely generated AA-module의 조건은 다음의 exact sequence

AnM0A^{\oplus n} \rightarrow M \rightarrow 0

이 존재한다는 것이고, 이 때 AnA^{\oplus n}의 basis의 image x1,,xnx_1,\ldots, x_nMM을 generate하게 된다. 그러나 일반적으로 MM

M=x1,,xnrelations on xiM=\langle x_1,\ldots, x_n\mid \text{relations on $x_i$}\rangle

으로 적었을 때, xix_i들에 대한 relation은 무한히 많을 수 있다. 이들 relation은 surjection AnMA^{\oplus n} \rightarrow M의 kernel에 의해 결정되므로, 다음을 정의한다.

정의 7 AA-module MMfinitely presented유한표시가군라는 것은 적당한 m,nm,n이 존재하여 다음의 exact sequence

AmAnM0A^{\oplus m} \rightarrow A^{\oplus n} \rightarrow M \rightarrow 0

이 존재하는 것이다.

일반적으로 finitely presented module은 finitely generated이지만, 그 역은 성립하지 않는다. 하지만 임의의 noetherian ring AA에 대해서는 두 개념이 일치한다. 이는 만일 MM이 finitely generated AA-module이라면, 다음의 exact sequence

0keruAnuM00\longrightarrow\ker u \longrightarrow A^{\oplus n} \overset{u}{\longrightarrow} M \longrightarrow 0

를 얻고, 한편 AnA^{\oplus n}따름정리 6에 의하여 noetherian이며 따라서 그 submodule keru\ker u는 finitely generated이다. 이제

Amkeru0A^{\oplus m} \rightarrow \ker u \rightarrow 0

을 생각한 후, 합성 AmkerAnA^{\oplus m} \rightarrow \ker \rightarrow A^{\oplus n}을 사용하면 다음의 exact sequence

AmAnM0A^{\oplus m} \rightarrow A^{\oplus n} \rightarrow M \rightarrow 0

을 얻는다. 한편 다음을 정의한다.

정의 8 AA-module MMcoherent module연접가군이라는 것은 MM이 finitely generated이고, 임의의 AA-linear map AnMA^{\oplus n} \rightarrow M이 주어질 때마다 이 linear map의 kernel이 finitely generated인 것이다.

그럼 다음 명제가 자명하다.

명제 9 Noetherian ring AAAA-module MM에 대하여, 다음이 모두 동치이다.

  1. MM이 finitely generated이다.
  2. MM이 finitely presented이다.
  3. MM이 coherent이다.
증명

1번 조건과 2번 조건이 동치인 것은 이미 살펴보았다. 또, 정의에 의해 coherent AA-module은 항상 finitely generated이다. 따라서 MM이 finitely generated인 것을 가정하고 MM이 coherent라는 것을 보이면 충분하다. 이는 임의의 AA-linear map AnMA^{\oplus n}\rightarrow M이 주어졌을 때, 이 linear map의 kernel은 AnA^{\oplus n}의 submodule이고, 여기에 명제 5를 적용하여 얻어진다.

소아이디얼Permalink

마지막으로 우리는 [대수적 구조] §분수체, ⁋명제 8에서 정의한 prime ideal의 개념이 필요하다.

정의 10 Ring AA의 ideal pA\mathfrak{p}\subsetneq Aprime ideal이라는 것은, 만일 abpab\in \mathfrak{p}라면 반드시 apa\in \mathfrak{p}이거나 bpb\in \mathfrak{p}가 성립하는 것이다.

그럼 우리는 [대수적 구조] §몫환, 환 동형사상, ⁋정리 3의 넷째 결과를 더 다듬어서 다음을 보일 수 있다.

명제 11 Ring AA의 임의의 ideal a\mathfrak{a}에 대하여, A/aA/\mathfrak{a}의 prime ideal과, AA의 prime ideal 중 a\mathfrak{a}을 포함하는 것들 사이의 일대일대응이 존재한다.

증명

[대수적 구조] §몫환, 환 동형사상, ⁋정리 3의 셋째 결과에 의하여, apA\mathfrak{a}\subseteq \mathfrak{p}\subseteq A에 대하여

A/pA/ap/aA/\mathfrak{p}\cong \frac{A/\mathfrak{a}}{\mathfrak{p}/\mathfrak{a}}

이 성립하며, 그 후 [대수적 구조] §분수체, ⁋명제 8의 동치조건을 사용하면 된다.


참고문헌

[Eis] David Eisenbud. Commutative Algebra: with a view toward algebraic geometry. Springer, 1995.


댓글남기기