みぽさんのリクエスト記事。

より大きい無平方な整数を用いてと表されるとき、のことを虚二次体と言います。一般に有限次代数体に対して、その分数イデアル全体のなす群および単項分数イデアル全体のなす群が定まり、のことをのイデアル類群と言います。イデアル類群は有限群であり、を…