類域

給定一個素數集合 ，一個域 被稱為類域，如果它是 有理數 的一個極大 正規擴張，它 分裂 了 中所有的素數，並且如果 是被 K 分裂的極大素數集合。這裡集合 的定義允許有限數量的例外，直到等價關係成立。

基本例子是模 4 餘 1 的素數集合，

對於 的類域是 ，因為每個這樣的素數都可以表示為兩個平方和 。