[論文レビュー] Class preserving automorphisms of finite $p$-groups: A survey

Manoj K. Yadav|arXiv (Cornell University)|Feb 6, 2010

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

ひとこと要約

このサーベイは、有限 $p$-群のクラス保存自己同型についての既知の結果を包括的にまとめ、$\operatorname{Aut}_c(G)$ および $\operatorname{Out}_c(G)$ の構造と性質に焦点を当てる。非アーベル $p$-群における $\operatorname{Aut}_c(G)$ の最大順序は、正確に位数 $p^3$ の付加的特殊 $p$-群、位数 $p^4$ でクラス 3 の群、および特定の同型族（バーンサイドの群 $W$ と群 $R$ を含む）の位数 $p^6$ の群で達成される。主な貢献は、理論的上限に達する $p$-群の完全な分類である。

ABSTRACT

In this short survey article, we try to list maximum number of known results on class preserving automorphisms of finite $p$-groups. We conclude the survey with some interesting (at least for the author) open problems on this topic.

研究の動機と目的

• 有限 $p$-群のクラス保存自己同型に関する既知の結果を体系的に整理・まとめること。
• 理論的上限に達する $|\operatorname{Aut}_c(G)|$ を実現する有限 $p$-群を特定・分類すること。
• $\operatorname{Out}_c(G)$、$\operatorname{Aut}_c(G)$ およびそれらの $p$-群における構造的制約に関する未解決研究問題を提示・動機づけること。
• クラス保存自己同型と、整数群環やコhomオロジー的不変量を含むより広範な代数的構造との関係を調査すること。

提案手法

• バーンサイド、ウォール、ガシュツ、サフ、ハインケン、マリノフスカなどによる $\operatorname{Aut}_c(G)$ および $\operatorname{Out}_c(G)$ に関する基礎的結果のサーベイ。
• サフが導入した $c$-閉部分群の概念とコホモロジー的技法を用いて $\operatorname{Aut}_c(G)$ を分析すること。
• 可解クラス、導来部分群 $\gamma_2(G)$、フレッティーニ部分群 $\Phi(G)$ などの群論的道具を用いて極値ケースを分類すること。
• 同型族と群の提示（例：$W$ と $R$ の提示）を分析し、$|\operatorname{Aut}_c(G)|$ が最大値に達する条件を同定すること。
• 最小生成集合に対する共轭類サイズ $|x^G|$ の積を用いて $|\operatorname{Aut}_c(G)|$ の上限を導出すること。
• 構造定理（例：クラス 2 群では $\operatorname{Aut}_c(G) \leq \operatorname{Aut}_{\text{cent}}(G)$）を用いて自己同型群の制約と分類を行うこと。

実験結果

リサーチクエスチョン

• RQ1 可解クラス 2 の有限 $p$-群 $G$ に対して、$\operatorname{Out}_c(G) = 1$ となるのはどのような場合か？
• RQ2 有限 $p$-群の可解クラス 2 に対して、$\operatorname{Aut}_{\text{cent}}(G) = \operatorname{Aut}_c(G)$ が成り立つ必要十分条件は何か？
• RQ3 どのような有限 $p$-群が $\operatorname{Aut}(G) = \operatorname{Aut}_c(G)$ を満たすか？
• RQ4 可解クラス $c > 2$ の $p$-群において、$\operatorname{Out}_c(G)$ の可解クラスの鋭い上限は何か？
• RQ5 $|\operatorname{Aut}_c(G)| = |\gamma_2(G)|^d$ が成り立つのはいつか？ここで $d$ は最小生成集合のサイズである。

主な発見

• 理論的上限 $|\operatorname{Aut}_c(G)|$ が達成されるのは、$G$ が位数 $p^3$ の付加的特殊 $p$-群、クラス 3 で位数 $p^4$ の群、または位数 $p^6$ の群 $W$ や $R$ と同型族である場合に限る。
• 奇素数 $p$ を持つ位数 $p^3$ の非アーベル $p$-群に対して、$|\operatorname{Aut}_c(G)| = p^8$ であり、理論的上限と一致する。
• バーンサイドが構成した群 $W$ に対して $|\operatorname{Aut}_c(W)| = p^8$ であり、これは偶数 $n$ に対しても上限が最適であることを確認している。
• 不等式 $|\operatorname{Aut}_c(G)| \leq \prod_{i=1}^d |x_i^G|$ は鋭く、$G$ が $|\operatorname{Aut}_c(G)| = |\gamma_2(G)|^d$ を満たす場合にのみ等号が成り立つ。
• $(\operatorname{Z}(G) \leq \gamma_2(G)$ を満たす $p$-群に対して、$\operatorname{Aut}_{\text{cent}}(G)$ は $p$-群であるため、$\operatorname{Aut}_c(G)$ の構造が制約を受ける。
• 定理 5.7 の分類により、最大の $|\operatorname{Aut}_c(G)|$ を達成する $p$-群は、4 種類の同型族に限ることが示されている。