[论文解读] 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

一句话总结

本文利用因子分解理论研究循环自由半环中正代数赋值的加法结构，具体针对 $ϕ_0[\alpha]$。研究结果表明，$ϕ_0[\alpha]$ 是有限因子分解幺半群（FFM）和有界因子分解幺半群（BFM）当且仅当其满足主理想上的升链条件（ACCP），并基于 $\alpha$ 的极小多项式给出了唯一因子分解幺半群（UFM）状态的刻画。研究还分析了有限生成性与半因子分解性等性质。

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]$ 中的结构性质，如有限生成性、半因子分解性及其他半因子分解性。

提出的方法

• 采用 Anderson、Anderson 与 Zafrullah（1990）的因子分解方法论，分析 $\mathbb{N}_0[\alpha]$ 的加法幺半群结构。
• 以主理想上的升链条件（ACCP）为核心判据，判断 FFM 与 BFM 性质。
• 明确描述 $\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 如何通过 $\alpha$ 的极小多项式刻画唯一因子分解幺半群（UFM）性质？
• 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]$ 中因子分解长度的行为所决定。