[论文解读] On the polynomial automorphisms of a group

G. Endimioni|ArXiv.org|Apr 4, 2007

Finite Group Theory Research参考文献 8被引用 3

一句话总结

本文研究群论中的多项式自同构，证明对于任意类数 $k \geq 2$ 的幂零群 $G$，由所有多项式自同构生成的群 $\mathrm{P}(G)$ 是类数为 $k-1$ 的幂零群。对于可解群，进一步证明 $\mathrm{P}(G)$ 本身也是可解群，将有限群上的已知结果推广至无限幂零群与可解群，并提供了无限幂零群与可解群中多项式自同构的结构特征。

ABSTRACT

We prove that if a group is nilpotent (resp. metabelian), then so is the subgroup of its automorphism group generated by all polynomial automorphisms.

研究动机与目标

• 将已知的关于有限群中多项式自同构的结果推广至无限群，特别是幂零群与可解群。
• 确定由群 $G$ 的所有多项式自同构生成的群 $\mathrm{P}(G)$ 的结构性质，特别是其幂零性与可解性。
• 解决关于 $\mathrm{P}(G)$ 是否继承自 $G$ 的幂零性或可解结构的开放问题，尤其当 $G$ 为无限群时。
• 为理解多项式自同构提供统一框架，基于换位子恒等式与可解群中自同态构造。

提出的方法

• 对群 $G$ 的幂零类数 $k$ 使用归纳法，通过商映射 $G \to G/\zeta(G)$ 简化问题，其中 $\zeta(G)$ 是 $G$ 的中心。
• 应用关键引理（引理 2.1），该引理将两个多项式自同构的复合表示为换位子形式，当某个固定元素的共轭彼此交换时成立。
• 利用在类数 $\leq 2$ 的幂零群中，所有多项式自同构彼此交换的事实，从而在该情况下得到 $\mathrm{P}(G)$ 为阿贝尔群。
• 在可解群中构造形如 $x \mapsto x \prod [x, v_i]^{\eta_i}$ 的自同态，并在适当条件下证明其为自同构。
• 利用 IA-自同构（即在导出子群上点固定）的结构，证明在两生成元可解群中，此类自同构为多项式自同构。
• 应用换位子恒等式，如 $[x,yz] = [x,z][x,y][x,y,z]$ 与 $[x,y,z] = [x,y]^{-1}[x,z]^{-1}[x,yz]$，以在证明中操控表达式。

实验结果

研究问题

• RQ1 当 $G$ 是类数 $k \geq 2$ 的无限幂零群时，多项式自同构群 $\mathrm{P}(G)$ 是否仍为幂零群？
• RQ2 当 $G$ 是可解群时，$\mathrm{P}(G)$ 是否为可解群，即使 $G$ 是无限群？
• RQ3 每个两生成元可解群的 IA-自同构是否都能表示为多项式自同构？
• RQ4 对于幂零群 $G$，$\mathrm{P}(G)$ 的幂零类数与 $G$ 的幂零类数之间有何关系？
• RQ5 为何在三生成元或更多生成元的可解群中，多项式自同构性质对 IA-自同构不成立？

主要发现

• 对于任意类数 $k \geq 2$ 的幂零群 $G$，由所有多项式自同构生成的群 $\mathrm{P}(G)$ 是类数恰好为 $k-1$ 的幂零群。
• 在类数 $\leq 2$ 的幂零群中，$\mathrm{P}(G)$ 是阿贝尔群，因为所有多项式自同构彼此交换。
• 对于任意可解群 $G$，群 $\mathrm{P}(G)$ 本身也是可解群，将有限群中的结构结果推广至无限群。
• 在两生成元可解群中，每个 IA-自同构都是多项式自同构，这为 C. K. Gupta 的一个结果提供了另一种证明。
• $\mathrm{P}(G)$ 是 $\mathrm{A}(G)$ 的正规子群，并且包含内自同构群 $\mathrm{I}(G)$ 作为其正规子群。
• 当 $d \geq 3$ 时，秩为 $d$ 的自由可解群 $M_d$ 的 IA-自同构群不包含于 $\mathrm{P}(M_d)$ 中，因为 $\mathrm{P}(M_d)$ 是可解群，而 IA-自同构群包含一个秩为 $d$ 的自由子群。