類数の有限性

ウィキペディア

イデアル類群

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/11 15:35 UTC 版)

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "イデアル類群" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2010年2月）

イデアル類群（イデアルるいぐん、英: ideal class group）あるいは類群（るいぐん、英: class group）とは、イデアルの類（英: ideal class）と呼ばれる(分数)イデアルの同値類と、それらの間の積によって定まる群のことであり、主に整数論において用いられる。イデアル類群は数体からイデアルへの移行の際に起こる、群としての拡張の度合いを測るある種の指標となる^[1]。

例えば、イデアル類群が自明 (⇔群の位数が1) であるとは全ての分数イデアルが単項イデアルであるということであり、これは数体の整数環が単項イデアル整域であることを意味する。他方、${\textstyle \mathbb {Q} ({\sqrt {-5}})}$