[論文レビュー] Finite $p$-groups of conjugate type $\{ 1, p^3 \}$

Tushar Kanta Naik, Manoj K. Yadav|arXiv (Cornell University)|Jul 31, 2017

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

ひとこと要約

この論文は、同型型 ${1, p^3}$ を持つ有限 $p$-群を同型型の下で分類し、それが常に冪指数2であることを証明する。4つの同型型が特定される：$p^3$ 階の交換子群をもつカミナ $p$-群、伊藤の構成による $G_3$、奇数 $p$ に対する $G_3$ の2つの中心商。$p=2$ の場合も同様の分類が成り立ち、位数 $2^{10}$、指数4の2群の族が含まれる。

ABSTRACT

We classify finite $p$-groups, upto isoclinism, which have only two conjugacy class sizes $1$ and $p^3$. It turns out that the nilpotency class of such groups is $2$.

研究の動機と目的

• 共役類サイズが 1 と $p^3$ のみである有限 $p$-群を同型型の下で分類すること。
• このような群の冪指数クラスを特定し、クラス3の群がこの共役型に対して存在しうるかを解消する疑問に答えること。
• 共役型 $\{1,p\}$ および $\{1,p^2\}$ の $p$-群の既存の分類を、共役型 $\{1,p^3\}$ に拡張すること。
• $p=2$ の場合、特に指数と同型型の観点で奇数 $p$ とは異なる構造を示す点を含めること。
• 共役型 $\{1,8\}$ の $2$-群について、完全な同型型分類を提供すること、特に特定の群 $\mathcal{G}$ の中心商を含むこと。

提案手法

• 共役型 $\{1,p^3\}$ を持つ $p$-群を分類するための同型型を同値関係として用い、この不変量に基づく群の分類に帰着する。
• カミナ群および特別 $p$-群の理論を用いて、冪指数2で $|G'| = p^3$ を持つ群を分析する。
• 伊藤の $G_r$ の構成を用い、指数 $p$、位数 $p^{10}$ で共役類サイズが $1$ と $p^3$ の特別 $p$-群 $G_3$ を定義する。
• $G_3$ の位数 $p$ および $p^2$ の部分群による中心商を分析し、特に $p>2$ の場合に追加の同型型を同定する。
• $p=2$ の場合、ウィルケンスの分類結果を用いて特定の同型型を除外し、カミナ群と $\mathcal{G}_3$（位数 $2^{10}$ の2群）の商のみが残ることを示す。
• フレッティーニ部分群 $\Phi(G)$、中心 $Z(G)$、交換子群 $G'$ を含む群論的道具を用い、$Z(G) \leq G'$ の条件で構造を制約する。

実験結果

リサーチクエスチョン

• RQ1 共役型 $\{1, p^3\}$ を持つ有限 $p$-群は、冪指数2より大きい冪指数をもつことがあるか？
• RQ2 共役類サイズが $1$ と $p^3$ である有限 $p$-群の同型型は何か？
• RQ3 奇数の素数 $p$ と $p=2$ との間で、同型型はどのように異なるか？
• RQ4 伊藤の群 $G_3$ の商でない共役型 $\{1, p^3\}$ を持つ $p$-群は存在するか？
• RQ5 $2$-群の共役型 $\{1,8\}$ の構造は何か？また、それらは族 $\hat{\mathcal{G}}_3$ とどのように関係するか？

主な発見

• $p > 2$ の場合、共役型 $\{1, p^3\}$ を持つ有限 $p$-群は、冪指数クラスが正確に2である。
• $p > 2$ の場合、このような群は4つのタイプのいずれかに同型型である：$|G'| = p^3$ を持つカミナ群、$G_3$、$|M| = p$ である $G_3/M$、および $|N| = p^2$ で2つの交換子で生成され、非平方パrameterを持つ $G_3/N$。
• 伊藤の構成による群 $G_3$ は、指数 $p$、位数 $p^{10}$、共役類サイズが $1$ と $p^3$ の特別 $p$-群である。
• $p = 2$ の場合、分類にはカミナ $2$-群（$|G'| = 8$）、位数 $2^{10}$ の群 $\mathcal{G} \in \hat{\mathcal{G}}_3$、および $|M| = 2$、$|N| = 4$ である中心商 $\mathcal{G}/M$ と $\mathcal{G}/N$ が含まれる。
• $2$-群の族 $\hat{\mathcal{G}}_3$ は、位数 $2^{10}$、冪指数2の非同型群をちょうど989個含み、これらすべてが共役型 $\{1,8\}$ を持つ。
• 共役型 $\{1, p^3\}$ を持つ群は、冪指数3にはなりえない。これは、$Z(G)$ と $G'$ の構造、および $|G:Z(G)| = p^4$ が $G$ が4つの生成元で最小生成されることを示し、$G_3$ もしくはその商と同型型であることを矛盾により示している。