Picard 群

设 为数域，O 为 中的序环。则 O 的可逆分式理想的等价类集合构成一个乘法交换群，称为 O 的 Picard 群。

如果 是极大序环，即 的整数环，则 O 的每个分式理想都是可逆的，并且 的 Picard 群是 的类群。 的 Picard 群的阶有时称为 的类数。如果 是极大的，那么 Picard 群的阶等于 的类数。