アイゼンシュタイン整数

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