[论文解读] On $Π$-permutable subgroups of finite groups

Wenbin Guo, Alexander N. Skiba|arXiv (Cornell University)|Jun 10, 2016

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

一句话总结

本文引入并研究了有限群中的$Π$-可 permute 子群，通过完整 Hall $Π$-集推广了S-拟正规性。研究证明$Π$-可 permute 子群是$σ$-子正规的，且其正规包是$σ$-幂零的，扩展了基于划分的群结构下关于$σ$-幂零和$σ$-可解群的已知结果。

ABSTRACT

Let $σ=\{σ_{i} | i\in I\}$ be some partition of the set of all primes $\Bbb{P}$ and $Π$ a non-empty subset of the set $σ$. A set ${\cal H}$ of subgroups of a finite group $G$ is said to be a \emph{ complete Hall $Π$-set} of $G$ if every member of ${\cal H}$ is a Hall $σ_{i}$-subgroup of $G$ for some $σ_{i}\in Π$ and ${\cal H}$ contains exact one Hall $σ_{i}$-subgroup of $G$ for every $σ_{i}\in Π$ such that $σ_i\cap π(G) eq\emptyset$. A subgroup $H$ of $G$ is called \emph{$Π$-quasinormal} or \emph{$Π$-permutable} in $G$ if $G$ possesses a complete Hall $Π$-set ${\cal H}=\{H_{1}, \ldots , H_{t} \}$ such that $AH_{i}^{x}=H_{i}^{x}A$ for any $i$ and all $x\in G$. We study the embedding properties of $H$ under the hypothesis that $H$ is $Π$-permutable in $G$. Some known results are generalized.

研究动机与目标

• 通过有限群中的完整 Hall $Π$-集，将$\pi$-可 permute 的概念推广为$Π$-可 permute。
• 在素数的$\sigma$-划分框架下，研究$Π$-可 permute 子群的嵌入性质。
• 在$Π$-可 permute 条件下，将关于$S$-拟正规和$σ$-幂零群的已知结果推广到更广泛的子群类。
• 在适当的群条件下，证明$Π$-可 permute 子群是$σ$-子正规的，且其正规包是$σ$-幂零的。
• 建立$Π$-可 permute 子群的正规化子也是$Π$-可 permute 的结论，推广了$S$-拟正规子群的性质。

提出的方法

• 将完整 Hall $\Pi$-集定义为：对每个$\sigma_i \in \Pi \cap \sigma(G)$，恰好包含一个 Hall $\sigma_i$-子群的集合。
• 将$\Pi$-拟正规性定义为：存在某个完整 Hall $\Pi$-集$\mathcal{H}$，使得$H$是$\mathcal{H}^G$-可 permute 的。
• 使用具有$\sigma$-主要因子的$\sigma$-子正规性链来分析子群结构。
• 应用$\sigma$-幂零剩余$G^{N_\sigma}$来研究$\Pi$-可 permute 子群的闭包与正规结构。
• 运用Schur–Zassenhaus定理和Hall子群补定理，分析极小正规子群与Hall $\Pi'$-子群。
• 通过群作用与换位子论证，证明$[L_j^G, E] = 1$会导致矛盾，从而确保$\Pi$-可 permute 性质得以保持。

实验结果

研究问题

• RQ1 在何种条件下，$\Pi$-可 permute 子群$H$在$G$中是$\sigma$-子正规的？
• RQ2 何时$\Pi$-可 permute 子群的正规包$H^G$是$\sigma$-幂零的？
• RQ3 $\Pi$-可 permute 子群$H$的正规化子$N_G(H)$在$G$中是否也是$\Pi$-可 permute 的？
• RQ4 完整 Hall $\Pi'$-集的存在如何影响$\Pi$-可 permute 子群的结构？
• RQ5 $\Pi$-可 permute 性能否通过$G$对Hall子群及其共轭作用来刻画？

主要发现

• 若$G$是$\Pi$-完全的，且$H$是$\mathcal{H}^D$-可 permute 的（其中$D = G^{N_\sigma}$），则$H$在$G$中是$\sigma$-子正规的，且$H^G$是$\Pi$-群。
• 若$H$是$\Pi$-可 permute 的，且$G$具有一个完整 Hall $\Pi'$-集使得$H$是$\mathcal{K}$-可 permute 的，则$H^G / H_G$是$\sigma$-幂零的。
• $N_G(H)$在$G$中是$\Pi$-可 permute 的，且对任意满足$H$是$\mathcal{H}^G$-可 permute 的完整 Hall $\Pi$-集$\mathcal{H}$，$N_G(H)$是$\mathcal{H}^G$-可 permute 的。
• 若$G$是$\Pi'$-完全的Sylow型群，且$H$是$\Pi$-可 permute 的，则$H^G$是$\sigma$-幂零的。
• 若假设$H$是$\Pi$-可 permute 的，且$G$具有完整 Hall $\Pi'$-集，但$H^G$不是$\sigma$-幂零的，则导致矛盾，从而证明正规包是$\sigma$-幂零的。
• 证明表明$L_i^{G} \nleq C_G(E)$且$R$是唯一的极小正规子群，从而确保$G$的结构和$\Pi$-可 permute 条件得以保持。