準素分解

数学において、**ラスカー・ネーターの定理**は、任意のネーター環は**ラスカー環** (Lasker ring) であること、 すなわち、任意のイデアルが有限個の*[[準素イデアル]]* (primary ideal) の共通部分として分解できる（**準素分解**、じゅんそぶんかい、primary decomposition）ことを述べている。（準素イデアルは、素イデアルの冪と関連するが、全く同じというわけではない。定理は最初に多項式環と収束冪級数環という特別な場合に対して  によって証明され、 によって完全に一般的に証明された。

ラスカー・ネーターの定理は算術の基本定理の、あるいはより一般の有限生成アーベル群の基本定理の、すべてのネーター環への拡張である。ラスカー・ネーターの定理は、すべての代数的集合は既約成分の有限個の和集合に一意的に分解できると述べることによって、代数幾何学において重要な役割を果たす。

加群への直截な拡張がある：ネーター環上の有限生成加群のすべての部分加群は準素部分加群の有限交叉である。これは環を自身の上の加群したがってイデアルを部分加群と考えて環に対する場合を特別な場合として含んでいる。これはまた主イデアル整域上の有限生成加群の構造定理の準素分解形を一般化し、体上の多項式環と言う特別な場合に対して、それは代数的集合の（既約）多様体の有限和への分解を一般化する。

標数 0 の体上の多項式環に対する準素分解を計算する最初のアルゴリズムはネーターの学生  によって出版された。分解は非可換ネーター環に対しては一般には成り立たない。ネーターは準素イデアルの交叉ではない右イデアルを持つ非可換ネーターの例を与えた。

## 定義
 を可換環とし、 と  をその上の加群とする。

* 加群  の**[[零因子]]**とは  の元  であってある  に対して  となるものである。
* の元  が  において**冪零**であるとは、ある正の整数  に対して  となることをいう。
*加群が **[[伴う素イデアル|coprimary]]** であるとは、 の任意の零因子が  において冪零であることをいう。例えば、素冪位数の群と自由アーベル群は有理整数環上の coprimary 加群である。
*加群  の部分加群  が **primary** 部分加群であるとは、 が coprimary であることをいう。
*イデアル  が**[[準素イデアル|準素]]**であるとは、 の準素部分加群であることをいう。これは  ならば  となるかあるいはある  に対して  となると言うことと同値であり、環  のすべての零因子が冪零であるという条件と同値である。
*加群  の部分加群  が**既約**であるとは、2つの真に大きい部分加群の共通部分ではないことをいう。（単純の意味ではないので注意。）
*加群  の**[[伴う素イデアル|素因子]]**は  のある元の零化域であるような素イデアルである。

## 主張
加群に対するラスカー・ネーターの定理は、ネーター環上の有限生成加群の任意の部分加群は準素部分加群の有限交叉であると述べている。イデアルという特別な場合には、ネーター環の任意のイデアルは準素イデアルの有限交叉である、となる。

同値な主張は：ネーター環上の任意の有限生成加群は coprimary 加群の有限個の積に含まれる。

ラスカー・ネーターの定理は次の3つの事実からただちに従う：
*ネーター環上の有限生成加群の任意の部分加群は有限個の既約部分加群の共通部分である。
* がネーター環上の有限生成加群  の既約部分加群のとき、 は1つしか素因子を持たない。
*ネーター環上の有限生成加群が coprimary であることと高々1つの素因子しか持たないことは同値である。

いくらか異なる風味の証明が下で与えられる。

## 環における既約分解
環のイデアルの分解の研究は  のような環において一意分解が成り立たない
:6 = 2 \cdot 3 = (1 + \sqrt{-5})(1 - \sqrt{-5})
ことの救済として始まる。数が一意的に素数に分解しなければ、その数で生成されるイデアルは素イデアルの冪の交叉にまだ分解する。それがだめなら、イデアルは少なくとも準素イデアルの交叉に分解できる。

 をネーター環とし、 を  のイデアルとする。このとき  は準素イデアルへのむだのない準素分解をもつ：

:I = Q_1 \cap \cdots \cap Q_n. 

むだがないとは次を意味する：

* のどれを除いても交叉が変わる、すなわち、すべての  に対して
::Q_1 \cap \dots \cap \widehat{Q_i} \cap \dots \cap Q_n \nsubseteq Q_i,
:ただしハットは取り除くことを表す。

