#代数学の知識

#イデアル類群(ideal class group)，
#類群(class group)
https://ja.wikipedia.org/wiki/...

#体 K の #分数イデアル の #群 I_k と
Kの #単項イデアル からなる #部分群 P_K に対し
#商群 I_K / P_K のことを
体 K のイデアル類群または類群と呼ぶ.