Images of 正則局所環
Uro Tekiteki 局所体に関しては森田康夫 整数論 第6章の演習問題に書いてある模様 本見ないと確信が持てなくなっている自分が悲しい Rt Jvn U 代数体の不分岐拡大はアーベル ここで見た命題でした Http T Co 3rtyaa0 局所環なら正しいのかな
R は可換環で乗法の単位元をもつものとする.R の任意のイデ アルの減少列 I1 ⊃I2 ⊃I3 ⊃··· に対して In =In+1 =··· となる n が存在するとき,R をArtin 環という.R が Artin 環であるとき,以下の命題が成り立つことを証明せよ.(1) f : R → S が全射環準同型ならば,S も Artin 環である. (2) R が整域ならば,R は体である.証明[堀田良之]環と体1p61SのイデアルIに対し、𝑓−1 𝐼 もイデアルであることに従う。(2) R が整域ならば,R は体である.証明RがArtin整域で0 ≠ a ∈ Rなら,(an) = (an+1)となる整数n > 0が存在し,ある (x ∈ A) に対し an = xan+1 となり,an(1 − ax) = 0,即ち 1 = ax が得られ,R は体であるこ とが従う。(3) R の素イデアルは極大イデアルである.[堀田良之]環と体1p58f:R→R/I、f(a)=a+Iと定めると、fは全射環準同型写像である。よって(1)よりR/Iはアルティン環である。また、IをRの素イデアルとすると、剰余環R/Iは整域である。いま(2)より、R/Iは体である。このことは、Iが極大イデアルであることと同値である。ゆえに、IはRの極大イデアルである。(4) R の異なる素イデアルの個数は有限である[堀田良之]環と体1p58