mod pでの2次方程式

この記事は 日曜数学 Advent Calendar 2020 の17日目の記事です。
日曜数学Advent Calender初日のtsujimotterさんによる 類体論入門 と関係する内容として、$\mathrm{mod}p$での$2$次方程式の解の個数についてのお話をします。
tsujimotterさんの記事の方が豊富な内容を含んでいますが、この記事も合わせてお読みいただくとより楽しめるのではないかと思います。

前提知識は$2$次方程式と合同式です。ここで紹介する話は係数$b,c$が整数であるような$2$次方程式$x^2+bx+c=0$の解の有無を実数の範囲ではなく$\mathrm{mod}p$で考えることです。

$2$次方程式の実数解の個数

はじめに係数$b,c$が実数の場合の$2$次方程式$x^2+bx+c=0$の実数解の個数について復習する。$2$次方程式の解は、$D=b^2-4c$として $$\begin{array}{r}x=\frac{-b\pm \sqrt{D}}{2}\end{array}$$で与えられる。

実数の範囲に解が存在するか否かは判別式$D=b^2-4c$の正負でわかる。$D>0$であれば実数の範囲に$\pm \sqrt{D}$を持ち、$D<0$であれば実数の範囲に$\sqrt{D}$が存在しない。$D=0$の場合には解が一つになる。

$\mathrm{mod}p$で解の公式

では、本題である$b,c$が整数の場合の$2$次方程式$x^2+bx+c=0$が素数$p$について$\mathrm{mod}p$での解の個数を調べる。

解の公式は$p$が$2$でなければ同じように導出できる。まず平方完成するため、$\mathrm{mod}p$での${\displaystyle \frac{1}{2}}$について準備する。

平方完成により解の公式を導出しよう。 $$\begin{array}{rcl}{x}^2+bx+c& =& (x+\frac{b}{2}{)}^2-\frac{b^2}{4}+c\\ & =& 0\\ (x+\frac{b}{2}{)}^2& =& \frac{b^2-4c}{4}\\ x& =& -\frac{b}{2}\pm \frac{\sqrt{b^2-4c}}{2}\end{array}$$となる。この等式は全て$\mathrm{mod}p$での合同式であることに注意せよ。

次に、$\mathrm{mod}p$で$\sqrt{b^2-4c}$が存在するかだが、これが$p,b,c$に依存して変わる。$D=b^2-4c$を実数の場合と同様に判別式と呼ぶことにする。

$x^2+1$

では$x^2+1=0$を考えよう。 $D=-4$となる。$4=2^2$だから、結局$\sqrt{-1}$が存在するか否かが問題となる。もちろんこのことは解の公式を使わずとも$x^2=-1$と変形してもわかる。判別式を用いることで、$p\ne 2$において重解を持たないことが明確になる。$\mathrm{mod}p$における$\sqrt{-1}$が存在について、tsujimotterさんの記事にあるとおり${\sqrt{-1}}^4=1$であることを利用する。ここで、有限体の乗法群が巡回群であるという以下の事実を用いよう。

このことから、$p-1$が$4$で割り切れることと$\sqrt{-1}$が$\mathrm{mod}p$で存在することが同値であることがわかる。

具体的に幾つかの場合を見てみよう。

$\sqrt{-7}$

次に、tsujimotterさんの記事で紹介されていた$\mathbb{Q}(\sqrt{-7})$の場合を考える。考えるべき二次方程式は$x^2+x+2=0$である。

この方程式の$\mathrm{mod}p$での解の個数が$2,0$のいずれかであることが、$p\mathrm{mod}7$で$1,2,4$か否かで判別できる。平方剰余の相互法則を知っていれば、$-7$が$\mathrm{mod}p$で平方数であるかという条件に$p\mathrm{mod}7$が関係してくることがわかり、解の有無が$p\mathrm{mod}7$で判別できることがわかる。平方剰余の相互法則については冒頭の動画でも簡単に紹介しています。

円分体的な見方についても考えてみよう。$1$の原始$7$乗根の有無について、まず上と同様に有限体の乗法群が巡回群であるという事実を用いれば、$p-1$が$7$で割り切れるかどうかが対応する。$p-1$が$7$で割り切れる、つまり$p=1\mathrm{mod}7$の場合には$\mathrm{mod}p$で$1$の原始$7$乗根${\zeta }_7$が存在することになり、tsujimotterさんの記事にも登場する式 $$\begin{array}{r}\sqrt{-7}=({\zeta }_7+{\zeta }_7^2+{\zeta }_7^4)-({\zeta }_7^3+{\zeta }_7^5+{\zeta }_7^6)\end{array}$$を用いて$\sqrt{-7}$を持つことがわかる。

ところが$1$の原始$7$乗根がなくても$\sqrt{-7}$があることはありうる。それは$p=2,4\mathrm{mod}7$の場合である。上の例で出てきたように、$2,4$は$\mathrm{mod}7$での平方数になっているが、これは実は$p^3-1$が$7$で割り切れるという条件になっている。この$3$は$\mathrm{mod}p$で$\sqrt{-7}$をもてば$3$次方程式の解として$\mathrm{mod}p$で$1$の原始$7$乗根を作ることができることと関係する。

素数の分解との関係

この記事で説明した$x^2+1=0\mathrm{mod}p$の解の個数の話とtsujimotterさんの記事にある素数$p$の$\mathbb{Z}[i]$の分解の関係について、環の言葉を使って簡単に説明します。以下では環論についての基本的な知識を仮定します。

まず$x^2+1=0\mathrm{mod}p$は${\mathbb{F}}_p[x]/(x^2+1)$という環を考えることに対応する。$p$が奇素数のとき、$x^2+1=0\mathrm{mod}p$の解の有無は$x^2+1$が$1$次式の積に因数分解できるかできないかに対応し、これが${\mathbb{F}}_p[x]/(x^2+1)$が$2$つの体の直積になるか体になるかに対応する。

一方で、$\mathbb{Z}[i]$において$p$が素数のままであれば$\mathbb{Z}[i]/(p)$は体であり、$p$が$\mathbb{Z}[i]$における素数の積に分解するなら$\mathbb{Z}[i]/(p)$は$2$つの体の直積になる。

ところで上で出てきた二つの環${\mathbb{F}}_p[x]/(x^2+1)$と$\mathbb{Z}[i]/(p)$は見た目は違うものの同じ構造を持つ環である。というのも、$\mathbb{Z}[i]=Z[x]/(x^2+1),{\mathbb{F}}_p=\mathbb{Z}/p$とそれぞれ表示することで、${\mathbb{F}}_p[x]/(x^2+1)$と$\mathbb{Z}[i]/(p)$はいずれも$\mathbb{Z}[x]/(x^2+1,p)$と同型であることがわかる。

ちなみに$p=2$のとき、この環は${\mathbb{F}}_2[x]/(x^2)$と同型になり、これは体でも体の直積でもない。

幾何的に考える

もう少し幾何的に考えることもできると思いますが、これについては改めて別の記事にしてみようと思います。