この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "アイゼンシュタイン整数"
アイゼンシュタイン整数(アイゼンシュタインせいすう、Eisenstein integer)とは、フェルディナント・ゴットホルト・マックス・アイゼンシュタインに因んで名付けられた複素数の一種である。正確には、整数 a, b と 1 の原始3乗根 ω := e i ⋅ 2 3 π = − 1 + 3 i 2 {\displaystyle \omega :=e^{i\cdot {\frac {2}{3}}\pi }={\frac {-1+{\sqrt {3}}\,i}{2}}}
に対して a + bω の形の複素数のことである。b = 0 の場合は通常の整数を表すので、通常の整数もアイゼンシュタイン整数の一種である。区別のために、通常の整数は有理整数と呼ばれることもある。
アイゼンシュタイン整数全体の集合は Z[ω] と表し、これをアイゼンシュタイン整数環と呼ぶ。すなわち、 Z [ ω ] := { a + b ω ∣ a , b ∈ Z } {\displaystyle \mathbb {Z} [\,\omega \,]:=\{a+b\,\omega \mid a,b\in \mathbb {Z} \}}
である。Z[ω] は複素数体 C の部分環であるから、整域である。
Q を有理数体とし、 Q ( ω ) := { a + b ω ∣ a , b ∈ Q } {\displaystyle \mathbb {Q} (\,\omega \,):=\{a+b\omega \mid a,b\in \mathbb {Q} \}}
と定義する。Z[ω] は Q[ω] の代数的整数環である。Q[ω] は、典型的な代数体であるところの円分体や二次体の一種であるので、アイゼンシュタイン整数環は代数的整数論における最も基本的な対象の一つである。 アイゼンシュタイン整数 α = a + bω は二次方程式x2 − (2a − b) x + (a2 − ab + b2) = 0 の解である(よってアイゼンシュタイン整数は代数的整数である)。この方程式のもう一つの根は a + bω2 (= (a − b) − bω) である。これを α の共役といい、α で表す(この場合、α は α の複素共役でもある)。方程式の係数に現れる、共役との和 2a − b を α のトレース(英:trace、もしくはシュプール、独:Spur)、共役との積 a2 − ab + b2 を α のノルムという。すなわち、アイゼンシュタイン整数のノルムとはN(a + bω) := a2 − ab + b2 で与えられる非負の有理整数である。この値は 3 の倍数または 3 で割って 1 余る整数であることが容易に分かる。また、ノルムは絶対値の平方に等しいので、絶対値の乗法性よりノルムも乗法的性質を持つ。すなわち、2つのアイゼンシュタイン整数 α, β に対してN(αβ) = N(α) N(β) が成り立つ。 有理整数環 Z における通常の用語と同様にして、アイゼンシュタイン整数環においても倍数、約数などの整除性に関する用語が定義される。1 の約数を単数という。ノルムの乗法的性質を用いると、アイゼンシュタイン整数環における単数は の6つのみであることが分かる。 2つのアイゼンシュタイン整数が同伴であるとは、その比が単数であることをいう。例えば、1 + 3ω = (2 − ω) × ω であるので、1 + 3ω と 2 − ω は同伴である。単数は、6個の単数を約数に持ち、それ以外の任意のアイゼンシュタイン整数は、6個の単数および自身と同伴なもの6個の計12個を約数に持つ。これを自明な約数という。 単数ではなく、かつ自明な約数しか持たないアイゼンシュタイン整数をアイゼンシュタイン素数と呼ぶ。区別のために、通常の素数は有理素数と呼ぶこともある。ノルムが有理素数であるようなアイゼンシュタイン整数は素数であるが、その逆は正しくない。どのようなアイゼンシュタイン整数が素数であるかを見るには、有理素数が Z[ω] においてどのように分解するかを調べる必要がある。 まず、3 は −(1 + 2ω)2 と等しい。すなわち、3 は同伴な2つのアイゼンシュタイン素数の積に表せるのであって、この状況を「3 は分岐する」という。 次に、3n + 2 の形の有理素数 p は Z[ω] でも素数であることが分かる。この状況を「p は惰性する」という。実際、p = 3n + 2 が2つの(単数でない)アイゼンシュタイン整数の積 αβ に等しいとすると、ノルムを取って N(α)N(β) = p2 より N(α) = p を得るが、両辺を 3 で割った余りが等しくないので矛盾である。 最後に、証明は簡単ではないが、3n + 1 の形の有理素数 p は2つの同伴でないアイゼンシュタイン素数の積に表せることが知られている。このことは、p が x2 + 3y2 の形に表せることと同等である(参考:二個の平方数の和#重みつき平方数の和)。 結局、アイゼンシュタイン素数は以下の3つのタイプがあることが分かる。
ノルム
整除性
アイゼンシュタイン素数複素数平面上のアイゼンシュタイン素数。同伴なものは正六角形の頂点に配置されるので、このように対称性のある図形を描く。
ノルムが 3 であるもの。すなわち、±(1 − ω), ±(2 + ω), ±(1 + 2ω) の6つ。
ノルムが 3n + 1 の形の素数であるもの。例えば 1 + 3ω, 2 − ω など。