理想类群(英语:Ideal class group)是代数数论的基本对象之一,简称类群。
| 此条目需要精通或熟悉相关主题的编者参与及协助编辑。 |
一个代数数域K的理想类群是形如 JK /PK 的商群; 此处JK 是代数数域K的整数环的所有分式理想构成的群; 而PK是这个群的子群,包含所有可以被一个元素生成的分式理想(类似主理想的定义)。
理想类群在一定程度上可以测量K的整数环中算术基本定理(唯一分解)被破坏程度: 只有当理想类群的秩为1时,代数数域K的整数环才是唯一分解整环。理想类群的秩又被称作为代数数域的“类数”。