[論文レビュー] On the additive structure of algebraic valuations of cyclic free semirings

Jyrko Correa-Morris, Felix Gotti|arXiv (Cornell University)|Aug 30, 2020

Rings, Modules, and Algebras参考文献 22被引用数 7

ひとこと要約

本稿は、因数分解理論を用いて、巡回的自由半体における正の代数的付値の加法的構造、特に $\phi_0[\alpha]$ について検討する。$\phi_0[\alpha]$ が有限因数分解モノイド（FFM）および有界因数分解モノイド（BFM）であるための必要十分条件として、主イデアルに関する上昇鎖条件（ACCP）が成立することを示し、$\alpha$ の最小多項式を用いた一意因数分解モノイド（UFM）性の特徴づけも提示する。さらに、有限生成性や半因子的性（half-factoriality）などの性質についても分析を行う。

ABSTRACT

In this paper, we study factorizations in the additive monoids of positive algebraic valuations $\mathbb{N}_0[\alpha]$ of the semiring of polynomials $\mathbb{N}_0[X]$ using a methodology introduced by D. D. Anderson, D. F. Anderson, and M. Zafrullah in 1990. A cancellative commutative monoid is atomic if every non-invertible element factors into irreducibles. We begin by determining when $\mathbb{N}_0[\alpha]$ is atomic, and we give an explicit description of its set of irreducibles. An atomic monoid is a finite factorization monoid (FFM) if every element has only finitely many factorizations (up to order and associates), and it is a bounded factorization monoid (BFM) if for every element there is a bound for the number of irreducibles (counting repetitions) in each of its factorizations. We show that, for the monoid $\mathbb{N}_0[\alpha]$, the property of being a BFM and the property of being an FFM are equivalent to the ascending chain condition on principal ideals (ACCP). Finally, we give various characterizations for $\mathbb{N}_0[\alpha]$ to be a unique factorization monoid (UFM), two of them in terms of the minimal polynomial of $\alpha$. The properties of being finitely generated, half-factorial, and other-half-factorial are also investigated along the way.

研究の動機と目的

• 正の代数的付値の加法的モノイド $\mathbb{N}_0[\alpha]$ がアトミック（原子的）である条件を特定すること。
• $\mathbb{N}_0[\alpha]$ が有限因数分解モノイド（FFM）および有界因数分解モノイド（BFM）を満たす条件を特徴づけること。
• $\mathbb{N}_0[\alpha]$ が一意因数分解モノイド（UFM）となる条件を、特に $\alpha$ の最小多項式の観点から調査すること。
• $\mathbb{N}_0[\alpha]$ における有限生成性、半因子的性、およびその他の因子的性（other-half-factoriality）といった構造的性質を分析すること。

提案手法

• Anderson, Anderson, および Zafrullah（1990）が提唱した因数分解の手法を採用し、$\mathbb{N}_0[\alpha]$ の加法的モノイド構造を分析する。
• FFMおよびBFM性を判定する中心的基準として、主イデアルに関する上昇鎖条件（ACCP）を用いる。
• 原子的性を評価するため、$\mathbb{N}_0[\alpha]$ における既約元の集合を明示的に記述する。
• 代数的性質、特に $\alpha$ の最小多項式を用いて、UFM性の特徴づけを確立する。
• 因数分解性質と代数的構造（有限生成性、半因子的性など）の相関関係を分析する。
• 可換モノイド論および半体論の技術を応用し、$\mathbb{N}_0[\alpha]$ における因数分解行動を研究する。

実験結果

リサーチクエスチョン

• RQ1 加法的モノイド $\mathbb{N}_0[\alpha]$ がアトミックであるための条件は何か？
• RQ2 $\mathbb{N}_0[\alpha]$ が有限因数分解モノイド（FFM）および有界因数分解モノイド（BFM）を満たすのはどのような場合か？
• RQ3 ACCP 条件と $\mathbb{N}_0[\alpha]$ における FFM/BFM 性の間にはどのような関係があるか？
• RQ4 一意因数分解モノイド（UFM）性は、$\alpha$ の最小多項式を用いてどのように特徴づけられるか？
• RQ5 有限生成性および半因子的性が、$\mathbb{N}_0[\alpha]$ の因数分解構造に与える影響は何か？

主な発見

• モノイド $\mathbb{N}_0[\alpha]$ は、すべての非可逆元が既約元に因数分解可能であり、その既約元の集合が明示的に記述可能な場合に限りアトミックである。
• $\mathbb{N}_0[\alpha]$ における FFM および BFM 性は、主イデアルに関する上昇鎖条件（ACCP）と同値である。
• $\mathbb{N}_0[\alpha]$ が一意因数分解モノイド（UFM）であるための特徴づけは、$\alpha$ の最小多項式に関連する二つの条件によって与えられ、因数分解の一意性と明確な代数的関係が成立する。
• $\mathbb{N}_0[\alpha]$ が UFM であるための必要十分条件は、その最小多項式が因数分解の一意性に関連する特定の既約性および整域性条件を満たすことである。
• $\mathbb{N}_0[\alpha]$ の有限生成性は $\alpha$ の代数的次数に依存し、半因子的性は因数分解長の構造によって決定される。
• 本研究では、半因子的性およびその他の因子的性が、$\mathbb{N}_0[\alpha]$ における因数分解長の振る舞いによって決定されることを確認した。