[论文解读] Automorphism Groups of Finite p-Groups: Structure and Applications

Geir T. Helleloid|ArXiv.org|Nov 18, 2007

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

一句话总结

该论文通过结构群论和 $p$-群滤子，证明了在渐近意义上，几乎所有有限 $p$-群的自同构群本身也是一个 $p$-群。此外，该研究将自同构群与初等阿贝尔 $p$-群上的马尔可夫链联系起来，利用三角函数积估计和高斯和证明了收敛速率的界。

ABSTRACT

This thesis has three goals related to the automorphism groups of finite $p$-groups. The primary goal is to provide a complete proof of a theorem showing that, in some asymptotic sense, the automorphism group of almost every finite $p$-group is itself a $p$-group. We originally proved this theorem in a paper with Martin; the presentation of the proof here contains omitted proof details and revised exposition. We also give a survey of the extant results on automorphism groups of finite $p$-groups, focusing on the order of the automorphism groups and on known examples. Finally, we explore a connection between automorphisms of finite $p$-groups and Markov chains. Specifically, we define a family of Markov chains on an elementary abelian $p$-group and bound the convergence rate of some of those chains.

研究动机与目标

• 证明在渐近意义下，几乎所有有限 $p$-群的自同构群本身是一个 $p$-群。
• 综述有限 $p$-群自同构群的已知结果，重点关注其阶与结构性质。
• 建立 $p$-群自同构与初等阿贝尔 $p$-群上马尔可夫链收敛速率之间的新颖联系。
• 提供主渐近定理在自同构群结构方面的完整、修订后的证明，填补先前工作的漏洞。
• 分析下 $p$-列及其在 $p$-群计数与理解自同构群结构中的作用。

提出的方法

• 使用下 $p$-列和自由李代数结构，分析 $p$-群及其自同构的滤子。
• 应用高斯和 $G(x,y) = \sum_{k=0}^{p-1} e^{2\pi i (kx + ky)/p}$ 来估计自同构群计算中出现的特征和。
• 利用涉及 $\cos(2\pi \cdot 2^a / p)$ 的三角函数积估计，以界定高斯和的比值并归一化自同构群的大小。
• 利用高斯和的对称性与 $2^a \mod p$ 的周期性，证明不变性恒等式如 $\Pi_j = \Pi_{t-j}$ 和 $\Gamma_j = \Gamma_{t-j}$。
• 使用恒等式 $\prod_{a=0}^{t-1} G\left(\frac{2^a(2^j-1)}{p}\right) = \Pi_j$ 将自同构群大小与高斯和积联系起来。
• 通过指数衰减估计应用集中度界，证明当 $t \to \infty$ 时 $\left| \frac{\Pi_j}{\Pi_1^2} \right| \to 1$，从而证明归一化和的收敛性。

实验结果

研究问题

• RQ1 随机有限 $p$-群的自同构群的渐近结构是什么？
• RQ2 下 $p$-列与自由李代数结构如何影响 $p$-群的自同构群？
• RQ3 通过自同构作用定义在初等阿贝尔 $p$-群上的马尔可夫链的收敛速率是多少？
• RQ4 高斯和积如何与 $p$-群自同构群的大小和结构相关？
• RQ5 在多大程度上 $p$-群的自同构群仍是 $p$-群？有多少比例的 $p$-群具有 $p$-群自同构群？

主要发现

• 在群阶数趋于无穷的渐近意义下，几乎所有有限 $p$-群的自同构群本身都是 $p$-群。
• 对于 $t^{1/3} \leq j \leq t/2$，比值 $\left| \frac{\Gamma_j}{\Pi_1^2} \right|$ 有界于 $1 \pm \frac{c_1}{d \cdot 2^j}$，其中 $c_1$ 为绝对常数，表明集中性。
• 归一化和 $\frac{1}{dt} \sum_{j=0}^{t-1} \left( \frac{\Pi_j^r}{\Pi_1^{2r}} \right) + \frac{1}{t}\left(1 - \frac{1}{d}\right) \sum_{j=0}^{t-1} \left( \frac{\Gamma_j}{\Pi_1^2} \right)^r \to 1$ 当 $t \to \infty$ 时成立，表明收敛到均匀分布。
• 恒等式 $\Pi_j = \Pi_{t-j}$ 与 $\Gamma_j = \Gamma_{t-j}$ 成立，这是由于 $2^a \mod p$ 的周期性与高斯和参数的对称性所致。
• 乘积 $\prod_{a=0}^{t-1} G\left(\frac{2^a(2^j-1)}{p}\right)$ 等于 $\Pi_j$，将自同构群大小与高斯和积联系起来。
• 通过三角函数估计界定了马尔可夫链的收敛速率，得到 $\left| \frac{\Gamma_j}{\Pi_1^2} \right| \geq 1 - \frac{2^{j-1}\pi}{dp}$ 与同阶上界，表明混合过程虽缓慢但受控。