Strongart数学笔记：评述Artin环的基本性质.pdfVIP

评述Artin环的基本性质 在最近的交换代数讲座中，我对Artinring的基本性质做了小结， 1 Krulldimension=0 2 semilocal 它们分别是：）零维性（ ）；）半局部性（ ）； 3）根的幂零性（nilpotentradical），其中每一种性质还可以相应强化， 下面我对此做一个具体评述。 1）零维性：就是说Artinring中素理想都是极大理想。通过取商 它又等价于命题：Artin 整环是域，后者是非常容易证明的。既然素 理想与极大理想等价，那么素根就是等价与Jacobson根等同，也就是 说在Artinring中可以笼统的称为根。 Artin ring 0 Noether ring 实际上， 就是 维的 ，这被称为 Hopkins–Levitzkitheorem. 它的证明需要这三条基本性质，先由性质 1 2 Artin ring ）与 ），可得 的根可以表示为有限多个极大理想的交， 3 0 再由性质 ）对两边做充分大的幂，可以把 表示为若干极大理想的 交，因此也可以表示为积。接下来就是证明这样一个引理：如果一个 Artinring 0 Noether 的 可以表示为若干极大理想的积，那么它同时是 的。证明的基本思想就是转化为向量空间，这里合成序列的概念起到 k V V Noether iffdimV 了中轴的作用，对于域 上的向量空间 ， 是 的 ∞iffV iffV Artin ArtinringR ＜ 有合成序列 是 的。利用这个结论考虑 R≥m1≥m1m2≥…≥m1m2…mk=0 mi 内的链： ，各 是（可能相同的）极 大理想，考虑相应R/mi上的向量空间m1m2…mi-1/m1m2…mi，即可 R R Noether 把上述链逐步加细为 上的合成序列，因此 同时也是 的。 Noetherprimarydecomposition 0 Noether 有趣的是，借助于 ，在 维 ring 0 中也能保证 是极大理想的积，而仔细分析可以发现合成序列与 0 Noetherring 链的升降无关，因此上述程序同样可以反过来证明 维的 就是Artinring. 2）半局部性：就是说Artinring中只有有限多个（不同的）极大 理想（也是素理想）。事实上，由不同的极大理想的交构成的降链： R≥m1≥m1∩m2≥…≥m1∩m2∩…∩mk≥…是严格的，假若有无限多个极 Artinring DCC 大理