logo

ガウス素数定理の証明 📂整数論

ガウス素数定理の証明

定理 1

ガウス整数既約元ガウス素数と呼ぶ。ガウス整数 πZ[i]\pi \in \mathbb{Z}[i] が次の条件のどれか一つを満たす場合、ガウス素数である。

  • (i): π=1+i\pi = 1 + i
  • (ii): 素数 pZp \in \mathbb{Z} に対して p3(mod4)p \equiv 3 \pmod{4} を満たす π=p\pi = p
  • (iii): 素数 pZp \in \mathbb{Z} に対して p1(mod4)p \equiv 1 \pmod{4} とするとき、p=u2+v2p = u^2 + v^2 を満たす π=u+iv\pi = u + iv
  • (iv): 上記の (i)~(iii) に該当する π\piZ[i]\mathbb{Z}[i] の単位 1,1,i,i1,-1,i,-i を乗じて得られる ikπ i^{k} \pi
  • (iv): 上記の (i)~(iii) に該当する π\pi共役を取って得られる π\overline{\pi}

説明

ガウス整数を話すとき、π\pi は通常、円周率ではなくガウス素数を表す。通常の整数の素数を 自然素数natural Prime pp とよく称するため、混乱を避ける目的がある。このような素数の拡張は、ガウス整数の研究を整数論らしくする。

(i)

(1+i)(1 + i) は、従来の 2=1(i)2=(1+i)(1i)2 = 1 - (i)^2 = (1 + i)(1-i) を代替する数であり、これより「小さい」感じのガウス素数は存在しない。

(ii)

例えば、77 はガウス整数を使っても素因数分解できない。本当に無理なのか確かめることは意味がないので、証明から見ることをお勧めする。

(iii), (iv), (v)

例として、555=(2+i)(2i)=(1+i2)(1i2)5 = (2 + i)(2 - i) = (1 + i2)(1 - i2) なので素因数分解が可能である。ここで Z[i]\mathbb{Z}[i]UFDであるにも関わらず、二種類の素因数分解があると考えるのは問題があるが、2+i=i(12i)2+i = i(1 - 2i) のように単位の積として表されるからである。一方、(2+i)(2+i)(2i)(2-i)(1+i2)(1 + i2)1i21 - i2 がそれぞれ共役を成してガウス素数であることが確認できる。

証明

戦略: (Z[i],N)(Z[i] , N) は、ノルムN(x+iy)=x2+y2N(x+iy) = x^2 + y^2 のように定義されるガウス環である。(ただし、x,yZx, y \in \mathbb{Z})ガウス素数定理の証明自体は、その代数的性質を基に初等整数論の様々な結果と組み合わせたものにすぎないが、これらの性質と結果を理解することが難しい。


パート0. N(π)=p| N( \pi ) | = p が素数なら、π\pi はガウス素数である。

乗法的ノルムの性質pZ p \in \mathbb{Z}素数 だとしよう。

  • [1]: 乗法的ノルム NNN(1)=1N(1) = 1 と定義されるなら、全ての単位 uDu \in D に対して N(u)=1| N ( u ) | = 1
  • [2]: N(α)=1| N ( \alpha )| =1 を満たす全ての αD\alpha \in DDD で単位なら、N(π)=p| N ( \pi ) | = p を満たす πD\pi \in DDD既約元である。

ガウス環の性質

  • [3]: Z[i]\mathbb{Z}[i] の単位は 1,1,i,i1,-1,i,-i だけである。

[3]によって Z[i]\mathbb{Z}[i] の単位は 1,1,i,i1,-1,i,-i だけであり、[1]によって N(1)=N(1)=N(i)=N(i)=1 N(1) = N(-1) = N(i) = N(-i) = 1 である。N(α)=1| N ( \alpha )| =1 を満たす全ての α\alphaZ[i]\mathbb{Z}[i] で単位だったので、[2]によって N(π)=p| N( \pi ) | = p を満たす π\piZ[i]\mathbb{Z}[i] の既約元となる。つまり、N(π)=p| N( \pi ) | = p が素数なら、π\pi はガウス素数である。


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

π=1+i\pi = 1 + i であればN(π)=12+12=2N(\pi) = 1^2 + 1^2 = 2は素数なので、パート0によって π=1+i\pi = 1 + i はガウス素数である。


パート (ii). π3(mod4)\pi \equiv 3 \pmod{4}

π=p\pi = pp3(mod4)p \equiv 3 \pmod{4} を満たす素数だが Z[i]\mathbb{Z}[i] のガウス素数ではないとして、π=(a+ib)(c+id)\pi = ( a + ib )( c + id ) のような素因数分解が存在すると仮定してみよう。NN の乗法的性質に従って p2=π2+02=N(π+i0)=N(a+ib)N(c+id)=(a2+b2)(c2+d2) \begin{align*} p^2 =& \pi^2 + 0^2 \\ =& N ( \pi + i 0 ) \\ =& N ( a + ib ) N ( c + id ) \\ =& (a^2 + b^2) (c^2 + d^2) \end{align*} 整理すると p2=(a2+b2)(c2+d2)p^2 = (a^2 + b^2) (c^2 + d^2) だが、pZp \in \mathbb{Z} が素数なので {a2+b2=pc2+d2=p\begin{cases} a^2 + b^2 = p \\ c^2 + d^2 = p \end{cases} を満たす解が存在しなければならない。

素数が 4 で割った余りが 1 になる必要十分条件p2p \ne 2素数 だとしよう。 p1(mod4)p \equiv 1 \pmod{4}     \iff ある a,bZa,b \in \mathbb{Z} に対して p=a2+b2p = a^2 + b^2

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


パート (iii). π=u+iv\pi = u + iv

素数 pZp \in \mathbb{Z} に対して p1(mod4)p \equiv 1 \pmod{4} ので、素数が 4 で割った余りが 1 になる必要十分条件により N(π)=N(u+iv)=u2+v2=p N (\pi) = N ( u+ iv) = u^2 + v^2 = p π=u+iv\pi = u + iv がこれを満たすなら、パート0によってガウス素数である。


パート (iv). ikπ i^{k} \pi

パート0で、N(π)=p| N( \pi ) | = p が素数なら、π\pi はガウス素数だったので、kZk \in \mathbb{Z} に対して N(ikπ)=N(ik)N(π)=1N(π)=p \begin{align*} N( i^{k} \pi ) =& N( i^{k} ) N (\pi ) \\ =& 1 \cdot N (\pi ) \\ =& p \end{align*} これを満たす ikπi^{k} \pi も同様にガウス素数である。


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

パート0で、N(π)=x2+y2=p| N( \pi ) | = x^2 + y^2 = p素数 なら、π=x+iy\pi = x + i y はガウス素数だったので N(π)=N(xiy)=x2+(y)2=p \begin{align*} N( \overline{\pi} ) =& N( x - i y ) \\ =& x^2 + (-y)^2 \\ =& p \end{align*} これを満たす π\overline{\pi} も同様にガウス素数である。


  1. Silverman. (2012). A Friendly Introduction to Number Theory (4th Edition): p275. ↩︎