[论文解读] A CHARACTERIZATION OF KRULL MONOIDS FOR WHICH SETS OF LENGTHS ARE (ALMOST) ARITHMETICAL PROGRESSIONS

Alfred Geroldinger, Wolfgang Schmid|arXiv (Cornell University)|Jan 1, 2018

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

一句话总结

本文利用加法组合学工具，刻画了有限交换群 $G$，使得类群为 $G$ 的克鲁尔幺半群中的长度集合为（几乎）等差数列。研究结果表明，所有长度集合为等差数列当且仅当 $G$ 是阶至多为 4 的循环群，或同构于 $C_2^3$ 或 $C_3^2$ 的子群；并为几乎等差数列与等差多重数列提供了类似刻画。

ABSTRACT

Let H be a Krull monoid with finite class group G and suppose that every class contains a prime divisor. Then sets of lengths in H have a well-defined structure which just depends on the class group G. With methods from additive combinatorics we establish a characterization of those class groups G guaranteeing that all sets of lengths are (almost) arithmetical progressions.

研究动机与目标

• 刻画所有有限交换群 $G$，使得类群为 $G$ 的克鲁尔幺半群中所有长度集合为等差数列（APs）、几乎等差数列（AAPs）或等差多重数列（AMPs）
• 确定长度集合在克鲁尔幺半群中呈现这些结构形式的精确群论条件
• 通过证明当 $\mathsf{D}(G) \geq 4$ 且 $\mathcal{L}(G)$ 满足某种结构形式时，$\mathcal{L}(G) = \mathcal{L}(G')$ 蕴含 $G \cong G'$，解决小群的刻画问题
• 建立系统 $\mathcal{L}(G)$ 在加法下封闭当且仅当 $G$ 是阶 $\leq 4$ 的循环群，或同构于 $C_2^3$ 或 $C_3^2$ 的子群
• 基于戴维森常数与距离集合 $\Delta^*(G)$ 等群不变量，对长度集合为 AMPs、AAPs 或 APs 的群进行完整分类

提出的方法

• 使用长度集合的结构定理，该定理指出 $\mathcal{B}(G)$ 中的长度集合是差属于 $\Delta^*(G)$ 的几乎等差多重数列（AAMPs），并具有统一有界性
• 应用加法组合学中的技术，特别是零和序列结果以及 $\mathcal{B}(G)$（即 $G$ 上的零和序列幺半群）中长度集合的结构
• 利用文献中的实现定理与结构结果（例如，[17]、[21]、[16]）分析在群结构约束下长度集合的行为
• 分析戴维森常数 $\mathsf{D}(G)$ 与距离集合 $\Delta^*(G)$，以对长度集合为 APs、AAPs 或 AMPs 的群进行分类
• 采用群论分解方法：分别考虑循环群、初等 $p$-群 ($C_p^r$) 与循环群的积，以验证定理 1.1 中的条件
• 应用关于联络度 $\mathsf{c}(G)$ 与驯服度 $\mathsf{t}(G)$ 的结果，刻画 $\mathcal{L}(G)$ 的加法封闭性，将其与定理 1.1.1 中的条件联系起来

实验结果

研究问题

• RQ1 对于哪些有限交换群 $G$，$\mathcal{L}(G)$ 中的所有长度集合均为差属于 $\Delta^*(G)$ 的等差数列？
• RQ2 在何种条件下，系统 $\mathcal{L}(G)$ 是加法封闭的，即对集合加法封闭？
• RQ3 哪些群 $G$ 确保所有长度集合为具有统一有界值 $M$ 的几乎等差数列？
• RQ4 在何种条件下，$\mathcal{L}(G)$ 中的所有长度集合为差属于某有限集 $\Delta \supset \Delta^*(G)$ 的等差多重数列？
• RQ5 当 $\mathsf{D}(G) \geq 4$ 且 $\mathcal{L}(G)$ 满足定理 1.1 中的某种结构形式时，$\mathcal{L}(G) = \mathcal{L}(G')$ 是否蕴含 $G \cong G'$？

主要发现

• 所有 $\mathcal{L}(G)$ 中的长度集合为差属于 $\Delta^*(G)$ 的等差数列当且仅当 $G$ 是阶至多为 4 的循环群，或同构于 $C_2^3$ 的子群，或同构于 $C_3^2$ 的子群
• 系统 $\mathcal{L}(G)$ 是加法封闭的当且仅当 $G$ 是阶 $\leq 4$ 的循环群，或同构于 $C_2^3$ 或 $C_3^2$ 的子群
• 所有 $\mathcal{L}(G)$ 中的长度集合为具有统一有界值 $M$ 的几乎等差数列当且仅当 $G$ 同构于 $C_3^3$ 的子群，或同构于 $C_4^3$ 的子群
• 所有 $\mathcal{L}(G)$ 中的长度集合为差属于某有限集 $\Delta \supset \Delta^*(G)$ 的等差多重数列当且仅当 $G$ 是阶至多为 6 的循环群，或同构于 $C_2^3$ 的子群，或同构于 $C_3^2$ 的子群
• 对于满足 $\mathsf{D}(G) \geq 4$ 的群，若 $\mathcal{L}(G)$ 满足定理 1.1 中任一结构形式，则 $\mathcal{L}(G) = \mathcal{L}(G')$ 蕴含 $G \cong G'$，从而正面解决了这些情形下的刻画问题
• 群 $C_3^3$ 与 $C_4^2$ 的最大距离集合不同（$\max\Delta(C_3^3) = 2$，$\max\Delta(C_4^2) = 3$），因此 $\mathcal{L}(C_3^3) \neq \mathcal{L}(C_4^2)$，这有助于在刻画问题中区分二者