- 922 名前:9208 ◆lJJjsLsZzw mailto:sage [2006/02/03(金) 14:14:47 ]
- 命題
A を被約(前スレの206)なネーター環とする。 A の極小素イデアル全体を p_1, ..., p_r とすると、 0 = p_1∩...∩p_r となる。 証明 前スレの163より、A のすべての素イデアルの共通部分は A の べき零元の全体と一致する。A は被約だから、この共通部分は 0 である。A の任意の素イデアル p は極小素イデアルを含むから 0 = p_1∩...∩p_r となる。 証明終
|

|