[論文レビュー] Finite groups with a certain number of elements pairwise generating a non-nilpotent subgroup

Aliréza Abdollahi, A. Mohammadi Hassanabadi|ArXiv.org|Nov 28, 2005

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

ひとこと要約

本稿では、任意の $ n+1 $ 個の元からなる部分集合が、非冪零部分群を生成するようなペアを含む有限群を調査し、群のサイズに関する上限を確立し、このような条件を満たす群の特徴づけをした。主な結果として、$(\mathcal{N},n)$ 条件を満たす半単純群のサイズの上限を示し、$(\mathcal{N},21)$ および $(\mathcal{A},21)$ を満たす非可解群の完全な特徴づけを行い、それぞれ $ G/Z^*(G) \cong A_5 $ または $ G \cong Z(G) \times A_5 $ であることが示された。

ABSTRACT

Let $n>0$ be an integer and $\mathcal{X}$ be a class of groups. We say that a group $G$ satisfies the condition $(\mathcal{X},n)$ whenever in every subset with $n+1$ elements of $G$ there exist distinct elements $x,y$ such that $$ is in $\mathcal{X}$. Let $\mathcal{N}$ and $ \mathcal{A}$ be the classes of nilpotent groups and abelian groups, respectively. Here we prove that: (1) If $G$ is a finite semi-simple group satisfying the condition $(\mathcal{N},n)$, then $|G|

研究の動機と目的

• 有限群が条件 $(\mathcal{X},n)$ — すなわち、任意の $ n+1 $ 個の元からなる部分集合に、クラス $\mathcal{X}$ に属する部分群を生成するペアが存在する — を満たす場合、特に冪零およびアーベルクラスに対して、そのサイズが有界であるかどうかを同定すること。
• 非可解群が $(\mathcal{N},21)$ および $(\mathcal{A},21)$ を満たす場合の特徴づけを行い、その商構造を同定すること。
• $(\mathcal{A},n)$ を満たす可解群の導来長の上限を調査し、$ n $ を用いて上界を確立すること。
• $(\mathcal{X},n)$ 条件と、クラス $\mathcal{X}$ に属する $ n $ 個の部分群の和集合との関係を調査し、特に冪零およびアーベル群に対して検討すること。

提案手法

• 非可解および半単純の場合に特に有効な、超中心 $ Z^*(G) $ を用いた有限群の構造解析。
• 群の拡大理論およびシュール乗数の応用により、特に $ A_5 $ および $ \mathrm{SL}(2,5) $ の文脈で中心拡大を分析し、特定の群構造が除外されることを示した。
• 普遍係数定理を用いて、$ M(G/B) $ を通じたコhomology的データと交差部分群および交換子部分群との関係を関係づけた。
• $ n $ に関する帰納法を用い、可解群が $(\mathcal{A},n)$ を満たす場合の導来長を上限づけた。導来系列の各項による商群が $(\mathcal{A},n-1)$ 条件を満たすという事実を利用した。
• ネイマンの定理（群が $(\mathcal{A},n)$ を満たすための必要十分条件は中心を含む有限群であること）を活用し、問題を有限商群に還元した。
• Sylow部分群の解析と元ごとの交換子の議論を用い、中心の元がすべての他の元と可換であることを示し、直積分解が得られることを導いた。

実験結果

リサーチクエスチョン

• RQ1 $(\mathcal{N},n)$ 条件を満たす有限半単純群の最大サイズは何か？ そして、これは $ n $ の関数として有界にできるか？
• RQ2 どの有限非可解群が $(\mathcal{N},21)$ 条件を満たすか？ また、その超中心による商群の構造は？
• RQ3 $ n $ がどの値のとき、$(\mathcal{A},n)$ を満たすすべての有限群が $ n $ 個のアーベル部分群の和集合であると保証されるか？
• RQ4 $(\mathcal{A},n)$ を満たす可解群の最大導来長は何か？ そして、これは $ n $ に依存するか？
• RQ5 $(\mathcal{X},n)$ 条件が、群がクラス $\mathcal{X}$ に属する $ n $ 個の部分群の和集合であることを示すための条件は何か？

主な発見

• 有限半単純群が $(\mathcal{N},n)$ を満たす場合、ある定数 $ c $ に対して $ |G| < c^{2[\log_{21}n]n^{2}}[\log_{21}n]! $ が成り立ち、これは $ n $ のみに依存するサイズの上限を与える。
• 有限非可解群が $(\mathcal{N},21)$ を満たすための必要十分条件は $ G/Z^*(G) \cong A_5 $ であることであり、超中心による商群を用いた完全な特徴づけがなされた。
• 非冪零有限群が $(\mathcal{N},4)$ を満たすための必要十分条件は $ G/Z^*(G) \cong S_3 $ であることであり、この場合の完全な構造的特徴づけが得られた。
• 非可解群が $(\mathcal{A},21)$ を満たすための必要十分条件は $ G \cong Z(G) \times A_5 $ であることであり、中心が直積因子であることが示され、商群が $ A_5 $ であることがわかった。
• 可解群が $(\mathcal{A},n)$ を満たす場合、導来長 $ d $ は $ n \in \{1,2\} $ ならば $ d = 1 $ であり、$ n \geq 2 $ ならば $ d \leq 2n - 3 $ を満たす。これはタイトな上限である。
• $(\mathcal{X},n)$ 条件が、$\mathcal{X}$ が部分群閉である場合、群がクラス $\mathcal{X}$ に属する $ n $ 個の部分群の和集合であることを示す。有限の場合、$\mathcal{X} = \mathcal{N}$ および $\mathcal{X} = \mathcal{A}$ に対してもこの性質が成り立つ。