[论文解读] Notes on Engel groups and Engel elements in groups. Some generalizations

B. Plotkin|ArXiv.org|Jun 6, 2004

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

一句话总结

本文研究了群中的幂零元与 Engel 元，将经典 Engel 群论推广至包含幂零群、可解根和 PI-群的更广群论背景。证明了在 PI-群中，局部幂零根与所有幂零元的集合一致，并确立了残有限、有限生成的 Engel 群必为幂零群，从而拓展了受限 Burnside 型问题与群论中根结构的研究成果。

ABSTRACT

Engel groups and Engel elements became popular in 50s. We consider in the paper the more general nil-groups and nil-elements in groups. All these notions are related to nilpotent groups and nilpotent radicals in groups. These notions generate problems which are parallel to Burnside problems for periodic groups. The first three theorems of the paper are devoted to nil-groups and Engel groups, while the other results are connected with the further generalizations. These generalizations extend the theory to solvable groups and solvable radicals in groups. The paper has two parts. The first one (sections 2-4) deals with old ideas, while the second one (sections 5-9) is devoted to generalizations.

研究动机与目标

• 通过引入幂零群与幂零元，推广 Engel 群论，将经典结果拓展至更广的群论背景。
• 研究所有元素均为幂零元或 Engel 元的群的结构，特别关注其局部幂零根与可解根的关系。
• 确立幂零元集合构成子群的条件，特别是在 PI-群与残有限群中的情形。
• 探讨 Engel 型元与可解根之间的联系，将理论拓展至超越幂零结构的范围。
• 解决与受限 Burnside 问题及有限生成 Engel 群结构相关的开放问题。

提出的方法

• 使用换位子序列 $ e_n(x,y) = [e_{n-1}(x,y), y] $ 定义 Engel 元与幂零元，其中 $ e_1(x,y) = [x,y] $。
• 应用上根系列 $ R_0 riangleleft R_1 riangleleft igcup R_eta = R $ 的概念，分析群及其根的结构。
• 运用 Wilson 定理：有限生成、残有限的 Engel 群是幂零群，以证明某些商群的幂零性。
• 利用 Kaluzhnin 关于单位三角群作用的定理，从在过滤向量空间上的忠实作用推导出幂零性。
• 应用 PI-代数理论中的结果，特别是 Procesi 与 Tokarenko 的定理，证明周期性 PI-群是局部有限的。
• 通过无限序列 $ ar{a} = (a_1, a_2, ar{}) $ 引入无界拟幂零元的概念，要求对所有 $ ar{a} $、所有 $ g $、所有 $ k $ 以及所有相容的 $ (n_1,ar{}) $，有 $ ho_{(n_1,ar{},n_k)}(a_1,ar{},a_k;g) = 1 $。

实验结果

研究问题

• RQ1 在何种条件下，群中所有幂零元的集合构成子群，特别是在 PI-群中？
• RQ2 每个有限生成、残有限的 Engel 群是否必然为幂零群？
• RQ3 PI-群的局部幂零根是否与所有幂零元的集合一致？
• RQ4 PI-群中可解根的结构能否通过元素的 Engel 型条件来刻画？
• RQ5 无界拟幂零元与群的上根系列之间存在何种关系？

主要发现

• 在任意 $ n $-Engel 群的种类 $ E_n $ 中，局部幂零群类构成一个子种类。
• 对任意有限生成的 $ n $-Engel 群 $ G $，商群 $ ilde{F}^n_k = F^n_k / H^n_k $ 是幂零群，为自由 $ n $-Engel 群非幂零性猜想提供了受限解法。
• 在任意 PI-群 $ G $ 中，所有幂零元的集合与局部幂零根 $ extrm{HP}(G) $ 一致，如定理 3 所证明。
• 在具有有限上根系列的群 $ G $ 的上根 $ ilde{R}(G) $ 中，每个元素均为无界拟幂零元。
• 若 $ G $ 是 PI-群，且每对元素生成一个可解子群，则 $ G $ 模其局部幂零根 $ extrm{HP}(G) $ 是可解群。
• 在 PI-群 $ G $ 中，群 $ ilde{R}(G)/R(G) $ 是可解的，尽管 $ ilde{R}(G) $ 本身可能不是局部可解的。