イデアル類群
![]() | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2010年2月) |
イデアル類群(イデアルるいぐん、英: ideal class group)あるいは類群(るいぐん、英: class group)とは、イデアルの類(英: ideal class)と呼ばれる(分数)イデアルの同値類と、それらの間の積によって定まる群のことであり、主に整数論において用いられる。イデアル類群は数体からイデアルへの移行の際に起こる、群としての拡張の度合いを測るある種の指標となる[1]。
例えば、イデアル類群が自明 (⇔群の位数が1) であるとは全ての分数イデアルが単項イデアルであるということであり、これは数体の整数環が単項イデアル整域であることを意味する。他方、
類数
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/11/20 06:23 UTC 版)
代数体 K のイデアル類群 C K {\displaystyle C_{K}} は有限群であるが、イデアル類群の位数のことを類数 (class number) という。
※この「類数」の解説は、「代数体」の解説の一部です。
「類数」を含む「代数体」の記事については、「代数体」の概要を参照ください。
- >> 「類数」を含む用語の索引
- 類数のページへのリンク