[论文解读] A characterization of class groups via sets of lengths

Alfred Geroldinger, Wolfgang Schmid|arXiv (Cornell University)|Mar 16, 2015

Rings, Modules, and Algebras参考文献 14被引用 12

一句话总结

该论文证明了在每个类中均包含素因子的克鲁尔幺半群中，长度集合系统唯一地刻画了秩至多为二的有限阿贝尔群。通过分析零和序列以及戴维森常数和交叉数等算术不变量，作者证明：若两个此类幺半群的长度集合系统相同，则其类群同构——除两个已知的例外情况外。

ABSTRACT

Let $H$ be a Krull monoid with class group $G$ such that every class contains a prime divisor. Then every nonunit $a \in H$ can be written as a finite product of irreducible elements. If $a=u\_1 \cdot \ldots \cdot u\_k$, with irreducibles $u\_1, \ldots u\_k \in H$, then $k$ is called the length of the factorization and the set $\mathsf L (a)$ of all possible $k$ is called the set of lengths of $a$. It is well-known that the system $\mathcal L (H) = \{\mathsf L (a) \mid a \in H \}$ depends only on the class group $G$. In the present paper we study the inverse question asking whether or not the system $\mathcal L (H)$ is characteristic for the class group. Consider a further Krull monoid $H'$ with class group $G'$ such that every class contains a prime divisor and suppose that $\mathcal L (H) = \mathcal L (H')$. We show that, if one of the groups $G$ and $G'$ is finite and has rank at most two, then $G$ and $G'$ are isomorphic (apart from two well-known pairings).

研究动机与目标

• 确定克鲁尔幺半群中的长度集合系统是否唯一地决定了其类群。
• 研究因子理论中的逆问题：能否通过因子的算术结构（通过长度集合）恢复类群的群论结构？
• 在每个类均包含素因子的条件下，解决秩至多为二的有限阿贝尔群的刻画问题。
• 识别出可区分秩 ≤2 群且排除与其他群类型同构的特征长度集合。
• 证明除两个已知例外外，对于秩 ≤2 的群，长度集合系统在同构意义下唯一确定了类群。

提出的方法

• 将问题约化为有限阿贝尔群上的零和序列幺半群，其中长度集合系统记为 ℒ(G)。
• 利用戴维森常数和交叉数不变量分析长度集合的结构及其包含关系。
• 应用克鲁尔幺半群中长度集合结构定理，表明大多数长度集合是公差为1的等差数列。
• 通过子幺半群和商群中因子长度的详细分析，推导出可能群结构的约束。
• 使用不变量 ℒ(G) 区分形如 C_n₁⊕C_n₂ 与其他候选群（如初等2-群或混合型群）的差异。
• 应用命题5.5，识别出仅在 C_n₁⊕C_n₂ 中出现的特征长度集合，从而排除与其他群类型的同构。

实验结果

研究问题

• RQ1 系统长度集合 ℒ(H) 是否能唯一确定每个类均包含素因子的克鲁尔幺半群 H 的类群 G？
• RQ2 对于秩至多为二的有限阿贝尔群，ℒ(G) = ℒ(G') 是否蕴含 G ≅ G'？
• RQ3 是否存在非同构的秩 ≤2 有限阿贝尔群，其长度集合系统相同？
• RQ4 哪些长度集合是形如 C_n₁⊕C_n₂ 的群的特征集合，以及如何利用它们排除与其他群类型同构的可能性？
• RQ5 戴维森常数和交叉数等不变量在区分不同类群的算术结构中起什么作用？

主要发现

• 对于秩至多为二的有限阿贝尔群，长度集合系统 ℒ(G) 在同构意义下唯一地确定了类群 G。
• 对于秩 ≤2 的群 G 和 G'，若 ℒ(G) = ℒ(G')，则必有 G ≅ G'，除非它们属于两个已知的例外情况。
• 集合 {2, n₂, n₁+n₂−2} 属于 ℒ(C₂^{n₁−2}⊕C_{n₂}) 但不属于 ℒ(C_n₁⊕C_n₂)，从而排除了与该群类型的同构。
• 群 C₂^{n₁−4}⊕C₄⊕C_{n₂} 和 C₂⊕C_{n₁−1}⊕C_{n₂} 通过 d* 不变量被排除，该不变量仅在 G ≅ C_n₁⊕C_n₂ 时与 ℒ(G) 匹配。
• 证明依赖于识别出仅在 C_n₁⊕C_n₂ 中出现而不在其他候选群中出现的特征长度集合，利用零和序列的结构。
• 该结果在条件 n₁ | n₂ 且 n₁ + n₂ > 4 下成立，以确保非平凡性并排除小规模例外情况。