理元类群 [理元类群]百科SimplicialCat 观念 数域 $K$ 的理元类群 $C_K$ 是其对应的算术曲线上的 Picard 群 (线丛的模空间的 $0$-截断). 定义 数域 $K$ 的理元类群 (idèle class group) $C_K$ 是理元群对乘法群 $K^\times$ 的商: $$ C_K := \mathbb{I}_K / K^\times. $$