[論文レビュー] A characterization of finite $p$-groups by their Schur multiplier

Sumana Hatui|arXiv (Cornell University)|Aug 22, 2016

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

ひとこと要約

この論文は、非アーベル有限 $p$-群 $G$ を、$|G| = p^n$ かつシュール乗数 $M(G)$ が $t(G) = \log_p(|G|) + 1$ を満たすものとして分類する。ここで $t(G)$ は $G$ のコランクである。群論的技法、特にシュール乗数の公式、同型的分類、およびコhomologicalな境界を用いて、奇数の $p$ および $p=2$ の場合に完全に同型類を特定した。奇数の $p$ に対しては12の同型類、$p=2$ の場合には6つの同型類を同定し、明示的な表示を提供した。

ABSTRACT

Let $G$ be a finite $p$-group of order $p^n$ and $M(G)$ be its Schur multiplier. It is well known result by Green that $|M(G)|= p^{\frac{1}{2}n(n-1)-t(G)}$ for some $t(G) \geq 0$. In this article we classify non-abelian $p$-groups $G$ of order $p^n$ for $t(G)=\log_p(|G|)+1$.

研究の動機と目的

• 非アーベル有限 $p$-群 $G$ を、$|G| = p^n$ かつシュール乗数が $t(G) = \log_p(|G|) + 1$ を満たすものとして分類すること。ここで $t(G)$ は $|M(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$ で定義されるコランクである。
• 既知の $t(G) = 0,1,2,3$ の場合を越えて、$t(G)$ がより大きな値をとる $p$-群の分類を拡張すること。
• 構造的群論、同型的不変量、およびシュール乗数に対するコhomologicalな境界を用いて、このような $p$-群の同型型の完全なリストを同定すること。
• ペイマン・ニルムァンドの一般化されたコランク枠組みにおける $s(G) = 3$ に対応する $t(G) = \log_p(|G|) + 1$ の場合を解明し、これらの群の完全な構造を確立すること。

提案手法

• シュール乗数の公式 $|M(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$ を用いてコランク $t(G)$ を定義し、$|M(G)| = p^{\frac{1}{2}(n-1)(n-2)+1-s(G)}$ を通じて一般化されたコランク $s(G)$ と関連付ける。
• 文献[17]の定理2.1を応用し、中心的商を介して $|M(G)|$ を評価し、$|M(G/K)|$、$|G/G' \otimes K|$、$|G' \cap K|$ との関係を確立する。
• $n \leq 6$ の $p$-群のジェイムズによる同型的分類（$\Phi_k$ と表記）を用いて候補群を列挙する。
• 定理2.3および定理2.4を用いて、双線形写像 $\psi_2$ および $\psi_3$ の像を通じてシュール乗数の大きさを制限し、テンソル積 $G' \otimes G/G'$ における $X$ および $X_1$ のランクを分析する。
• $G'$ および $Z(G)$ の位数に基づく体系的なケース解析を行い、$|G'| = p$、$p^2$、$p^3$ の場合に分ける。中心的商の議論を用いて、既知の乗数の境界に帰着させる。
• $p=2$ の場合にHAPをGAPで使用して計算的検証を行い、存在しない群を除外し、表示および指数条件による構造的検証を実施する。

実験結果

リサーチクエスチョン

• RQ1 どの非アーベル $p$-群 $G$（$|G| = p^n$）が $t(G) = \log_p(|G|) + 1$ を満たすか？
• RQ2 奇数の $p$ および $p=2$ に対して、このような $p$-群の同型型の完全なリストは何か？
• RQ3 この場合に、$G$、$G'$、$Z(G)$、$G/G'$ の構造がシュール乗数の大きさにどのように制約を加えるか？
• RQ4 一般化されたコランク $s(G) = 3$ は、$G$ の同型型を特定する上で果たす役割は何か？
• RQ5 指数 $p^2$ または $p^3$ の $p$-群でこの条件を満たすものは存在するか？もし存在するならば、どのように特徴づけられるか？

主な発見

• 奇数の $p$ に対して、$t(G) = \log_p(|G|) + 1$ を満たす非アーベル $p$-群は、次の12個の特定の群のいずれかと同型である：$\Phi_2(22)$、$\Phi_3(211)a$、$\Phi_3(211)b_r$、$\Phi_2(2111)c$、$\Phi_2(2111)d$、$\Phi_3(1^5)$、$\Phi_7(1^5)$、$\Phi_{11}(1^6)$、$\Phi_{12}(1^6)$、$\Phi_{13}(1^6)$、$\Phi_{15}(1^6)$、および $(\mathbb{Z}_p^{(4)} \rtimes \mathbb{Z}_p) \times \mathbb{Z}_p^{(2)}$。
• $p=2$ の場合、群は次の6つの群のいずれかと同型である：$\mathbb{Z}_2^{(4)} \rtimes \mathbb{Z}_2$、$\mathbb{Z}_2 \times ((\mathbb{Z}_4 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2)$、$\mathbb{Z}_4 \rtimes \mathbb{Z}_4$、$D_{16}$、および同型的分類リストからの他の2つの群。
• このようなすべての群のシュール乗数の位数は $p^8$ である。$n=6$（奇数の $p$）および $n=5$（$p=2$）のとき、$|M(G)| = p^{\frac{1}{2}n(n-3)-1}$ を代入すると、両方のケースで $|M(G)| = p^8$ が得られる。
• $|G'| = p^3$ かつ $t(G) = \log_p(|G|)+1$ を満たす群では、$Z(G) \subseteq G'$ かつ $|Z(G)| \geq p^2$ でなければならない。奇数の $p$ に対しては、このような群は $\Phi_{11}(1^6)$ と同型である。
• $p=2$ の場合、$|G'| = p^3$ を満たすような群は存在せず、$|G'| = p^2$ の場合は $|M(G)| < p^8$ となるため、$|G'| = p$ または $p^2$ のみが可能である。
• $\Phi_{11}(1^6)$ は、指数 $p$ で、$|G'| = p^3$、$|Z(G)| \geq p^2$、$|M(G)| = p^8$ を満たす唯一の群であり、このクラスにおける一意の解である。