[論文レビュー] On $Π$-permutable subgroups of finite groups

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

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

ひとこと要約

本稿は、完全なハル $\Pi$-集合を用いて、S-準正規性を一般化することで、有限群における $\Pi$-可換部分群を導入し、その性質を調査する。$\Pi$-可換部分群は $\sigma$-部分正規であり、その正規閉包は $\sigma$-冪零であることが示され、分割に基づく群構造のもとで、既知の $\sigma$-冪零および $\sigma$-可解群に関する結果が拡張される。

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.

研究の動機と目的

• 有限群における完全なハル $\Pi$-集合を用いて、$\pi$-可換性の概念を $\Pi$-可換性へ一般化すること。
• 素数の $\sigma$-分割の枠組みの中で、$\Pi$-可換部分群の埋め込み性質を調査すること。
• S-準正規および $\sigma$-冪零群に関する既知の結果を、$\Pi$-可換性のもとでより広い部分群のクラスへ拡張すること。
• 適切な群の条件下で、$\Pi$-可換部分群が $\sigma$-部分正規であり、その正規閉包が $\sigma$-冪零であることを証明すること。
• 正規化子 $N_G(H)$ が $\Pi$-可換であることを示し、S-準正規部分群の性質を一般化すること。

提案手法

• 完全なハル $\Pi$-集合を、$\Pi \cap \sigma(G)$ に属する各 $\sigma_i$ に対して、ちょうど一つのハル $\sigma_i$-部分群を含む集合として定義する。
• $\Pi$-準正規性を、ある完全なハル $\Pi$-集合 $\mathcal{H}$ に対して $H$ が $\mathcal{H}^G$-可換であると定義する。
• $\sigma$-主要因子をもつ $\sigma$-部分正規性の鎖を用いて、部分群構造を分析する。
• $\sigma$-冪零残差 $G^{N_\sigma}$ を用いて、$\Pi$-可換部分群の閉包および正規構造を研究する。
• シュール–ザッセンハウスおよびハル部分群補完定理を用いて、最小正規部分群およびハル $\Pi'$-部分群を分析する。
• 群作用および交換子の議論を用いて、$[L_j^G, E] = 1$ が矛盾を引き起こすことを証明し、$\Pi$-可換性が保たれることを保証する。

実験結果

リサーチクエスチョン

• RQ1 群 $G$ において、$\Pi$-可換部分群 $H$ が $\sigma$-部分正規であるのはどのような条件下か？
• RQ2 正規閉包 $H^G$ が $\sigma$-冪零であるのはいつか？
• RQ3 $\Pi$-可換部分群 $H$ の正規化子 $N_G(H)$ は、$G$ において $\Pi$-可換か？
• RQ4 完全なハル $\Pi'$-集合の存在が、$\Pi$-可換部分群の構造にどのように影響するか？
• RQ5 $G$ がハル部分群およびその共役に作用する方法を用いて、$\Pi$-可換性を特徴づけられるか？

主な発見

• 群 $G$ が $\Pi$-完全であり、$D = G^{N_\sigma}$ に対して $H$ が $\mathcal{H}^D$-可換であるならば、$H$ は $G$ において $\sigma$-部分正規であり、$H^G$ は $\Pi$-群である。
• 部分群 $H$ が $\Pi$-可換であり、$G$ が完全なハル $\Pi'$-集合 $\mathcal{K}$ を持ち、$H$ が $\mathcal{K}$-可換であるならば、$H^G / H_G$ は $\sigma$-冪零である。
• 正規化子 $N_G(H)$ は $G$ において $\Pi$-可換であり、任意の完全なハル $\Pi$-集合 $\mathcal{H}$ に対して、$H$ が $\mathcal{H}^G$-可換であるならば、$N_G(H)$ は $\mathcal{H}^G$-可換である。
• 群 $G$ が $\Pi'$-完全なシロウ型の群であり、$H$ が $\Pi$-可換であるならば、$H^G$ は $\sigma$-冪零である。
• $H$ が $\Pi$-可換であり、$G$ が完全なハル $\Pi'$-集合を持つと仮定すると、$H^G$ が $\sigma$-冪零でない場合には矛盾が生じる。これにより、正規閉包が $\sigma$-冪零であることが証明される。
• 証明では、$L_i^{G} \nleq C_G(E)$ かつ $R$ が唯一の最小正規部分群であることが示され、これにより $G$ の構造および $\Pi$-可換性の条件が保たれる。