イデアル (環論)のソースを表示

{{redirect|イデアル|その他}}
[[抽象代数学]]の分野である[[環論]]における'''イデアル'''（{{lang-en-short|ideal}}, {{lang-de-short|Ideal}}）は[[環 (数学)|環]]の特別な[[部分集合]]である。[[整数]]全体の成す環における、[[偶数]]全体の成す集合や {{math|3}} の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じている[[空集合|空]]でない部分集合をイデアルという。

整数の場合であれば、イデアルと[[非負整数]]とは一対一に対応する。即ち整数環 {{math|'''Z'''}} の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる[[主イデアル]]になる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の[[素イデアル]]は[[素数]]の環における対応物であり、[[中国の剰余定理]]もイデアルに対するものに一般化することができる。[[算術の基本定理|素因数分解の一意性]]も[[デデキント環]]のイデアルに対応するものが存在し、[[数論]]において重要な役割を持つ。

イデアルは整数の算術から定義される[[合同算術]]の方法と同様の[[剰余環]]（商環）の構成にも用いられる、この点において[[群論]]で[[剰余群]]（商群）の構成に用いられる[[正規部分群]]と同様のものと理解することができる。

[[順序集合]]に対する{{仮リンク|順序イデアル|en|order ideal}}の概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して[[分数イデアル]]の概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは'''整イデアル'''と呼ばれることもある。

== 定義 ==
[[環 (数学)|環]] {{mvar|R}} の部分集合 {{mvar|I}} が、[[加法群]]としての部分[[群 (数学)|群]]であり、{{mvar|R}} のどの[[元 (数学)|元]]を左からかけても、また {{mvar|I}} に含まれるとき、{{mvar|I}} を'''左イデアル''' ({{en|left ideal}}) という。同様に任意の {{mvar|R}} の元を右からかけたものが {{mvar|I}} に含まれるとき、{{mvar|I}} を'''右イデアル''' ({{en|right ideal}}) という。言い換えると、{{mvar|R}} の部分集合 {{mvar|I}} が左（右）イデアルであるとは、{{mvar|I}} が {{mvar|R}} の左（右）[[環上の加群|加群]]としての部分加群であることをいう。左イデアルかつ右イデアルであるものを、'''両側イデアル''' ({{en|two&ndash;sided ideal}}) または単に'''イデアル'''という。{{mvar|R}} が[[可換環]]である場合はこれらの概念は全て一致するため、単にイデアルと呼ばれる。以下に述べるように、群を[[正規部分群]]で類別することによって剰余群を得るのと同様に、環を両側イデアルで類別することによって剰余環を得る。

