第8章イデアル類群

ここまでで、 $\mathcal O_K$ ではイデアルが素イデアルに一意分解すると分かりました。でも第4章で見たように、数の一意分解は壊れたまま。その破れの原因は「素イデアルが単項でない（数一つで表せない）」ことにありました。では、 どれだけの素イデアルが単項でないのか——一意分解の破れの“大きさ”を、一つの群で測りましょう。それがイデアル類群です。この群が自明なら $\mathcal O_K$ は一意分解環（PID）、そうでなければその位数（類数）が破れの度合いを表します。

発想：単項イデアルを「同じ」とみなす

破れの根源は「単項でない素イデアル」でした。逆に言えば、すべてのイデアルが単項なら破れはない（PID＝UFD、環論）。そこで「単項イデアルからどれだけずれているか」を測るために、単項イデアルを一括して「無視」する——群論の商の発想です。前章の分数イデアルの群 $\mathcal I_K$ の中で、単項なものを部分群として割ります。

定義イデアル類群

$K$ の $0$ でない分数イデアルの群を $\mathcal I_K$ （前章：素イデアルを基底とする自由アーベル群）、そのうち単項分数イデアル $(\alpha)=\alpha\mathcal O_K$ （ $\alpha\in K^\times$ ）の全体を $\mathcal P_K$ とする。 $\mathcal P_K$ は $\mathcal I_K$ の部分群で、商 $\mathrm{Cl}(K)=\mathcal I_K/\mathcal P_K$ をイデアル類群という。二つのイデアル $I,J$ が同じ類 $\Leftrightarrow$ $I=(\alpha)J$ （単項倍で移り合う）。その位数 $h_K=|\mathrm{Cl}(K)|$ を類数という。

イデアル類群の各元（イデアル類）は、「単項倍の違いを無視したイデアル」です。単項イデアルはすべて単位元（自明な類）に潰れる。だから $\mathrm{Cl}(K)$ の非自明さ＝単項でないイデアルの存在＝一意分解の破れ が、そのまま群の大きさとして数値化されます。

類群が破れを測る： $h_K=1 \Leftrightarrow$ 一意分解

定理類数 1 と一意分解の同値

数体 $K$ について、次は同値：

類数 $h_K=1$ （イデアル類群が自明）。
$\mathcal O_K$ のすべてのイデアルが単項（ $\mathcal O_K$ は PID）。
$\mathcal O_K$ は一意分解環（UFD）。

証明

$1\Leftrightarrow2$ ： $h_K=1$ は「すべてのイデアルが単項イデアルと同じ類」、すなわち全イデアルが単項。 $2\Leftrightarrow3$ ：一般に PID $\Rightarrow$ UFD。逆にデデキント環では UFD $\Rightarrow$ PID（デデキント環で一意分解環なら、素イデアルはすべて単項になり、素イデアル分解より全イデアルが単項）。デデキント環という土台の上では、UFD・PID・ $h_K=1$ が完全に一致する。

これでイデアル類群の意味がはっきりします。 $h_K$ は「 $\mathcal O_K$ が PID からどれだけ遠いか」を測る整数。 $h_K=1$ なら数の一意分解も成り立つ楽園、 $h_K$ が大きいほど破れがひどい。 $\mathbb Q(\sqrt{-5})$ の類数は $h_K=2$ ——次章以降で計算しますが、これは「一意分解が“ちょうど二重に”壊れている」ことを意味します。

$\mathbb Q(\sqrt{-5})$ の類群を覗く

第4–6章の $K=\mathbb Q(\sqrt{-5})$ で、類群がどう見えるかを具体的に確かめます。素イデアル $\mathfrak p_1=(2,1+\sqrt{-5})$ は単項ではありません（もし $\mathfrak p_1=(\alpha)$ ならノルムから $N(\alpha)=2$ 、だが $a^2+5b^2=2$ は解なし——第4章）。だから $\mathfrak p_1$ は自明でない類 $[\mathfrak p_1]$ を定めます。

