準素分解のソースを表示

{{脚注の不足|date=2023-08}}

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

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

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

標数 0 の体<ref>準素分解は多項式の既約性の判定を必要とし，標数が 0 でないときは必ずしもアルゴリズム的に可能ではない．</ref>上の多項式環に対する準素分解を計算する最初のアルゴリズムはネーターの学生 {{harvs|txt|authorlink=Grete Hermann|first=Grete |last=Hermann|year= 1926}} によって出版された{{verify source|reason=See talk page of en|date=June 2016}}。分解は非可換ネーター環に対しては一般には成り立たない。ネーターは準素イデアルの交叉ではない右イデアルを持つ非可換ネーターの例を与えた。

==定義==
{{mvar|R}} を可換環とし、{{mvar|M}} と {{mvar|N}} をその上の加群とする。

* 加群 {{mvar|M}} の'''[[零因子]]'''とは {{mvar|R}} の元 {{mvar|x}} であってある {{math|0 ≠ ''m'' ∈ ''M''}} に対して {{math|1=''xm'' = 0}} となるものである。
*{{mvar|R}} の元 {{mvar|x}} が {{mvar|M}} において'''冪零'''であるとは、ある正の整数 {{mvar|n}} に対して {{math|1=''x''<sup>''n''</sup>''M'' = 0}} となることをいう。
*加群が '''[[伴う素イデアル|coprimary]]''' であるとは、{{mvar|M}} の任意の零因子が {{mvar|M}} において冪零であることをいう。例えば、素冪位数の群と自由アーベル群は有理整数環上の coprimary 加群である。
*加群 {{mvar|N}} の部分加群 {{mvar|M}} が '''primary''' 部分加群であるとは、{{math|''N''/''M''}} が coprimary であることをいう。
*イデアル {{mvar|I}} が'''[[準素イデアル|準素]]'''であるとは、{{mvar|R}} の準素部分加群であることをいう。これは {{math|''ab'' &isin; ''I''}} ならば {{math|''a'' &isin; ''I''}} となるかあるいはある {{mvar|n}} に対して {{math|''b''<sup>''n''</sup> &isin; ''I''}} となると言うことと同値であり、環 {{math|''R''/''I''}} のすべての零因子が冪零であるという条件と同値である。
*加群 {{mvar|N}} の部分加群 {{mvar|M}} が'''既約'''であるとは、2つの真に大きい部分加群の共通部分ではないことをいう。（単純の意味ではないので注意。）
*加群 {{mvar|M}} の'''[[伴う素イデアル|素因子]]'''は {{mvar|M}} のある元の零化域であるような素イデアルである。

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

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

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

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

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

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

:<math>I = Q_1 \cap \cdots \cap Q_n. </math>

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

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

*[[素因子 (環論)|素因子]] <math>\sqrt{Q_i}</math> たちは相異なる。

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

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

== 証明 ==
今日では、準素分解を[[素因子 (環論)|素因子]]の理論で行うのが一般的である。以下の証明はこのアプローチの精神である{{sfn|Matsumura|1970|loc=Theorem 11}}。

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

注意：同じ証明により、{{math|''R'', ''M'', ''N''}} がすべて次数付けられていれば、分解における {{mvar|Q{{sub|i}}}} も次数付けられているようにとることができる。

==最短分解と一意性==

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

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

例：ある体 {{mvar|k}} に対して {{math|1=''N'' = ''R'' = ''k''[''x'', ''y'']}} とし、{{mvar|M}} をイデアル {{math|(''xy'', ''y''<sup>2</sup>)}} とする。このとき {{mvar|M}} は2つの異なる最短準素分解 {{math|1=''M'' = (''y'') &cap; (''x'', ''y''<sup>2</sup>) = (''y'') &cap; (''x'' + ''y'', ''y''<sup>2</sup>)}} をもつ。極小素因子は {{math|(''y'')}} であり、埋め込まれた素因子は {{math|(''x'', ''y'')}} である。