{{mvar|I}} を環 {{mvar|R}} の両側イデアルとする。
: <math>a \sim b \iff a - b \in I</math>
によって[[二項関係]] {{math|&#xFF5E;}} を定義すると、これは[[同値関係]]になる。この同値関係による[[商集合]]には自然に演算が定義できて、環になることが分かる。新しく作られたこの環を {{mvar|R}} のイデアル {{mvar|I}} による'''[[剰余環]]'''と呼び、{{math|''R''/''I''}} と書く。'''商環'''と呼ばれる場合もある。

環の[[準同型]]の[[核 (代数学)|核]]はイデアルであり、逆にイデアルはある環準同型の核になる。群の場合と同じように、環についても準同型定理が成り立つ。すなわち、
:{{math|''f'' : ''R'' {{sub|1}} → ''R'' {{sub|2}}}} が準同型ならば、{{math|''R'' {{sub|1}}}} の核による剰余環 {{math|''R'' {{sub|1}}/Ker ''f''}} は準同型の像 {{math|Im ''f''}} と同型である。

== イデアルと合同関係 ==
環構造と両立する同値関係である[[合同関係]]とイデアルとの間には一対一対応が存在する。即ち、環 {{mvar|R}} のイデアル {{mvar|I}} が与えられたとき、{{math|''x'' &#xFF5E; ''y'' ⇔ ''x'' − ''y'' ∈ ''I''}} で定義される関係 {{math|&#xFF5E;}} は {{mvar|R}} 上の合同関係であり、逆に {{mvar|R}} 上の合同関係 {{math|&#xFF5E;}} が与えられたとき {{math|''I'' {{=}} {{(}}''x'' : ''x'' &#xFF5E; 0{{)}}}} は {{mvar|R}} 上のイデアルになる。

== イデアルの生成 ==
{{mvar|R}} を（必ずしも[[単位的環|単位的]]でない）環とする。{{mvar|R}} の[[空集合|空]]でない左イデアルの族の交わりはまた左イデアルになる。{{mvar|R}} の任意の部分集合 {{mvar|X}} に対し、{{mvar|R}} の {{mvar|X}} を含む任意のイデアル全ての交わり {{mvar|I}} はやはり {{mvar|X}} を含む左イデアルであって、また明らかにそのようなイデアルの中で最小である。このイデアル {{mvar|I}} を {{mvar|X}} によって'''生成'''された左イデアルと呼ぶ。左イデアルの代わりに右イデアルもしくは両側イデアルをそれぞれ考えることにより、それぞれ同様の概念が定義される。

{{mvar|R}} が単位的ならば、{{mvar|R}} の部分集合 {{mvar|X}} が生成する左、右、両側イデアルは内部的な演算によって記述することができる。即ち、{{mvar|X}} の生成する左イデアルは
: <math>\{r_1x_1+\dots+r_nx_n \mid n\in\mathbb{N}, r_i\in R, x_i\in X\}</math>
によって与えられる。実際これが左イデアルを成し、これらの元が {{mvar|X}} を含む任意のイデアルに属することは明らかであるから、確かにこれは {{mvar|X}} の生成する左イデアルである。同様に {{mvar|X}} の生成する右、両側イデアルはそれぞれ
:<math>\{x_1r_1+\dots+x_nr_n \mid n\in\mathbb{N}, r_i \in R, x_i\in X\},</math>
:<math>\{r_1x_1s_1+\dots+r_nx_ns_n \mid n\in\mathbb{N}, r_i\in R,s_i\in R, x_i\in X\}</math>
によって与えられる。

規約として、{{math|0}} は[[空和|0 項からなる和]]と見做すことにより、イデアル {{math|{{(}}0{{)}}}} は空集合 {{math|&empty;}} の生成する {{mvar|R}} のイデアルと考える。

{{mvar|R}} の左イデアル {{mvar|I}} が {{mvar|R}} の有限集合 {{mvar|F}} によって生成されるならば、イデアル {{mvar|I}} は[[有限生成加群|有限生成]]であるという。有限集合で生成される右イデアル、両側イデアルについても同様である。

生成系 {{mvar|X}} が {{mvar|R}} の適当な元 {{mvar|a}} のみからなる[[単元集合]] {{math|{{mset|''a''}}}} とすると、{{math|''X'' {{=}} {{mset|''a''}}}} の生成する各イデアルは簡単に
:<math>Ra=\{ra \mid r\in R\},</math>
:<math>aR=\{ar \mid  r\in R\},</math>
:<math>RaR=\{r_1as_1+\dots+r_nas_n \mid n\in \mathbb{N}, r_i\in R,s_i\in R\}</math>
と言う形に書くことができる。これらは {{mvar|a}} によって生成される左、右、両側の[[主イデアル]]（単項イデアル）と呼ばれる。{{mvar|a}} の生成する両側イデアルを簡単に {{math|(''a'' )}} と書くことも広く行われている。

上で述べたことは、単位的でない環 {{mvar|R}} に対しては少しく変更が必要である。{{mvar|X}} の元の有限積和に加えて、任意の自然数 {{mvar|n}} と {{mvar|X}} の元 {{mvar|x}} に対して、{{mvar|x}} の {{mvar|n}}-重和 {{math2|''x'' + ''x'' + … + ''x''}} および {{math|(&minus;''x'') + (&minus;''x'') + … + (&minus;''x'')}} を考えるのである。単位的環 {{mvar|R}} に対してはこの余分な仮定は過剰な条件になる。

* 整数環 {{math|'''Z'''}} はその任意のイデアルがただ一つの数で生成され（したがって {{math|'''Z'''}} は[[主イデアル整域]]）、主イデアル {{math|''n'''''Z'''}} の生成元は {{mvar|n}} または {{math|&minus;''n''}} のちょうど二つである（その意味ではイデアルと整数との差異はこの環ではほぼ分からない）。任意の整域において {{math|''aR''&nbsp;{{=}}&nbsp;''bR''}} は、適当な[[単元 (代数学)|単元]] {{mvar|u}} が存在して {{math2|1=''au'' = ''b''}} を満たすことを意味し、逆に任意の単元 {{mvar|u}} に対して {{math2|1=''aR'' = ''auu''{{sup|−1}}''R'' = ''auR''}} が満たされる。故に可換主イデアル整域において、主イデアル {{mvar|aR}} を任意の単元 {{mvar|u}} に対する {{mvar|au}} が生成することができる。{{math|'''Z'''}} の単元は {{math|1}} と {{math|&minus;1}} の二つのみであるから、これは {{math|'''Z'''}} の場合をも含んでいる。

== イデアルの演算 ==
{{math2|''I'', ''J''}} を[[環 (数学)|環]] {{mvar|R}} の左（右）イデアルとする。{{math2|''I'', ''J''}} の和を
:<math>I+J:=\{a+b \mid a \in I,\, b \in J\}</math>
で定義すると、これは {{math2|''I'', ''J''}} を含む左（右）イデアルのうち最小のものである。また、{{mvar|I}} と {{mvar|J}} の積集合 {{math|''I'' ∩ ''J''}} は {{math|''I'', ''J''}} に含まれる左（右）イデアルのうち、最大のものである。しかし、和集合 {{math|''I'' ∪ ''J''}} は必ずしもイデアルにならない。{{mvar|I}} と {{mvar|J}} が共に両側イデアルのとき、それらの積を
:<math>IJ:=\{a_1b_1+ \cdots + a_nb_n \mid n \in \mathbb{N},\, a_i \in I,\,b_i \in J\}</math>
で定義すると、これはまた両側イデアルであり、{{math|''I'' ∩ ''J''}} に含まれる。積の定義は、単なる {{mvar|I}} の元と {{mvar|J}} の元の積ではなく、その有限和全体の集合であることに注意する必要がある。これらの間の包含関係をまとめると次のようになる。
:<math>IJ \subset I \cap J \subset I,\, J \subset I \cup J \subset I+J</math>
ただし、最初の包含関係は、{{math2|''I'', ''J''}} が両側イデアルの場合である。

== 性質 ==
* 任意の環 {{mvar|R}} において {{math|{{mset|0}}}} および {{mvar|R}} はイデアルになる。{{mvar|R}} が[[可除環]]または[[可換体|体]]ならば、そのイデアルはこれらのみである。イデアル {{mvar|R}} は'''単位イデアル''' (''{{en|unit ideal}}'' )、イデアル {{math|{{mset|0}}}} は'''零イデアル''' (''{{en|zero ideal}}'' ) と呼ばれ、これらは'''自明なイデアル''' (''{{en|trivial ideal}}'' ) と総称される。イデアル {{mvar|I}} が'''真のイデアル''' (''{{en|proper ideal}}'' ) とはそれが {{mvar|R}} の真の部分集合となること、つまり {{mvar|R}} と異なるイデアルとなることを言う<ref>{{harvnb|Lang|2005|loc=Section III.2}}</ref>。
* [[正規部分群]]が群準同型の[[核 (代数学)|核]]となることとまったく同じように、イデアルを準同型の核として捉えることができる。{{mvar|R}} の空でない部分集合 {{mvar|A}} について
** {{mvar|A}} が {{mvar|R}} のイデアルとなる必要十分条件はそれが適当な環準同型の核となることである。
** {{mvar|A}} が {{mvar|R}} の右イデアルとなる必要十分条件はそれが右 {{mvar|R}} &ndash;加群 {{mvar|R{{sub|R}}}} から別の適当な右 {{mvar|R}} &ndash;加群への適当な加群準同型の核となることである。
** {{mvar|A}} が {{mvar|R}} の左イデアルとなる必要十分条件はそれが左 {{mvar|R}} &ndash;加群 {{mvar|{{sub|R}}R}} から別の適当な左 {{mvar|R}} &ndash;加群への適当な加群準同型の核となることである。
* [[剰余類]]とイデアルとの間の関係は、乗法と加法を剰余環へ写せることとして理解することができる。
* 環が単位元を持つとき、イデアルが真のイデアルとなる必要十分条件は、それが単位元を含まないこと、従って任意の単元を含まないことである。
* 任意の環において、そのイデアル全体の成す集合は[[包含関係]]に関して[[半順序集合]]を成す。実はこれはさらに、[[完備束|完備]]{{仮リンク|モジュラー束|en|Modular lattice}}でイデアルの和を{{仮リンク|結び演算|en|Join and meet}}に、集合の交わりを{{仮リンク|交わり演算|en|Join and meet}}に持つ。このとき自明なイデアルは最小元（零イデアル）と最大元（単位イデアル）を与える。この束は一般には{{仮リンク|分配束|en|Distributive lattice}}にならない。
* {{mvar|R}} の真のイデアル全体の成す集合を考えるのには[[ツォルンの補題]]を必要としないが、{{mvar|R}} が単位元 {{math|1}} を持つとき「{{math|1}} を含まないイデアル全体の成す集合」を考えるならば、ツォルンの補題を適用して、帰結として真の極大イデアルの存在を確かめることができる。より明確に言えば、任意の真のイデアルに対して、それを含む極大イデアルが存在することが示せる（[[極大イデアル]]の項の[[クルルの定理]]を参照）。
* 環 {{mvar|R}} をそれ自身左 {{mvar|R}}-加群と見做すことができるが、このとき {{mvar|R}} の左イデアルはその {{mvar|R}} に含まれる左 {{mvar|R}}-[[環上の加群#部分加群と準同型|部分加群]]と見做される。同様に右イデアルも、自身の上の右加群と見た {{mvar|R}} の右 {{mvar|R}}-部分加群であり、両側イデアルは {{mvar|R}}-[[両側加群]]としての {{mvar|R}} の {{mvar|R}}-部分加群である。{{mvar|R}} が可換の時はイデアルがそうであるように、これら三種の加群はすべて一致する。
* 任意のイデアルは[[擬環]]である。
* 環 {{mvar|R}} のイデアル全体はイデアルの和と積に関して（{{mvar|R}} を単位元とする）[[半環]]になる。

== イデアルの種類 ==

:以下簡単のため[[可換環]]でのみ考えることにして、非可換版の詳しい話は各項に譲る。

イデアルの重要性は、それが環準同型の核となることであり、また[[剰余環]]を定義することができることにある。異なる種類の剰余環が定義できると言うことに従って、様々な種類のイデアルが考えられる。

; [[極大イデアル]]
:真のイデアル {{mvar|I}} が'''極大イデアル''' ({{en|maximal ideal}}) であるとは、{{mvar|I}} を真に含む真のイデアル {{mvar|J}} が存在しないことを言う。極大イデアルによる商は一般には[[単純環]]、可換環の場合は[[可換体|体]]になる<ref>可換単純環は体である。See Lam (2001), {{Google books quote|id=f15FyZuZ3-4C|page=39|text=simple commutative rings|p. 39}}.</ref>。
; [[極小イデアル]]
:ゼロでないイデアルが'''極小''' ({{en|minimal}}) であるとは、それが零でも自身でもないイデアルを含まないことを言う。
; [[素イデアル]]
:真のイデアル {{mvar|I}} が'''素イデアル''' ({{en|prime ideal}}) であるとは、{{mvar|R}} の元 {{math2|''a'', ''b''}} が {{math2|''ab'' ∈ ''I''}} を満たすならば必ず {{mvar|a}} と {{mvar|b}} の少なくとも一方が {{mvar|I}} に属すことを言う。素イデアルによる商は一般には[[素環]]、可換の場合は[[整域]]となる。
; [[根基イデアル]]または[[半素イデアル]]
:真のイデアル {{mvar|I}} が'''根基''' ({{en|radical}}) または'''半素''' ({{en|semiprime}}) であるとは、{{mvar|R}} の任意の元 {{mvar|a}} に対してその適当な[[冪]] {{mvar|a{{sup|n}}}} が {{mvar|I}} に属すならば {{math|''a'' ∈ ''I''}} となることを言う。根基イデアルによる商は、一般には[[半素環]]であり、可換の場合は[[被約環]]になる。
; [[準素イデアル]]
:イデアル {{mvar|I}} が'''準素イデアル''' ({{en|primary ideal}}) とは、{{mvar|R}} の元 {{math2|''a'', ''b''}} が {{math|''ab'' ∈ ''I''}} を満たすとき、{{math|''a'' ∉ ''I''}} ならば {{math|''b{{sup|n}}'' ∈ ''I''}} が適当な正の整数 {{mvar|n}} に対して成り立つことを言う。任意の素イデアルは準素イデアルだが逆は必ずしも成り立たない。半素な準素イデアルは素イデアルである。
; [[主イデアル]]
:単項生成なイデアル。
; {{vanc|有限生成イデアル}}
:[[環上の加群|加群]]として[[有限生成加群|有限生成な]]イデアル。
; [[原始イデアル]]
:左[[単純加群|単純]][[環上の加群|加群]]の[[零化イデアル|零化域]]を左原始イデアルと呼ぶ。右原始イデアルも同様。しかしその名称にも拘らず、左または右原始イデアルは実は常に両側イデアルになる。原始イデアルは素イデアルである。左（または右）原始イデアルによる商は左（または右）[[原始環]]と言う。可換環の場合は原始イデアルは極大であり、従って原始環は体になる。
; [[既約イデアル]]
:イデアルが'''既約''' ({{en|irreducible}}) であるとは、それがそれを真に含むイデアルの交わりに書けないことを言う。
; {{vanc|互いに素なイデアル}}
:2つのイデアル {{math2|''I'', ''J''}} が'''互いに素''' ({{en|coprime}} または {{en|comaximal}}) であるとは {{math2|1=''I'' + ''J'' = ''R''}} となることを言う。
; {{仮リンク|正則イデアル|en|Regular ideal}}
:いくつか異なる流儀がある。
; {{仮リンク|冪零元イデアル|en|Nil ideal}}
:イデアルが'''冪零元イデアル''' ({{en|nil ideal}}) とは、その任意の元が[[冪零]]であることを言う。

必ずしも環の中で閉じているわけではないが、「イデアル」と呼ばれる重要な例を二つ挙げる。詳細はそれぞれの項を参照。
* [[分数イデアル]]：通常は {{mvar|R}} が[[商体]] {{mvar|K}} を持つ可換整域である場合に定義される。名前が示唆する通り、分数イデアル (''{{en|fractional ideal}}'' ) は {{mvar|K}} の特別な性質を持つ {{mvar|R}} &ndash;部分加群である。分数イデアルが完全に {{mvar|R}} に含まれる時には、真に {{mvar|R}} のイデアルを成す。
* [[可逆イデアル]]：通常は、可逆イデアル (''{{en|invertible ideal}}'') {{mvar|A}} は分数イデアルであって、別の分数イデアル {{mvar|B}} で {{math2|1=''AB'' = ''BA'' = ''R''}} を満たすものが取れるものと定義される。文献によっては、{{mvar|R}} が整域ではなく一般の環で、通常のイデアル {{math2|''A'', ''B''}} が {{math2|1=''AB'' = ''BA'' = ''R''}} を満たすときに、「可逆イデアル」と言う呼称を用いるものがある。

== 歴史 ==
通説にしたがってイデアルの成立史を述べる{{Sfn|高木|1931|pp=[{{NDLDC|1174277/168}} 321-323]}}{{Efn|ここで述べる通説には細部において批判的意見も提出されているが、それについては適宜脚注にて記載する。[[理想数]]も参照のこと。}}。[[19世紀]]の[[ドイツ]]の数学者である[[エルンスト・クンマー|クンマー]]は[[フェルマーの最終定理]]を証明しようと研究していた{{Efn|
クンマーの主な動機は高次相互法則であり、フェルマーの最終定理ではなかった、という指摘がある。Harold M. Edwards, {{Google books|_IxN-5PW8asC|Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory|page=79}}
}}。その中で彼は、[[代数的整数]]に関しては[[整数|有理整数]]の場合のような[[素因数分解]]の一意性が必ずしも成り立たないという問題に直面した。

[[整数環|有理整数環]] '''{{mvar|Z}}''' においては {{math|6 {{=}} 2 × 3}} であって、順序の入れ替え {{math|(3 × 2)}} を除いては他の素因数分解は存在しない。しかし、代数的整数の場合はそうではない。

クンマーが扱ったのは奇素数 {{mvar|p}} に対する [[円分体|{{mvar|p}}-分体]]の整数環の場合であったが、以下ではより単純な例として次のような環を考える。ただし、{{mvar|i}} は[[虚数単位]]である。
:<math>R = \mathbb{Z}[\sqrt{5}\,i] = \left\{a+b\sqrt{5}\,i\mid a,b\in\mathbb{Z}\right\}</math>
この環には {{math|6}} の分解は 2 通り存在する。
* {{math|6 {{=}} 2 × 3}}
* {{math|6 {{=}} (1 + {{sqrt|5}}''i'' ) × (1 &minus; {{sqrt|5}}''i'' )}}
{{math|1 ± {{sqrt|5}}''i''}} がこれ以上分解できないことは、乗算における絶対値に注目すれば容易に証明できる。

クンマーは、これはまだ分解が十分でないために起きると考えた。例えば有理整数環 '''{{mvar|Z}}''' においても、{{math|12 {{=}} 3 × 4 {{=}} 2 × 6}} のように、分解が十分でなければ 2 通りの分解が発生する。これは {{math|12 {{=}} 2 × 2 × 3}} と完全に分解しなければならない。これと同様に、上記の環 {{mvar|R}} においてもより根元的な分解 {{math|6 {{=}} ''A'' × ''B'' × ''C'' × ''D''}} が存在し、
: {{math|2 {{=}} ''A'' × ''B''}}
: {{math|3 {{=}} ''C'' × ''D''}}
: {{math|1 + {{sqrt|5}}''i'' {{=}} ''A'' × ''C''}}
: {{math|1 &minus; {{sqrt|5}}''i'' {{=}} ''B'' × ''D''}}
なのであろうというのがクンマーの基本的な発想である。

もちろん {{math2|''A'', ''B'', ''C'', ''D''}} は {{mvar|R}} の元ではありえない。クンマーは、{{math|''x''{{sup|2}} + 1}} の分解のためには {{math|&minus;1}} の平方根を含むより広い領域が必要となるように、{{mvar|R}} の元が上のように完全に分解されるより広い領域が存在すると考えた。そしてこの {{math2|''A'', ''B'', ''C'', ''D''}} のような理想的な分解を与える因子を[[理想数|'''理想（複素）数''']] (''{{de|ideale complexe Zahl}}'') あるいは'''理想因子''' (''{{de|ideal Primfactor}}'') と名付けて、理想数の理論を築いた。

クンマーの理想数の理論は非常に形式的で、とても難解なものであった{{Efn|
クンマーの論文は「理想数」を「イデアル」に置き換えることで容易に読むことができる、という主張もある。{{Cite arXiv| last = Lemmermeyer| first = Franz| title = Jacobi and Kummer's Ideal Numbers| date = 2011| eprint=1108.6066 | page = 2}}また、[[アンドレ・ヴェイユ]]によれば、クンマーの論文は驚くほど間違いが少ない。{{Cite journal| volume = 83| issue = 5| pages = 976–988| last = Mazur| first = Barry| title = Review: André Weil, Ernst Edward Kummer, Collected Papers| journal = Bulletin of the American Mathematical Society| date = 1977| url = https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-83/issue-5/Review-Andr%c3%a9-Weil-Ernst-Edward-Kummer-Collected-Papers/bams/1183539459.full page = 980}}
}}。後になって[[リヒャルト・デーデキント|デデキント]]は理想数の理論を整理することによって'''イデアル'''を考案した{{Sfn|高木|1931|p=[{{NDLDC|1174277/169}} 323]}}<ref>
{{Google books|AVmEDwAAQBAJ|The Story of Algebraic Numbers in the First Half of the 20th Century: From Hilbert to Tate|page=43}}
</ref><ref>
{{Cite book|
| last1 = Dirichlet
| last2 = Dedekind
| title = Vorlesungen über Zahlentheorie
| edition = 2
| date = 1871
| url = https://gdz.sub.uni-goettingen.de/id/PPN30976923X
| page = 452
}}
</ref>。'''イデアル''' ({{de|Ideal}}) という名称は、理想数に由来する名前である{{Sfn|高木|1931|p=[{{NDLDC|1174277/169}} 323]}}。

現代の環論の言葉で言うなら、先の {{math|6}} の分解に対するクンマーの考えは次のようなことに相当する。
: {{math|''A'' {{=}} 2''R'' + (1 + {{sqrt|5}}''i'')''R''}},
: {{math|''B'' {{=}} 2''R'' + (1 &minus; {{sqrt|5}}''i'')''R''}},
: {{math|''C'' {{=}} 3''R'' + (1 + {{sqrt|5}}''i'')''R''}},
: {{math|''D'' {{=}} 3''R'' + (1 &minus; {{sqrt|5}}''i'')''R''}}
とすれば、
: {{math|6''R'' {{=}} ''A'' × ''B'' × ''C'' × ''D''}}
であり、
: {{math|2''R'' {{=}} ''A'' × ''B''}},
: {{math|3''R'' {{=}} ''C'' × ''D''}},
: {{math|(1 + {{sqrt|5}}''i'')''R'' {{=}} ''A'' × ''C''}},
: {{math|(1 &minus; {{sqrt|5}}''i'')''R'' {{=}} ''B'' × ''D''}},
すなわち、{{math|6}} という元の素因数分解を考えるのではなく、{{math|6}} により生成されるイデアルの素イデアル分解を考えることが適当だったのである。

また、現代の環論では {{math|2, 3, 1 + {{sqrt|5}}''i'', 1 &minus; {{sqrt|5}}''i''}} はそもそも {{mvar|R}} における {{math|6}} の'''素因数'''ではない。これらのように「これ以上分解できない元」は'''既約元'''と呼ばれ、素数の一般の概念である'''素元'''とは区別される。詳しくは[[環 (数学)]]を参照のこと。

なお、理想数の理論の考え方は、現代ではイデアル論の他に [[P進数|{{mvar|p}}-進体]]の理論にも継承されている。

== 関連項目 ==
* [[合同算術]]
* [[ネーターの同型定理]]
* {{仮リンク|ブールの素イデアル定理|en|Boolean prime ideal theorem}}
* {{仮リンク|イデアル論|en|Ideal theory}}
* [[イデアル商]]
* {{仮リンク|イデアルノルム|en|Ideal norm}}
* {{仮リンク|アルティンイデアル|en|Artinian ideal}}
* [[可換環]]
* [[非可換環]]
* {{仮リンク|正則イデアル|en|Regular ideal}}
* {{仮リンク|イデアル化半群|en|Idealizer}}
* [[束 (束論)]]

== 脚注 ==

{{脚注ヘルプ}}

=== 注釈 ===

{{Notelist}}

=== 出典 ===

{{Reflist|2}}

== 参考文献 ==
{{Reflist}}
{{Refbegin}}
* {{Cite book |author=[[Serge Lang]] |title=Undergraduate Algebra |edition=Third |publisher=[[Springer-Verlag]] |isbn=978-0-387-22025-3 |year=2005 |ref=harv |postscript=<!-- Bot inserted parameter. Either remove it; or change its value to "." for the cite to end in a ".", as necessary. --><!--{{inconsistent citations}}-->}}
* {{Cite book |author=[[:en:Michiel_Hazewinkel|Michiel Hazewinkel]], Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V. Kirichenko |title=Algebras, rings and modules |volume=1 |year=2004 |publisher=Springer&ndash;Verlag |isbn=1-4020-2690-0}}
* {{Cite book|和書|year=1931|author=高木貞治|author-link=高木貞治|title=初等整数論講義|publisher=共立社書店|id={{NDLDC|1174277|format=NDLJP}} | ref = {{SfnRef|高木|1931}}}}
{{Refend}}
* Marco Fontana, Evan Houston, Thomas Lucas: "Factoring Ideals in Integral Domains", Springer, ISBN 978-3-642-31711-8 (2013).

{{Normdaten}}
{{DEFAULTSORT:いてある}}
[[Category:環論]]
[[Category:代数的整数論]]
[[Category:数学に関する記事]]