[论文解读] A characterization of length-factorial Krull monoids

Alfred Geroldinger, Qinghai Zhong|arXiv (Cornell University)|Jan 26, 2021

Rings, Modules, and Algebras参考文献 43被引用 8

一句话总结

本文通过识别类群上的条件以及素因子在类中的分布，对长度-阶乘克鲁尔幺半群进行了完整的代数刻画。关键结果表明，一个克鲁尔幺半群是长度-阶乘的（但不是阶乘的）当且仅当每个包含素因子的类中恰好包含一个这样的素因子，且该幺半群同构于一个特定阿贝尔群结构下的块幺半群，其中对生成元的阶和关系施加了约束。

ABSTRACT

An atomic monoid is length-factorial if each two distinct factorizations of any element have distinct factorization lengths. We provide a characterization of length-factorial Krull monoids in terms of their class groups and the distribution of prime divisors in the classes.

研究动机与目标

• 刻画克鲁尔幺半群为长度-阶乘的条件，即任一元素的任意不同分解具有不同的长度。
• 阐明类群结构与素因子分布的结构性条件，以确保长度-阶乘性。
• 利用代数不变量将长度-阶乘克鲁尔幺半群与阶乘或半阶乘幺半群区分开来。
• 建立此类幺半群同构于具有受控挠率与秩性质的特定阿贝尔群上的块幺半群。

提出的方法

• 使用约化克鲁尔幺半群分解：任意克鲁尔幺半群 $ H $ 可分解为 $ H = H^{\times} \times \mathcal{F}(P_0) \times H^* $，其中 $ H^* $ 是一个不含素元素的约化克鲁尔幺半群。
• 分析类群 $ \mathcal{C}(H^*) $ 与包含素因子的类的集合 $ G_{P^*} $。
• 应用转移同态将 $ H $ 与块幺半群 $ \mathcal{B}(G_{P^*}) $ 关联，尤其在每个 $ G_{P^*} $ 中的类恰好包含一个素因子的条件下。
• 利用零和序列理论与群论约束（例如 $ s_0 g_i = -\sum s_j e_{i,j} $）描述群结构。
• 证明 $ H $ 是长度-阶乘的当且仅当 $ H^* \cong \mathcal{B}(G_{P^*}) $，且 $ G_{P^*} $ 满足特定的秩与阶条件。
• 利用转移克鲁尔幺半群理论与转移同态的单射性，证明 $ H $ 是克鲁尔幺半群当且仅当关联的块幺半群是长度-阶乘的且转移映射是单射的。

实验结果

研究问题

• RQ1 在类群与素因子分布满足何种条件下，克鲁尔幺半群是长度-阶乘的？
• RQ2 长度-阶乘克鲁尔幺半群能否在阶乘或半阶乘幺半群的已知情形之外，实现完全的代数刻画？
• RQ3 一个非阶乘的长度-阶乘克鲁尔幺半群，其类群与素因子生成集的精确结构是什么？
• RQ4 此类幺半群的不变量（如长度集合系统 $ \mathcal{L}(H) $）在长度-阶乘情形下如何表现？
• RQ5 每个约化长度-阶乘克鲁尔幺半群是否都同构于具有特定挠率与秩约束的群上的块幺半群？

主要发现

• 克鲁尔幺半群 $ H $ 是长度-阶乘但非阶乘的当且仅当 $ G_{P^*} $ 中每个类恰好包含一个素因子，且 $ H^* \cong \mathcal{B}(G_{P^*}) $，其中 $ G_{P^*} $ 满足涉及 $ t $ 个无限阶生成元与 $ k $ 个挠元或无限阶元素的特定关系的群结构。
• 类群 $ \mathcal{C}(H^*) $ 同构于 $ (\mathbb{Z}^t \oplus \mathbb{Z}/n\mathbb{Z})^k $，其中 $ n = \gcd(s_0, \dots, s_t) $，且 $ t = 0 $ 当且仅当类群是挠群。
• 长度集合系统 $ \mathcal{L}(H) $ 是加法封闭的，这在因子分解理论中是一种罕见性质。
• 此类幺半群的弹性与距离集合是有限的，且 $ \mathcal{L}(H) $ 可通过块幺半群结构显式确定。
• 幺半群 $ H $ 是克鲁尔幺半群当且仅当其关联的到 $ \mathcal{B}(G_{P^*}) $ 的转移同态是单射的，这恰好在 $ H^* \cong \mathcal{B}(G_{P^*}) $ 且素因子分布满足所述条件时成立。
• 该刻画表明 $ H^* $ 是一个正规仿射幺半群，因为其是有限生成的且商群无挠。