logo

アイゼンシュタイン素数定理の証明 📂整数論

アイゼンシュタイン素数定理の証明

定理

アイゼンシュタイン環の既約元をアイゼンシュタイン素数と呼ぶ。アイゼンシュタイン整数 π∈Z[ω]\pi \in \mathbb{Z}[ \omega ] が以下のいずれかの条件を満たすとき、アイゼンシュタイン素数である。

  • (i): π=1+ω2\pi = 1 + \omega 2
  • (ii): 素数 p∈Zp \in \mathbb{Z} に対し、p≡2(mod3)p \equiv 2 \pmod{3} の π=p\pi = p
  • (iii): 素数 p∈Zp \in \mathbb{Z} に対し、p≡1(mod3)p \equiv 1 \pmod{3} の場合、p=u2−uv+v2p = u^2 - uv+ v^2 を満たす π=u+ωv\pi = u + \omega v
  • (iv): (i)～(iii) に該当する π\pi にZ[ω]\mathbb{Z} [\omega ] の単位 ±1,±ω,±ω2\pm 1 , \pm \omega , \pm \omega^2を乗じて得られる ±ωkπ \pm \omega^{k} \pi
  • (v): (i)～(iii) に該当する π\pi に共役を取って得られる π‾\overline{\pi}

説明

アイゼンシュタイン整数について話すとき、π\pi は通常、混乱を避けるために円周率ではなく、アイゼンシュタイン素数を指す。これは、通常の整数の素数を自然素数natural Prime pp と呼ぶことが多いためである。このような素数の拡張は、アイゼンシュタイン整数に関する研究を数論らしくしてくれる。この点はガウス素数と似ている。

(i)

(1+ω2)(1 + \omega 2) は、3=−(1+ω2)23 = - (1 + \omega 2)^2 の代わりとして、3∈Z[ω]3 \in \mathbb{Z} [ \omega ] の素因数分解に必要な数である。素数2∈Z2 \in \mathbb{Z} はタイプ(ii)の素数であり、最小の素数とは言えないが、それはZ\mathbb{Z} においても同様であった。

(ii)

例として55 は、アイゼンシュタイン整数を使っても素因数分解できない。実際にできないかを確認することは無意味なので、そのまま証明を見ることを推奨する。

(iii), (iv), (v)

例えば、77 は7=(3+ω)(2−ω)7 = (3 + \omega)(2 - \omega ) であるため、素因数分解が可能である。ここで、Z[ω]\mathbb{Z}[ \omega ] はUFDであるため、唯一の素因数分解を持つ。一方、(3+ω)(3 + \omega) は2−ω=3−(1+ω)=3+ω‾2 - \omega = 3 - (1 + \omega) = 3 + \overline{\omega} と共役を成すことでアイゼンシュタイン素数になることが確認できる。

証明

戦略: (Z[ω],N)(Z[ \omega ] , N) は、N(x+ωy)=x2−xy+y2N(x+\omega y) = x^2 - xy + y^2 として定義されたアイゼンシュタイン環のノルムである。（ただし、x,y∈Zx, y \in \mathbb{Z}）アイゼンシュタイン素数定理の証明自体は、その代数的性質を持ち込んで初等整数論の様々な結果と組み合わせたものに過ぎないが、その代数的性質と様々な結果を理解することが難しい。

パート0. ∣N(π)∣=p| N( \pi ) | = p が素数なら、π\pi はアイゼンシュタイン素数である。

乗法的ノルムの性質: p∈Z p \in \mathbb{Z} が素数だとする。

  • [1]: 乗法的ノルムNNがDDで定義されていると、N(1)=1N(1) = 1 であり、すべての単位u∈Du \in Dに対して∣N(u)∣=1| N ( u ) | = 1
  • [2]: ∣N(α)∣=1| N ( \alpha )| =1 を満たすすべてのα∈D\alpha \in D がDDで単位ならば、∣N(π)∣=p| N ( \pi ) | = p を満たすπ∈D\pi \in D はDDで既約元である。

アイゼンシュタイン環の性質

  • [3]: Z[ω]\mathbb{Z}[\omega] の単位は±1,±ω,±ω2\pm 1, \pm \omega , \pm \omega^2 だけである。

[3]により、Z[ω]\mathbb{Z}[ \omega ] の単位は±1,±ω,±ω2\pm 1, \pm \omega , \pm \omega^2 だけであり、[1]によりN(±1)=N(±ω)=N(±ω2)=1N(\pm1) = N(\pm \omega) = N( \pm \omega^2 ) = 1 が成り立つ。∣N(α)∣=1| N ( \alpha )| =1 を満たすすべてのα\alpha がZ[ω]\mathbb{Z}[ \omega ]で単位であったため、[2]により、∣N(π)∣=p| N( \pi ) | = p を満たすπ\pi はZ[ω]\mathbb{Z}[ \omega ]の既約元となる。つまり、∣N(π)∣=p| N( \pi ) | = p が素数なら、π\pi はアイゼンシュタイン素数である。

