[論文レビュー] On the order of the Schur multiplier of $p$-groups

Kavita Pradeep|arXiv (Cornell University)|May 6, 2017

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

ひとこと要約

この論文は、特に最大クラスの $p$-群に対して、シュール乗数の境界を精緻化し、奇素数 $p$ に対して、位数 $p^n$ で最大クラスの $p$-群のシュール乗数の位数が $p^{n/2}$ 未満であることを証明する。また、ニルーマンド境界に達する $p$-群の分類を完了し、群の冪指数クラス 3 および 4 に対して、下部中心系列のアーベル化商へのホモーモルフィズム $ Psi_i$ を用いて鋭い制約を確立する。

ABSTRACT

We give a bound on the order of the Schur multiplier of $p$-groups refining earlier bounds. As an application we complete the classification of groups having Schur multiplier of maximum order. Finally we prove that the order of the Schur multiplier of a finite $p$-group of maximal class and order $p^n$ is at most $p^{\frac{n}{2}}$.

研究の動機と目的

• 有限 $p$-群のシュール乗数の位数に関する既存の上界を、特に冪指数クラスの高い群に対して精緻化すること。
• シュール乗数がニルーマンド上界に達する有限 $p$-群の分類を完了し、クラス 2 および 3 の群に関する先行研究を拡張すること。
• 奇素数 $p$ および最大クラスの $p$-群に対して、シュール乗数の鋭い上界 $p^{n/2}$ を確立すること。これは以前の結果を改善する。
• アーベル化商のテンソル積への多線形ホモーモルフィズム $\Psi_i$ の像を調べることで、冪指数クラス 3 および 4 の $p$-群の構造を分析すること。
• 位数 $p^n$ の $p$-群においてシュール乗数が最大の可能な位数に達する正確な条件を同定すること。

提案手法

• 生成元の最小数 $d(G)$、冪指数クラス $c$、および交換子部分群の位数 $|\gamma_2(G)| = p^k$ を用いて、シュール乗数の新しい上界を導入し、$|M(G)| \leq p^{\frac{1}{2}(d-1)(n+k) - \sum_{i=2}^{\min(d,c)} (d-i)}$ と表現する。
• 左括弧と右括弧を用いた反復交換子を介して定義される、$\overline{G}^{ab}$ のテンソル積から $\frac{\gamma_i(G)}{\gamma_{i+1}(G)} \otimes \overline{G}^{ab}$ への多線形ホモーモルフィズム $\Psi_i$ を用いる。
• Ellis と Weigold の命題 2.1 を適用し、シュール乗数と $\Psi_i$ の像および $G$ のアーベル化の位数との関係を関係づける。
• Hall-Witt 恒等式と $p$-群の性質を用いて、特に $p=3$ および冪指数クラス 4 の場合に $\Psi_i$ の像が非自明であることを分析する。
• GAP を用いた計算的検証により、位数 $3^7$ でクラス 3 の 3-群の中で $G_4$ のみが境界に達することを確認する。
• 最大クラスの $p$-群を分析する際、$s_1 \in C_G(\gamma_2(G)/\gamma_4(G))$ を満たす生成元のペア $s, s_1$ を構成し、奇数 $i$ に対して $\Psi_i$ が非自明であることを示し、境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 最大クラスの $p$-群に対して、シュール乗数の位数に関する最も鋭い上界は何か？
• RQ2 どの $p$-群がシュール乗数でニルーマンド上界 $|M(G)| = p^{\frac{1}{2}(n-k-1)(n+k-2)+1}$ に達するか？
• RQ3 冪指数クラス $\geq 3$ の $p$-群に対して、シュール乗数の上界を改善できるか？
• RQ4 シュール乗数がクラス 3 の $p$-群において最大の可能な位数に達するとき、どのような構造的制約が生じるか？
• RQ5 ホモーモルフィズム $\Psi_i$ の像が非自明である条件は何か？ そして、その非自明性はシュール乗数の上界にどのように影響するか？

主な発見

• 奇素数 $p$ および $n \geq 4$ に対して、最大クラスの有限 $p$-群 $G$ について、$|M(G)| \leq p^{n/2}$ が成り立ち、以前の境界を改善する。
• 上記の上界 $|M(G)| \leq p^{\frac{1}{2}(d-1)(n+k) - \sum_{i=2}^{\min(d,c)} (d-i)}$ はニルーマンドの境界を精緻化し、$\min(d(G), c)$ が大きい群に対してより鋭い。
• ニルーマンド上界に達する $p$-群の分類が完了した：このような群は $G_1 = E_p \times C_p^{(n-3)}$、$G_2 = C_p^{(4)} \rtimes C_p$、$G_3$、および $G_4$ である。$G_4$ は唯一の位数 $3^7$ でクラス 3 の 3-群であり、境界に達する。
• $p \geq 5$ の場合、冪指数クラス $\geq 3$ の $p$-群はニルーマンド上界に達しない。これはハトゥイの結果を直接的証明で確認する。
• 冪指数クラス 4 の $p$-群では $\Psi_4$ の像が非自明であり、これは乗数の上界に矛盾を引き起こすが、群がクラス 3 でない限り成立しない。
• 位数 $3^7$ でクラス 3 の唯一の 3-群として、$G_4$ はニルーマンド上界に達するシュール乗数を持つことが、GAP を用いて検証された。