代数的整数論 - 暇つぶし2ch

代数的整数論 at MATH

202:208
05/10/04 17:50:56
A をネーター環とし、Mを有限生成 A-加群とする。
M の部分加群 N が準素であるためには、M/N に関して非正則な
A の元は、M/N に関してべき零であることが必要十分である。

証明
>>181と>>191より明らかだろう。