[論文レビュー] On the supersoluble residual of mutually permutable products

В. С. Монахов|arXiv (Cornell University)|Dec 7, 2016

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

ひとこと要約

本稿では、2つの超可解部分群 $A$ と $B$ の互いに可換な積として得られる有限群 $G = AB$ において、超可解残渣 $G^{\frak{U}}$ が、導来部分群 $G'$ の幂零残渣に等しく、かつ交換子部分群 $[A,B]$ の幂零残渣にも等しいことを確立する。この結果は $p$-超可解部分群へ一般化され、$G^{p\frak{U}} = (G')^{\frak{E}_{p'}\frak{N}_p} = [A,B]^{\frak{E}_{p'}\frak{N}_p}$ が成り立つ。これにより、このような積における残渣構造が明確に特徴づけられる。

ABSTRACT

We prove that if a group $G=AB$ is the mutually permutable product of the supersoluble subgroups $A$ and $B$, then the supersoluble residual of $G$ coincides with the nilpotent residual of the derived subgroup $G'$.

研究の動機と目的

• 有限群 $G = AB$ が2つの超可解部分群 $A$ と $B$ の互いに可換な積であるとき、超可解残渣 $G^{\frak{U}}$ の構造を特定すること。
• 超可解残渣が導来部分群 $G'$ の幂零残渣に一致するかどうかを調査すること。
• $p$-超可解部分群へ特徴づけを拡張し、$p$-超可解残渣 $G^{p\frak{U}}$ を $p$-幂零残渣の観点から特定すること。
• $[A,B]$ が幂零であるような場合に、$G$ が超可解または $p$-超可解であるための十分条件を確立すること。

提案手法

• すべての $U \trianglelefteq A$、$V \trianglelefteq B$ に対して $UB = BU$ および $AV = VA$ を満たす、互いに可換な積の性質を用いて、部分群構造を分析する。
• 特に、形成 $\frak{F}$ に対する残渣構成 $G^{\frak{F}}$（商が形成 $\frak{F}$ に属する最小の正規部分群）を用いて、$G^{\frak{U}}$ および $(G')^{\frak{N}}$ を分析する。
• 補題 1(3) からの恒等式 $G' = A'B'[A,B]$ を用いて、導来部分群を分解し、その残渣構造を分析する。
• 補題 3 により、部分可換 $p$-幂零または幂零部分群は、$G$-不変な包とされ、同じクラスに留まるという事実を用い、正規包における幂零性を保つ。
• 補題 2 で示される形成積の恒等式 $ (G^{\frak{A}})^{\frak{N}} = G^{\frak{N}\frak{A}} $ および $ G^{\frak{F}\frak{H}} = (G^{\frak{H}})^{\frak{F}} $ を用いて、異なる残渣を関連付ける。
• 補題 5 で示されるフィット形成の性質を活用し、$A$ と $B$ が超可解であるとき、$G^{\frak{U}}$ を $[A,B]^{\frak{N}}$ として表現する。これは、$A'$ と $B'$ の正規包による残渣の分解によって達成される。

実験結果

リサーチクエスチョン

• RQ1 超可解部分群 $A$ と $B$ の互いに可換な積 $G = AB$ における超可解残渣 $G^{\frak{U}}$ は、導来部分群 $G'$ の幂零残渣に一致するか？
• RQ2 交換子部分群 $[A,B]$ は、$G$ の超可解残渣を特定するのに十分か？
• RQ3 この結果は $p$-超可解部分群へ拡張可能か？また、$G^{p\frak{U}}$ は $G'$ の $p$-幂零残渣に等しいか？
• RQ4 $[A,B]$ が幂零または $p$-幂零であるとき、$G$ が超可解または $p$-超可解であるための条件は何か？
• RQ5 $A'$ と $B'$ の $G$ における正規包は、$G$ の残渣構造とどのように関係するか？

主な発見

• 超可解部分群 $A$ と $B$ の互いに可換な積 $G = AB$ における超可解残渣 $G^{\frak{U}}$ は、導来部分群の幂零残渣に等しく、すなわち $G^{\frak{U}} = (G')^{\frak{N}}$ が成り立つ。
• 超可解残渣 $G^{\frak{U}}$ は、交換子部分群 $[A,B]$ の幂零残渣にも等しく、$G^{\frak{U}} = [A,B]^{\frak{N}}$ が成り立つ。
• $[A,B]$ が幂零であれば、Corollary 1.1 より $G$ は超可解である。
• $p$-超可解部分群 $A$ と $B$ に対して、$p$-超可解残渣 $G^{p\frak{U}}$ は $G'$ の $p$-幂零残渣に等しく、$G^{p\frak{U}} = (G')^{\frak{E}_{p'}\frak{N}_p}$ が成り立つ。
• $p$-超可解残渣 $G^{p\frak{U}}$ は、$[A,B]$ の $p$-幂零残渣にも等しく、$G^{p\frak{U}} = [A,B]^{\frak{E}_{p'}\frak{N}_p}$ が成り立つ。
• $[A,B]$ が $p$-幂零であれば、Corollary 2.1 より $G$ は $p$-超可解である。