イデアル類群

イデアル類群（イデアルるいぐん、英: ideal class group）あるいは類群（るいぐん、英: class group）とは、イデアルの類（英: ideal class）と呼ばれる(分数)イデアルの同値類と、それらの間の積によって定まる群のことであり、主に整数論において用いられる。イデアル類群は数体からイデアルへの移行の際に起こる、群としての拡張の度合いを測るある種の指標となる。 例えば、イデアル類群が自明 (⇔群の位数が1) であるとは全ての分数イデアルが単項イデアルであるということであり、これは数体の整数環が単項イデアル整域であることを意味する。他方、 Q ( − 5 ) {\textstyle \mathbb {Q} ({\sqrt {-5}})} はイデアル類群の位数が2であることが知られているが、実際この体では 6 = 2 ⋅ 3 = ( 1 + − 5 ) ( 1 − − 5 ) {\textstyle 6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})} が成り立つため、一意な素因数分解ができず、単項でないイデアル ( 2 , 1 + − 5 ) {\displaystyle (2,1+{\sqrt {-5}})} が存在する。 イデアル類群の位数は類数（るいすう、英: class number）と呼ばれる。歴史的にはイデアル類群の発見より以前に、判別式が等しい二元二次形式に対する同値類の数として類数は研究されていた。これが群演算を持つことは1801年のカール・フリードリヒ・ガウスの書籍によって示され、実際にこの同値類と群は二次体のイデアル類群に対応している。 イデアル類群（というよりは、実質的にイデアル類群であったもの）は、イデアルの概念が定式化されるよりも前に、二次形式の理論として研究されていた。二元二次形式の一般論は1773年にラグランジュによって最初に与えられた。1801年に著された Disquisitiones Arithmeticae においてガウスは、同じ判別式の値を持つ2次形式の間に演算を定義できて、それが群の公理を満たす（この時点で群論はまだ整備されていないが）ことを示した。 後にクンマーは円分体の理論に向かって研究していた。1の冪根を用いた分解によってはフェルマー予想の一般の場合が完全に証明できないことはとてもよい理由のためであると（おそらく複数の人々によって）気付かれていた：つまりそれらの1の冪根によって生成された環において算術の基本定理が成り立たないことが主な障害だった。クンマーの最初の仕事から分解の障害の研究が生じた。我々は今ではこれをイデアル類群の一端と理解する：実はクンマーは、フェルマーの問題に取り組む標準的な手法の失敗の理由として、任意の素数 p に対して、1 の p 乗根の体に対してその群における p-torsion を分離していた（正則素数を参照）。 やや後になってデデキントはイデアルの概念を定式化したが、クンマーは異なる方法で研究していてこの時点で存在する例を統一できた。代数的整数の環は（単項イデアル整域とは限らないため）素元への一意分解を持たないが、すべての真のイデアルは素イデアルの積としての一意的な分解を持つ（つまりすべての代数的整数環はデデキント整域である）という性質を持つことが示された。イデアル類群の大きさは環が単項イデアル整域であることからどれだけ隔たっているかを表すものと考えられる；環が単項イデアル整域であることと自明なイデアル類群を持つことは同値である。 数体 K に対して、その整数環を O K {\textstyle {\mathcal {O}}_{K}} で表す。K の分数イデアルとは、有限生成な 0   ( := { 0 } ) {\textstyle 0\ (:=\{0\})} でない部分 O K {\textstyle {\mathcal {O}}_{K}} 加群である。すなわち、0でない生成元 k 1 , … , k N ∈ K {\textstyle k_{1},\dots ,k_{N}\in K} に対して ( k 1 , … , k N ) := { k 1 a 1 + ⋯ + k N a N ∣ a 1 , … , a N ∈ O K } {\displaystyle (k_{1},\dots ,k_{N}):=\{k_{1}a_{1}+\cdots +k_{N}a_{N}\mid a_{1},\dots ,a_{N}\in {\mathcal {O}}_{K}\}} で与えられるような O K {\textstyle {\mathcal {O}}_{K}} 加群が分数イデアルである。このとき、分数イデアルの全体 J K {\textstyle J_{K}} はイデアルの積によって可換群をなす。例えばあるイデアル a {\textstyle {\mathfrak {a}}} の逆元は a − 1 := { x ∈ K ∣ ∀ a ∈ a . a x ∈ O K } {\textstyle {\mathfrak {a}}^{-1}:=\{x\in K\mid \forall a\in {\mathfrak {a}}.ax\in {\mathcal {O}}_{K}\}} によって与えられる。単位元は O K {\textstyle {\mathcal {O}}_{K}} 自身である。 単項イデアル (a), (b) に対して、その積は再び単項イデアル (ab) であり、従って単項イデアルの全体 P K {\textstyle P_{K}} は J K {\textstyle J_{K}} の部分群である。このとき、剰余群 J K / P K {\textstyle J_{K}/P_{K}} をイデアル類群と言い、例えば ClK などで表される。イデアル類群を構成するそれぞれの同値類をイデアルの類という。特にイデアル類群の単位元となる P K {\textstyle P_{K}} を単位類あるいは主類（ドイツ語: Hauptklasse）という。 定義から、体の整数環が単項イデアル整域ならばイデアル類群は自明となる。特に、次で示すような体の整数環はユークリッド環であるため、自明なイデアル類群を持つ。 有理数体 Q {\textstyle \mathbb {Q} } - 有理整数環 Z {\textstyle \mathbb {Z} } ガウス数体 Q ( i ) {\textstyle \mathbb {Q} (i)} - ガウス整数環 Z [ i ] {\textstyle \mathbb {Z} [i]} Q ( − 3 ) {\displaystyle \mathbb {Q} ({\sqrt {-3}})} - アイゼンシュタイン整数環 Z [ ω ] {\displaystyle \mathbb {Z} [\omega ]} -5の平方根を添加した体 Q ( − 5 ) {\displaystyle \mathbb {Q} ({\sqrt {-5}})} について考える。この体は具体的に a + b − 5 {\displaystyle a+b{\sqrt {-5}}} (a, b は有理数) の形の複素数すべての集合によって構成され、演算は通常の複素数の四則で定義される。このとき、整数環は Z [ − 5 ] {\displaystyle \mathbb {Z} [{\sqrt {-5}}]} である。 環 Z [ − 5 ] {\displaystyle \mathbb {Z} [{\sqrt {-5}}]} は一意分解整域ではないことが知られている。実際、 6 = 2 ⋅ 3 = ( 1 + − 5 ) ( 1 − − 5 ) {\displaystyle 6=2\cdot 3=(1+{\sqrt {-5}})(1-{\sqrt {-5}})} が成り立つため、2、3、1+√-5、1-√-5 はいずれも Z [ − 5 ] {\displaystyle \mathbb {Z} [{\sqrt {-5}}]} の素元ではない。イデアル類群における同値類は単位類と ( 2 , 1 + − 5 ) {\displaystyle (2,1+{\sqrt {-5}})} の同値類の2つであり、 Q ( − 5 ) {\displaystyle \mathbb {Q} ({\sqrt {-5}})} の類数は2である。 いま d を平方因子を持たない整数（相異なる素数の積）で、1 でないとすると、Q(√d) は Q の二次拡大である。そうして d < 0 ならば、Q(√d) の代数的整数環 R の類数が 1 に等しいのは以下のいずれかの場合だけである：d = −1, −2, −3, −7, −11, −19, −43, −67, −163。この結果は最初ガウスによって予想され、クルト・ヘーグナー（英語版）によって証明されたが，ヘーグナーの証明は後にハロルド・スターク（英語版）が1967年に証明を与えるまで信用されなかった（スターク・ヘーグナーの定理（英語版）を参照）。これは有名な類数問題の特別な場合である。 一方で、d > 0 のときは、Q(√d) の類数が 1 になる場合が無限個あるかどうかは分かっていない。計算機による結果は、そのような体が非常に多くあることを示している。しかしながら、類数が 1 の代数体が無限個あるかどうかさえ知られていない。 Q(√d) のイデアル類群は、d < 0 のときは、Q(√d) の判別式に等しい判別式の整二項二次形式（英語版）のイデアル類群に同型である。しかし d > 0 に対して、イデアル類群の大きさは半分かもしれない、なぜならば整二項二次形式の類群は Q(√d) の狭義類群（英語版）に同型だからである。 イデアル類群が自明である（すなわちただ1つしか元を持たない）ことと、R のすべてのイデアルが単項イデアルであることは同値である。この意味においてイデアル類群は、R が単項イデアル整域であることから、したがって一意的な素元分解を満たすことから、どれだけ離れているかを測っている（デデキント環が一意分解整域であることと単項イデアル整域であることは同値である）。 イデアル類の個数（R の類数）は一般には無限大かもしれない。実は、任意のアーベル群はあるデデキント環のイデアル類群に同型である。しかし、実際には R が代数的整数の環であるときには、その類数はつねに有限である。これは古典的な代数的整数論の主要な結果の1つである。 類群の計算は一般には難しい；判別式（英語版）が小さい代数体の整数環に対しては、Minkowski's bound（英語版）を用いることで、手で計算できる。この結果は、環に依存する上界であって、すべてのイデアル類が上界よりも小さいイデアルノルム（英語版）を含むものを与える。一般にはこの上界は判別式の大きい体に対して手で計算をするのに十分小さいものではないが、コンピュータはその仕事に適している。 整数環 R から対応するイデアル類群への写像は関手的であり、イデアル類群は代数的K理論の先頭に K0(R) を R にそのイデアル類群を割り当てる関手として包摂できる；より正確には、C(R) を類群として、K0(R) = Z×C(R) である。高次の K 群も整数環と関連して数論的に解釈できる。 上記で既に見たように、イデアル類群はデデキント環のどのくらいのイデアルが元のように振る舞うかという問いに部分的な解答を与える。答えの別の部分はデデキント環の単数のなす乗法群が与える。なぜならば単項イデアルからその生成元への移行には単元を使わなければならないからである（そしてこれは分数イデアルの概念を導入する理由の残りでもある）。 イデアル類群 C l K {\textstyle Cl_{K}} は分数イデアルのなす群 J K {\textstyle J_{K}} を単項イデアルのなす群 P K {\textstyle P_{K}} で割ることによって定義されたが、これは次のような完全列の一部を構成する。 1 ⟶ O K ∗ ⟶ K ∗ ⟶ J K ⟶ C l K ⟶ 1 {\displaystyle 1\longrightarrow {\mathcal {O}}_{K}^{*}\longrightarrow K^{*}\longrightarrow J_{K}\longrightarrow Cl_{K}\longrightarrow 1} ここで O K ∗ {\textstyle {\mathcal {O}}_{K}^{*}} は O K {\textstyle {\mathcal {O}}_{K}} の単数群、 K ∗ {\textstyle K^{*}} は K の乗法群であり、準同型 K ∗ ⟶ J K {\textstyle K^{*}\longrightarrow J_{K}} はその元が生成する単項イデアルへの写像 a ⟼ ( a ) {\textstyle a\longmapsto (a)} である。 O K {\textstyle {\mathcal {O}}_{K}} の単数群は数体上の数からイデアルへの移行において、その収縮の度合いを測るものとなる。 類体論は与えられた代数体のすべてのアーベル拡大、つまりガロワ群が可換なガロワ拡大を分類しようとする代数的整数論の分野である。とりわけ美しい例は代数体のヒルベルト類体において見つかる。これはそのような体の極大不分岐アーベル拡大として定義できる。代数体 K のヒルベルト類体 L は一意的であり、以下の性質を持つ： K の整数環のすべてのイデアルは L では単項になる、すなわち、I を K の整イデアルとすると、I の像は L の単項イデアルである。 L は K のガロワ拡大であり、そのガロワ群は K のイデアル類群に同型である。 どちらの性質も証明はそれほど簡単ではない。 数体およびその整数環とは限らない一般の場合においても、環がよい条件を満たすならば、イデアル類群の類似物を考えることができる。そのような「良い条件」を満たす環はクルル整域（英: Krull domain）と呼ばれる。具体的には、 環 A は零環ではなく、0以外の零因子を持たない (整域である)。 A の素イデアル p {\displaystyle {\mathfrak {p}}} が0以外に真の部分素イデアルを持たない (高さ1である) ならば、 p {\displaystyle {\mathfrak {p}}} での局所化 A p {\displaystyle A_{\mathfrak {p}}} は離散付値環となる。 A = ⋂ p A p {\textstyle A=\bigcap _{\mathfrak {p}}A_{\mathfrak {p}}} 、ここで p {\displaystyle {\mathfrak {p}}} は A の素イデアルで高さ1であるものを動くものとする。 任意の0でない a ∈ A {\textstyle a\in A} について、 a ∈ p {\displaystyle a\in {\mathfrak {p}}} であるような高さ1の素イデアル p {\displaystyle {\mathfrak {p}}} は高々有限個しか存在しない。 を満たすとき、A をクルル整域であるという。高さ1の A の素イデアル全てからなる集合を Z で表す。また、イデアル a {\displaystyle {\mathfrak {a}}} に対する p {\displaystyle {\mathfrak {p}}} -進付値を v p ( a ) := inf { v p ( a ) ∣ a ∈ a } {\textstyle v_{\mathfrak {p}}({\mathfrak {a}}):=\inf\{v_{\mathfrak {p}}(a)\mid a\in {\mathfrak {a}}\}} で定める。 分数イデアル a {\textstyle {\mathfrak {a}}} に対して、その因子（divisor） d i v ⁡ a ∈ Z ( Z ) {\textstyle \mathop {\mathrm {div} } {\mathfrak {a}}\in \mathbb {Z} ^{(Z)}} を d i v ⁡ a := ∑ p ∈ Z v p ( a ) [ p ] {\displaystyle \mathop {\mathrm {div} } {\mathfrak {a}}:=\sum _{{\mathfrak {p}}\in Z}v_{\mathfrak {p}}({\mathfrak {a}})[{\mathfrak {p}}]} で定める (それぞれの [ p ] {\displaystyle [{\mathfrak {p}}]} は自由加群の基底となる形式的な元)。このとき、クルル整域の定義から d i v ⁡ a {\textstyle \mathop {\mathrm {div} } {\mathfrak {a}}} は有限和である。逆に、任意の有限和 a 1 [ p 1 ] + ⋯ + a m [ p m ] {\displaystyle a_{1}[{\mathfrak {p}}_{1}]+\cdots +a_{m}[{\mathfrak {p}}_{m}]} はそれを因子に持つ分数イデアルを一意に定めるため、これを A の因子と呼ぶ。 クルル整域 A の因子全体からなる加法群を Div A、そのうち主因子 (principal divisor) と呼ばれる、 d i v ⁡ ( x A ) {\textstyle \mathop {\mathrm {div} } (xA)} (x ∊ K、ここで K は A の商体) の形で表される因子の全体を Prin A で表すとき、その剰余類群 Cl A := Div A/Prin A を A の因子類群 (英: divisor class group) という。イデアル類群の場合と同様に因子類群においても、A の単元の群 U(A)、商体 K の乗法群 K*との間に次の完全列が存在する。 1 ⟶ U ( A ) ⟶ K ∗ ⟶ D i v ⁡ A ⟶ C l ⁡ A ⟶ 1 {\displaystyle 1\longrightarrow U(A)\longrightarrow K^{*}\longrightarrow \mathop {\mathrm {Div} } A\longrightarrow \mathop {\mathrm {Cl} } A\longrightarrow 1} クルル環 A に対して、可算個の不定元 X1, X2, … を持つ多項式環 A [ X 1 , X 2 , … ] {\displaystyle A[X_{1},X_{2},\dots ]} は再びクルル環となる。 p 1 = ( X 1 ) , {\displaystyle {\mathfrak {p}}_{1}=(X_{1}),} p n + 1 = p n + ( X n + 1 ) {\displaystyle {\mathfrak {p}}_{n+1}={\mathfrak {p}}_{n}+(X_{n+1})} とすると、これらは無限に続く素イデアルの包含列 p 1 ⊊ p 2 ⊊ p 3 ⊊ ⋯ {\displaystyle {\mathfrak {p}}_{1}\subsetneq {\mathfrak {p}}_{2}\subsetneq {\mathfrak {p}}_{3}\subsetneq \cdots } をなし、構成から明らかにそれぞれの p n {\textstyle {\mathfrak {p}}_{n}} は互いに異なる類に属するため、因子類群は無限群となる。 [脚注の使い方] ^ それぞれが生成する単項イデアルは素イデアルでないため、 Z [ − 5 ] {\displaystyle \mathbb {Z} [{\sqrt {-5}}]} において2や3は実際のところ素元ではない。 ^ So the class group ClK measures the expansion that takes place when we pass from numbers to ideals,(Neukirch 1999, p. 22) ^ Lagrange, Joseph-Louis (1773, 1775). “Recherches d'arithmétique” (フランス語). Nouveaux mémoires de l'Académie royale des sciences et belles-lettres de Berlin. (全集：3巻, pp. 695–795). http://sites.mathdoc.fr/cgi-bin/oeitem?id=OE_LAGRANGE__3_695_0 2023年12月10日閲覧。.  ^ Goldfeld 1985, p. 25–26. ^ a b Neukirch 1999, p. 22 ^ 高木 1948, p. 52 ^ Neukirch 1999. ^ Fröhlich & Taylor 1993, Theorem 58. ^ Claborn 1966. ^ (..., whereas) the unit group O ∗ {\displaystyle {\mathcal {O}}^{*}} measures the contraction in the same process.(Neukirch 1999, p. 22) ^ 後藤, 四郎、渡辺, 敬一『可換環論』日本評論社、2011年9月30日、94–95頁。ISBN 978-4-535-78309-6。全国書誌番号:21983130。  ^ Fossum 1973, pp. 1–29. Claborn, Luther (1966), “Every abelian group is a class group”, Pacific Journal of Mathematics 18: 219–222, doi:10.2140/pjm.1966.18.219, http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.pjm/1102994263&page=record  Fossum, Robert M. (1973) (英語). The Divisor Class Group of a Krull Domain. Springer Berlin, Heidelberg. doi:10.1007/978-3-642-88405-4  Fröhlich, Albrecht; Taylor, Martin (1993), Algebraic number theory, Cambridge Studies in Advanced Mathematics, 27, Cambridge University Press, ISBN 978-0-521-43834-6, MR1215934  Goldfeld, Dorian (1985). "Gauss' class number problem for imaginary quadratic fields". Bulletin of the American Mathematical Society (英語). 13 (1): 23–37. doi:10.1090/S0273-0979-1985-15352-2. 2023年12月10日閲覧。 Neukirch, Jürgen (1999), Algebraic Number Theory, Grundlehren der mathematischen Wissenschaften, 322, Berlin: Springer-Verlag, ISBN 978-3-540-65399-8, Zbl 0956.11021, MR1697859  高木貞治『代數的整數論』（1版）岩波書店、1948年。 NCID BN10835284。全国書誌番号:46015061。https://linesegment.web.fc2.com/books/mathematics/daisutekiseisuron/。2023年12月2日閲覧。  類数公式 類数問題 ブラウアー・ジーゲルの定理（英語版） - 類数の漸近（英語版）公式 類数 1 の代数体の一覧（英語版） 単項イデアル整域 代数的K理論 ガロワ理論 フェルマーの最終定理 狭義類群（英語版） ピカール群 - 代数幾何で現れる、類群の一般化 アラケロフ類群（英語版）