[論文レビュー] Transitive permutation groups of prime-squared degree

Edward Dobson, Dave Witte|arXiv (Cornell University)|Dec 19, 2000

graph theory and CDMA systems被引用数 11

ひとこと要約

この論文は、素数 $p$ に対する次数 $p^2$ の推移的置換群を分類し、Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型でないものを明示的に特定し、残りのケースについては一般構成を与える。主な貢献は、大多数の素数 $p$ に対して完全な分類を提供し、Cayley 同型問題、Cayley 図の自己同型群、および次数 $p^2$ の非正規 Cayley 図の分類に応用する。結果として、アーベル群の次数 $p^2$ における置換群論および代数的グラフ理論における長年の問題が解決される。

ABSTRACT

We explicitly determine all of the transitive groups of degree p-squared, p a prime, whose Sylow p-subgroup is not the wreath product of two cyclic groups of order p. Furthermore, we provide a general description of the transitive groups of degree p-squared whose Sylow p-subgroup is such a wreath product, and explicitly determine most of them. As applications, we solve the Cayley Isomorphism problem for Cayley objects of an abelian group of order p-squared, explicitly determine the full automorphism group of Cayley graphs of abelian groups of order p-squared, and find all nonnormal Cayley graphs of order p-squared.

研究の動機と目的

• Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型でない次数 $p^2$ のすべての推移的置換群を分類すること。
• Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型である次数 $p^2$ の推移的群について、一般構成を提供し、それらの多くを明示的に特定すること。
• 分類を応用して、次数 $p^2$ のアーベル群における Cayley 同型問題を解くこと。
• 次数 $p^2$ のアーベル群の Cayley 図の完全な自己同型群を明示的に特定すること。
• 次数 $p^2$ のすべての非正規 Cayley 図を同定すること。
• Sylow 部分群の解析と群作用理論を用いて、次数 $p^2$ の推移的群の構造を解明すること。
• Sylow $p$-部分群と正規部分群構造に基づく推移的群の分類フレームワークを確立すること。

提案手法

• 次数 $p^2$ に拡張するため、素数次数における Burnside の定理を出発点とし、定理 1.5 を用いて推移的群を三つの場合に分類する：2重推移的、Sylow $p$-部分群が正規、または Sylow $p$-部分群が $\mathbb{Z}_p \times \mathbb{Z}_p$、$P_{p-1}'$、または $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型である。
• 正規化子の計算、加群作用、半直積構成を含む群論的技法を用いて、Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型である群の構造を分析する。
• 2-閉群の概念と wreath 積構成を用いて、$G = G_1 \wr G_2$ となる群 $G$ を記述する。ここで $G_1$ および $G_2$ は次数 $p$ の2-閉群である。
• H-加群と自己同型群の理論を用いて、Cayley 図の自己同型群の構造を分析し、正規性の条件を同定する。
• 2重推移的群および単純な群の分類結果を応用し、$G = S_{p^2}$ または $G \leq \mathop{\rm P\Gamma L}\nolimits(d,q)$ かつ $(q^n - 1)/(q - 1) = p^2$ となる場合を特定する。
• ブロック系と安定化子の解析を用いて、非推移的 Cayley 図の自己同型群を特徴付け、非正規性の条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型でない次数 $p^2$ の推移的置換群の完全な分類は何か？
• RQ2 Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型である次数 $p^2$ のすべての推移的群をどのように明示的に構成できるか？
• RQ3 アーベル群の次数 $p^2$ の Cayley ディグラフが非正規であるための条件は何か？
• RQ4 アーベル群の次数 $p^2$ の Cayley 図の自己同型群は、接続集合と群構造にどのように依存するか？
• RQ5 アーベル群の次数 $p^2$ における非正規 Cayley 図の完全な集合は何か？
• RQ6 どのような条件下で、次数 $p^2$ の推移的群が2重推移的または単純な群となるか？

主な発見

• 論文は、$p \notin \{11, 23\}$ かつ任意の素数冪 $q$ および自然数 $d$ に対して $p \neq (q^d - 1)/(q - 1)$ であるようなすべての素数 $p$ に対して、次数 $p^2$ の推移的置換群の完全な分類を提供する。
• Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型でない次数 $p^2$ の推移的群は、5つのケースに明示的に分類される：2重推移的、単純な単純的、正規 Sylow $p$-部分群をもつ非推移的、または Sylow $p$-部分群が $\mathbb{Z}_p \times \mathbb{Z}_p$ または $P_{p-1}'$ に同型である。
• Sylow $p$-部分群が $\mathbb{Z}_p \wr \mathbb{Z}_p$ に同型である場合、$G = L \ltimes P$ とし、$L \leq S_p \times \mathop{\rm AGL}\nolimits(1,p)$ である一般構成が与えられ、それらの多くが明示的に特定される。
• Cayley 同型問題は、次数 $p^2$ のアーベル群に対して解決され、2つの Cayley 図が同型であるための必要十分条件は、群の自己同型群による接続集合の同値性であることが示された。
• 次数 $p^2$ のアーベル群の Cayley 図の完全な自己同型群が明示的に特定され、接続集合の構造と群（$\mathbb{Z}_{p^2}$ または $\mathbb{Z}_p^2$）に依存する。
• 次数 $p^2$ のすべての非正規 Cayley ディグラフは分類された：$p \geq 3$ のとき完全グラフ $K_{p^2}$、$p=2$ かつ $G=\mathbb{Z}_4$ のとき、または2つの $\mathbb{Z}_p$ の Cayley ディグラフの wreath 積、または $\mathbb{Z}_p^2$ の Cayley ディグラフで、特定の対称性およびブロック条件を満たす接続集合をもつものである。