[论文解读] A new simple example of an atomic domain which is not ACCP

Hamid Kulosman|arXiv (Cornell University)|May 25, 2018

Rings, Modules, and Algebras参考文献 4被引用 3

一句话总结

本文通过构造一个域 $F$ 和非负有理数的子幺半群 $M$ 生成的幺半群域 $F[X;M]$，提出了一类新的、简单的非 ACCP 原子域的例子。其中 $M$ 由连续素数 $p_i$ 的 $rac{1}{p_i p_{i+2}}$ 生成。该域是原子的，因为所有生成元都是不可约元，但幺半群 $M$ 不满足升链条件，因为存在一个无限严格递增的主理想链，该性质通过引理 3.1 上升到域中。

ABSTRACT

We give a new simple example of an atomic domain which is not ACCP. Our example is a monoid domain $F[X;M]$, where $F$ is a field and $M$ is a submonoid of the additive monoid of nonnegative rational numbers.

研究动机与目标

• 提供一个新且简单的非 ACCP 原子域的例子，填补因子分解理论中长期存在的空白。
• 证明在整环中，原子性并不蕴含 ACCP，尽管其逆命题是经典已知的。
• 通过构造一个 $F[X;M]$ 型的幺半群域，其中 $M$ 是 $\mathbb{Q}_{+}$ 的子幺半群，实现对因子分解性质的代数与组合控制。
• 通过显式分析幺半群结构及其理想链行为，明确区分幺半群域中原子性与 ACCP 的差异。

提出的方法

• 在加法下定义幺半群 $M = \langle \frac{1}{p_i p_{i+2}} \mid i \geq 1 \rangle$，其中 $p_i$ 为连续素数。
• 通过分母分析证明每个生成元 $\frac{1}{p_i p_{i+2}}$ 在 $M$ 中是原子元，即无法表示为 $M$ 中更小正元素之和。
• 在 $M$ 中构造一个无限严格递增的主理想链：$\left(\frac{1}{p_i} + \frac{1}{p_{i+1}}\right) \subset \left(\frac{1}{p_{i+1}} + \frac{1}{p_{i+2}}\right)$，证明 $M$ 不满足 ACCP。
• 利用引理 3.1 将 $M$ 中 ACCP 的失败传递到幺半群域 $F[X;M]$，证明 $F[X;M]$ 不满足 ACCP。
• 通过反证法证明 $F[X;M]$ 是原子的：假设某元素可无限分解，则其约分形式中最大指数将导致分母矛盾，涉及未在原指数中出现的大素数。
• 利用如下事实：任一原子元在和中出现的次数有限，否则将改变分母结构，从而保证因子分解的有限性。

实验结果

研究问题

• RQ1 能否在 $\mathbb{Q}_{+}$ 的子幺半群上，通过幺半群域构造出一个简单且显式的非 ACCP 原子域例子？
• RQ2 是否存在一个幺半群域 $F[X;M]$，其为原子域但不满足 ACCP，且 $M$ 是非负有理数的子幺半群？
• RQ3 若 $M$ 是原子的，是否蕴含 $F[X;M]$ 也是原子的？（本文未在一般情形下解决此问题，但在此例中成立。）
• RQ4 能否通过在幺半群 $M$ 中显式构造一个无限主理想链来证明 ACCP 的失败？
• RQ5 $M$ 的何种结构性质可确保即使 $M$ 不满足 ACCP，其对应的 $F[X;M]$ 仍为原子域？

主要发现

• 幺半群 $M = \langle \frac{1}{p_i p_{i+2}} \mid i \geq 1 \rangle$ 是原子的，因为每个生成元 $\frac{1}{p_i p_{i+2}}$ 由于和中分母的限制而不可约。
• 幺半群 $M$ 不满足 ACCP，因为序列 $\left(\frac{1}{p_i} + \frac{1}{p_{i+1}}\right)_{i \geq 1}$ 构成一个无限严格递增的主理想链。
• 幺半群域 $F[X;M]$ 不满足 ACCP，由引理 3.1 确立，该引理将 $F[X;M]$ 的 ACCP 性质与 $M$ 的 ACCP 性质联系起来。
• 幺半群域 $F[X;M]$ 是原子的，通过反证法证明：若存在无限因子分解，则其分母中将出现原指数中未包含的素数 $p_j$，导致矛盾。
• 该构造简单且显式，仅使用有理数与素数下标，便于在因子分解理论中进一步研究。
• 该例子说明原子性并不蕴含 ACCP，即使在行为良好的幺半群域中亦然，为这一现象提供了新的、基础的实例。