[论文解读] Prequantales and applications to semistar operations and module systems

Jesse Elliott|arXiv (Cornell University)|Jan 12, 2011

Rings, Modules, and Algebras参考文献 24被引用 10

一句话总结

本文引入了一个广义代数框架——预量（prequantales），实现了对非交换、非结合理想理论的抽象化，统一了星运算、半星运算与模系统。该文建立了预相干预量和乘法半格的表示定理，并推广了关键构造，如最大有限型与稳定半星运算。

ABSTRACT

We show that a generalization of quantales and prequantales provides a noncommutative and nonassociative abstract ideal theoretic setting for the theories of star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on quantales and prequantales. Results include representation theorems for precoherent prequantales and multiplicative semilattices; a characterization of the simple prequantales; and a generalization to the setting of precoherent prequantales of the construction of the largest finite type semistar operation and the largest stable semistar operation smaller than a given semistar operation.

研究动机与目标

• 开发一种基于预量的非交换、非结合代数框架，用于抽象理想理论。
• 在单一有序双射代数结构中，统一并推广星运算、半星运算、半素运算、理想系统与模系统的理论。
• 将关于量与乘法格的已知结果推广至更一般的结构，如预相干预量与乘法半格。
• 提供半星运算的新构造，包括在给定半星运算之下的最大有限型与稳定运算。
• 将该框架应用于具体代数运算，如交换环中的整闭包、加闭包与强闭包，尤其关注非诺特情形。

提出的方法

• 引入预量作为在任意上确界下封闭且乘法兼容的有序双射代数，推广了量与乘法格。
• 定义近预量与半预量作为预量的弱化版本，允许存在无界或无零化子的结构。
• 将核与量化核理论应用于有序双射代数，以在理想与分式理想上构造闭包运算。
• 通过在预相干预量上使用核，推广了在给定半星运算之下构造最大稳定与有限型半星运算的一般方法。
• 将该框架应用于定义并分析由交换环中的整闭包、加闭包与强闭包导出的半星运算。
• 证明了通过包含 $ I $ 的所有强闭包理想之交定义的运算 $*$ 是一个半素运算，将强闭包推广至非诺特环。

实验结果

研究问题

• RQ1 如何将半星运算与理想系统的理论推广至非交换、非结合与非诺特的设定之外？
• RQ2 预相干预量与乘法半格的结构性质是什么？它们如何被表示？
• RQ3 在非量结构中，能否将给定半星运算之下最大有限型与稳定半星运算的构造方法推广？
• RQ4 如何利用预量框架统一并推广积分闭包、加闭包与强闭包等闭包运算？
• RQ5 能否通过该框架有意义地将强闭包扩展至正特征的非诺特交换环？

主要发现

• 建立了预相干预量的表示定理，表明其同构于某些乘法格中的理想。
• 乘法半格被表征为预相干预量的特例，其可通过交封闭子集表示。
• 简单预量被完全表征：它们恰好是仅含一个非零元素的完全格。
• 在预相干预量上，将给定半星运算之下的最大有限型半星运算与最大稳定半星运算的构造方法推广。
• 证明了对任意正特征交换环 $ R $，定义为包含 $ I $ 的所有强闭包理想之交的运算 $*$ 是 $ \text{I}(R) $ 上的半素运算。
• 在诺特环中，$*$ 与经典强闭包运算一致；在非诺特情形下，如例 14.2 所示，$ D = k[X, XY, XY^p, \tilde{ }] $，可能有 $ I^* \neq I^T $。