数学において，体  に対してイデアル類群（）あるいは類群（）とは，商群  である，ただし  は  の分数イデアルの群で， は  の単項イデアルからなる部分群である．代数体（あるいはより一般に任意のデデキント環）の整数環における一意分解の成り立たなさをイデアル類群によって記述することができる．この群が有限のとき（代数体の整数環の場合はそうである），その群の位数を類数（）と呼ぶ．デデキント環の乗法的理論はそのイデアル類群の構造と密接にかかわっている．例えば，デデキント環のイデアル類群が自明であることとその環が一意分解整域であることは同値である．

歴史と起源 

イデアル類群（というよりは，実質的にイデアル類群であったもの）は，イデアルの概念が定式化されるよりも前に研究されていた．これらの群は二次形式の理論において現れた：二項整二次形式の場合には，ガウスによって最終形のようなものにされたように，形式のある同値類上に合成則が定義された．これは当時認識されていたように有限アーベル群になる．

後にクンマーは円分体の理論に向かって研究していた．1の冪根を用いた分解によってはフェルマー予想の一般の場合が完全に証明できないことはとてもよい理由のためであると（おそらく複数の人々によって）気付かれていた：つまりそれらの1の冪根によって生成された環において算術の基本定理が成り立たないことが主な障害だった．クンマーの最初の仕事から分解の障害の研究が生じた．我々は今ではこれをイデアル類群の一端と理解する：実はクンマーは，フェルマーの問題に取り組む標準的な手法の失敗の理由として，任意の素数  に対して， の &nbsp:乗根の体に対してその群における -torsion を分離していた（正則素数を参照）．

やや後になってデデキントはイデアルの概念を定式化したが, クンマーは異なる方法で研究していてこの時点で存在する例を統一できた．代数的整数の環は（単項イデアル整域とは限らないため）素元への一意分解を持たないが，すべての真のイデアルは素イデアルの積としての一意的な分解を持つ（つまりすべての代数的整数環はデデキント整域である）という性質を持つことが示された．イデアル類群の大きさは環が単項イデアル整域であることからどれだけ隔たっているかを表すものと考えられる；環が単項イデアル整域であることと自明なイデアル類群を持つことは同値である．

定義 

 が整域であるとき， の非零分数イデアルに関係  を次のように定義する： であるとは， の零でない元  と  が存在して， となることとする．（ここで  は  の倍数全体からなる  の単項イデアルを意味する．）この関係が同値関係であることは容易に示される．その同値類は  のイデアル類 (ideal class) と呼ばれる．

イデアル類は掛けることができる： でイデアル  の同値類を書けば，積  は well-defined かつ可換である．すべての単項イデアルを集めた集合はこの積に対して単位元となるイデアル類  になる．したがって類  が逆元  をもつことと  が単項イデアルとなるようなイデアル  が存在することは同値である．一般には，そのような  が存在するとは限らず，したがって  のイデアル類の全体はモノイドでしかない．

しかしながら， が代数体の代数的整数の環であったり，より一般にデデキント環であれば，上で定義された積により分数イデアル類の全体はアーベル群になり，これが  のイデアル類群 (ideal class group) である．群の性質である逆元の存在は，次の事実から容易に従う：デデキント環において，（ を除く）すべての非零イデアルは素イデアルの積である．

性質
イデアル類群が自明である（すなわちただ1つしか元を持たない）ことと， のすべてのイデアルが単項イデアルであることは同値である．この意味においてイデアル類群は， が単項イデアル整域であることから，したがって一意的な素元分解を満たすことから，どれだけ離れているかを測っている（デデキント環が一意分解整域であることと単項イデアル整域であることは同値である）．

イデアル類の個数（ の類数）は一般には無限大かもしれない．実は，任意のアーベル群はあるデデキント環のイデアル類群に同型である．しかし，実際には  が代数的整数の環であるときには，その類数はつねに有限である．これは古典的な代数的整数論の主要な結果の1つである．

類群の計算は一般には難しい；が小さい代数体の整数環に対しては，を用いることで，手で計算できる．この結果は，環に依存する上界であって，すべてのイデアル類が上界よりも小さいを含むものを与える．一般にはこの上界は判別式の大きい体に対して手で計算をするのに十分小さいものではないが，コンピュータはその仕事に適している．

