[論文レビュー] The automorphisms of class two groups of prime exponent

Michael Vaughan-Lee|arXiv (Cornell University)|Jan 4, 2015

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

ひとこと要約

この論文は、位数 $p^8$ までの一様な指数 $p$ のクラス2 $p$-群を分類し、各群に対して共役類の数と自己同型群の位数が $p$ について多項式的であることを証明する。$p^9$ の位数を持つ最小の反例 $G_p$ が特定され、両者の不変量が PORC（残留類上の多項式）でないことが示され、$f(p^n)$ の PORC 猜想が $n=10$ で失敗する可能性があることが示された。この結果は、楕円曲線および群の拡大技術を用いた自己同型群作用と共役類数の明示的計算に依拠している。

ABSTRACT

We give a complete list of all the 70 class two groups of exponent p (p>2) and order p^k for k<9. For each of these groups the number of conjugacy classes is a polynomial in p, and the order of the automorphism group is a polynomial in p. In contrast, Marcus du Sautoy and Michael Vaughan-Lee have given an example of a class two group of exponent p and order p^9 for which neither the number of conjugacy classes, nor the order of the automorphism group is polynomial on residue classes (PORC).

研究の動機と目的

• 位数 $p^n$ で $n \leq 8$ である一様な指数 $p$ のクラス2 $p$-群を体系的に分類すること。
• これらの群に対して、共役類の数と自己同型群の位数が $p$ の関数として PORC であるかどうかを特定すること。
• これらの不変量が PORC でなくなる最小の群を同定し、ヒグマンの PORC 猜想の限界を検証すること。
• 小規模な $p$-群の自己同型群と共役類数の明示的構造的・計算的記述を提供すること。

提案手法

• 位数 $p^n$ で $n \leq 8$ である一様な指数 $p$ のクラス2 $p$-群の同型類を列挙し、合計70個の群が得られた。
• 群の表示と交換子関係を用いて各群の構造を定義し、特に導来部分群と中心拡大に注目した。
• 自己同型作用による軌道のサイズとトレース恒等式を含む群論的公式を用いて、共役類数を計算した。
• $\mathrm{GF}(p)$ 上の線形代数を用いて、フレッティーニ商 $G/G'$ への作用を分析することで、自己同型群の位数を特定した。
• 楕円曲線の点数（例：$y^2 = x^3 - x$）を用いて、特に $G_p$ に対して非-PORCな場合の共役類数を表現した。
• $p$-群生成アルゴリズムを用いて $G_p$ の後代を分析し、自己同型群構造と非-PORCな後代の数との関連を確立した。

実験結果

リサーチクエスチョン

• RQ1 位数 $p^n$ で $n \leq 8$ である一様な指数 $p$ のクラス2 $p$-群に対して、共役類の数と自己同型群の位数が $p$ について多項式的であるか？
• RQ2 関数 $f(p^n)$ の PORC 性が $n=10$ で失敗するのか？ もしそうなら、その原因となる最小の群は何か？
• RQ3 群に非自明な交換子構造がある場合、$\mathrm{GF}(p)$ 上の線形代数を用いて $p$-群の自己同型群を明示的に計算できるか？
• RQ4 有限体 $\mathrm{GF}(p)$ 上での楕円曲線方程式の解の数は、特定の $p$-群における共役類数にどのように影響するか？
• RQ5 共役類数と自己同型群の位数の両方が $p$ の関数として PORC でないような、クラス2で一様な指数 $p$ の最小の $p$-群は存在するか？

主な発見

• 位数 $p^n$ で $n \leq 8$ である一様な指数 $p$ のクラス2 $p$-群の全70個に対して、共役類の数は $p$ について多項式的である。
• これらの群すべてに対して、自己同型群の位数は $p$ について多項式的である。特に、7つの生成子と3組の可換対を持つ群に対しても同様である。
• 位数 $p^9$ の群 $G_p$ は、共役類の数と自己同型群の位数が $p$ について PORC でない最小の既知の例である。
• $G_p$ の位数 $p^{10}$ で指数 $p$ の後代の数は PORC でない。その値は $p \mod 12$ と、$\mathrm{GF}(p)$ 上の楕円曲線 $y^2 = x^3 - x$ の点数に依存する。
• $G_p$ の自己同型群の位数は PORC でない：$p \equiv 5 \mod 12$ のとき $|\mathrm{GL}(2,p)| \cdot 4p^{18}$、$p \equiv 7 \mod 12$ のとき $|\mathrm{GL}(2,p)| \cdot 2p^{18}$ など、$p \mod 12$ と $V_p$ の非ゼロ性に応じた異なる式が存在する。
• $G_p$ の共役類数は $p^6 + p^3 - 1 + (p^3 - p^2 - p + 1) \cdot E$ であり、$E$ は $\mathrm{GF}(p)$ 上の $y^2 = x^3 - x$ の点数である。$E$ は PORC 関数ではない。