局部-整体原理的建设性内容及其在有限生成投射模结构中的应用
摘要：可交换环上幂等矩阵F的结构 在这个矩阵中，我们明确了正交幂等矩阵的基本系统，每个基本系统都有明确定义的秩。类似地，我们找到了环的有限个共极大元素，这些元素明确地表明了F的补域是局部自由的。我们的证明基于抽象的局部-全局原则。我们给出了两种方法来恢复这些结果的构造性证明。最有趣的方法是对抽象的局部-全局原则进行了一个非常简单的构造性解释。我们认为我们在抽象代数的"Hilbert计划"的构造性版本方面迈出了重要的一步，即将抽象代数的证明自动翻译为构造性证明。
作者：Henri Lombardi
论文ID：2308.09371
分类：Commutative Algebra
分类简称：math.AC
提交时间：2023-08-21