[论文解读] On congruence half-factorial Krull monoids with cyclic class group

Alain Plagne, Wolfgang Schmid|arXiv (Cornell University)|Sep 4, 2017

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

一句话总结

本文通过确定长度集中的所有可能最小距离以及素因子在理想类中的精确分布，对具有有限循环类群的同余半因子性克鲁尔幺半群进行了完整分类。关键贡献在于对大值 $d$ 下每个类群元素的素因子最大数量 $\mathsf{a}_{\{0,d\}}(G)$ 的精确刻画，给出了 $\mathsf{a}_{\{0,d\}}(G) = 3, 4, 5, 6$ 的显式公式，其结果依赖于 $d$ 和群阶 $n$，适用于代数整数环及其他经典算术结构。

ABSTRACT

We carry out a detailed investigation of congruence half-factorial Krull monoids with finite cyclic class group and related problems. Specifically, we determine precisely all relatively large values that can occur as a minimal distance of a Krull monoid with finite cyclic class group, as well as the exact distribution of prime divisors over the ideal classes in these cases. Our results apply to various classical objects, including maximal orders and certain semi-groups of modules. In addition, we present applications to quantitative problems in factorization theory. More specifically, we determine exponents in the asymptotic formulas for the number of algebraic integers whose sets of lengths have a large difference.

研究动机与目标

• 确定所有可能的最小距离 $d$ 的取值，使得存在具有有限循环类群的 $d$-同余半因子性克鲁尔幺半群。
• 刻画此类幺半群中素因子在理想类上的精确分布。
• 计算当 $d$ 较大时，每个类群元素的素因子最大数量 $\mathsf{a}_{\{0,d\}}(G)$，该值控制因子计数的渐近行为。
• 将上述结果应用于因子分解理论中的定量问题，特别是代数整数环与整环中的问题。

提出的方法

• 使用转移原理，将克鲁尔幺半群的研究转化为类群 $G$ 上零和序列的块幺半群。
• 应用零和序列理论的结果，特别是最小距离 $\Delta^*(G)$ 以及子集 $G_0 \subset G$ 的最小距离 $\min\Delta(G_0)$ 的结构。
• 通过最大化满足 $\min\Delta(G_0) = d$ 或 $d \mid \min\Delta(G_0)$ 的 $|G_0|$ 来计算 $\mathsf{a}_{\{0,d\}}(G)$，利用定理 7.7 及引理 7.8–7.10。
• 利用狄利克雷级数与陶伯型定理分析因子分解集合的计数函数的渐近增长，推导 $\mathsf{a}_{\mathcal{D}}(G)$ 的数量级。
• 将 $\mathsf{a}_{\mathcal{D}}(G)$ 识别为满足特定多重性约束的零和序列存在的子集 $G_0 \subset G$ 的最大大小。
• 利用条件 $\beta^{-1}(\Omega(G_0, S, \ell)) \neq \emptyset$ 定义并界定 $\mathsf{a}_{\mathcal{D}}(G)$，将其与具有指定支集和多重性的序列的存在性联系起来。

实验结果

研究问题

• RQ1 在具有有限循环类群且满足 $d$-同余半因子性的克鲁尔幺半群中，哪些 $d$ 值可作为长度集的最小距离出现？
• RQ2 在具有有限循环类群的同余半因子性克鲁尔幺半群中，素因子在理想类之间的精确分布是什么？
• RQ3 对于给定的阶为 $n$ 的有限循环群 $G$，当 $d$ 较大且为整数时，每个类群元素的素因子最大数量 $\mathsf{a}_{\{0,d\}}(G)$ 是多少？
• RQ4 代数整数环中因子分解集合的渐近计数函数如何依赖于类群结构和最小距离 $d$？
• RQ5 在 $n$ 和 $d$ 的算术约束下，$\mathsf{a}_{\{0,d\}}(G) = 3, 4, 5, 6$ 在大 $d$ 下的精确条件是什么？

主要发现

• 对于阶 $n \geq 250$ 的有限循环群 $G$，若 $d \in \{n-2, (n-3)/2, (n-4)/3, (n-5)/4\}$ 且所有值均为整数，则 $\mathsf{a}_{\{0,d\}}(G) = 3$。
• 若 $d \in \{(n-2)/2, (n-4)/2, (n-6)/3\}$ 且 $d$ 为整数，则 $\mathsf{a}_{\{0,d\}}(G) = 4$。
• 当 $d = (n-6)/4$ 为整数时，$\mathsf{a}_{\{0,d\}}(G) = 5$。
• 当 $d = (n-4)/4$ 为整数时，$\mathsf{a}_{\{0,d\}}(G) = 6$，表明在此值处复杂度出现显著跃升。
• 对于奇素数 $q \mid n$，若 $d = (n - q - 1)/q$ 为整数且 $q \leq n^{1/3}/2$，则 $\mathsf{a}_{\{0,d\}}(G) = 3$，将结果推广至更广范围的 $d$。
• 若 $d = (n - 2q)/q$ 为整数且 $q \leq n^{1/3}/2$，则 $\mathsf{a}_{\{0,d\}}(G) = 4$；若 $d = (n - 2q)/q^2$ 为整数且 $q \leq n^{1/6}/2$，则 $\mathsf{a}_{\{0,d\}}(G) = 6$，表明其依赖于 $n$ 的素因子分解。