On the Modular Isomorphism Problem for 2-generated groups with cyclic derived subgroup

TL;DR

This paper investigates the Modular Isomorphism Problem for 2-generated p-groups with cyclic derived subgroup, showing certain quotients are determined by the modular group algebra and confirming the problem for groups up to order p^{11}.

Contribution

It proves that specific group quotients are determined by the modular group algebra for this class of groups and verifies the problem for groups of order up to p^{11}.

Findings

Quotients G/(G')^{p^3} and G/γ_3(G)^p are determined by the modular group algebra.

The Modular Isomorphism Problem has a positive answer for groups of order at most p^{11}.

Identifies families of groups of order p^{12} with indistinguishable group algebras using current techniques.

Abstract

We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular group algebras: even versus odd characteristic. Algebr. Represent. Theory. https://doi.org/10.1007/s10468-022-10182-x, 2022]. We show that if $G$ belongs to this class of groups, then the isomorphism type of the quotients $G/(G')^{p^3}$ and $G/\gamma_3(G)^p$ are determined by its modular group algebra. In fact, we obtain a more general but technical result, expressed in terms of the classification \cite{OsnelDiegoAngel}. We also show that for groups in this class of order at most $p^{11}$, the Modular Isomorphism Problem has positive answer. Finally, we describe some families of groups of order $p^{12}$ whose group algebras over the field with $p$ elements cannot be distinguished with the techniques available to us.