[论文解读] Classification of finite group automorphisms with a large cycle

Alexander Bors|arXiv (Cornell University)|Oct 8, 2014

Finite Group Theory Research参考文献 17被引用 4

一句话总结

本文分类了有限群 $G$ 及其自同构 $α$，使得 $λ(α) \geq \frac{1}{2}$，其中 $λ(α)$ 表示自同构 $α$ 的单个循环上所含群元素的比例。利用群论与置换循环结构工具，作者对所有此类对 $(G, \alpha)$ 按同构类进行了完整分类，识别出所有存在自同构使得至少一半群元素位于一个循环上的有限群。

ABSTRACT

Let $ψ$ be a permutation of a finite set $X$. We define $λ(ψ)$ to be the largest fraction of elements of $X$ lying on a single cycle of $ψ$. For a finite group $G$, we define $λ(G)$ to be the maximum among the values $λ(α)$, where $α$ runs through the automorphisms of $G$. In this paper, we develop tools to deal with questions related to $λ$-values of finite groups and of their automorphisms. As a consequence, we will be able to give a classification, up to a natural notion of isomorphism, of those pairs $(G,α)$ where $G$ is a finite group, $α$ is an automorphism of $G$ and $λ(α)\geq\frac{1}{2}$.

研究动机与目标

• 对所有满足 $\u03bb(\u03b1) \geq \frac{1}{2}$ 的有限群 $G$ 及其自同构 $\alpha$ 进行分类，其中 $\u03bb(\u03b1)$ 衡量自同构 $\alpha$ 下的最大循环占比。
• 通过聚焦自同构循环长度相对于群大小的最大值，扩展现有自同构循环结构结果。
• 提供此类群-自同构对的完整同构类分类，而非仅对群进行分类。
• 探讨自同构循环结构与伪随机数生成之间的联系，特别是在有限动力系统背景下的应用。
• 为未来研究 $\rho < \frac{1}{2}$ 时的自同构与仿射大循环条件奠定基础。

提出的方法

• 将 $\u03bb(\u03b1)$ 定义为有限群 $G$ 中位于自同构 $\alpha \in \mathrm{Aut}(G)$ 的最长循环上的元素所占比例。
• 利用结构群论，包括幂零群与阿贝尔群的性质，分析自同构可能达到的最大循环长度。
• 利用 $p$-群与初等阿贝尔群中自同构阶数的已知结果，特别是 $(\mathbb{Z}/p\mathbb{Z})^k$ 满足 $\u03bb((\mathbb{Z}/p\mathbb{Z})^k) = 1 - \frac{1}{p^k}$ 的事实。
• 应用 Horaševskiĸ 的定理：对非平凡群 $G$，自同构循环长度的上界为 $|G| - 1$。
• 通过反证法使用组合与数论估计（例如循环长度的乘积界），排除某些配置。
• 对所有满足 $\u03bb(\u03b1) \geq \frac{1}{2}$ 的同构类型对 $(G, \alpha)$ 进行分类，包括二面体群与特定自同构的半二面体群等非阿贝尔例子。

实验结果

研究问题

• RQ1 哪些有限群 $G$ 存在自同构 $\alpha$，使得 $\alpha$ 的单个循环上至少包含一半的群元素？
• RQ2 满足 $\u03bb(\u03b1) \geq \frac{1}{2}$ 的所有对 $(G, \alpha)$ 的完整同构类列表是什么？
• RQ3 在非阿贝尔群中，自同构的循环结构与阿贝尔群或初等阿贝尔群相比，其循环长度占比有何差异？
• RQ4 能否将大循环自同构的分类推广至 $\rho < \frac{1}{2}$ 的情形？
• RQ5 自同构循环结构在用于伪随机数生成的有限动力系统中起什么作用？

主要发现

• 本文提供了所有满足 $G$ 为有限群且 $\alpha \in \mathrm{Aut}(G)$ 满足 $\u03bb(\u03b1) \geq \frac{1}{2}$ 的同构类型对 $(G, \alpha)$ 的完整分类。
• 初等阿贝尔 $p$-群 $(\mathbb{Z}/p\mathbb{Z})^k$ 的 $\u03bb$ 值为 $1 - \frac{1}{p^k}$，当 $k \geq 1$ 且 $p^k \geq 3$ 时，该值可超过 $\frac{1}{2}$。
• 对 $p$-群而言，$\mathbb{Z}/p^k\mathbb{Z}$ 的 $\u03bb$ 值为 $1 - \frac{1}{p}$，因此当 $p$ 为奇素数时，该值超过 $\frac{1}{2}$；而当 $p=2$ 时，$\lambda(\mathbb{Z}/2^k\mathbb{Z}) = \frac{1}{4}$（$k \geq 3$ 时）。
• 非阿贝尔群如二面体群 $D_{2n}$ 和某些半二面体群可拥有满足 $\lambda(\alpha) \geq \frac{1}{2}$ 的自同构，包括 $\lambda(\alpha) > \frac{18}{19} \cdot \prod_{n=3,4,5} (1 - \frac{1}{2^n}) \cdot \mathrm{exp}(-\frac{1}{2^9}) > 0.751$ 的情形。
• 分类结果表明，除经典循环群与初等阿贝尔群外，不存在其他根本上新颖的有限群，其自同构可产生大循环（当 $\lambda(\alpha) \geq \frac{1}{2}$ 时）。
• 结果表明，在伪随机数生成中，若要求大循环占比 $\geq \frac{1}{2}$，则仅已知的经典群（循环群与初等阿贝尔群）或其自同构诱导的系统可行，不会出现新型群结构。