準素分解
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/08/24 01:14 UTC 版)
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 |
ラスカー・ネーターの定理は算術の基本定理の、あるいはより一般の有限生成アーベル群の基本定理の、すべてのネーター環への拡張である。ラスカー・ネーターの定理は、すべての代数的集合は既約成分の有限個の和集合に一意的に分解できると述べることによって、代数幾何学において重要な役割を果たす。
加群への直截な拡張がある:ネーター環上の有限生成加群のすべての部分加群は準素部分加群の有限交叉である。これは環を自身の上の加群したがってイデアルを部分加群と考えて環に対する場合を特別な場合として含んでいる。これはまた主イデアル整域上の有限生成加群の構造定理の準素分解形を一般化し、体上の多項式環と言う特別な場合に対して、それは代数的集合の(既約)多様体の有限和への分解を一般化する。
標数 0 の体[1]上の多項式環に対する準素分解を計算する最初のアルゴリズムはネーターの学生 Grete Hermann (1926) によって出版された[要検証 ]。分解は非可換ネーター環に対しては一般には成り立たない。ネーターは準素イデアルの交叉ではない右イデアルを持つ非可換ネーターの例を与えた。
- ^ 準素分解は多項式の既約性の判定を必要とし,標数が 0 でないときは必ずしもアルゴリズム的に可能ではない.
- ^ Matsumura 1970, Theorem 11.
- ^ Atiyah–MacDonald 1969.
- ^ Atiyah–MacDonald 1969, Ch. 4. Exercise 11.
- 準素分解のページへのリンク