[论文解读] The modular isomorphism problem for finite $p$-groups with a cyclic subgroup of index $p^2$

Czesław Bagiński, Alexander Konovalov|ArXiv.org|Jul 12, 2006

Finite Group Theory Research参考文献 23被引用 12

一句话总结

该论文解决了具有循环子群指数为 $p^2$ 的有限 $p$-群的模同构问题（MIP），证明了在特征为 $p$ 的域 $F$ 上，群代数 $FG$ 唯一确定了该类群 $G$。关键进展在于证明了此类群的幂零类由其模群代数决定，从而通过结构不变量和具有循环子群指数为 $p^2$ 的群的分类，完全解决了该类群的 MIP。

ABSTRACT

Let $p$ be a prime number, $G$ be a finite $p$-group and $K$ be a field of characteristic $p$. The Modular Isomorphism Problem (MIP) asks whether the group algebra $KG$ determines the group $G$. Dealing with MIP, we investigated a question whether the nilpotency class of a finite $p$-group is determined by its modular group algebra over the field of $p$ elements. We give a positive answer to this question provided one of the following conditions holds: (i) $\exp G=p$; (ii) $\cl(G)=2$; (iii) $G'$ is cyclic; (iv) $G$ is a group of maximal class and contains an abelian subgroup of index $p$.

研究动机与目标

• 确定有限 $p$-群的幂零类是否由其在特征为 $p$ 的域 $F$ 上的模群代数 $FG$ 唯一确定。
• 通过证明幂零类在特定 $p$-群类中为不变量，扩展模同构问题（MIP）的已知不变量。
• 利用群代数的结构性质，解决所有含有循环子群指数为 $p^2$ 的有限非交换 $p$-群的 MIP。
• 对具有循环子群指数为 $p^2$ 的 $p$-群的模群代数进行分类与区分，以确认代数同构蕴含群同构。
• 通过证明在指定条件下幂零类是代数不变量，统一并扩展关于幂零类为 2、最大类及幂零类为 2 的 $p$-群的 MIP 的先前结果。

提出的方法

• 证明了在四种条件下，$p$-群 $G$ 的幂零类由其模群代数 $FG$ 唯一确定：(i) 指数为 $p$，(ii) 幂零类为 2，(iii) 交换子群为循环群，(iv) 最大类且具有指数为 $p$ 的阿贝尔子群。
• 利用 Brauer-Jennings-Zassenhaus $\mathcal{M}$-列将群代数结构与群结构联系起来，尤其在 $\exp G = p$ 时。
• 利用已知不变量：$G$ 的指数、$Z(G)$ 的同构类型、$G/G'$、$d(G')$ 以及 $\mathcal{M}$-列的分量，这些均由 $FG$ 确定。
• 对于 $p=2$，对所有阶为 $2^m$、指数为 $2^{m-2}$ 且具有指数为 4 的循环子群的 2-群进行了分类，并通过中心、交换子群和幂零类证明其群代数两两不同构。
• 对于 $p>2$，利用分类结果（Ninomia）证明此类群可分为三类：幂零类为 2 的幂零群、$|G'|=p$ 或 $G'$ 为阶为 $p^2$ 的初等阿贝尔群且 $d(G)=2$，这三类均已知为 MIP 可解。
• 应用事实：若 $FG \cong FH$，则对每一类均有 $G \cong H$，依据先前结果：幂零类为 2 的幂零群（Bagiński, Sandling）、$|G'|=p$（Kovacs–Newman）及初等阿贝尔群对循环群（Bagiński）。

实验结果

研究问题

• RQ1 当 $p$-群 $G$ 具有指数为 $p^2$ 的循环子群时，其模群代数 $FG$ 是否确定其幂零类？
• RQ2 在 $\exp G = p$、$\operatorname{cl}(G) = 2$ 或 $G'$ 为循环群等条件下，能否从群代数 $FG$ 重构 $p$-群的幂零类？
• RQ3 所有含有指数为 $p^2$ 的循环子群的有限 $p$-群的模同构问题是否可解？
• RQ4 非同构的具有指数为 $p^2$ 的循环子群的 $p$-群的模群代数是否彼此不同构？
• RQ5 能否利用 $p$-群的 $\mathcal{M}$-列结构，从 $FG$ 恢复其幂零类？

主要发现

• 当 $\exp G = p$ 时，$p$-群 $G$ 的幂零类由其模群代数 $FG$ 唯一确定，因为 $\mathcal{M}$-列与下中心列重合。
• 对于幂零类为 2 的 $p$-群，幂零类由 $Z(G)$ 和 $G'$ 的结构决定，而这两者均由 $FG$ 确定，且条件 $G' = Z(G) \cap G'$ 可刻画幂零类为 2 的情形。
• 若 $G'$ 为循环群，则 $d(G') = \dim_F(\Delta(G')FG / \Delta(G')\Delta(G))$ 由 $FG$ 确定，该不变量可用于识别幂零类。
• 对于 $p=2$，阶为 $2^m$、指数为 $2^{m-2}$ 且具有指数为 4 的循环子群的 26 个非同构 2-群的模群代数两两不同构，从而为该类群完全解决了 MIP。
• 对于 $p>2$，所有具有指数为 $p^2$ 的循环子群的 $p$-群均属于三类已知 MIP 可解的群：幂零类为 2 的幂零群、$|G'|=p$ 或 $G'$ 为阶为 $p^2$ 的初等阿贝尔群且 $d(G)=2$，且这三类均由 $FG$ 唯一确定。
• 所有含有指数为 $p^2$ 的循环子群的有限非交换 $p$-群的模同构问题已完全解决，因为 $FG \cong FH$ 蕴含 $G \cong H$。