イデアル (環論)
抽象代数学の分野である環論におけるイデアル（, ）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。
整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。
イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。
順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。
環 の部分集合 が、加法群としての部分群であり、 のどの元を左からかけても、また に含まれるとき、 を左イデアル () という。同様に任意の の元を右からかけたものが に含まれるとき、 を右イデアル () という。言い換えると、 の部分集合 が左（右）イデアルであるとは、 が の左（右）加群としての部分加群であることをいう。左イデアルかつ右イデアルであるものを、両側イデアル () または単にイデアルという。 が可換環である場合はこれらの概念は全て一致するため、単にイデアルと呼ばれる。以下に述べるように、群を正規部分群で類別することによって剰余群を得るのと同様に、環を両側イデアルで類別することによって剰余環を得る。
によって二項関係 を定義すると、これは同値関係になる。この同値関係による商集合には自然に演算が定義できて、環になることが分かる。新しく作られたこの環を のイデアル による剰余環と呼び、 と書く。商環と呼ばれる場合もある。
環の準同型の核はイデアルであり、逆にイデアルはある環準同型の核になる。群の場合と同じように、環についても準同型定理が成り立つ。すなわち、
環構造と両立する同値関係である合同関係とイデアルとの間には一対一対応が存在する。即ち、環 のイデアル が与えられたとき、 で定義される関係 は 上の合同関係であり、逆に 上の合同関係 が与えられたとき は 上のイデアルになる。
を（必ずしも単位的でない）環とする。 の空でない左イデアルの族の交わりはまた左イデアルになる。 の任意の部分集合 に対し、 の を含む任意のイデアル全ての交わり はやはり を含む左イデアルであって、また明らかにそのようなイデアルの中で最小である。このイデアル を によって生成された左イデアルと呼ぶ。左イデアルの代わりに右イデアルもしくは両側イデアルをそれぞれ考えることにより、それぞれ同様の概念が定義される。
によって与えられる。実際これが左イデアルを成し、これらの元が を含む任意のイデアルに属することは明らかであるから、確かにこれは の生成する左イデアルである。同様に の生成する右、両側イデアルはそれぞれ
によって与えられる。
規約として、 は0 項からなる和と見做すことにより、イデアル は空集合 の生成する のイデアルと考える。
生成系 が の適当な元 のみからなる単元集合 とすると、 の生成する各イデアルは簡単に
と言う形に書くことができる。これらは によって生成される左、右、両側の主イデアル（単項イデアル）と呼ばれる。 の生成する両側イデアルを簡単に と書くことも広く行われている。
上で述べたことは、単位的でない環 に対しては少しく変更が必要である。 の元の有限積和に加えて、任意の自然数 と の元 に対して、 の -重和 および を考えるのである。単位的環 に対してはこの余分な仮定は過剰な条件になる。 を環 の左（右）イデアルとする。 の和を
で定義すると、これは を含む左（右）イデアルのうち最小のものである。また、 と の積集合 は に含まれる左（右）イデアルのうち、最大のものである。しかし、和集合 は必ずしもイデアルにならない。 と が共に両側イデアルのとき、それらの積を
で定義すると、これはまた両側イデアルであり、 に含まれる。積の定義は、単なる の元と の元の積ではなく、その有限和全体の集合であることに注意する必要がある。これらの間の包含関係をまとめると次のようになる。
ただし、最初の包含関係は、 が両側イデアルの場合である。イデアルの重要性は、それが環準同型の核となることであり、また剰余環を定義することができることにある。異なる種類の剰余環が定義できると言うことに従って、様々な種類のイデアルが考えられる。必ずしも環の中で閉じているわけではないが、「イデアル」と呼ばれる重要な例を二つ挙げる。詳細はそれぞれの項を参照。
19世紀のドイツの数学者であるクンマーはフェルマーの最終定理を証明しようと研究していた。その中で彼は、代数的整数に関しては有理整数の場合のような素因数分解の一意性が必ずしも成り立たないという問題に直面した。
有理整数環 においては であって、順序の入れ替え を除いては他の素因数分解は存在しない。しかし、代数的整数の場合はそうではない。
クンマーが扱ったのは奇素数 に対する -分体の整数環の場合であったが、以下ではより単純な例として次のような環を考える。ただし、 は虚数単位である。
この環には の分解は 2 通り存在する。
 がこれ以上分解できないことは、乗算における絶対値に注目すれば容易に証明できる。
クンマーは、これはまだ分解が十分でないために起きると考えた。例えば有理整数環 においても、 のように、分解が十分でなければ 2 通りの分解が発生する。これは と完全に分解しなければならない。これと同様に、上記の環 においてもより根元的な分解 が存在し、
なのであろうというのがクンマーの基本的な発想である。
もちろん は の元ではありえない。クンマーは、 の分解のためには の平方根を含むより広い領域が必要となるように、 の元が上のように完全に分解されるより広い領域が存在すると考えた。そしてこの のような理想的な分解を与える因子を理想（複素）数 (' ) あるいは理想因子 (') と名付けて、理想数の理論を築いた。
クンマーの理想数の理論は非常に形式的で、とても難解なものであった。後になってデデキントは理想数の理論を整理することによってイデアルを考案した。歴史的には、ヒルベルトの『数論報告』の中で、デデキントのイデアル概念が取り上げられたことから、イデアルという名称が採用されることになった。イデアル () とは、明らかに理想数に由来する名前である。
現代の環論の言葉で言うなら、先の の分解に対するクンマーの考えは次のようなことに相当する。
とすれば、
であり、
すなわち、 という元の素因数分解を考えるのではなく、 により生成されるイデアルの素イデアル分解を考えることが適当だったのである。
また、現代の環論では はそもそも における の素因数ではない。これらのように「これ以上分解できない元」は既約元と呼ばれ、素数の一般の概念である素元とは区別される。詳しくは環 (数学)を参照のこと。
なお、理想数の理論の考え方は、現代ではイデアル論の他に -進体の理論にも継承されている。