类域

给定一个素数集合 ，一个域 被称为类域，如果它是 有理数 的一个极大 正规扩张，它 分裂 了 中所有的素数，并且如果 是被 K 分裂的极大素数集合。这里集合 的定义允许有限数量的例外，直到等价关系成立。

基本例子是模 4 余 1 的素数集合，

对于 的类域是 ，因为每个这样的素数都可以表示为两个平方和 。