[論文レビュー] Atomic and antimatter semigroup algebras with rational exponents

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

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

ひとこと要約

この論文は、体 $F$ 上の半群代数としてのプアス・代数（Puiseux algebra）—指数が $mathbb{Q}_{\geq 0}$ の部分モノイド $M \subseteq \mathbb{Q}_{\geq 0}$ にとる代数）の原子的構造を、このクラスにおける同型問題を解き、ACCP、有界因子分解、有限因子分解の性質を持つ例を構成することで調査する。プアス代数の半正規化、根閉包、整閉包を完全に記述し、無限大の非可約元を含まない反例（antimatter examples）も構成する。

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).

研究の動機と目的

• 2つのプアス代数がいつ同型であるかを、それらの基盤となるモノイドとの関係によって特定すること。
• ACCP、有界因子分解、有限因子分解といった重要な原子的有限性条件を満たすプアス代数を特徴づけること。
• プアス代数の半正規化、根閉包、完全整閉包の構造を記述すること。
• 閉包の性質を用いて、非可約元を含まない（反物質的である）プアス代数のクラスを構成すること。

提案手法

• モノイドの同型不変量を用いて、$F[M_1] \cong F[M_2]$ ならば $M_1 \cong M_2$ が成り立つことを証明する。
• 加法的部分モノイド $M \subseteq \mathbb{Q}_{\geq 0}$ を用いたプアス代数の構成により、望ましい原子的性質を満たすようにする。
• 半群代数の閉包論を応用して、半正規化、根閉包、整閉包を記述する。
• $M$ の構造を活用して、$F[M]$ に非可約元が存在しない（反物質的である）条件を特定し、反物質例を得る。
• 有理数指数のモノイドを用いて、代数的設定下での因子分解行動を制御する。

実験結果

リサーチクエスチョン

• RQ1 2つのプアス代数 $F[M_1]$ と $F[M_2]$ が環として同型であるのはいつか？
• RQ2 どのプアス代数が主理想的な上昇鎖条件（ACCP）を満たすか？
• RQ3 どのような条件下でプアス代数が有界因子分解または有限因子分解の性質を持つのか？
• RQ4 プアス代数の半正規化、根閉包、完全整閉包の構造はどのようなものか？
• RQ5 非可約元を含まないプアス代数は存在するのか？また、どのようにしてそれらを構成できるか？

主な発見

• 環として $F[M_1] \cong F[M_2]$ ならば、モノイドとして $M_1 \cong M_2$ が成り立つ。これにより、プアス代数における同型問題が解決された。
• ACCP、有界因子分解、有限因子分解の性質を満たすプアス代数が存在することを示し、このクラスにそれらの代数が実際に存在することを実証した。
• プアス代数 $F[M]$ の半正規化は、$M^{\text{sn}}$ を $M$ の半正規化とするとき、$F[M^{\text{sn}}]$ に同型である。
• プアス代数 $F[M]$ の根閉包は、$M^{\text{r}}$ を $M$ の根閉包とするとき、$F[M^{\text{r}}]$ に同型である。
• プアス代数 $F[M]$ の完全整閉包は、$M^{\text{cic}}$ を $M$ の完全整閉包とするとき、$F[M^{\text{cic}}]$ に同型である。
• 完全整閉包の構成を用いて、非可約元を含まない（反物質的である）プアス代数のクラスを構成可能であり、特に $M$ が有限生成でなく、ある種の閉包条件を満たす場合にその構成が可能である。