[论文解读] Atomic and antimatter semigroup algebras with rational exponents

Felix Gotti|arXiv (Cornell University)|Jan 21, 2018

Rings, Modules, and Algebras参考文献 21被引用 6

一句话总结

本文通过解决该类的同构问题并构造满足 ACCP、有界分解和有限分解性质的示例，研究了 Puiseux 代数——在域 $F$ 上、指数属于子幺半群 $M \subseteq \mathbb{Q}_{\geq 0}$ 的幺半群代数——的原子结构。本文全面描述了 Puiseux 代数的准正规化、根闭包和整闭包，并构造了不包含不可约元的反例。

ABSTRACT

In this paper, a semigroup algebra consisting of polynomial expressions with coefficients in a field $F$ and exponents in an additive submonoid $M$ of $\mathbb{Q}_{\ge 0}$ is called a Puiseux algebra and denoted by $F[M]$. Here we study the atomic structure of Puiseux algebras. To begin with, we answer the Isomorphism Problem for the class of Puiseux algebras, that is, we show that for a field $F$ if two Puiseux algebras $F[M_1]$ and $F[M_2]$ are isomorphic, then the monoids $M_1$ and $M_2$ are also isomorphic. Then we construct three classes of Puiseux algebras satisfying the following well-known atomic properties: the ACCP property, the bounded factorization property, and the finite factorization property. Finally, we give a full description of the seminormal closure, root closure, and complete integral closure of a Puiseux algebra, and use such description to provide a class of antimatter Puiseux algebras (i.e., Puiseux algebras containing no irreducibles).

研究动机与目标

• 通过将其底层幺半群联系起来，确定两个 Puiseux 代数何时同构。
• 刻画满足关键原子有限性条件（ACCP、有界分解和有限分解）的 Puiseux 代数。
• 描述 Puiseux 代数的准正规化、根闭包和完全整闭包的结构。
• 利用闭包性质构造一类反物质 Puiseux 代数——即不包含不可约元的代数。

提出的方法

• 使用幺半群同构不变量证明：若 $F[M_1] \cong F[M_2]$，则 $M_1 \cong M_2$。
• 通过加法子幺半群 $M \subseteq \mathbb{Q}_{\geq 0}$ 构造 Puiseux 代数，以满足所需的原子性质。
• 应用半群代数的闭包理论，描述准正规化、根闭包和整闭包。
• 利用 $M$ 的结构识别 $F[M]$ 中不包含不可约元的条件，从而构造反物质示例。
• 利用有理指数幺半群控制代数设定下的分解行为。

实验结果

研究问题

• RQ1 当两个 Puiseux 代数 $F[M_1]$ 和 $F[M_2]$ 作为环同构时，它们在何时同构？
• RQ2 哪些 Puiseux 代数满足主理想升链条件（ACCP）？
• RQ3 在何种条件下，Puiseux 代数具有有界或有限分解性质？
• RQ4 Puiseux 代数的准正规化、根闭包和完全整闭包的结构是怎样的？
• RQ5 Puiseux 代数能否存在不包含不可约元的情况，以及如何构造它们？

主要发现

• 若 $F[M_1] \cong F[M_2]$ 作为环，则 $M_1 \cong M_2$ 作为幺半群，从而解决了 Puiseux 代数的同构问题。
• 存在满足 ACCP、有界分解和有限分解性质的 Puiseux 代数，证明了此类代数在该类中的存在性。
• Puiseux 代数 $F[M]$ 的准正规化同构于 $F[M^{\text{sn}}]$，其中 $M^{\text{sn}}$ 是 $M$ 的准正规化。
• Puiseux 代数 $F[M]$ 的根闭包同构于 $F[M^{\text{r}}]$，其中 $M^{\text{r}}$ 是 $M$ 的根闭包。
• Puiseux 代数 $F[M]$ 的完全整闭包同构于 $F[M^{\text{cic}}]$，其中 $M^{\text{cic}}$ 是 $M$ 的完全整闭包。
• 可利用完全整闭包构造一类反物质 Puiseux 代数（即不包含不可约元的代数），特别是当 $M$ 不是有限生成且满足某些闭包条件时。