*素因子 \sqrt{Q_i} たちは相異なる。

さらに、この分解は次の意味で一意である：素因子の集合は一意であり、この集合の任意の極小素イデアルの上の準素イデアルもまた一意である。しかしながら、極小でない素因子に伴う準素イデアルは一般には一意ではない。

有理整数環  の場合には、ラスカー・ネーターの定理は算術の基本定理に同値である。整数  が素因数分解 n = \pm p_1^{d_1} \cdots p_r^{d_r} を持てば、 で生成されるイデアルの準素分解は
:(n) = (p_1^{d_1}) \cap \cdots \cap (p_r^{d_r})
である。

## 証明
今日では、準素分解を素因子の理論で行うのが一般的である。以下の証明はこのアプローチの精神である。

 をネーター環  上の有限生成加群とし、 を部分加群とする。 が準素分解がもつことを示すには、 を  でおきかえて、 のときを示せば十分である。さて、
:0 = \bigcap Q_i \iff \emptyset = \operatorname{Ass}\bigl(\bigcap Q_i\bigr) = \bigcap \operatorname{Ass}(Q_i)
である、ただし  は  の準素部分加群である。言い換えると、 は次のとき準素分解をもつ： の各素因子  に対して、準素部分加群  が存在して、P \not\in \operatorname{Ass}(Q) となる。さて、集合 \{ N \subseteq M \mid P \not\in \operatorname{Ass}(N) \} を考える（ が属するから空でない。 はネーター加群だから集合は極大元  をもつ。もし  が  準素でなかったら、P' \ne P を  の素因子として、R/P' \simeq Q'/Q がある部分加群  に対して成り立ち、極大性に反する。（注：P \not\in \operatorname{Ass}(Q) \subset \operatorname{Ass}(Q').）したがって  は準素であり証明は完了する。

注意：同じ証明により、 がすべて次数付けられていれば、分解における  も次数付けられているようにとることができる。

## 最短分解と一意性

この節では、すべての加群はネーター環  上有限生成であるとする。

加群  の部分加群  の準素分解が**最短**であるとは、準素加群の個数が最小であることをいう。最短準素分解に対して、準素加群の素因子は一意的に決定される：それらは  の素因子である。さらに、**極小**あるいは**孤立**素因子（他の素因子を含まない素因子）に伴う準素部分加群も一意である。しかしながら非孤立素因子（幾何学的な理由から埋め込まれた素因子とも呼ばれる）に伴う準素部分加群は一意とは限らない。

例：ある体  に対して  とし、 をイデアル  とする。このとき  は2つの異なる最短準素分解  をもつ。極小素因子は  であり、埋め込まれた素因子は  である。

## ネーターでない場合
次の定理は環がそのイデアルについて準素分解を持つための必要十分条件を与える。

証明は Atiyah–MacDonald の Chapter 4 において一連の演習問題として与えられている。

イデアルが準素分解を持つための次の一意性定理もある。

さて、任意の可換環 、 イデアル 、  上の極小素イデアル  に対して、局所化写像のもとでの  の逆像は  を含む最小の  準素イデアルである。したがって、直前の定理の設定では、極小素イデアル  に対応する準素イデアル  は  を含む最小の  準素イデアルでもあり、 の  準素成分と呼ばれる。

例えば、素イデアル  の冪  が準素分解を持てば、その  準素成分は  の である。

## イデアルの加法的理論

この結果は今ではイデアルの加法的理論と呼ばれる分野の初めであり、これはイデアルを特別なクラスのイデアルの共通部分として表す方法を研究する分野である。「特別なクラス」、例えば準素イデアル、の決定は、それ自身問題である。非可換環の場合には、 のクラスが準素イデアルのクラスの代替として有用である。

## 脚注

## 参考文献

*M。 Atiyah、I。G。 Macdonald、*Introduction to Commutative Algebra*、 Addison–Wesley、 1994。 ISBN 0-201-40751-5
*
* 、 esp。 section 3。3。
*。 English translation in Communications in Computer Algebra 32/3 (1998): 8–30。
*
*
* 
*
*
*

## 外部リンク
*http://mathoverflow。net/questions/105138/is-primary-decomposition-still-important
* 
* 
*