谱综合中的主理想定理

在早前一篇论文中，我们解决了一个可追溯至 Laurent Schwartz 关于均值周期函数研究的长期问题。具体而言，我们完全刻画了那些具有谱综合的局部紧阿贝尔群。该方法基于局部化概念。在本文中我们证明，局部化可用于证明谱综合中的另一基本结果：主理想定理。