平方剰余物語
本記事を書いた者はこの分野の専門家では(更に言えば数学科の学生ですら)なく内容の正確性も保証されていないので, 本格的な勉強には然るべき文献を参照して頂き, 本記事は暇つぶし程度に読んでください. 誤りがあったら指摘していただけると幸いです.
平方剰余記号
本記事内では$p,q$は常に異なる奇素数を表すものとする. 先ず本記事の主役となる記号を定義する.
$a$を$p$と互いに素な整数とする. このとき平方剰余記号$\displaystyle\left(\frac{a}{p}\right)$を以下のように定義する:
(i) $a\equiv b^2\mod{p}$なる整数$b$が存在するとき$\displaystyle\left(\frac{a}{p}\right)=1$.
(ii) $a\equiv b^2\mod{p}$なる整数$b$が存在しないとき$\displaystyle\left(\frac{a}{p}\right)=-1$.
この記号は以下のような性質を持っていることが知られている.
$a,b$を$p$と互いに素な整数としたとき以下が成立する:
(1)$\displaystyle\left(\frac{ab}{p}\right)=\left(\frac{a}{p}\right)\left(\frac{b}{p}\right)$. (これは$a\mapsto\displaystyle\left(\frac{a}{p}\right)$が準同型$(\mathbb{Z}/p\mathbb{Z})^\times\to\{\pm1\}\simeq\mathbb{Z}/2\mathbb{Z}$を誘導することを示している.)
(2)$\displaystyle\left(\frac{-1}{p}\right)=(-1)^\frac{p-1}{2}$.
(3)$\displaystyle\left(\frac{2}{p}\right)=(-1)^\frac{p^2-1}{8}$.
これらは比較的容易に示せる. 文献としては例えば[Yukie1]の1.11節等を参照せよ.
以上のように定義した平方剰余記号に関して, 次のような非常に深い法則が成立することが知られている. これが所謂「平方剰余相互法則」である.
$\displaystyle\left(\frac{p}{q}\right)\left(\frac{q}{p}\right)=(-1)^\frac{(p-1)(q-1)}{4}$
本記事ではこの定理に類体論を念頭に置いた証明を与えることを目標としている. 尤も, この定理は類体論を使用しなければ証明できないというわけではなく, 初等的な証明も与えられている. これに関しては[Yukie1]の1.11節等を参照せよ.
大域類体論
ここでは一般的な大域類体論の結果を述べるが, イデールを用いた定式化は採用せず, より扱いやすい古典的なイデアル論による定式化を採用する. 局所類体論についてはこの記事内では不要であるので触れないことにする. 又, 類体論の証明にはある程度の準備が必要であり, それをこの記事に収めることは困難であり且つその必要も無いと考えたので, 類体論の証明も一切触れない.
類体論の証明に関しては[KKS]の8章や[AM]等を参照せよ. 又, [Neu]では純粋に群論的な類体論の証明が与えられている(一般類体論).
記号
混乱が生じないように予め代数体に付随する概念を表す記号を羅列しておく. $K$は代数体, $L$は$K$の有限次拡大体, $\mathfrak{p}_K$は$K$の素イデアル, $\mathfrak{p}_L$は$\mathfrak{p}_K$の上にある$L$の素イデアルとする.
- $\mathcal{O}_K$: $K$の整数環
- $\mathfrak{M}_\mathrm{fin}^K$: $K$の有限素点全体の集合
- $\mathfrak{M}_\infty^K$: $K$の無限素点全体の集合
- $\mathfrak{M}^K:=\mathfrak{M}_\mathrm{fin}^K\cup\mathfrak{M}_\infty^K$: $K$の素点全体の集合
- $\kappa(\mathfrak{p}_K):=\mathcal{O}_K/\mathfrak{p}_K$: $\mathfrak{p}_K$の剰余類体
- $I_K$: $K$の分数イデアル群
- $N_{L/K}:I_L\to I_K$：イデアルノルム写像
- $e_{\mathfrak{p}_L/\mathfrak{p}_K}$: 分岐指数
- $f_{\mathfrak{p}_L/\mathfrak{p}_K}$: 相対次数
又, 虚無限素点は実無限素点上常に分岐しているとする.
代数的整数論からの準備
先ず, 整因子という概念を定義する (この術語は[AM]に倣ったものである). これは通常のイデアルを拡張して「無限素点成分を持つイデアル」を形式的に定めたようなものである.
代数体$K$の整因子とは, 有限個の素点(無限素点含む)の形式的な冪積である. 即ち$\mathfrak{m}$が整因子であるのは, 有限素点全体で添え字付けられた有限個を除いて0である非負整数列$(a_\mathfrak{p})_{\mathfrak{p}\in\mathfrak{M}_\mathrm{fin}^K}$と無限素点全体(これは有限個である)で添え字付けられた0と1からなる整数列$(b_{\mathfrak{p}_\infty})_{{\mathfrak{p}_\infty}\in\mathfrak{M}_\infty^K}$を用いて
$$\mathfrak{m}=\prod_{\mathfrak{p}\in\mathfrak{M}_\mathrm{fin}^K}\mathfrak{p}^{a_\mathfrak{p}}\prod_{\mathfrak{p}_\infty\in\mathfrak{M}_\infty^K}\mathfrak{p}_\infty^{b_{\mathfrak{p}_\infty}}$$
と表されるときである. 又, 上のように定義された整因子$\mathfrak{m}$に対して, $\prod_{\mathfrak{p}\in\mathfrak{M}_\mathrm{fin}^K}\mathfrak{p}^{a_\mathfrak{p}},\prod_{\mathfrak{p}_\infty\in\mathfrak{M}_\infty^K}\mathfrak{p}_\infty^{b_{\mathfrak{p}_\infty}}$を其々$\mathfrak{m}$の有限成分, 無限成分と呼び, $\mathfrak{m}_\mathrm{fin},\mathfrak{m}_\infty$で表す. 整因子の有限成分は$K$の整イデアルと見做せる.
次に整因子から定まる$I_K$の部分群を幾つか定義する. これは類体論に於いて重要な役割を果たす群である.
整因子$\mathfrak{m}$に対して, $I_K$の部分群$I^\mathfrak{m}_K$を$\mathfrak{m}_\mathrm{fin}$と素な分数イデアル全ての成す群とする. 又, $P^\mathfrak{m}_K$を
$$P^\mathfrak{m}_K:=\{(a)=a\mathcal{O}_K\mid a\equiv 1\mod\mathfrak{m}\}$$
と定める. ここで$ a\equiv 1\mod\mathfrak{m}$の意味は以下に説明する通りである. 更に, $\mathrm{Cl}^\mathfrak{m}_K:=I^\mathfrak{m}_K/P^\mathfrak{m}_K$と定め, この群を$\mathrm{mod}\, \mathfrak{m}$の射類群と呼ぶ.
$a\in K$が$\mathfrak{m}$を法として1と合同であるとは以下の二条件が満たされること:
(i) 或る$b,c\in\mathcal{O}_K$で$b,c\equiv 1\mod\mathfrak{m}_\mathrm{fin}$且つ$a=b/c$を満たすものが存在する.
(ii) $\mathfrak{m}_\infty$の因子として現れる全ての実無限素点(即ち実埋込)$\varphi:K\hookrightarrow \mathbb{R}$に対して$\varphi(a)>0$
$K=\mathbb{Q}$のとき, $\mathfrak{m}=m\infty$(これは$\mathfrak{m}$の有限成分が$m\mathbb{Z}$で無限成分が$\mathbb{Q}$の唯一の無限素点であることを表している.)とすると$\mathrm{Cl}^\mathfrak{m}_K\simeq(\mathbb{Z}/m\mathbb{Z})^\times$である.
今, $L/K$を有限次Galois拡大とし, $K$の整因子$\mathfrak{m}$と互いに素な$L$の分数イデアル全体の成す群を$I^\mathfrak{m}_L$と表し, 新たな群$H^\mathfrak{m}_{L/K}$を
$$H^\mathfrak{m}_{L/K}:=(N_{L/K}(I^\mathfrak{m}_L))P^\mathfrak{m}_K$$
と定義する. これは$P^\mathfrak{m}_K$を含む$I^\mathfrak{m}_K$の部分群である.
これで大域類体論を主張する準備が整った. 以下に類体論の主張を示す.
- $K$の整因子$\mathfrak{m}$を固定したとき, 任意の$P^\mathfrak{m}_K\subseteq H\subseteq I^\mathfrak{m}_K$なる部分群$H$に対して或る有限次Abel拡大$L/K$が一意に存在して$H=H^\mathfrak{m}_{L/K}$となる.
- 逆に$L/K$が有限次Abel拡大であるとき, 或る(一意とは限らない)$K$の整因子$\mathfrak{m}$が存在して
$$\mathrm{Gal}(L/K)\simeq I^\mathfrak{m}_K/H^\mathfrak{m}_{L/K}$$
が成立する. ここで$L/K$に於いて分岐する$K$の素点は全て$\mathfrak{m}$を割る.
これに付随して射類体という重要な概念が定義できる. これは$\mathbb{Q}$に対する円分体のようなものである.
$K$の整因子$\mathfrak{m}$を取り, 上の定理に於ける$H$として$H=P^\mathfrak{m}_K$を取ったとき, これに対応する$K$のAbel拡大を$K$の$\mathfrak{m}$に関する射類体と呼び, $K^\mathfrak{m}$で表す.
次の命題は射類体の基本的な性質であるが, これらは類体論の主張から明らかである.
- $K$の任意の有限次Abel拡大$L$は, 或る整因子$\mathfrak{m}$に関する射類体$K^\mathfrak{m}$に含まれる.
- $\mathrm{Gal}(K^\mathfrak{m}/K)\simeq\mathrm{Cl}^\mathfrak{m}_K$が成立する.
$K=\mathbb{Q}$とし, $\mathfrak{m}=m\infty$としたとき, $K^\mathfrak{m}=\mathbb{Q}(\zeta_m)$である(但し$\zeta_m$は$1$の原始$m$乗根であるとする). この場合上述命題の(1)はKronecker-Weberの定理に他ならない. 又, $\mathrm{Gal}(\mathbb{Q}(\zeta_m)/\mathbb{Q})\simeq\mathrm{Cl}^\mathfrak{m}_K\simeq(\mathbb{Z}/m\mathbb{Z})^\times$も有名な事実である. 2次体の場合にもう少し精密な記述をする. $m$が平方因子を持たない整数であるとき, $L=\mathbb{Q}(\sqrt{m})$は$\mathbb{Q}$のAbel拡大である為, 或る整因子に関する射類体に含まれるが, このような整因子として
$$\mathfrak{m}=\begin{cases}
m\infty & (m\equiv 1\mod{4})\\
4m\infty & (m\equiv 2,3\mod{4})
\end{cases}$$
と取れることが知られている. 以上で見た通り, $\mathbb{Q}$に於ける状況は比較的わかりやすいが, 一般の代数体の射類体は$\mathbb{Q}$上の射類体のように簡単に計算することはできない.
最後の同型$\mathrm{Gal}(L/K)\simeq I^\mathfrak{m}_K/H^\mathfrak{m}_{L/K}$がどのように与えられているかをこれから記述するが, その前に幾つかの準備をする. $I^\mathfrak{m}_K$は$\mathfrak{m}$と互いに素な素イデアルの類で生成されるので, このような素イデアルと対応するGalois群(ここでは仮定からAbel群であることに注意)の元を定めればこの写像は定まる. 以下, 暫くの間$\mathfrak{p}$を$\mathfrak{m}$と互いに素な$K$の素イデアルとして固定する. $L/K$に於いて分岐する素イデアルは$\mathfrak{m}$を割るので, $\mathfrak{p}$は$L/K$に於いて不分岐である. 先ず, 幾つか群を定義しよう. $\mathfrak{P}$を$\mathfrak{p}$の上にある$L$の素イデアルとして一つ固定する. このとき, 以下のように$\mathrm{Gal}(L/K)$の部分群を定める(この群の定義に於いて$\mathfrak{P}/\mathfrak{p}$の不分岐性の仮定は不要である):
$$D(\mathfrak{P}/\mathfrak{p}):=\{\sigma\in\mathrm{Gal}(L/K)\mid \sigma\mathfrak{P}=\mathfrak{P}\}$$
$$I(\mathfrak{P}/\mathfrak{p}):=\{\sigma\in D(\mathfrak{P}/\mathfrak{p})\mid \forall x\in\mathcal{O}_L, \sigma x-x\in\mathfrak{P}\}$$
$D(\mathfrak{P}/\mathfrak{p}),I(\mathfrak{P}/\mathfrak{p})$を其々$\mathfrak{P}/\mathfrak{p}$の分解群, 惰性群と呼ぶ.
以下の定理はHilbertの分岐理論の一部である.
- $\mathfrak{P}/\mathfrak{p}$が不分岐なとき(従って今の状況では常に), $I(\mathfrak{P}/\mathfrak{p})=1$となる.
- $\sigma\in D(\mathfrak{P}/\mathfrak{p})/I(\mathfrak{P}/\mathfrak{p})$は自然に$\kappa(\mathfrak{p})$同型$\kappa(\mathfrak{P})\to\kappa(\mathfrak{P})$を誘導し, これによって同型
$$D(\mathfrak{P}/\mathfrak{p})/I(\mathfrak{P}/\mathfrak{p})\simeq\mathrm{Gal}(\kappa(\mathfrak{P})/\kappa(\mathfrak{p}))$$
が誘導される.
[Yukie2] 1.4節を参照せよ.
今, $\mathfrak{P}/\mathfrak{p}$は不分岐であったので上の命題は次のことを意味している.
- $I(\mathfrak{P}/\mathfrak{p})=1$.
- $\sigma\in D(\mathfrak{P}/\mathfrak{p})$は自然に$\kappa(\mathfrak{p})$同型$\kappa(\mathfrak{P})\to\kappa(\mathfrak{P})$を誘導し, これによって同型
$$D(\mathfrak{P}/\mathfrak{p})\simeq\mathrm{Gal}(\kappa(\mathfrak{P})/\kappa(\mathfrak{p}))$$
が誘導される.
ここで$\kappa(\mathfrak{P})/\kappa(\mathfrak{p})$は有限体の有限次拡大である, 更に言うと$f_{\mathfrak{P}/\mathfrak{p}}$次拡大であるので巡回拡大である. 従って$\mathrm{Gal}(\kappa(\mathfrak{P})/\kappa(\mathfrak{p}))$はFrobenius自己同型が生成元となる巡回群である. 上の系の同型$D(\mathfrak{P}/\mathfrak{p})\simeq\mathrm{Gal}(\kappa(\mathfrak{P})/\kappa(\mathfrak{p}))$を通して$\kappa(\mathfrak{P}/\mathfrak{p})$のFrobenius自己同型を$D(\mathfrak{P}/\mathfrak{p})\subseteq\mathrm{Gal}(L/K)$の元に持ち上げることが出来る. このようにして$\mathrm{Gal}(L/K)$に持ち上げた元を仮に$\varphi$と表すと, これは$\mathfrak{P}$には依存せず$\mathfrak{p}$のみに依存する. 何故なら$\mathfrak{p}$上の別の素イデアル$\mathfrak{P}'$を選択したとき, これに対応するFrobenius自己同型の持ち上げは$\mathfrak{P}'=\sigma\mathfrak{P}$となる$\sigma$を用いて$\sigma\varphi\sigma^{-1}$と表せる(この事実の証明は難しくない.)が, $\mathrm{Gal}(L/K)$が可換であるという仮定からこれは結局$\varphi$に他ならないことが分かるからである. これによって$\varphi$は$\mathfrak{p}$を定めれば一意に定まることが分かり, これを$\mathfrak{p}$に関する$L/K$のFrobenius自己同型と呼び, $\displaystyle\left(\frac{L/K}{\mathfrak{p}}\right)$と表す. $\displaystyle\left(\frac{L/K}{\mathfrak{p}}\right)$は以下のような特徴付けをすることも可能である.
$q:=\#\kappa(\mathfrak{P}/\mathfrak{p})$とすると$\displaystyle\left(\frac{L/K}{\mathfrak{p}}\right)$は以下の条件を満たすような$\mathrm{Gal}(L/K)$の元$\varphi$として一意に定まる:
(条件) 任意の$x\in\mathcal{O}_L$に対して$\varphi a\equiv a^q\mod{\mathfrak{p}\mathcal{O}_L}$
[KKS] 命題6.29を参照せよ.
ここまで来て漸く類体論の主張する同型$\mathrm{Gal}(L/K)\simeq I^\mathfrak{m}_K/H^\mathfrak{m}_{L/K}$の具体的な記述を与えることが出来る.
上述の類体論の主定理の状況に於いて$I^\mathfrak{m}_K/H^\mathfrak{m}_{L/K}\to\mathrm{Gal}(L/K)$という同型は$\mathfrak{p}\in I^\mathfrak{m}_K$の類を$\displaystyle\left(\frac{L/K}{\mathfrak{p}}\right)$へと送ることで得られる. (Frobeniusと素イデアルの対応)
[Neu] VI.(7.2)或いは[AM] 定理3.3.2を参照せよ.
又, 分解群と惰性群の不変体は其々分解群$K_D$, 惰性体$K_I$と呼ばれ, 以下のような性質を持つ. これもHilbertの分岐理論の一部である.
$\mathcal{O}_L$のイデアル$\mathfrak{p}\mathcal{O}_L$を素イデアル分解するとその素因子に$g_{\mathfrak{P}/\mathfrak{p}}$個の異なる素イデアルが出てくるとする. 又, $\mathfrak{P}_D:=\mathfrak{P}\cap\mathcal{O}_{K_D}, \mathfrak{P}:=\mathfrak{P}\cap\mathcal{O}_{K_I}$を考えることで素イデアルの列
$$\mathfrak{p}\subseteq\mathfrak{P}_D\subseteq\mathfrak{P}_I\subseteq\mathfrak{P}$$
が得られ, ここに出てくる其々の素イデアルの拡大に関する分岐指数$e$, 相対次数$f$, 上の体で素イデアル分解したときに出現する異なる素イデアルの数$g$は以下のように表される.
$$
K\underset{\begin{array}{c}
e=1\\
f=1\\
g=g_{\mathfrak{P}/\mathfrak{p}}
\end{array}}{\longrightarrow}K_D\underset{\begin{array}{c}
e=1\\
f=f_{\mathfrak{P}/\mathfrak{p}}\\
g=1
\end{array}}{\longrightarrow}K_I\underset{\begin{array}{c}
e=e_{\mathfrak{P}/\mathfrak{p}}\\
f=1\\
g=1
\end{array}}{\longrightarrow}L
$$
即ち言葉で表現すると, 「$K$の素イデアルは$K_D/K$で分解し終わり, $K_I/K_D$で剰余類体の拡大が終わり, $L/K_I$で分岐する」と言える.
[Neu] I.(9.3),(9.6)或いは[Yukie2] 1.4節を参照せよ.
系として, 以下のようなことも分かる
- $L/K$の中間体$M$が$K_D$に含まれるなら, $\mathfrak{P}_M:=\mathfrak{P}\cap\mathcal{O}_M$の$\mathfrak{p}$上の分岐指数, 相対次数は1である.
- $L/K$の中間体$M$が$K_I$に含まれるなら, $\mathfrak{P}_M:=\mathfrak{P}\cap\mathcal{O}_M$の$\mathfrak{p}$上の分岐指数は1である, 即ち不分岐である.
平方剰余相互法則
では愈々本題たる平方剰余相互法則に取り掛かろう. 先ず「$q$は$\mathrm{mod}\, p$で平方剰余である」という主張を代数的整数論の術語で言い換えたい. これは聊か乱暴な言葉で言えば即ち「$\sqrt{q}\in\mathbb{F}_p$か？」ということであるから, $\mathbb{Q}(\sqrt{q})$を考察の対象にすることは甚だ不自然なことでもないだろう. ここで$q$は奇素数なので4を法として1又は3と合同であるが, 例2でも見たように両者は若干異なった扱いが必要とされている. このような場合分けを回避するために$q^\ast:=(-1)^{\frac{q-1}{2}}q$という整数を考察する. $q^\ast$は常に1と合同であり, 命題1(2)を利用すれば-1倍は常に解消できるので結局$\displaystyle\left(\frac{q}{p}\right)$の値を求めることは$\displaystyle\left(\frac{q^\ast}{p}\right)$の値を求めることに帰着される. 具体的に記述すると,
$$\left(\frac{q^\ast}{p}\right)=\left(\frac{-1}{p}\right)^{\frac{q-1}{2}}\left(\frac{q}{p}\right)=(-1)^\frac{(p-1)(q-1)}{4}\left(\frac{q}{p}\right)$$
である. 以下, $K=\mathbb{Q}(\sqrt{q^\ast})$とし, $\mathbb{Q}$の素イデアル$p\mathbb{Z}$の上にある$K$の素イデアルを$\mathfrak{P}$と置く($p\mathbb{Z}$は$K$に於いて不分岐であることに注意). $K$の整数環は$\mathcal{O}_K=\mathbb{Z}[\sqrt{q^\ast}]$であり, $\kappa(\mathfrak{P})$は$\kappa(p\mathbb{Z})=\mathbb{F}_p$に$X^2-q^\ast$の根を添加した体である. 平方剰余であるか非剰余であるかを知るにはここを見ればよい. 正確に言うと, $\displaystyle\left(\frac{q^\ast}{p}\right)=1$であることは$X^2-q^\ast$が$\mathbb{F}_p$に根を持つ, 即ち$\kappa(\mathfrak{P})=\mathbb{F}_p$であることと同値である. これはまた$f_{\mathfrak{P}/p\mathbb{Z}}=1$とも同値である. 逆に$\displaystyle\left(\frac{q^\ast}{p}\right)=-1$であることは$f_{\mathfrak{P}/p\mathbb{Z}}=2$であることと同値である. これによって平方剰余であるか否かという問題を代数的整数論で扱いやすい形に言い換えることが出来た: 「$\displaystyle\left(\frac{q^\ast}{p}\right)=1$ $\Leftrightarrow$ $f_{\mathfrak{P}/p\mathbb{Z}}=1$」
以上より, これから展開すべきは相対次数に関する議論であるが, ここれ類体論を利用して更に議論を深めてゆく. 前に述べた通り$K$を含む射類体として$\mathfrak{m}=q^\ast\infty=q\infty$に関する射類体が取れるが, これは$q$分体$\mathbb{Q}(\zeta_q)$に他ならない. 又, この$q$分体の$\mathbb{Q}$上のGalois群は$(\mathbb{Z}/q\mathbb{Z})^\times\simeq\mathbb{Z}/(q-1)\mathbb{Z}$と同型である.
ここで目標となる命題を明示しておこう.
$f$を$p^f\equiv 1\mod{q}$となる最小の自然数としたとき,
$$f_{\mathfrak{P}/p\mathbb{Z}}=1\Leftrightarrow f\mid \frac{q-1}{2}$$
この命題を示す前に如何にしてこの命題から平方剰余相互法則が導かれるかを示しておこう. 左辺が$\displaystyle\left(\frac{q^\ast}{p}\right)=1$と同値であることは既に確認した. 右辺は$\displaystyle p^\frac{q-1}{2}\equiv 1\mod q$と同値であり, これは即ち$(\mathbb{Z}/q\mathbb{Z})^\times\simeq\mathbb{Z}/(q-1)\mathbb{Z}$に於いて$p^\frac{q-1}{2}=1$であることに他ならない. 巡回群の性質よりこの条件は$p\in(\mathbb{Z}/q\mathbb{Z})^{\times 2}=\{a^2\mid a\in(\mathbb{Z}/q\mathbb{Z})^\times\}$と同値であるが, これは$p$が$q$を法として平方剰余であることを意味している. 従って定理9が示せれば以下の系が導かれることになる.
$$\left(\frac{q^\ast}{p}\right)=1\Leftrightarrow\left(\frac{p}{q}\right)=1$$
では早速定理9の証明に取り掛かろう. $\mathfrak{P}$の上にある$\mathbb{Q}(\zeta_q)$の素イデアル$\mathfrak{P}'$を一つ取り固定しておく.
類体論より
$$\mathrm{Gal}(K/\mathbb{Q})\simeq I^\mathfrak{m}_\mathbb{Q}/H^\mathfrak{m}_{K/\mathbb{Q}}$$
であり, 更に
$$\mathrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q})\simeq I^\mathfrak{m}_\mathbb{Q}/P^\mathfrak{m}_{\mathbb{Q}}$$
となる. ここで$P^\mathfrak{m}_{\mathbb{Q}}$は定義より
$$P^\mathfrak{m}_{\mathbb{Q}}=\left\{a\mathbb{Z}\mid a=b/c>0(b,c\in\mathbb{Z}, b,c\equiv 1\,\mathrm{mod}\, q)\right\}$$
であるが, これより$f$の定義から$f$は$I^\mathfrak{m}_\mathbb{Q}/P^\mathfrak{m}_{\mathbb{Q}}$に於ける$p\mathbb{Z}$の類の位数であることが分かる. ここで上の同型$\mathrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q})\simeq I^\mathfrak{m}_\mathbb{Q}/P^\mathfrak{m}_{\mathbb{Q}}$を通して$p\mathbb{Z}$の類に対応するGalois群の元は$p\mathbb{Z}$のFrobeniusであるが, これは同型$D(\mathfrak{P}'/p\mathbb{Z})\simeq\mathrm{Gal}(\kappa(\mathfrak{P}')/\kappa(p\mathbb{Z}))$を通して$\kappa(\mathfrak{P}')/\kappa(p\mathbb{Z})=\mathbb{F}_p$のFrobenius自己同型に対応する元である. 従って$f$は$\kappa(\mathfrak{P}')/\mathbb{F}_p$のFrobenius自己同型の位数, 即ち$\kappa(\mathfrak{P}')/\mathbb{F}_p$の拡大次数に等しいが, これは相対次数の定義より$f_{\mathfrak{P}'/p\mathbb{Z}}$に他ならない.
先ず$f_{\mathfrak{P}/p\mathbb{Z}}=1$を仮定する. このとき$f_{\mathfrak{P}'/\mathfrak{P}}f_{\mathfrak{P}/p\mathbb{Z}}=f_{\mathfrak{P}'/p\mathbb{Z}}$であるので$f_{\mathfrak{P}'/\mathfrak{P}}=f$である. 一方, $[\mathbb{Q}(\zeta_q):\mathbb{Q}]=q-1,[K:\mathbb{Q}]=2$から$[\mathbb{Q}(\zeta_q):K]=\frac{q-1}{2}$であることが分かる. $\mathfrak{P}$の$\mathbb{Q}(\zeta_q)/K$に於ける相対次数はこれの拡大次数の約数でなければならないので$f\mid \frac{q-1}{2}$が分かる.
逆に$f\mid \frac{q-1}{2}$を仮定する. これは$2\mid \frac{q-1}{f}$と同値であり, ここで$\frac{q-1}{f}$は惰性群の指数$(\mathrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q}):D(\mathfrak{P}'/p\mathbb{Z}))$に等しいことが命題8より分かる. 従って仮定は$\mathfrak{P}'/p\mathbb{Z}$の惰性体$\mathbb{Q}_D$の$\mathbb{Q}$上の拡大次数が偶数であることを主張している. 又, $K/\mathbb{Q}$は2次拡大であることより$[\mathbb{Q}(\zeta_q):\mathbb{Q}_D]$は$[\mathbb{Q}(\zeta_q):K]$の約数である. ここで$\mathrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q})$が巡回群であることを考えると, $\mathrm{Gal}(\mathbb{Q}(\zeta_q)/\mathbb{Q}_D)$は$\mathrm{Gal}(\mathbb{Q}(\zeta_q)/K)$の部分群でなければならず, 従って$K\subseteq\mathbb{Q}_D$である. これと命題8の系(1)より$f_{\mathfrak{P}/p\mathbb{Z}}=1$が導かれる.
参考文献
- [AM] 足立恒雄, 三宅克哉, 『類体論講義』, 日本評論社, 1998
- [KKS] 加藤和也, 黒川信重, 斎藤毅, 『数論I』, 岩波書店, 2005
- [Neu] J. Neukirch, 『代数的整数論』, 丸善出版, 2012
- [Yukie1] 雪江明彦,『整数論1』, 日本評論社, 2013
- [Yukie2] 雪江明彦,『整数論2』, 日本評論社, 2013
- [Yukie3] 雪江明彦,『整数論3』, 日本評論社, 2014
この記事を高評価した人
この記事に送られたバッジ
投稿者
