[论文解读] Generalized power central group identities in almost subnormal subgroups of $\GL_n(D)$

Bui Xuan Hai, H. V. Khanh+1 more|arXiv (Cornell University)|Jan 18, 2018

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

一句话总结

本文研究了除环 $D$ 的 $\mathrm{GL}_n(D)$ 中几乎子正规子群的广义幂中心群恒等式（GPCGIs）。证明若此类子群满足非平凡的 GPCGI，则其必为中心子群——在给定恒等式条件下，为这些子群建立了强有力的结构约束。

ABSTRACT

In this paper, we study almost subnormal subgroups of the general linear group $\GL_n(D)$ of degree $n\ge 1$ over a division ring $D$ that satisfy a generalized power central group identity.

研究动机与目标

• 研究满足广义幂中心群恒等式（GPCGIs）的 $\mathrm{GL}_n(D)$ 中几乎子正规子群的结构。
• 确定当此类子群满足非平凡 GPCGI 时，是否必为中央子群。
• 将关于斜线性群中群恒等式与自由子群的已知结果，推广至几乎子正规子群的情形。
• 分析除环中心及这些子群中元素的代数性质的作用。
• 通过证明非中心几乎子正规子群除非为中央子群，否则不能满足非平凡 GPCGIs，从而解决猜想 1.2。

提出的方法

• 利用 $\mathrm{GL}_n(D)$ 上广义群单项式的概念，特别是形如 $w = a_1 x_{i_1}^{\alpha_1} \cdots a_t x_{i_t}^{\alpha_t} a_{t+1}$ 的单项式，其中 $a_i \in \mathrm{GL}_n(D)^*$。
• 应用广义幂中心群恒等式（GPCGIs）的概念，其中 $w(c_1,\dots,c_m)^p \in F$，$p$ 依赖于该元组。
• 运用 Cartan-Brauer-Hua 定理与 Amitsur 定理，分析由几乎子正规子群生成的子环的中心与结构。
• 利用自由积理论与 Nielsen-Schreier 定理，证明当存在非中心代数元素时，某些子群包含非循环自由子群。
• 应用文献 [21] 中关于 $n \geq 2$ 时 $\mathrm{GL}_n(D)$ 中非中心几乎子正规子群的正规性结果，并通过中心不可数性将结论推广至 $n=1$ 的情形。
• 利用文献 [12] 与 [6] 中已建立的结果：当中心不可数且包含非中心代数元素时，$D^*$ 中存在非循环自由子群。

实验结果

研究问题

• RQ1 在何种条件下，$\mathrm{GL}_n(D)$ 的非中心几乎子正规子群可满足非平凡广义幂中心群恒等式？
• RQ2 非中心几乎子正规子群是否可能在不为中央子群的情况下满足 GPCGI？
• RQ3 除环中心的不可数性如何影响自由子群的存在性及 GPCGIs 的有效性？
• RQ4 当几乎子正规子群满足 GPCGI 时，会引出何种结构约束，特别是在 $n=1$ 的情形下？
• RQ5 关于 $D^*$ 中自由子群的结果，在多大程度上可推广至 $D^*$ 的几乎子正规子群？

主要发现

• 若 $\mathrm{GL}_n(D)$ 的非中心几乎子正规子群 $N$ 满足非平凡 GPCGI，则 $N$ 必为中央子群，从而证实了猜想 1.2。
• 当 $n \geq 2$ 时，$\mathrm{GL}_n(D)$ 的任意非中心几乎子正规子群均包含 $\mathrm{SL}_n(D)$，且其子环 $F[N]$ 等于 $\mathrm{M}_n(D)$，从而有 $Z(N) \subseteq F$。
• 当 $n=1$ 且中心 $F$ 无限时，$D^*$ 中非中心几乎子正规子群 $H$ 的中心仍包含于 $F$。
• 若 $D$ 的中心不可数，且 $G$ 是 $D^*$ 中包含关于 $F$ 的非中心代数元素的非中心几乎子正规子群，则 $G$ 包含非循环自由子群。
• 对于无限阶代数元素，$G$ 中存在自由积 $\langle u \rangle * \langle v \rangle$ 时，通过 Nielsen-Schreier 定理可保证非交换自由子群的存在。
• 证明依赖于在 $G$ 中构造元素 $x = c_r(u,v)$ 与 $y = c_r(u,v^2)$，它们生成一个非交换自由群，从而确立了非循环自由子群的存在。