原环面中 profinite 子群的格

紧连通阿贝尔群，或称原环面（protori），具有呈现于整个范畴的固有结构特征。在有限维无环面原环面的情况下，紧阿贝尔群分解定理为证明诱导环面商群的 profinite 子群构成 profinite 整数上有限生成模的同构类奠定了基础，该类在交（ meet）和 +（join）下构成一个格。这些结构结果使得能够在紧阿贝尔群态射下的原环面范畴中表述一个普适分解。分解定理中格的单个 profinite 子群被此类子群格的直接极限所替代，并产生一个覆盖态射，其中原环面的离散无挠庞特里亚金对偶作为分解原环面的商映射核有机地浮现。除其他优势外，这使得能够将有限秩无挠阿贝尔群作为其对偶原环面的规范子群来研究，并获得紧阿贝尔设定所提供的伴随拓扑、分析和数论洞见。