[論文レビュー] Characterizing finite $p$-groups by their Schur multipliers, $t(G)=5$

Peyman Niroomand|arXiv (Cornell University)|Jan 25, 2010

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

ひとこと要約

この論文は、シュール乗数の位数が $p^{\frac{1}{2}n(n-1)-5}$ であるすべての有限非アーベル $p$-群を特徴づけ、$t(G) = 5$ であるための必要十分条件として、16個の特定の群のうちの1つと同型であることを示している。これらには、余分に特異な $p$-群と巡回アーベル群の直積、および特定の中心拡張が含まれる。分類はグリーンの公式からの上限とシュール乗数に関する構造定理に依拠しており、$t(G) \leq 4$ の場合に既に知られていた結果を拡張している。主な貢献は、$t(G) = 5$ の場合の同型型についての完全なリストの提供である。

ABSTRACT

Let $G$ be a finite $p$-group of order $p^n$. It is known that $|\mathcal{M}(G)|=p^{\f{1}{2}n(n-1)-t(G)}$ and $t(G)\geq 0$. The structure of $G$ characterized when $t(G)\leq 4$ in \cite{be,el,ni,sa,zh}. The structure description of $G$ is determined in this paper for $t(G)=5$.

研究の動機と目的

• シュール乗数の位数が $p^{\frac{1}{2}n(n-1)-5}$ である、つまり $t(G) = 5$ であるようなすべての有限非アーベル $p$-群を分類すること。
• 従来の $t(G) \leq 4$ の場合に限られていた $p$-群のシュール乗数による分類を拡張すること。
• このような群の同型型の完全なリストを、直積や中心拡張を含めて提供すること。
• シュール乗数の上限と $|G'|$ や $|Z(G)|$ のような群不変量を用いて、$t(G) = 5$ を満たす $p$-群の構造的制約を確立すること。
• 群コホホロジーと乗数理論からの理論的結果に加え、GAPとHAPのグループ理論ソフトウェアを用いて分類を計算的に検証すること。

提案手法

• シュール乗数に対するグリーンの上限 $|\mathcal{M}(G)| \leq p^{\frac{1}{2}(n+k-2)(n-k-1)+1}$ を適用し、ここで $k = \log_p |G'|$ である。これにより、可能な群の位数と導来部分群のサイズを制約する。
• 公式 $|\mathcal{M}(G)| = p^{\frac{1}{2}n(n-1) - t(G)}$ を用いて、乗数の大きさを $p^{\frac{1}{2}n(n-1)-5}$ に等置し、$t(G) = 5$ を固定する。
• 直積の乗数に関する同型 $\mathcal{M}(H \times K) \cong \mathcal{M}(H) \times \mathcal{M}(K) \times \frac{H}{H'} \otimes \frac{K}{K'}$ を用いて、直積の乗数を分析する。
• 余分に特異な $p$-群のシュール乗数に関する既知の結果を適用する：$|\mathcal{M}(E_1)| = p^2$、$|\mathcal{M}(E_2)| = 1$、$|\mathcal{M}(E_4)| = p^2$、および余分に特異な群（位数 $p^{2m+1}$）に対して $|\mathcal{M}(G)| = p^{2m^2 - m - 1}$ が成り立つ。
• GAPのHAPパッケージを用いて、位数16および32の群の乗数の位数を計算し、分類が正当化されることを確認する。
• 文献[11]、[12]、[13]、[10]の構造定理を適用して、不可能な構成を除外し、一意な同型型を同定する。

実験結果

リサーチクエスチョン

• RQ1 シュール乗数の位数が $|\mathcal{M}(G)| = p^{\frac{1}{2}n(n-1)-5}$ である、つまり $t(G) = 5$ であるような有限非アーベル $p$-群 $G$ の完全なリストは何か？
• RQ2 導来部分群 $|G'|$ と中心 $|Z(G)|$ の位数は、$t(G) = 5$ を満たす $p$-群の構造にどのように制約を加えるか？
• RQ3 位数 $p^4$、$p^5$、$p^6$、$p^7$ の $p$-群で $t(G) = 5$ を満たすものはどれか？ その同型型は何か？
• RQ4 $p \neq 2$ のとき、位数 $p^5$ の $p$-群で $t(G) = 5$ を満たすものは存在するか？ もしあるならば、その構造は何か？
• RQ5 GAP や HAP といったグループ理論ソフトウェアを用いて、$p$-群で $t(G) = 5$ を満たすものの分類を計算的に検証できるか？

主な発見

• 位数 $p^7$ の $p$-群で $t(G) = 5$ を満たすのは、$E_1 \times \mathbb{Z}_p^{(4)}$ と同型であるものに限る。ここで $E_1$ は指数 $p$ の余分に特異な $p$-群で、位数は $p^3$ である。
• 位数 $p^6$ の $p$-群で $t(G) = 5$ を満たすのは、$D_8 \times \mathbb{Z}_2^{(3)}$ のみである。ここで $D_8$ は位数8の二面体群である。
• $p \neq 2$ のとき、位数 $p^5$ の $p$-群で $t(G) = 5$ を満たすのは、$E_2 \times \mathbb{Z}_p^{(2)}$ および $E_4 \times \mathbb{Z}_p$ のみである。ここで $E_2$ は指数 $p^2$ の余分に特異な $p$-群である。
• 位数 $p^5$ の余分に特異な $p$-群は、定理2.3によりシュール乗数の位数が $p^5$ であるため、$t(G) = 5$ を満たす。
• $p \neq 2$ のとき、位数 $p^4$ の $p$-群で $t(G) = 5$ を満たすのは、次の2つの群に限る：$\langle a,b \mid a^{p^2}=1, b^{p^2}=1, [a,b,a]=[a,b,b]=1, [a,b]=a^p \rangle$ および $\langle a,b \mid a^{p^2}=b^p=1, [a,b,a]=[a,b,b]=a^p, [a,b,b,b]=1 \rangle$。
• 位数16および32の群で $t(G) = 5$ を満たすものは完全に分類されている：$D_{16}$、$\langle a,b \mid a^4=b^4=1, a^{-1}ba=b^{-1} \rangle$、$Q_8 \times \mathbb{Z}_2^{(2)}$、$(D_8 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2$、$(Q_8 \times \mathbb{Z}_2) \rtimes \mathbb{Z}_2$、および $\mathbb{Z}_2 \times \langle a,b,c \mid a^2=b^2=c^2=1, abc=bca=cab \rangle$。