== ネーターでない場合 ==
次の定理は環がそのイデアルについて準素分解を持つための必要十分条件を与える。
{{math_theorem|math_statement={{mvar|R}} を可換環とする．このとき以下は同値である．
# {{mvar|R}} のすべてのイデアルは準素分解をもつ．
# {{mvar|R}} は以下の性質をもつ：
#*(L1) 任意の真のイデアル {{mvar|I}} と素イデアル {{mvar|P}} に対して，ある {{math|''x'' &isin; ''R'' − ''P''}} が存在して，{{math|(''I'' : ''x'')}} が局所化写像 {{math|''R'' → ''R''<sub>''P''</sub>}} のもとでの {{mvar|I R{{sub|P}}}} の逆像となる．
#*(L2) 任意のイデアル {{mvar|I}} に対して，{{mvar|S}} は {{mvar|R}} のすべての積閉集合を走るとして，局所化写像 {{math|''R'' → ''S''<sup>−1</sup>''R''}} のもとでの {{math|''I S''<sup>−1</sup>''R''}} の逆像全ての集合は，有限である．}}

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

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

{{math_theorem|{{mvar|R}} を可換環とし，{{mvar|I}} をイデアルとする．{{mvar|I}} は極小準素分解 <math>I = \cap_1^r Q_i</math> を持つとする（注：「極小」は <math>\sqrt{Q_i}</math> たちが相異なることを含んでいることに注意）．このとき
# 集合 {{math|1=''E'' = {{mset|{{sqrt|''Q{{sub|i}}''}} | 1 &le; ''i'' &le; ''r''}}}} は集合 {{math|{{mset|{{sqrt|(''I'' : ''x'')}} | ''x'' &isin; ''R''}}}} のすべての素イデアルの集合である．
# {{mvar|E}} の極小元全体の集合は {{mvar|I}} 上の[[極小素イデアル]]全体の集合と同じである．さらに，極小素イデアル {{mvar|P}} に対応する準素イデアルは {{math|''I R''<sub>''P''</sub>}} の逆像であり，したがって {{mvar|I}} によって一意的に決定される．}}

さて、任意の可換環 {{mvar|R}}、 イデアル {{mvar|I}}、 {{mvar|I}} 上の極小素イデアル {{mvar|P}} に対して、局所化写像のもとでの {{math|''I R''<sub>''P''</sub>}} の逆像は {{mvar|I}} を含む最小の {{mvar|P}} 準素イデアルである{{sfn|Atiyah–MacDonald|1969|loc=Ch. 4. Exercise 11}}。したがって、直前の定理の設定では、極小素イデアル {{mvar|P}} に対応する準素イデアル {{mvar|Q}} は {{mvar|I}} を含む最小の {{mvar|P}} 準素イデアルでもあり、{{mvar|I}} の {{mvar|P}} 準素成分と呼ばれる。

例えば、素イデアル {{mvar|P}} の冪 {{mvar|P{{sup|n}}}} が準素分解を持てば、その {{mvar|P}} 準素成分は {{mvar|P}} の {{仮リンク|素イデアルの記号的冪|en|symbolic power of a prime ideal|label=記号的 {{mvar|n}}-乗}}である。

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

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

==脚注==
{{reflist}}

==参考文献==
{{脚注の不足|section=1|date=2023-08}}
*[[Michael Atiyah|M。 Atiyah]]、[[Ian G. Macdonald|I。G。 Macdonald]]、''Introduction to Commutative Algebra''、 [[Addison–Wesley]]、 1994。 ISBN 0-201-40751-5
*{{SpringerEOM|title=Lasker ring|last= Danilov|first=V.I.|urlname=Lasker_ring}}
* {{Citation | last1=Eisenbud | first1=David | author1-link= David Eisenbud | title=Commutative algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94268-1|mr=1322960 | year=1995 | volume=150}}、 esp。 section 3。3。
*{{citation|title=Die Frage der endlich vielen Schritte in der Theorie der Polynomideale
|first=Grete |last=Hermann
|journal=Mathematische Annalen
|volume =95|year= 1926|doi=10.1007/BF01206635
|pages=736–788}}。 English translation in Communications in Computer Algebra 32/3 (1998): 8–30。
*{{citation| first=E. |last=Lasker|title=Zur Theorie der Moduln und Ideale|journal=  Math. Ann. |volume=60  |year=1905|pages= 19–116|doi=10.1007/BF01447495}}
*{{SpringerEOM|title=Primary decomposition|last= Markov|first=V.T.|urlname=Primary_decomposition}}
* {{citation | last1=Matsumura |first1=Hideyuki |title=Commutative algebra |year=1970}}
*{{Citation | last1=Noether | first1=Emmy | author1-link=Emmy Noether | title=Idealtheorie in Ringbereichen | url=http://www.springerlink.com/content/m3457w8h62475473/fulltext.pdf | year=1921 | journal=[[Mathematische Annalen]] | volume=83 | issue=1 | doi=10.1007/BF01464225 | pages=24}}
*{{Citation| doi=10.2307/2372273| last1=Curtis | first1=Charles | title=On Additive Ideal Theory in General Rings | jstor=2372273 | year=1952 | journal=American Journal of Mathematics | volume=74 | issue=3 | pages=687–700| publisher=The Johns Hopkins University Press}}
*{{Citation| last1=Krull | first1=Wolfgang | title=Zur Theorie der zweiseitigen Ideale in nichtkommutativen Bereichen | url=http://www.springerlink.com/content/j57u808658262654/ | journal=Mathematische Zeitschrift | volume=28 | issue=1 | doi=10.1007/BF01181179 | pages=481–503| year=1928}}

== 外部リンク ==
*[http://mathoverflow.net/questions/105138/is-primary-decomposition-still-important http://mathoverflow。net/questions/105138/is-primary-decomposition-still-important]
* {{MathWorld|urlname=PrimaryIdeal|title=Primary Ideal|author=Bhatt, Bhuvanesh.}}
* {{PlanetMath|urlname=PrimaryDecomposition|title=primary decomposition}}
* {{SpringerEOM|urlname=Primary_decomposition|title=Primary decomposition|author=Markov, V.T.}}

{{DEFAULTSORT:しゆんそふんかい}}
[[Category:可換環論]]
[[Category:抽象代数学の定理]]
[[Category:代数幾何学]]
[[Category:数学に関する記事]]