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