パート(i). π=1+ω2\pi = 1 + \omega 2

π=1+ω2\pi = 1 + \omega 2 ならば、N(π)=12−1⋅2+22=3N(\pi) = 1^2 - 1 \cdot 2 + 2^2 = 3 は素数であるため、パート0により、π=1+ω2\pi = 1 + \omega 2 はアイゼンシュタイン素数である。

パート(ii). π≡2(mod3)\pi \equiv 2 \pmod{3}

π=p\pi = p がp≡2(mod3)p \equiv 2 \pmod{3} を満たすZ\mathbb{Z} の素数であるが、Z[ω]\mathbb{Z}[ \omega ] のガウス素数ではないとして、π=(a+ωb)(c+ωd)\pi = ( a + \omega b )( c + \omega d ) のような素因数分解が存在すると仮定してみよう。NN の乗法的性質により、 p2=π2−π⋅0+2=N(π+ω0)=N(a+ωb)N(c+ωd)=(a2−ab+b2)(c2−cd+d2) \begin{align*} p^2 =& \pi^2 - \pi \cdot 0 + ^2 \\ =& N ( \pi + \omega 0) \\ =& N ( a + \omega b ) N ( c + \omega d ) \\ =& (a^2 - ab+ b^2) (c^2 - cd + d^2) \end{align*} となり、p2=(a2−ab+b2)(c2−cd+d2)p^2 = (a^2 - ab + b^2) (c^2 -cd + d^2) が成り立つが、p∈Zp \in \mathbb{Z} は素数であるため、{a2−ab+b2=pc2−cd+d2=p\begin{cases} a^2 - ab + b^2 = p \\ c^2 - cd + d^2 = p \end{cases} を満たす解が存在しなければならない。

素数が3で割った余りが1になる必要十分条件: p≠3p \ne 3 が素数だとする。p≡1(mod3)p \equiv 1 \pmod{3}   ⟺  \iff、何かのa,b∈Za,b \in \mathbb{Z} に対してp=a2−ab+b2p = a^2 - ab + b^2

しかし、p≡2(mod3)p \equiv 2 \pmod{3} であるため、素数が3で割った余りが1になる必要十分条件により、{a2−ab+b2=pc2−cd+d2=p\begin{cases} a^2 - ab + b^2 = p \\ c^2 - cd + d^2 = p \end{cases} を満たす解は存在せず、これは矛盾であるため、π≡2(mod3)\pi \equiv 2 \pmod{3} はガウス素数である。

パート(iii). π=u+ωv\pi = u + \omega v

素数 p∈Zp \in \mathbb{Z} に対し、p≡1(mod3)p \equiv 1 \pmod{3} であるため、素数が3で割った余りが1になる必要十分条件に従い、 N(π)=N(u+ωv)=u2−uv+v2=p N (\pi) = N ( u+ \omega v) = u^2 -uv + v^2 = p これを満たすπ=u+ωv\pi = u + \omega v はパート0によりガウス素数である。

パート(iv). ±ωkπ \pm \omega^{k} \pi

パート0では、∣N(π)∣=p| N( \pi ) | = p が素数ならば、π\pi はアイゼンシュタイン素数であるとしたので、k∈Zk \in \mathbb{Z} に対し、 N(±ωkπ)=N(±ωk)N(π)=1⋅N(π)=p \begin{align*} N( \pm \omega^{k} \pi ) =& N( \pm \omega^{k} ) N (\pi ) \\ =& 1 \cdot N (\pi ) \\ =& p \end{align*} これを満たす±ωkπ\pm \omega^{k} \pi もまたアイゼンシュタイン素数である。

パート(v). π‾\overline{\pi}

アイゼンシュタイン整数に共役を取ると、 x+ωy‾=x+ω‾y=x−(1+ω)y=(x−y)−ωy \begin{align*} \overline{x + \omega y} =& x + \overline{\omega} y \\ =& x - (1 + \omega) y \\ =& (x-y) - \omega y \end{align*} そして、パート0で∣N(π)∣=x2−xy+y2=p| N( \pi ) | = x^2 - xy + y^2 = p が素数ならば、π=x+ωy\pi = x + \omega y はアイゼンシュタイン素数であることが述べられているので、 N(π‾)=N((x−y)−ωy)=(x−y)2−(x−y)⋅(−y)+(−y)2=x2−2xy+y2+xy−y2+y2=x2−xy+y2 \begin{align*} N( \overline{\pi} ) =& N \left( (x-y) - \omega y \right) \\ =& (x-y)^2 - (x-y) \cdot (-y)+ (-y)^2 \\ =& x^2 - 2 xy + y^2 + xy - y^2 + y^2 \\ =& x^2 - xy + y^2 \end{align*} これを満たすπ‾\overline{\pi} もまたガウス素数である。

■