アイゼンシュタイン整数
アイゼンシュタイン整数（アイゼンシュタインせいすう、Eisenstein integer）とは、フェルディナント・ゴットホルト・マックス・アイゼンシュタインに因んで名付けられた複素数の一種である。正確には、整数 テンプレート:Math2 と [[1の冪根|テンプレート:Math の原始3乗根]]
に対して テンプレート:Math の形の複素数のことである。テンプレート:Math の場合は通常の整数を表すので、通常の整数もアイゼンシュタイン整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。
アイゼンシュタイン整数全体の集合は テンプレート:Math と表し、これをアイゼンシュタイン整数環と呼ぶ。すなわち、
である。テンプレート:Math は複素数体 テンプレート:Mathbf の部分環であるから、整域である。
テンプレート:Mathbf を有理数体とし、
と定義する。テンプレート:Math は テンプレート:Math の代数的整数環である。テンプレート:Math は、典型的な代数体であるところの円分体や二次体の一種であるので、アイゼンシュタイン整数環は代数的整数論における最も基本的な対象の一つである。
ノルム
アイゼンシュタイン整数 テンプレート:Math2 は二次方程式
の解である（よってアイゼンシュタイン整数は代数的整数である）。この方程式のもう一つの根は テンプレート:Math (テンプレート:Math) である。これを テンプレート:Mvar の共役といい、テンプレート:Math で表す（この場合、テンプレート:Math は テンプレート:Mvar の複素共役でもある）。方程式の係数に現れる、共役との和 テンプレート:Math を テンプレート:Mvar のトレース（英：trace、もしくはシュプール、独：Spur）、共役との積 テンプレート:Math を テンプレート:Mvar のノルムという。すなわち、アイゼンシュタイン整数のノルムとは
で与えられる非負の有理整数である。この値は 3 の倍数または 3 で割って 1 余る整数であることが容易に分かる。また、ノルムは絶対値の平方に等しいので、絶対値の乗法性よりノルムも乗法的性質を持つ。すなわち、2つのアイゼンシュタイン整数 テンプレート:Math2 に対して
が成り立つ。
整除性
有理整数環 テンプレート:Mathbf における通常の用語と同様にして、アイゼンシュタイン整数環においても倍数、約数などの整除性に関する用語が定義される。1 の約数を単数という。ノルムの乗法的性質を用いると、アイゼンシュタイン整数環における単数は テンプレート:Math2 の6つのみであることが分かる。
2つのアイゼンシュタイン整数が同伴であるとは、その比が単数であることをいう。例えば、テンプレート:Math2 であるので、テンプレート:Math と テンプレート:Math は同伴である。単数は、6個の単数を約数に持ち、それ以外の任意のアイゼンシュタイン整数は、6個の単数および自身と同伴なもの6個の計12個を約数に持つ。これを自明な約数という。
アイゼンシュタイン素数
単数ではなく、かつ自明な約数しか持たないアイゼンシュタイン整数をアイゼンシュタイン素数と呼ぶ。区別のために、通常の素数は有理素数と呼ぶこともある。ノルムが有理素数であるようなアイゼンシュタイン整数は素数であるが、その逆は正しくない。どのようなアイゼンシュタイン整数が素数であるかを見るには、有理素数が テンプレート:Math においてどのように分解するかを調べる必要がある。
まず、テンプレート:Math は テンプレート:Math と等しい。すなわち、テンプレート:Math は同伴な2つのアイゼンシュタイン素数の積に表せるのであって、この状況を「3 は分岐する」という。
次に、テンプレート:Math の形の有理素数 テンプレート:Mvar は テンプレート:Math でも素数であることが分かる。この状況を「テンプレート:Mvar は惰性する」という。実際、テンプレート:Math2 が2つの（単数でない）アイゼンシュタイン整数の積 αβ に等しいとすると、ノルムを取って テンプレート:Math2 より テンプレート:Math を得るが、両辺を 3 で割った余りが等しくないので矛盾である。
最後に、証明は簡単ではないが、テンプレート:Math の形の有理素数 テンプレート:Mvar は2つの同伴でないアイゼンシュタイン素数の積に表せることが知られている。このことは、テンプレート:Mvar が テンプレート:Math の形に表せることと同等である（参考：二個の平方数の和#重みつき平方数の和）。
結局、アイゼンシュタイン素数は以下の3つのタイプがあることが分かる。
- ノルムが テンプレート:Math であるもの。すなわち、テンプレート:Math2 の6つ。
- ノルムが テンプレート:Math の形の素数であるもの。例えば テンプレート:Math2 など。
- テンプレート:Math の形の有理素数と同伴であるもの。例えば テンプレート:Math2 など。
素因数分解の一意性
アイゼンシュタイン整数環は素元分解整域である。すなわち、大雑把に述べると
- 「任意のアイゼンシュタイン整数はアイゼンシュタイン素数の積として一意に表すことができる」
ただし、この「一意」は適切に解釈されなければならず、順序を入れ替えただけの分解や、アイゼンシュタイン素数が同伴の違いしかないものは同一視する。
実際、アイゼンシュタイン整数環はユークリッド整域であり、よって一般の環論より単項イデアル整域、さらには素元分解整域であることが従う。テンプレート:Math がノルムに関してユークリッド整域であるとは、次の命題が成り立つことを意味する。
- 任意のアイゼンシュタイン整数 テンプレート:Math2 に対して テンプレート:Math2 かつ テンプレート:Math2 を満たすアイゼンシュタイン整数 テンプレート:Math2 が存在する。
実際、複素数平面において テンプレート:Math に最も近いアイゼンシュタイン整数 テンプレート:Mvar を取ると
（中辺は一辺の長さが 1 の正三角形の重心から頂点への距離）であることから、テンプレート:Math2 となるので、テンプレート:Math2 とおけばよい。
歴史
アイゼンシュタインがアイゼンシュタイン整数を導入した動機は、3乗剰余の問題、すなわち、
- 整数 テンプレート:Mvar と素数 テンプレート:Mvar に対して合同式 テンプレート:Math2 が解を持つのはいかなる場合か。
という問題に答えるためである。1796年に平方剰余の相互法則を証明したガウスはその後、高次の相互法則について研究した。彼は1828年と1832年に、4乗剰余に関する論文を刊行し、4乗剰余を考える際には、有理整数環 テンプレート:Mathbf に テンプレート:Math の原始4乗根を付加した環を考えることが本質的であることを示した。3乗剰余の問題に対してはアイゼンシュタイン整数環が本質的であることは、その類似である。アイゼンシュタインは、1844年に3乗剰余の相互法則を定式化し、証明を与えた。