一方 $\mathfrak p_1^2=(2)$ は単項なので、 $[\mathfrak p_1]^2=[(2)]=1$ （単位類）。つまり $[\mathfrak p_1]$ は 位数 2 の元。同様に $\mathfrak p_2,\mathfrak p_3$ も単項でなく、 $[\mathfrak p_2]=[\mathfrak p_3]=[\mathfrak p_1]$ （ $\mathfrak p_1\mathfrak p_2=(1+\sqrt{-5})$ が単項なので $[\mathfrak p_2]=[\mathfrak p_1]^{-1}=[\mathfrak p_1]$ ）。非自明な類は $[\mathfrak p_1]$ ただ一つで、 $\mathrm{Cl}(\mathbb Q(\sqrt{-5}))\cong\mathbb Z/2\mathbb Z,\qquad h_K=2.$ 第4章の「 $6$ が二通りに分解する」現象は、まさにこの位数 $2$ の元の存在—— $\mathfrak p_1$ が単項でないこと——の現れだったのです。破れの正体が、群 $\mathbb Z/2$ という一点に凝縮されました。

注意類群は「割り算の帳尻」を記録する

$6$ の二つの分解 $2\cdot3$ と $(1+\sqrt{-5})(1-\sqrt{-5})$ は、素イデアルの組み替え $\mathfrak p_1^2\cdot\mathfrak p_2\mathfrak p_3=(\mathfrak p_1\mathfrak p_2)(\mathfrak p_1\mathfrak p_3)$ に対応した。どちらの束ね方が“数（単項）”になるかは、類 $[\mathfrak p_i]$ が単位元かどうかで決まる。類群は、この「どの積が単項に戻れるか」の帳尻を記録する台帳。 $h_K=2$ は帳尻が合わない組が本質的に一種類あることを示す。

類群のこれから：有限性と計算

イデアル類群 $\mathrm{Cl}(K)$ について、二つの根本的な問いが残っています。この後の章で答えます。

注意次章以降への問い

有限か？ 分数イデアルの群 $\mathcal I_K$ は無限（素イデアルは無限個）。その商 $\mathrm{Cl}(K)$ が有限に収まるのは自明でない。実は必ず有限（第10章、ミンコフスキーの幾何で示す）。
どう計算するか？ 各イデアル類に「ノルムの小さい代表」を取れれば、有限個の候補を調べるだけで類群が決まる。その“小さい代表”の存在を保証するのが、次章の格子とミンコフスキーの定理。

注意つまずきポイント

イデアル類群は「単項イデアルで割った商」。単項イデアル＝自明な類。非自明な類の存在が一意分解の破れ。群の単位元が「単項に戻れるイデアル」だと押さえる。
$h_K=1$ が特別（PID＝UFD＝一意分解）。 $h_K>1$ は破れの度合い。 $h_K$ は必ず有限（次章以降）だが、値そのものは体ごとにばらばらで、深い数論的情報を含む。
類は「イデアル」の類であって「数」の類ではない。単項倍で移り合うイデアルを同一視する。第6章の素イデアル分解（イデアルの群）の上に、単項で割る商として乗っている。

この章のまとめ

イデアル類群 $\mathrm{Cl}(K)=\mathcal I_K/\mathcal P_K$ ＝分数イデアルの群を単項イデアルで割った商。各元（イデアル類）は単項倍の違いを無視したイデアル。位数が類数 $h_K$ 。
$h_K=1\Leftrightarrow$ PID $\Leftrightarrow$ UFD（デデキント環の上で同値）。 $h_K$ は「一意分解がどれだけ壊れているか」を測る整数。
$\mathbb Q(\sqrt{-5})$ では $\mathfrak p_1$ が単項でなく $\mathfrak p_1^2=(2)$ 単項ゆえ位数 2、 $\mathrm{Cl}\cong\mathbb Z/2$ 、 $h_K=2$ 。第4章の破れの正体がこの群に凝縮。
残る問い：類群は有限か、どう計算するか——次章の幾何数論（ミンコフスキー）が答える。

次章は、整数環 $\mathcal O_K$ を $\mathbb R^n$ の格子とみる幾何的な視点を導入し、「対称な凸領域は必ず格子点を含む」というミンコフスキーの定理を確立します。数論に幾何を持ち込む、鮮やかな転換点です。