整数環  から対応するイデアル類群への写像は関手的であり，イデアル類群は代数的K理論の先頭に  を  にそのイデアル類群を割り当てる関手として包摂できる；より正確には， を類群として， である．高次の K 群も整数環と関連して数論的に解釈できる．

単数群との関係
上記で既に見たように、イデアル類群はデデキント環のどのくらいのイデアルが元のように振る舞うかという問いに部分的な解答を与える．答えの別の部分はデデキント環の単数のなす乗法群が与える。なぜならば単項イデアルからその生成元への移行には単元を使わなければならないからである（そしてこれは分数イデアルの概念を導入する理由の残りでもある）。

 から  のすべての非零分数イデアルのなす集合への写像を，各元をそれの生成する単項（分数）イデアルに送ることによって定義する．これは群準同型である；その核は  の単数群であり，余核は  のイデアル類群である．この群が自明群からどれだけ離れているかは，写像が同型からどれだけ離れているか，つまり，イデアルが環の元のように，つまり数のように，振る舞うことからどれだけ離れているかを表す．

イデアル類群の例 

 環 , ただし  は 1 の立方根で  は 1 の4乗根（すなわち  の平方根），はすべて単項イデアル整域であり（実はすべてユークリッド整域である），したがって類数は 1 である：つまり，それらは自明なイデアル類群を持つ．
 が体のとき，多項式環  は整域である．それはイデアル類を可算無限個持つ．

二次体の類数 
いま  を平方因子を持たない整数（相異なる素数の積）で，1 でないとすると， は  の二次拡大である．そうして  ならば， の代数的整数環  の類数が 1 に等しいのは以下のいずれかの場合だけである：. この結果は最初ガウスによって予想され，によって証明されたが，ヘーグナーの証明は後にが1967年に証明を与えるまで信用されなかった．（を参照．）これは有名な類数問題の特別な場合である．

一方で， のときは， の類数が 1 になる場合が無限個あるかどうかは分かっていない．計算機による結果は，そのような体が非常に多くあることを示している．しかしながら，類数が 1 の代数体が無限個あるかどうかさえ知られていない．

 のイデアル類群は， のときは， の判別式に等しい判別式の整のイデアル類群に同型である．しかし  に対して，イデアル類群の大きさは半分かもしれない，なぜならば整二項二次形式の類群は  のに同型だからである．

非自明な類群の例 

環  は  の整数環である．それは一意分解整域ではない；実は  の類群は位数 2 の巡回群である．実際，イデアル
 
は単項イデアルではないことが，背理法によって以下のように証明できる． はノルム関数  を持ち，これは  を満たす．そうして であることと  が  の単数であることは同値である．まずはじめに， である，なぜならば， をイデアル  で割った環は， に同型であり，したがって  を  で割った環は  に同型であるからである．もし  が  の元  によって生成されたとすると， は  と  をともに割り切る．するとノルム  は  と  をともに割り切るので， は  を割り切る． ならば  は単数なので， となって矛盾する．しかし  は  でもない，なぜならば  はノルム  の元を持たないからである，なぜならばディオファントス方程式  は  を法として解を持たないから整数解を持たないからである．

また， で単項イデアルになることも計算でき，したがってイデアル類群における  の類の位数は 2 である．他のイデアル類が存在しないことを示すにはより労力が必要である．

この  が単項でないという事実は，元  が2つの相異なる既約元分解
 
を持つこととも関係する．

類体論との関係 

類体論は与えられた代数体のすべてのアーベル拡大，つまりガロワ群が可換なガロワ拡大を分類しようとする代数的整数論の分野である．とりわけ美しい例は代数体のヒルベルト類体において見つかる．これはそのような体の極大不分岐アーベル拡大として定義できる．代数体  のヒルベルト類体  は一意的であり，以下の性質を持つ：

  の整数環のすべてのイデアルは  では単項になる，すなわち， を  の整イデアルとすると， の像は  の単項イデアルである．
  は  のガロワ拡大であり，そのガロワ群は  のイデアル類群に同型である．

どちらの性質も証明はそれほど簡単ではない．

関連項目 
 類数公式
 類数問題
  - 類数の公式
 
 単項イデアル整域
 代数的K理論
 ガロワ理論
 フェルマーの最終定理
 
 ピカール群 - 代数幾何で現れる，類群の一般化

脚注

参考文献 

 

代数的整数論
イデアル
数学に関する記事