Abstract
Let p be a prime and let G be a finite p-group. We show that the isomorphism type of the maximal abelian direct factor of G, as well as the isomorphism type of the group algebra over \({{\mathbb {F}}}_p\) of the non-abelian remaining direct factor, if existing, are determined by \({{\mathbb {F}}}_p G\), generalizing the main result in Margolis et al. (Abelian invariants and a reduction theorem for the modular isomorphism problem, Journal of Algebra 636, 533-559 (2023)) over the prime field. To do this, we address the problem of finding characteristic subgroups of G such that their relative augmentation ideals depend only on the k-algebra structure of kG, where k is any field of characteristic p, and relate it to the modular isomorphism problem, extending and reproving some known results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let k be a field of positive characteristic p, and G and H finite p-groups. The modular isomorphism problem (MIP) asks whether the existence of an isomorphism of k-algebras \(kG\cong kH\) implies the existence of an isomorphism of groups \(G\cong H\). The most classical version of this question also assumes that \(k={{\mathbb {F}}}_p\), the field with p elements. Indeed, it is already mentioned by Brauer [6] as a possibly much easier particular case of the general isomorphism problem for group rings ([6, Problem 2]). Despite Brauer’s optimistic observation, only partial positive results for MIP have been obtained under quite severe restrictions on the structure of G and H. For example, MIP is known to have positive answer if the groups are abelian (Deskins [8]), metacyclic (Bagiński [1], and Sandling [23]), or have class 2 and elementary abelian derived subgroup (Sandling [22]). Some more recent positive results and approaches can be found in [3, 13, 14, 19], and an up-to-date state of the art, in [12]. The modular isomorphism problem is now known to have a negative answer in general, as it is shown in [10] that there exist non-isomorphic finite 2-groups with isomorphic group algebras over every field of characteristic 2. This counterexample makes it even more interesting to investigate which properties (weaker than the isomorphism type) of G and H must necessarily coincide when \(kG\cong kH\). In any case, the original problem remains open for p an odd prime.
On the other hand, and despite all the attention MIP received, an approach that surprisingly seems to not have been exploited until very recently is to reduce the problem from the vast class of all finite p-groups to some smaller (but maybe as vast and complicated) subclass of groups. In [15] it is shown that the modular isomorphism problem can be reduced to the same problem over groups without elementary abelian direct factors. We generalize this result by dropping the ‘elementary’ hypothesis, i.e., showing that MIP can be reduced to the problem over groups without abelian direct factors, with no restrictions on the exponent. We formalize this as follows: For a finite p-group G, consider a decomposition \(G=\text {Ab}(G)\times \text {NAb(G)}\), where \(\text {Ab}(G)\) and \( \text {NAb(G)}\) are subgroups of G such that \(\text {Ab}(G)\) is abelian, and maximal such that a decomposition like that exists. From the Krull-Remak-Schmidt theorem it follows that the isomorphism types of \(\text {Ab}(G)\) and \( \text {NAb(G)}\) do not depend on the chosen decomposition, so they are group-theoretical invariants of G. Our main theorem states that we can disregard the direct factor \(\text {Ab}(G)\) in the study of MIP. Formally:
Theorem A
Let \(k={{\mathbb {F}}}_p\) and G and H be finite p-groups. Then
As an immediate corollary, we can extend non-trivially some of the classes of groups for which MIP is known to have a positive answer. We summarize some of them in the following corollary.
Corollary B
Let \(k={{\mathbb {F}}}_p\) and A and G be finite p-groups such that A is abelian and at least one of the following holds:
-
(1)
G is metacyclic.
-
(2)
G is 2-generated of nilpotency class 2.
-
(3)
G is 2-generated with nilpotency class 3 with elementary abelian derived subgroup.
-
(4)
G is elementary abelian-by-cyclic.
-
(5)
G has a cyclic subgroup of index \(p^2\).
-
(6)
The third term of the Jennings series of G is trivial.
-
(7)
The fourth term of the Jennings series of G is trivial and \(p>2\).
-
(8)
G has order at most \(p^5\).
If H is another group such that \(kH\cong k(G\times A)\), then \(H\cong G\times A\).
Observe that none of these properties is closed under taking direct products with abelian groups, so our result is indeed non-trivial. The primality of the field is important in the proof of Theorem A; however, for an arbitrary field of characteristic p we can still recover the isomorphism type of the maximal abelian direct factor.
Proposition C
Let G and H be finite p-groups and k be a field of characteristic p. Then \(kG\cong kH\) implies that \(\text {Ab}(G)\cong \text {Ab}(H) \).
Hence naturally the following question arises
Question D
Let k be a field of characteristic p, and G and H be finite p-groups. Does \(kG\cong kH\) imply that \( k( \text {NAb}(G))\cong k(\text {NAb}(H)) \)?
We recall that the indecomposable decomposition of a finite group G, i.e., the indecomposable direct factors of G arising from the Krull–Remak–Schmidt theorem, is unique up to isomorphism and reordering. Since the groups in [10] are indecomposable, it makes also sense to ask if Theorem A can be extended so that the modular isomorphism problem is reduced to the same problem over indecomposable finite p-groups, carrying the reduction approach (in the sense of direct factor decompositions) to its ideal conclusion. In other words:
Question E
Let \(k={{\mathbb {F}}}_p\) and G and H be finite p-groups. Does \(kG\cong k H\) implies that the terms of the indecomposable decompositions of G and H have pairwise isomorphic group algebras over k?
Lemma 4.9 seems to suggest that this problem is not completely hopeless; however the remainder of the techniques used in Sect. 4 rely heavily on the fact that the direct factors we disregard are abelian (and hence contained in the center of the group), so new ideas and techniques would be needed to follow this path.
The paper is organized as follows. In Sect. 2 we set notation and present some well-known results related to the modular isomorphism problem. In Sect. 3 we address the problem of finding normal subgroups N of G such that their relative augmentation ideals depend only on the algebra structure of kG, and relate this problem to the MIP. Finally, in Sect. 4 we prove, with the help of the results in the previous section, both Proposition C and Theorem A.
2 Notation and Preliminaries
Throughout the paper, p will denote a prime number, k a field of characteristic p, \({{\mathbb {F}}}_p\) the field with p elements and G and H finite p-groups. The group algebra of G over k is denoted by kG and its augmentation ideal is denoted by \(\textrm{I}(G)\). It is a classical result that \(\textrm{I}(G)\) is also the Jacobson ideal of kG. For every normal subgroup N of G, we write \(\textrm{I}(N;G)\) for the relative augmentation ideal \(\textrm{I}(N){kG}\), i.e., the two-sided ideal generated by the elements of the form \(n-1\) with \(n\in N\). It is well-known that this ideal is just the kernel of the natural projection \(kG\rightarrow k(G/N)\), i.e., the homomorphism of algebras extending the natural projection \(G\rightarrow G/N\). Moreover, \(\textrm{I}(N;G)\cap (G-1)= N-1\). For these basic facts about the augmentation ideals we refer to [17, Section 1.1]. We denote by [kG, kG] the vector subspace of kG generated by the elements of the form \(xy-yx\), with \(x,y\in kG\). Given a subspace U of a vector space V over k, we write \(\text {codim}_V(U)=\dim (V)-\dim (U)\) to denote the codimension of U in V.
Our group theoretic notation is mostly standard. We write \(\times \) both for internal and external direct products of groups, and also for the direct sum of vector spaces. For \(n \ge 1\), we denote by \(C_n\) the cyclic group of order n. Given \(n,r\ge 1\), a homocyclic group of exponent n and rank r is a group isomorphic to \((C_{n})^r=C_n\times \dots \times C_n\) (r times). We let |G| denote the order of the finite p-group G, \(\textrm{Z}(G)\) its center, \(\{\gamma _i(G)\}_{i\ge 1}\) its lower central series, \(G'=\gamma _2(G)\) its commutator subgroup, \(\Phi (G)\) its Frattini subgroup and \({{\,\textrm{d}\,}}(G)=\min \{|X|: X\subseteq G \text { and } G=\left\langle X \right\rangle \}\) its the minimum number of generators. It is well known that \(G/\Phi (G)\) is an elementary abelian p-group, and \(d(G)=d(G/\Phi (G))\). If A is a homocyclic p-group, then d(A) equals the rank of A. If, moreover, A is elementary abelian, it can be seen as a vector space over \({{\mathbb {F}}}_p\) with dimension d(A). A Burnside basis of G is a minimal set of generators of G, i.e., a subset of G such that its image in \(G/\Phi (G)\) is a basis as vector space. We define the omega series \((\Omega _n(G))_{n\ge 0}\) and the agemo series \((\mho _n(G))_{n\ge 0}\) of G by:
If N is a normal subgroup of G and \(n\ge 1\), we also write
that is, \(\Omega _n(G:N)\) is the unique subgroup of G containing N such that \( \Omega _n(G:N)/N=\Omega _n(G/N). \) The Jennings series \(({\textrm{D}}_n(G))_{n\ge 1}\) of G is defined by
In particular \({\textrm{D}}_1(G)=G\) and \({\textrm{D}}_2(G)=\mho _1(G)G'=\Phi (G)\). A property of these series that we will use is that if G is abelian, then the order of the terms completely determines the isomorphism type of G. For more on the Jennings series, see for instance [17, Section 11.1] and [24, Section III.1].
The next proposition collects some well-known results about MIP that will have some relevance to this paper; a complete list can be consulted in [12].
Proposition 2.1
Let \(k={{\mathbb {F}}}_p\) be the field with p elements, and let G and H be finite p-groups. Suppose that G satisfies at least one of the following conditions:
-
(1)
G is abelian [8].
- (2)
-
(3)
G is 2-generated with nilpotency class 2 [3].
-
(4)
G is 2-generated with elementary abelian derived subgroup and nilpotency class 3 [2, 13].
-
(5)
G has a cyclic subgroup of index \(p^2\) [4].
-
(6)
G is elementary abelian-by-cyclic [2].
-
(7)
\({\textrm{D}}_3(G)=1\) [18].
-
(8)
\({\textrm{D}}_4(G)=1\) and \(p>2\) [11].
- (9)
If \(kG\cong kH\), then \(G\cong H\).
Let \(\phi :kG\rightarrow kH\) be an isomorphism preserving the augmentation. Then the ideal of kG generated by [kG, kG] is exactly \(\textrm{I}(G';G)\). As \(\phi ([kG,kG])=[kH,kH]\), it follows that
This is a classical result that already appears in [7], and plays a role in the proofs of a great part of the known results about MIP (e.g., the ones involving the small group algebra such as [22]). In Sect. 3 we will be interested in subgroups satisfying the property in (2.1). More concretely, given a family \(\mathcal F\) of groups, we say that a map \(N_*:{\mathcal {F}}\rightarrow {\mathcal {C}}\), where \({\mathcal {C}}\) is the class of all groups, is a subgroup assignation if given a group G in \({\mathcal {F}}\) it returns a normal subgroup \(N_G\) of G. Partially following [20, Section 3.1.2], we say that the subgroup assignation \(N_*\) is k-canonical over \({\mathcal {F}}\), if
for \(G,H\in {\mathcal {F}}\) and every isomorphism \(\phi :kG\rightarrow kH\) preserving the augmentation. Clearly, if a subgroup assignation is k-canonical, then the image subgroup is a characteristic subgroup of the original group. Unless stated otherwise, in the rest of this paper all the k-canonical assignations will be over the family \({\mathcal {F}}\) of all the finite p-groups. In the next section, we provide specific ways to obtain group-theoretical invariants of G determined by kG from k-canonical assignations, and also to obtain new k-canonical assignations from the known ones.
3 The k-canonical Subgroup Problem and a Transfer Lemma
The following general fact is widely known, as it is mentioned in the proof of [21, Lemma 6.10]. A particular case of it is stated and reproved in [15, Lemma 2.7] restricted to \(L=\textrm{Z}(G)\) and \(N=\mho _t(G)G'\) for any positive integer t, though their proof works in general.
Lemma 3.1
Let k be a field of characteristic p and G a p-group. If N and L are normal subgroups of G, then \( \textrm{I}(L;G)\cap \textrm{I}(N)=\textrm{I}(L\cap N;N).\)
All the items in the following lemma seem to be known, at least for some specific k-canonical subgroup assignation (mostly \(G\mapsto G'\)), but to the best of our knowledge it had never been stated in general.
Lemma 3.2
Let k be a field of characteristic p, let G and H be finite p-groups and let \(L_G\) and \(L_H\) be normal subgroups of G and H, respectively. Assume that there is an isomorphism \(\phi :kG\rightarrow kH\) such that \( \phi \left( \textrm{I}(L_G;G) \right) =\textrm{I}(L_H;H)\). Then
-
(1)
For each \(i\ge 1\), one has that \( {\textrm{D}}_{i}(L_G)/{\textrm{D}}_{i+1}(L_G) \cong {\textrm{D}}_{i}(L_H)/{\textrm{D}}_{i+1}(L_H) \).
-
(2)
If \(L_G\) and \(L_H\) are both abelian, then \( L_G\cong L_H\).
-
(3)
If \(N_\Gamma \) is a subgroup of \(\Gamma \) containing \(\Gamma '\) for \(\Gamma \in \{G,H\}\) such that \(\phi (\textrm{I}(N_G;G))=\textrm{I}(N_H;H)\), then \( G/L_GN_G\cong G/L_HN_H \) and \( L_GN_G/N_G\cong L_HN_H/N_H\).
-
(4)
\(G/L_GG'\cong H/L_HH'\) and \( L_GG'/G'\cong L_HH'/H'\).
-
(5)
\(\textrm{Z}(G)\cap L_G\cong \textrm{Z}(H)\cap L_H\) and \( \textrm{Z}(G)L_G/L_G\cong \textrm{Z}(H)L_H/L_H\).
Proof
(1) is proven for \(k={{\mathbb {F}}}_p\) in [21, Lemma 6.26], although the proof also works for an arbitrary field k of characteristic p. See also the proof of [1, Lemma 2] for \(N=G'\). (2) is an immediate consequence of (1), since the isomorphism type of an abelian group is determined by the orders of the terms of its Jennings series. As for (3), let \(\phi :kG\rightarrow kH\) be an isomorphism of k-algebras. Then
This implies that \(\phi \) induces an isomorphism \(k(G/L_GN_G)\cong k(H/L_HN_H)\), thus the isomorphism \(G/L_GN_G\cong H/L_HN_H\) follows from (2) because both groups are abelian, as \(\Gamma '\subseteq N_\Gamma \). For the last isomorphism in (3), observe that \(\phi \) also induces an isomorphism \({{\hat{\phi }}}:k(G/N_G)\rightarrow k(H/N_H)\). Moreover, if \(\pi _{N_\Gamma }:k\Gamma \rightarrow k(\Gamma /N_\Gamma )\) is the natural projection, then \(\pi _{N_\Gamma }\left( \textrm{I}(L_\Gamma N_\Gamma ;\Gamma )\right) =\textrm{I}(L_\Gamma N_\Gamma /N_\Gamma ;\Gamma /N_\Gamma )\). Thus \(\hat{\phi }(\textrm{I}(L_GN_G/N_G;G/N_G))=\textrm{I}(L_HN_H/N_H;H/N_H)\). Then applying item (1) it follows that
for each \(i\ge 1\). Hence, as the groups \(L_GN_G/N_G\) and \(L_HN_H/N_H\) are abelian, they must be isomorphic. Now (4) follows immediately using (2.1).
The underlying idea behind (5) is once again the proof of [21, Lemma 6.10], which states the same result for \(L_\Gamma =\Gamma '\); similar ideas are used in [15] to prove the result specialized to \(L_G=\mho _t(G)G'\), for any positive integer t. It is well-known (see [21, Lemma 6.10]) that
where \([kG,kG]\cap \textrm{Z}(kG)\) is an ideal of \(\textrm{Z}(kG)\) and \(\textrm{I}(\textrm{Z}(G))\) is a k-algebra. Moreover Lemma 3.1 for \(N=\textrm{Z}(G)\) and \(L=L_G\) yields that \( \textrm{I}(\textrm{Z}(G)) \cap \textrm{I}(L_G;G) =\textrm{I}(\textrm{Z}(G)\cap L_G) \). Therefore,
Since \(\phi :kG\rightarrow kH\) maps \([kG,kG]\cap \textrm{Z}(kG) \) to \([kH,kH]\cap \textrm{Z}(kH) \), we deduce that the restriction of \(\phi \) to \(\textrm{Z}(kG)\cap \textrm{I}(G)\) induces an isomorphism \({{\tilde{\phi }}}:\textrm{I}(\textrm{Z}(G))\rightarrow \textrm{I}(\textrm{Z}(H))\) such that \( {{\tilde{\phi }}}\left( \textrm{I}(\textrm{Z}(G)\cap L_G;\textrm{Z}(G))\right) =\textrm{I}(\textrm{Z}(H)\cap L_H;\textrm{Z}(H)) \); hence the isomorphism \(\textrm{Z}(G)\cap L_G\cong \textrm{Z}(H)\cap L_H\) follows from (2). Moreover \({{\tilde{\phi }}}\) induces an isomorphism \(k\left( \textrm{Z}(G)/\textrm{Z}(G)\cap L_G\right) \cong k\left( \textrm{Z}(H)/\textrm{Z}(H)\cap L_H\right) \), so the last isomorphism also follows from (2). \(\square \)
Lemma 3.2 gives an idea about how useful to obtain new group-theoretical invariants of the group algebra kG is to find k-canonical subgroup assignations over the family of finite p-groups. This would be also an interesting problem by itself, as it seems to be the most natural way to study how the normal subgroup structure of the group is reflected inside the group algebra.
Let us compare the situation with the case of group algebras with integral coefficients: Let \(\Gamma _1\) and \(\Gamma _2\) be two finite groups such that there is an isomorphism \(\phi : {{\mathbb {Z}}}\Gamma _1\rightarrow {{\mathbb {Z}}}\Gamma _2\) preserving the augmentation. We adopt temporarily (only for this paragraph) the notations \(\textrm{I}(\Gamma _i)\) and \(\textrm{I}(N ;\Gamma _i)\) for the augmentation ideal of \({{\mathbb {Z}}}\Gamma _i\) and the augmentation ideal of \({{\mathbb {Z}}}\Gamma _i\) relative to a normal subgroup N of \(\Gamma _i\). By the so-called Normal Subgroup Correspondence in the integral case (see [24, Theorem III.4.17]), \(\phi \) induces an isomorphism \(\phi ^*\) between the lattices of normal subgroups of \(\Gamma _1\) and \(\Gamma _2\). Furthermore, by [24, Theorem III.4.26] this isomorphism satisfies \( \phi (\textrm{I}(N;\Gamma _1))=\textrm{I}(\phi ^*(N);\Gamma _2). \)
Back to the modular case, no such Normal Subgroup Correspondence exists in general. However, there exists a limited version of this correspondence, restricted to the sublattice of the lattice of normal subgroups of G formed by the k-canonical subgroups of G (more properly, evaluations in G of k-canonical assignations). This obvious correspondence is given by \(\phi ^*(N_G)=N_H\), for each k-canonical assignation \(N_*\). Thus the real problem is to identify the k-canonical subgroups and determine how large this sublattice can be. In general, one might ask the following
Question 3.3
Given a field k and a family \({\mathcal {F}}\) of groups, which are the k-canonical subgroup assignations \(N_*:{\mathcal {F}}\rightarrow \text {Grp}\)?
Unfortunately, if \({\mathcal {F}}\) is the family of finite p-groups, the list of subgroups assignations which are known to be k-canonical is limited to \(G'\) and to some less known examples appearing in [4, 20], which we will mention later. Even more unfortunately, a choice of subgroup assignation as natural as the center of the group is known to fail to satisfy this property in general, as shown by Bagiński and Kurdics [5, Example 2.1], by virtue of a group G of order 81 and maximal class, for which there exists an automorphism \(\phi :{{\mathbb {F}}}_3G\rightarrow {{\mathbb {F}}}_3G\) such that \(\phi \left( \textrm{I}(\textrm{Z}(G);G)\right) \ne \textrm{I}(\textrm{Z}(G);G)\). Since G is of maximal class, also \(\textrm{Z}(G)=\gamma _3(G)\), so the terms of the lower central series in general (aside from \(G'=\gamma _2(G)\)) are neither candidates to be k-canonical subgroups assignations.
However, though limited by the existence of this counterexample, it is still possible that the search of this kind of subgroups could lead to new invariants and MIP-related results, or at least shed some new light on the existing ones. The remainder of the section is devoted to extending this list, and to that end the following pair of easy general facts will be useful. The first one corresponds to [24, Proposition III.6.1].
Lemma 3.4
Let A be an abelian finite p-group, k be a field of characterisitc p, t be a positive integer, and \(\lambda :kA\rightarrow k\mho _t(A)\) be the homomorphism given by \(x\mapsto x^{p^t}\). Then
Moreover, the k-linear hull of the image of \(\lambda \) equals \(k\mho _t(A)\).
Proof
Observe that the \(p^t\)-power map \(A\rightarrow \mho _t(A)\), \(x\mapsto x^{p^t}\) is a surjective homomorphism of groups whose kernel is \(\Omega _t(A)\), so that there is an isomorphism of groups \(\kappa :A/\Omega _t(A) \rightarrow \mho _t(A)\) which extends to an algebra isomorphism \(\kappa :k\left( A/\Omega _t(A)\right) \rightarrow k\mho _t(A)\). Denote \(\sigma :kA\rightarrow k\mho _t(A)\) the k-linear extension of the \(p^t\)-power map \(A\rightarrow \mho _t(A)\), and \(\pi :kA\rightarrow k\left( A/\Omega _t(A)\right) \) the canonical projection. Then \(\sigma \) factors as \(\sigma = \kappa \circ \pi \). Now let \(\tau :kA\rightarrow kA\) be the ring homomorphism extending the identity on A and the map \(x\rightarrow x^{p^t}\) on k. Then \(\lambda \) factors as \(\lambda = \tau \circ \sigma =\tau \circ \kappa \circ \pi \). Since both \(\tau \) and \(\kappa \) are injective, \(\ker \lambda =\ker \pi =\textrm{I}(\Omega _t(A);A)\). For the last statement, it suffices to observe that the image of \(\lambda \) contains \(\mho _t(A)\). \(\square \)
The following observation is trivial.
Lemma 3.5
Let k be a field of characteristic p and G a finite p-group. Let also N and L be normal subgroups of G with \(N\subseteq L\), and let \(\pi _N:kG\rightarrow k(G/N)\) be the canonical projection. Then
We close this section with a lemma that allows us to obtain new k-canonical subgroup assignations from known ones and a series of examples connecting this with other results. A version of this lemma (comprehending only the first item), appears in [9] with the name of Transfer Lemma. We choose to reprove it here, as the method of proof is strongly related to one of the other items.
Lemma 3.6
(Transfer Lemma) Let p be a prime number and G and H be finite p-groups. Let t be a positive integer and for \(\Gamma \in \{G,H\}\) let \(N_\Gamma \) and \(L_\Gamma \) be normal subgroups of \(\Gamma \) such that \(\Gamma '\subseteq N_\Gamma \). Let k be a field of characteristic p and \(\phi :kG\rightarrow kH\) be a k-algebra isomorphism preserving the augmentation such that \(\phi (\textrm{I}(N_G;G))=\textrm{I}(N_H;H)\) and \(\phi (\textrm{I}(L_G;G))=\textrm{I}(L_H;H)\). Then
-
(1)
\( \phi (\textrm{I}(\Omega _t(G:N_G);G))=\textrm{I}(\Omega _t(H:N_H);H).\)
-
(2)
\(\phi (\textrm{I}(\mho _t(L_G )N_G;G))=\textrm{I}(\mho _t(L_H )N_H;H).\)
-
(3)
\(\phi \left( \textrm{I}(\Omega _t(\textrm{Z}(G))N_G;G)\right) =\textrm{I}(\Omega _t(\textrm{Z}(H))N_H;H).\)
Proof
Throughout the proof, for a normal subgroup K of \(\Gamma \), we denote by \(\pi _K:k\Gamma \rightarrow k(\Gamma /K)\) the natural projection, with kernel \(\textrm{I}(K;\Gamma )\). The hypothesis \(\phi \left( \textrm{I}(N_G;G)\right) =\textrm{I}(N_H;H)\) yields that the isomorphism \({{\tilde{\phi }}}:k(G/N_G)\rightarrow k(H/N_H)\) induced by \(\phi \) makes the following square commutative
![](http://media.springernature.com/lw142/springer-static/image/art%3A10.1007%2Fs00009-023-02557-1/MediaObjects/9_2023_2557_Equ3_HTML.png)
Let also \(\lambda _\Gamma :k(\Gamma /N_\Gamma )\rightarrow k\mho _t(\Gamma /N_\Gamma )\subseteq k(\Gamma /N_\Gamma )\) be the \(p^t\)-power map, which is a ring homomorphism because of the commutativity of \(\Gamma /N_\Gamma \). There is a commutative square
![](http://media.springernature.com/lw204/springer-static/image/art%3A10.1007%2Fs00009-023-02557-1/MediaObjects/9_2023_2557_Equ4_HTML.png)
where the vertical arrow on the right is just the restriction of \({{\tilde{\phi }}}\).
(1) Taking the kernels of the maps \(\lambda _\Gamma \), the commutativity of (3.3) and Lemma 3.4 yield that
which can be rewritten as
Now, since by Lemma 3.5 we have that \( \pi _{N_\Gamma }^{-1} \left( \textrm{I}(\Omega _t(\Gamma :N_\Gamma )/N_\Gamma ;\Gamma /N_\Gamma )\right) =\textrm{I}( \Omega _t(\Gamma :N_\Gamma );\Gamma ) \), the commutativity of (3.2) yields that
(2) Observe that the hypotheses imply that \(\phi (\textrm{I}(L_GN_G;G))=\textrm{I}(L_HN_H;H)\); moreover in general \(\mho _t(L_\Gamma )N_\Gamma =\mho _t(L_\Gamma N_\Gamma )N_\Gamma \). Thus we can assume without loss of generality that \(N_\Gamma \subseteq L_\Gamma \). Now observe that \(\pi _{N_\Gamma }\left( \textrm{I}(L_\Gamma ;\Gamma )\right) =\textrm{I}(L_\Gamma /N_\Gamma ;\Gamma /N_\Gamma )\). Hence, by the commutativity of (3.2),
Observe also that \( \lambda _\Gamma \left( \textrm{I}(L_\Gamma /N_\Gamma ;\Gamma /N_\Gamma ) \right) \) generates \(\textrm{I}(\mho _t(L_\Gamma /N_\Gamma );\Gamma /N_\Gamma )=\textrm{I}(\mho _t(L_\Gamma )N_\Gamma /N_\Gamma ;\Gamma /N_\Gamma )\) as an ideal of \(k(\Gamma /N_\Gamma )\). Hence by the commutativity of (3.3),
Now the result follows from Lemma 3.5 and the commutativity of (3.2) as in the previous item.
(3) Using the decomposition of the center (3.1), we get that
where the second equality is due to Lemma 3.4. As \([k\Gamma ,k\Gamma ]\subseteq \textrm{I}(\Gamma ';\Gamma )\subseteq \textrm{I}(N_\Gamma ;\Gamma )\), it follows that the ideal of \(k\Gamma \) generated by \(\textrm{Z}(k\Gamma )\cap \ker \lambda _\Gamma \) and \(\textrm{I}(N_\Gamma ;\Gamma )\) is exactly \(\textrm{I}(\Omega _t(\textrm{Z}(\Gamma ))N_\Gamma ;\Gamma ).\) Thus \(\phi (\textrm{Z}(kG)\cap \ker \lambda _G) =\textrm{Z}(kH)\cap \ker \lambda _H\) and \(\phi (\textrm{I}(N_G;G))=\textrm{I}(N_H;H)\) imply the result. \(\square \)
Example 3.7
We illustrate some uses of the Transfer Lemma and relate it to some (recent and classical) known results, as a unified way to approach them. Let k be a field of characteristic p, G and H finite p-groups, and \(\phi :kG\rightarrow kH\) an isomorphism preserving the augmentation, and fix \(t\ge 1\).
-
(1)
Taking t larger than the exponents of the centers of G and H and \(N_\Gamma =\Gamma '\), Lemma 3.6(3) yields
$$\begin{aligned} \phi (\textrm{I}(\textrm{Z}(G)G';G)=\textrm{I}(\textrm{Z}(H)H';H) \end{aligned}$$(3.4)This was already proven in [4] to show that if G is of nilpotency class 2 and \(kG\cong kH\), then H also has nilpotency class 2.
-
(2)
Taking \(N_\Gamma =\Gamma '\) and \(L_\Gamma =\Gamma \), Lemma 3.6(2) yields that
$$\begin{aligned} \phi \left( \textrm{I}(\mho _t(G)G';G)\right) =\textrm{I}(\mho _t(H)H';H), \end{aligned}$$(3.5)which is [20, Theorem 3.2]. In particular for \(t=1\) this yields \( \phi \left( \textrm{I}(\Phi (G);G)\right) =\textrm{I}(\Phi (H);H) \). For \(N_\Gamma =\Gamma '\), Lemma 3.6(1) becomes \( \phi (\textrm{I}(\Omega _t(G:G');G))=\textrm{I}(\Omega _t(H:H');H)\), which is [20, Lemma 3.5].
-
(3)
We also observe that [15, Theorem B] follows as a special case of the previous lemmas. Indeed, applying Lemma 3.2(5) to (3.5) we obtain that \( \textrm{Z}(G)\cap \mho _t(G)G'\cong \textrm{Z}(H)\cap \mho _t(H)H'\) and \( \textrm{Z}(G)\mho _t(G)G'/\mho _t(G)G'\cong \textrm{Z}(H)\mho _t(H)H'/\mho _t(H)H'\). Furthermore, for \(N_\Gamma =\Gamma '\), Lemma 3.6(3) yields
$$\begin{aligned} \phi \left( \textrm{I}(\Omega _t(\textrm{Z}(G))G';G)\right) =\textrm{I}(\Omega _t(\textrm{Z}(H))H';H), \end{aligned}$$(3.6)and hence applying Lemma 3.2(4) we get that \( G/\Omega _t(\textrm{Z}(G))G'\cong H/\Omega _t(\textrm{Z}(H))H'\) and \( \Omega _t(\textrm{Z}(G))G'/G'\cong \Omega _t(\textrm{Z}(H))H'/H'\), the two remaining invariants. Some other invariants resembling the previous ones but not appearing in the mentioned theorem also follow readily. For example, for \(L_\Gamma =\textrm{Z}( \Gamma )\Gamma '\) and \(N_\Gamma =\Gamma '\), Lemma 3.6(2) yields \( \phi (\textrm{I}(\mho _t(\textrm{Z}(G))G';G))=\textrm{I}(\mho _t(\textrm{Z}(H))H';H) \). So that applying Lemma 3.2(4) we derive that
$$\begin{aligned} G/\mho _t(\textrm{Z}(G))G'\cong H/\mho _t(\textrm{Z}(H))H'\quad \text {and} \quad \mho _t(\textrm{Z}(G))G'/G'\cong \mho _t(\textrm{Z}(H))H'/H'. \end{aligned}$$These two last invariants, as far as we know, were never considered before.
-
(4)
For \(N_\Gamma =\textrm{Z}(G)G'\), Lemma 3.6(1) and (3.4) yield that \( \phi \left( \textrm{I}(\Omega _t(G:\textrm{Z}(G)G');G)\right) =\textrm{I}(\Omega _t(H:\textrm{Z}(H)H');H)\). This leads, with the help of Lemma 3.2, to a number of invariants of the group algebra, which, to the best of our knowledge, were used for the first time in [9]. There it is shown (see [9, Lemma 4.1]) that for p-groups with cyclic derived subgroup and \(p>2\) there exists an integer t depending only on kG such that \( C_G(G')=\Omega _t( G:\textrm{Z}(G)G') \), so over this family of groups the subgroup assignation \(G\mapsto C_G(G')\) is k-canonical.
4 Abelian Direct Factors
This section is devoted to proving our main results, and, after a short introduction, it is divided into two parts: the first one is focused on Proposition C, while the second one contains the proof of Theorem A.
Let G be a finite p-group. A homocyclic decomposition \(\mathfrak d\) of G is an internal direct product decomposition
where \(U_i,A_i\) are subgroups of G, \(U_i\) is non-abelian and indecomposable, and \(A_i\) is homocyclic of exponent \(p^{i}\) and rank \(r_i\), i.e., \(A_i\cong (C_{p^{i}})^{r_i}\). Here we allow \(r_i=0\), in which case \(A_i=1\). Such a decomposition always exists by the Krull-Remak-Schmidt theorem. Given a decomposition (4.1), denote \(H_i^{\mathfrak d}(G)=A_i \). Observe that the isomorphism type of \(H_i^{\mathfrak d}(G)\) does not depend on \(\mathfrak d\), also by the Krull–Remak–Schmidt theorem. Sometimes we are only interested in the isomorphism type of \(H_i^{\mathfrak d}(G)\), and in such case we drop \(\mathfrak d\) from the notation. We say that \(H_i (G)\) is the homocyclic component of G of exponent \(p^i\). Moreover, if we can express G as an internal direct product \(G=S\times T\), where T is homocyclic of exponent \(p^i\), then G has a homocyclic decomposition \(\mathfrak d\) satisfying \(T\subseteq H_i^{\mathfrak d}(G)\). In this case we say that \(\mathfrak d\) extends the decomposition \(G=S\times T\).
With the notation above, we also denote \(\text {Ab}^{\mathfrak d}(G)=A_1\times \dots \times A_k \) and \(\text {NAb}^{\mathfrak d}(G)=U_1\times \dots \times U_l\). The same considerations using the Krull–Remak–Schmidt theorem yield that the isomorphism types of these subgroups do not depend on \(\mathfrak {d}\). Hence we can drop it from the notation and write
so this notation agrees with the one used in the introduction.
For the rest of the section, let t be a positive integer. The map
which is a homomorphism of elementary abelian p-groups, will play an important role in the proof of Theorem A as a tool to detect homocyclic components. We continue by listing some elementary properties of the homocyclic components.
Lemma 4.1
Let \(\mathfrak d\) be a homocyclic decomposition of G. Then
-
(1)
\(H_t^{\mathfrak d}(G)\subseteq \Omega _t(\textrm{Z}(G))\).
-
(2)
\(d(H_t^{\mathfrak d}(G))=d(H_t^{\mathfrak d}(G)\Phi (G)/\Phi (G))\).
-
(3)
If U is a subgroup of G such that \(G=U\times H_t^{\mathfrak d}(G)\), then \(\mho _t(G)G'=\mho _t(U)U'\).
-
(4)
\(H_t^{\mathfrak d}(G)\cap \mho _t(G)G'=1\).
-
(5)
The map \(\lambda _G^{t-1}\) restricted to \( H_t^{\mathfrak d}(G)\Phi (G)/\Phi (G) \) is injective.
Proof
(1) and (2) are obvious. Let U be a subgroup of G such that \(G=U\times H_t^{\mathfrak d}(G)\). As \(H_t^{\mathfrak d}(G)\) is abelian, it follows that \(G'=U'\); similarly \(\mho _t(G)=\mho _t(U)\) because \(H_t^{\mathfrak d}(G)\) has exponent \(p^t\), and (3) follows. In particular \(\mho _t(G)G'\cap H_t^{\mathfrak d}(G)\subseteq U\cap H_t^{\mathfrak d}(G)=1\). This proves (4). Finally, observe that, in general, for a homocyclic group H of exponent \(p^t\), every element in \(H\setminus \Phi (H)\) has order \(p^t\). Therefore, if \(x\in H_t^{\mathfrak d}(G)\) is such that \(x^{p^{t-1}}\in \mho _t(G)G'\), then by (2) we have that \(x^{p^{t-1}}=1\), and hence \(x\in \Phi (H_t^{\mathfrak d}(G))\subseteq \Phi (G)\). \(\square \)
4.1 Proof of Proposition C
Lemma 4.2
Let T be a normal subgroup of G such that \(T\cap \mho _t(G)G'=1\) and \(d(T)=d(T\Phi (G)/\Phi (G))\). Suppose that T is homocyclic with exponent \(p^t\). Then \(G=S\times T\), for some subgroup S of G.
Proof
To simplify the notation, we set \(N=\mho _t(G)G'\). Observe that the hypothesis \(T\cap N=1\) implies that \(T\subseteq \Omega _t(\textrm{Z}(G))\). The proof will rely on the following
Claim. Let \(\{x_1,\dots , x_n,y\}\) be a Burnside basis of G and assume that \(y\in \Omega _t(\textrm{Z}(G))\) has order \(p^t\) and verifies \(\left\langle y \right\rangle \cap N=1\). Then
where \(x_i'= x_i^{w_i} y^{e_i}\), for some integers \(w_i\) and \(e_i\) with \(p\not \mid w_i\), for each i.
Proof of the claim: We set \(S_0=1\) and construct \(x_j'=x_j^{w_j}y^{e_j}\) recursively such that \(S_jN\cap \left\langle y \right\rangle =1\), where \(S_j=\left\langle x_1',\dots ,x_j' \right\rangle \). Suppose that \(j\ge 0\) and \(x'_1,\dots ,x'_j\) have been already constructed with \(S_jN\cap \left\langle y \right\rangle =1\). If \(\left\langle S_j,x_{j+1} \right\rangle N \cap \left\langle y \right\rangle =1\), then set \(x_{j+1}'=x_{j+1}\) (i.e., \(e_{j+1}=0\) and \(w_{j+1}=1\)), \(S_{j+1}=\left\langle S_j,x_{j+1} \right\rangle \), and continue. Assume on the contrary that \(\left\langle S_j,x_{j+1} \right\rangle N\cap \left\langle y \right\rangle =\left\langle y^{p^e} \right\rangle \ne 1\). In particular \(e<t\). Then taking quotients modulo \(S_jN\) one has that \(\left\langle x_{j+1}S_jN \right\rangle \cap \left\langle yS_jN \right\rangle =\left\langle y^{p^e}S_jN \right\rangle \ne 1\), since if \(y^{p^e}\in S_jN\) then \(y^{p^e}=1\) by the hypothesis \(S_jN\cap \left\langle y \right\rangle =1\). Thus there is an integer \(wp^s\) with \(p\not \mid w\) such that \(x_{j+1}^{wp^s} y^{-p^e}\in S_jN\). If \(s\ge t\), then \(y^{p^e}\in S_jN\), a contradiction. Thus \(s<t\). If \( s>e\) then \(x_{j+1}^{wp^t}y^{-p^{e+t-s}}\in S_jN\), so \(1\ne y^{p^{e+t-s}}\in S_jN\), a contradiction. Thus \(s\le e\). Then set \(x_{j+1}'=x_{j+1}^w y^{p^{e-s}}\) and \(S_{j+1}=\left\langle S_j,x_{j+1}' \right\rangle \). The previous argument shows that \(S_{j+1}N\cap \left\langle y \right\rangle =1\). This finishes the recursive construction of the \(x_j'\)’s. Then \(S_n\cap \left\langle y \right\rangle =1\) and hence \(G=\left\langle x_1,\dots , x_n,y \right\rangle =\left\langle x_1',\dots , x_n',y \right\rangle =S_n\times \left\langle y \right\rangle \). This finishes the proof of the claim.
Now we are ready to prove the lemma. Let \(\{y_1,\dots , y_r\}\) be a Burnside basis of T. Clearly each \(y_i\) has order \(p^t\), as T is homocyclic with exponent \(p^t\). Since \(d(T\Phi (G)/\Phi (G))=d(T)=r\), we can extend it to a Burnside basis \(\{x_1,\dots , x_n,y_1,\dots , y_r\}\) of G. Then we can apply the claim r times to obtain a decomposition
where, for \(1\le i<r\),
for suitable integers \(e_{i,j} \) and \(w_i\), with \(p\not \mid w_i\). This implies that \(\left\langle y_1',\dots , y_{r-1}',y_r \right\rangle =\left\langle y_1,\dots , y_r \right\rangle =T\), so the lemma follows taking \(S=\left\langle x_1',\dots , x_n' \right\rangle \). \(\square \)
Lemma 4.3
One has
Proof
Fix a homocyclic decomposition \(\mathfrak d\) of G. Let \(\pi :G\rightarrow G/\mho _{t}(G)G'\) be the natural projection. By Lemma 4.1(4) the map \(\pi \) restricted to \(H_t^{\mathfrak d}(G)\) is injective. Let V be a subgroup of G such that \(G=V\times H_t^{\mathfrak d}(G)\), and write \(U=V\cap \Omega _t(\textrm{Z}(G))\). Then \(\Omega _t(\textrm{Z}(G))=U\times H_t^{\mathfrak d}(G)\). Moreover, \(\pi (\Omega _t(\textrm{Z}(G)))=\pi (U)\times \pi (H_t^\mathfrak d(G))\). Indeed, it suffices to prove that \( \pi (U)\cap \pi (H_t^\mathfrak d(G))=1\), and to show this we observe that \(\mho _t(G)G'=\mho _t(V)V'\subseteq V\) by Lemma 4.1(3), and hence
We can extend the decomposition \( \pi (\Omega _t(\textrm{Z}(G)))=\pi (U)\times \pi (H_t^\mathfrak d(G))\) to a homocyclic decomposition \(\bar{\mathfrak d}\) of \(\pi (\Omega _t(\textrm{Z}(G)))\). Then \(H_t^{\mathfrak d}(G)\cong \pi (H_t^{\mathfrak d}(G))\subseteq H_t^{\bar{\mathfrak d } }(\pi (\Omega _t(\textrm{Z}(G))) )\). Assume by contradiction that the inclusion is strict. Then there is a non-trivial subgroup \(A\subseteq H_t^{\bar{\mathfrak d}}(\pi (\Omega _t(\textrm{Z}(G))) )\) such that \(H_t^{\bar{\mathfrak d}}(\pi (\Omega _t(\textrm{Z}(G))) )= A\times \pi ( H_t^{\mathfrak d}(G))\), so that A must be homocyclic with exponent \(p^t\). Take an element \(x\in A\) with order \(p^t\). Then there is some element \(y\in \Omega _t(\textrm{Z}(G))\) such that\(\pi (y)=x\). The order of y is also \(p^t\). If \(y\in \Phi (G)\) then \(y^{p^{t-1}}\in \mho _{t}(G)G'\), so that \(x^{p^{t-1}}=\pi (y^{p^{t-1}})=1\), a contradiction. Moreover \(\left\langle y \right\rangle \cap H_t^{\mathfrak d}(G)=1\), as \(\pi (\left\langle y \right\rangle \cap H_t^{\mathfrak d}(G)) =\left\langle x \right\rangle \cap \pi (H_t^{\mathfrak d}(G))=1\). Now observe that \(\pi (\left\langle y \right\rangle \times H_t^{\mathfrak d}(G))=\left\langle x \right\rangle \times \pi (H_t^{\mathfrak d}(G))\), so that \(\pi \) is also injective over \(\left\langle y \right\rangle \times H_t^{\mathfrak d}(G)\), i.e., \((\left\langle y \right\rangle \times H_t^{\mathfrak d}(G) )\cap \mho _t(G)G'=1\). Finally observe that if \(y\in \Phi (G)H_t^{\mathfrak d}(G)\) then \(y^{t-1}\in \mho _t(G)G'H_t^{\mathfrak d}(G)\), so that \(1\ne x^{p^{t-1}}=\pi (y^{t-1})\in \left\langle x \right\rangle \cap \pi (H_t^{\mathfrak d}(G))=1\), a contradiction. Hence the rank of \((\left\langle y \right\rangle \times H_t^{\mathfrak d}(G))\Phi (G)/\Phi (G)\) is the rank of \(\left\langle y \right\rangle \times H_t^{\mathfrak d}(G)\). Therefore by Lemma 4.2 there exists a subgroup S of G such that \( G=S\times \left\langle y \right\rangle \times H_t^{\mathfrak d}(G) \). But now we can extend this decomposition to a homocyclic decomposition \(\tilde{\mathfrak d}\) of G verifying that \( \left\langle y \right\rangle \times H_t^{\mathfrak d}(G)\subseteq H_t^{\tilde{\mathfrak d}}(G)\cong H_t^{\mathfrak d}(G)\), a contradiction. \(\square \)
Lemma 4.4
One has
Proof
Since \(\text { Ab}(G)\cong \prod _{i\ge 1} H_i(G)\), Lemma 4.3 yields the result. \(\square \)
The following is the same as Proposition C.
Proposition 4.5
Let G and H finite p-groups such that \(kG\cong kH\). Then \(\text {Ab}(G)\cong \text { Ab}(H)\).
Proof
Let \(\phi :kG \rightarrow kH\) be an isomorphism preserving the augmentation. By (3.5) we can apply Lemma 3.6(3) for \(N_\Gamma =\mho _t(\Gamma )\Gamma '\)and derive that \( \phi \left( \textrm{I}(\Omega _t(\textrm{Z}(G))\mho _t(G)G';G)\right) =\textrm{I}(\Omega _t(\textrm{Z}(H))\mho _t(H)H';H)\). By the same reason, we can apply Lemma 3.2(3) with \(N_\Gamma =\mho _t(\Gamma )\Gamma '\) and \(L_\Gamma =\Omega _t(\textrm{Z}(\Gamma ))\mho _t(\Gamma )\Gamma '\) to deduce that
for each \(t\ge 1\). In particular
Thus the result follows from Lemma 4.4. \(\square \)
In particular, the previous lemma is equivalent to \( H_t(G)\cong H_t(H) \) for each t, provided that \(kG\cong kH\). Hence \(|H_t(G)|=|H_t(H)|\).
4.2 Proof of Theorem A
We will need another pair of lemmas about homocyclic components, as well as to recover some ideas from [15].
Lemma 4.6
Let T be a subgroup of \(\Omega _t(\textrm{Z}(G))\) such that \(d(T)=d(T\Phi (G)/\Phi (G)) \) and such that the restriction of \(\lambda _G^{t-1}\) to \(T\Phi (G)/\Phi (G)\) is injective. Then T is homocyclic of exponent \(p^t\) and \(G=S\times T\) for some subgroup S of G.
Proof
Observe that \(d(T)=d(T\Phi (G)/\Phi (G))\) implies that \(\Phi (G)\cap T=\Phi (T)\). As \(T\subseteq \Omega _t(\textrm{Z}(G))\), to show that it is homocyclic of exponent \(p^t\) it suffices to prove that every element in \(T\setminus \Phi (T)=T\setminus \Phi (G)\) has order greater than \(p^{t-1}\), and that is a direct consequence of the injectivity of \(\lambda _G^{t-1}\).
We claim that \(T\cap \mho _t(G)G'=1\). Indeed, if \(1\ne x\in T\cap \mho _t(G)G'\) then there exist some \(y\in G\) and \(z\in G'\) such that \(x=y^{p^t}z\). As \(x\in T\subseteq \Omega _t( \textrm{Z}(G))\), there is some integer e and some element \(g\in T{\setminus } \Phi (T)=T{\setminus } \Phi (G)\) such that \(g^{p^e}=x\), with \(e<t\). Therefore \(g^{p^{t-1}}=x^{p^{t-1-e}}=(y^{p^t}z)^{p^{t-1-e}}= y^{p^{2t-e-1}}z'\) for some \(z'\in G'\), that is, \(g^{p^{t-1}}\in \mho _t(G)G'\), thus \(1\ne g \Phi (G)\) belongs to the kernel of \(\lambda _G^{t-1}\), a contradiction. So the claim follows, and we can apply Lemma 4.2 to derive the result. \(\square \)
Lemma 4.7
Let T be a subgroup of \(\Omega _t(\textrm{Z}(G))\) such that \(d(T)=d(T\Phi (G)/\Phi (G)) \). Then the following conditions are equivalent:
-
(1)
\(\Omega _t(\textrm{Z}(G))\Phi (G)/\Phi (G)\) admits the following direct product decomposition
$$\begin{aligned} \frac{\Omega _t(\textrm{Z}(G))\Phi (G)}{\Phi (G)}=\frac{T\Phi (G)}{\Phi (G)}\times \ker \lambda _G^{t-1}. \end{aligned}$$ -
(2)
There exists a homocyclic decomposition \(\mathfrak d\) of G such that \(T=H_t^{\mathfrak d}(G)\).
Proof
Assume (1). This implies that the restriction of \(\lambda _G^{t-1}\) to \(T\Phi (G)/\Phi (G)\) is injective. Thus by Lemma 4.6 we have that \(G=S\times T\) for some subgroup S of G, and T is homocyclic of exponent \(p^t\). Hence there is a homocyclic decomposition \(\mathfrak d\) of G such that \(T\subseteq H_t^{\mathfrak d}(G) \). Suppose by contradiction that the inclusion is strict. Then, observing that the elementary abelian group \(\Omega _t(\textrm{Z}(G))\Phi (G)/\Phi (G)\) can be seen as a vector space over \({{\mathbb {F}}}_p\), by counting dimensions it is clear that \((H_t^{\mathfrak d}(G)\Phi (G)/\Phi (G)) \cap \ker (\lambda _G^{t-1}) \ne 1\). Hence \(\lambda _G^{t-1}\) is not injective over \(H_t^{\mathfrak d}(G)\), contradicting Lemma 4.1(5).
Conversely, assume that \(T=H_t^{\mathfrak d}(G)\) for some homocyclic decomposition \(\mathfrak d\) of G. Since \(\lambda _G^{t-1}\) restricted to \(T\Phi (G)/\Phi (G)\) is injective by Lemma 4.1(5), we have that \((T\Phi (G)/\Phi (G))\cap \ker \lambda _G^{t-1} =1\). Hence
It suffices to show that the inclusion is in fact an equality and to see this we count dimension as \({{\mathbb {F}}}_p\)-spaces. Take a direct complement U of \(\ker \lambda _G^{t-1}\) in \(\Omega _t(\textrm{Z}(G))\Phi (G)/\Phi (G)\). Let \(x_1,\dots , x_r\) be a basis of U. Then we can take elements \(y_1,\dots , y_r\in \Omega _t(\textrm{Z}(G))\) such that \(y_i\Phi (G)=x_i\). Set \(S=\left\langle y_1,\dots , y_r \right\rangle \). Then \(S\subseteq \Omega _t(\textrm{Z}(G))\), \(d(S)=r=d(S\Phi (G)/\Phi (G))\) and \(S\Phi (G)/\Phi (G)\times \ker \lambda _G^{t-1}=\Omega _t(\textrm{Z}(G))\Phi (G)/\Phi (G)\). Thus by the previous paragraph there is a homocyclic decomposition \(\bar{\mathfrak d}\) of G such that \(S=H_t^{\bar{\mathfrak d}}(G)\). Thus
By Lemma 4.1(2) the first and the last terms in the previous expression equal \(d(H_t^{\mathfrak d}(G)) =d(H_t(G))\), so the inequality is in fact an equality and the result follows. \(\square \)
Lemma 4.8
[15, Lemma 4.2] Let N and L be subgroups of G such that G is the direct product \(G =N \times L\). Then for each positive integer n the following equality holds:
The following lemma extracts the idea, with essentially the same proof, of [15, Lemma 4.5].
Lemma 4.9
Let N and L be subgroups of G such that G is the direct product \(G =N \times L\). Let J be a proper ideal of kG such that:
-
(1)
\(\text {codim}_{kG}(J)=|L|\).
-
(2)
\(J+\textrm{I}(G)^2=\textrm{I}(N)kG+\textrm{I}(G)^2\).
Then \(kG=J\times kL\).
Proof
Observe that (2) easily implies that for each \(n\ge 1\)
We claim that
for each \(n\ge 1\). Let c be the smallest integer such that \(\textrm{I}(G)^c=0\). If \(n\ge c\) then both terms in the equality are zero since \(J\subseteq \textrm{I}(G)\), thus it holds trivially. Assume by induction on \(c-n\) that \(\textrm{I}(G)^{n+1}=J\textrm{I}(G)^n+\textrm{I}(L)^{n+1}\). Then
Thus the claim follows. In particular, for \(n=1\) we have that \(\textrm{I}(G)=J+\textrm{I}(L)\). So that \(kG=J+kL\), and (1) guarantees that the sum is direct. \(\square \)
Lemma 4.10
If N is a normal subgroup of G then \( \left( 1+\textrm{I}(N;G)+\textrm{I}(G)^n\right) \cap G= {\textrm{D}}_n(G)N\).
Proof
The right-to-left inclusion is trivial, so we prove the converse one. Let \(\pi _N:kG\rightarrow k(G/N)\) be the natural projection and assume that \(g\in \left( 1+\textrm{I}(N;G)+\textrm{I}(G)^n\right) \cap G\). Then \(\pi _N(G)\in \left( 1+\textrm{I}(G/N)^n\right) \cap (G/N)= {\textrm{D}}_n(G/N)\subseteq {\textrm{D}}_n(G)N/N\), so that \(g\in {\textrm{D}}_n(G)N\). \(\square \)
We will use the following map
already introduced in [16], is well defined. Moreover there are injective maps
\(\underline{\hbox {From now on we assume that}\ k={{\mathbb {F}}}_p.}\) Then \(\psi _1\) is an isomorphism (see, for example, [24, Proposition III.1.15]). Let N be a normal subgroup of G. Therefore \(\psi _1(N\Phi (G)/\Phi (G))=(\textrm{I}(N;G)+\textrm{I}(G)^2)/\textrm{I}(G)^2\). Furthermore, from Lemma 4.10 it follows easily that
is also injective. Therefore we have a commutative diagram
![](http://media.springernature.com/lw208/springer-static/image/art%3A10.1007%2Fs00009-023-02557-1/MediaObjects/9_2023_2557_Equ58_HTML.png)
where \({{\tilde{\lambda }}}_G^{t-1}\) is given by the \(p^{t-1}\)-power map in the group, \(x\Phi (G)\mapsto x^{p^{t-1}}{\textrm{D}}_{p^{t-1}+1}(G)N\). Observe that the image of \({{\tilde{\lambda }}}_G^{t-1} \) is contained, by definition, in \(\mho _{t-1}(G)\). Moreover, restricting this diagram to \(\Omega _t(\textrm{Z}(G))\Phi (G)/\Phi (G)\) we have that
![](http://media.springernature.com/lw313/springer-static/image/art%3A10.1007%2Fs00009-023-02557-1/MediaObjects/9_2023_2557_Equ59_HTML.png)
commutes, where \(\psi _1\) is still an isomorphism. Now set \(N=\mho _t(G)G'\). As \(\mho _t(G)\subseteq \mho _{t-1}(G)\) and \({\textrm{D}}_{p^{t-1}+1}(G)\subseteq \mho _t(G)G'\), we have that \(\tilde{\lambda }_G^{t-1}=\lambda _G^{t-1}\) and the previous diagram becomes:
![](http://media.springernature.com/lw357/springer-static/image/art%3A10.1007%2Fs00009-023-02557-1/MediaObjects/9_2023_2557_Equ10_HTML.png)
Observe that by the election of N the diagram can be seen as constructed from the commutative group algebra \(k(G/G')\), so that both \(\lambda _G^{t-1}\) and \(\Lambda _G^{t-1}\) are homomorphisms of elementary abelian groups/vector spaces over k.
Lemma 4.11
Let \(V_G \) be a subspace of \(\textrm{I}(G)\) containing \(\textrm{I}(G)^2\). With the notation above, the following conditions are equivalent:
-
(1)
There is a direct sum decomposition
$$\begin{aligned} \frac{V_G }{\textrm{I}(G)^2}\times \ker \Lambda _G^{t-1}= \frac{\textrm{I}(\Omega _t(\textrm{Z}(G))G';G)+\textrm{I}(G)^2}{\textrm{I}(G)^2} . \end{aligned}$$(4.4) -
(2)
There exists a homocyclic decomposition \(\mathfrak d\) of G such that
$$\begin{aligned} V_G = \textrm{I}(H_t^{\mathfrak d}(G);G)+\textrm{I}(G)^2. \end{aligned}$$
Proof
Since \(\psi _1\) is an isomorphism, \(\psi _{p^{t-1}}^{\mho _t(G)G'}\) is injective, and the diagram (4.3) is commutative, (4.4) is equivalent to
If \(V_G =\textrm{I}(H_t^{\mathfrak d}(G);G)+\textrm{I}(G)^2\) for some decomposition \(\mathfrak d\) of G then \(\psi _1^{-1}(V_G /\textrm{I}(G)^2)=H_t^{\mathfrak d}(G)\Phi (G)/\Phi (G)\), and hence (4.5) follows from Lemma 4.7. Conversely, assume that (4.5) holds. Let \(\{x_1,\dots , x_r\}\) be a (Burnside) basis of \( \psi _1^{-1}(V_G/\textrm{I}(G)^2) \). Take elements \(y_i\in \Omega _t(\textrm{Z}(G))\) such that \(y_i\Phi (G)=x_i\) for \(1\le i\le r\), and set \(T=\left\langle y_1,\dots , y_r \right\rangle \). Then \(d(T)=r=d(T\Phi (G)/\Phi (G))\) and \(\psi _1^{-1}(V_G /\textrm{I}(G)^2)=T\Phi (G)/\Phi (G)\). Therefore Lemma 4.7 yields that there is a decomposition \(\mathfrak d\) of G such that \(T=H_t^{\mathfrak d}(G)\), so that \( V_G^t=\textrm{I}(T;G)+\textrm{I}(G)^2=\textrm{I}(H_t^{\mathfrak d}(G);G)+\textrm{I}(G)^2 \) as desired. \(\square \)
Lemma 4.12
Let \(\phi :kG\rightarrow kH\) be an isomorphism preserving the augmentation, and \(\mathfrak d\) be a homocyclic decomposition of G. Then there exists a homocyclic decomposition \(\bar{\mathfrak d}\) of H such that if \(H=S\times H_t^{\bar{\mathfrak d}}(H)\), then \(kH=\phi (\textrm{I}(H_t^{\mathfrak d}(G);G))\times kS\).
Proof
Set \(V_G = \textrm{I}(H_t^{\mathfrak d}(G);G)+\textrm{I}(G)^2\), so that by Lemma 4.11 we have that
It follows from (3.5) and (3.6) that \(\phi \) induces isomorphisms \({{\tilde{\phi }}}\) and \({{\hat{\phi }}}\) such that the following diagram commutes:
![](http://media.springernature.com/lw360/springer-static/image/art%3A10.1007%2Fs00009-023-02557-1/MediaObjects/9_2023_2557_Equ13_HTML.png)
In particular this shows that \({{\tilde{\phi }}}(\ker \Lambda _G^{t-1})=\ker \Lambda _H^{t-1}\), and therefore that
Applying once more Lemma 4.11, we derive the existence of a homocyclic decomposition \(\bar{\mathfrak d}\) of H verifying
Now \(\phi (\textrm{I}(H_t^{\mathfrak d}(G);G))\) is an ideal of kH verifying the following conditions:
-
(1)
\(\text {codim}_{kH}(\phi (\textrm{I}(H_t^{\mathfrak d}(G);G)))=\text {codim}_{kG}(\textrm{I}(H_t^{\mathfrak d}(G);G))=|G|/|H_t^{\mathfrak d} (G)|=|H|/|H_t^{\bar{\mathfrak d}}(H)| \), where the last equality is due to Proposition 4.5;
-
(2)
\(\phi (\textrm{I}(H_t^{\mathfrak d}(G);G))+\textrm{I}(H)^2=\phi \left( \textrm{I}(H_t^{\mathfrak d}(G);G)+\textrm{I}(G)^2 \right) =\phi (V_G)=\textrm{I}(H_t^{\bar{\mathfrak d}}(H);H)+ \textrm{I}(H)^2.\)
Thus Lemma 4.9 yields that for any subgroup S of H such that \(H=S\times H_t^{\bar{\mathfrak d}}(H)\) one has that \(kH=\phi (\textrm{I}(H_t^{\mathfrak d}(G);G)) \times kS\), as desired. \(\square \)
Now Theorem A follows easily:
Theorem 4.13
Let G and H be finite p-groups and \(k={{\mathbb {F}}}_p\). Then
Proof
If \( k\left( \text {NAb}(G)\right) \cong k\left( \text {NAb}(H)\right) \) and \( \text {Ab}(G)\cong \text {Ab}(H)\), then also \(k\left( \text {Ab}(G)\right) \cong k\left( \text {Ab}(H)\right) \), so that
Conversely, assume that \(\phi :kG\rightarrow kH\) is an isomorphism preserving the augmentation. Then by Proposition 4.5 we have that \(\text {Ab}(G)\cong \text {Ab}(H)\). Consider a sequence \(({\mathcal {G}}_i, {\mathcal {H}}_i,\phi _i)_{i}\) defined recursively as follows. Set \( {\mathcal {G}}_0= G\), \( {\mathcal {H}}_0= H\) and \(\phi _0=\phi \). Assume that for \(i\ge 0\) the tuple \((\mathcal G_i,{\mathcal {H}}_i,\phi _i)\) is defined such that \(\phi _i:k\mathcal G_i\rightarrow k{\mathcal {H}}_i\) is an isomorphism preserving the augmentation. Choose a homocyclic decomposition \(\mathfrak d_i \) of \(\mathcal G_i\) and take a subgroup \({\mathcal {G}}_{i+1}\) of \({\mathcal {G}}_i\) such that \({\mathcal {G}}_i={\mathcal {G}}_{i+1}\times H_i^{\mathfrak d_i}({\mathcal {G}}_i)\); then by Lemma 4.12 there is a homocyclic decomposition \(\bar{\mathfrak d}_i\) of \({\mathcal {H}}_i\) such that, given a subgroup \({\mathcal {H}}_{i+1}\) of \({\mathcal {H}}_i\) satisfying \({\mathcal {H}}_i={\mathcal {H}}_{i+1}\times H_i^{\bar{\mathfrak d}_i}({\mathcal {H}}_i)\), one has that
Since \(k{\mathcal {G}}_i=\textrm{I}(H_i^{\mathfrak d_i}(\mathcal G_i);{\mathcal {G}}_i)\times k{\mathcal {G}}_{i+1}\) by Lemma 4.8 for \(n=1\), it follows that \(\phi _i\) induces an isomorphism
and we can advance to the next step of the sequence. If i is large enough (for example if \(p^i\) exceeds the exponent of G), by the Krull-Remak-Schmidt theorem \({\mathcal {G}}_i\cong \text {NAb}(G)\) and \({\mathcal {H}}_i\cong \text {NAb}(H)\). Thus we have an isomorphism \(\phi _i:k\left( \text {NAb}(G)\right) \rightarrow k\left( \text {NAb}(H)\right) \) as desired. \(\square \)
Remark 4.14
Observe that both Proposition C and Theorem A rely on the results in Sect. 3: indeed, the former depends on the fact that the subgroup assignations \(G\mapsto \Omega _t(\textrm{Z}(G))\mho _t(G)G'\) and \(G\mapsto \mho _t(G)G'\) are k-canonical to show that the isomorphism type of the quotient \(\Omega _t(\textrm{Z}(G))\mho _t(G)G'/ \mho _t(G)G'\) is determined by kG in Proposition 4.5, while the latter, in addition, uses that \(G\mapsto \Omega _t(\textrm{Z}(G))G'\) is k-canonical to guarantee that the arguments involving the commutative diagram (4.6) make sense.
In the light of Theorem A, Corollary B follows easily. Indeed, it suffices to observe that if a non-abelian finite p-group G satisfies one of the properties (1)-(8) in Corollary B, so does \(\text {NAb}(G)\), and then apply Proposition 2.1.
Availability of Data and Materials
Not applicable.
References
Bagiński, C.: The isomorphism question for modular group algebras of metacyclic \(p\)-groups. Proc. Am. Math. Soc. 104(1), 39–42 (1988)
Bagiński, C.: On the isomorphism problem for modular group algebras of elementary abelian-by-cyclic \(p\)-groups. Colloq. Math. 82(1), 125–136 (1999)
Broche, O., del Río, Á.: The Modular Isomorphism Problem for two generated groups of class two. Indian J. Pure Appl. Math. 52, 721–728 (2021)
Bagiński, C., Konovalov, A.: The Modular Isomorphism Problem for Finite \(p\)-groups with a Cyclic Subgroup of index \(p^2\), Groups St. Andrews 2005. Volume 1, London Mathematical Society Lecture Note Series, vol. 339, pp. 186–193. Cambridge University Press, Cambridge (2007)
Bagiński, C., Kurdics, J.: The modular group algebras of \(p\)-groups of maximal class II. Commun. Algebra 47(2), 761–771 (2019)
Brauer, R.: Representations of Finite Groups, Lectures on Modern Mathematics, vol. I, pp. 133–175. Wiley, New York (1963)
Coleman, D.B.: Finite groups with isomorphic group algebras. Trans. Am. Math. Soc. 105(1), 1–8 (1962)
Deskins, W.E.: Finite Abelian groups with isomorphic group algebras. Duke Math. J. 23, 35–40 (1956)
García-Lucas, D., del Río, Á., Stanojkowski, M.: On group invariants determined by modular group algebras: even versus odd characteristic. Algebra Represent. Theory (2022). https://doi.org/10.1007/s10468-022-10182-x
García-Lucas, D., Margolis, L., del Río, Á.: Non-isomorphic \(2\)-groups with isomorphic modular group algebras. J. Reine Angew. Math. 154(783), 269–274 (2022)
Hertweck, M.: A note on the modular group algebras of odd \(p\)-groups of \(M\)-length three. Publ. Math. Debr. 71(1–2), 83–93 (2007)
Margolis, L.: The modular isomorphism problem: a survey. Jahresbericht der Deutschen Mathematiker-Vereinigung 124(3), 157–196 (2022)
Margolis, L., Moede, T.: The modular isomorphism problem for small groups—revisiting Eick’s algorithm. J. Comput. Algebra 1–2, 100001 (2022)
Margolis, L., Stanojkovski, M.: On the modular isomorphism problem for groups of class \(3\) and obelisks. J. Group Theory 25(1), 163–206 (2022)
Margolis, L., Sakurai, T., Stanojkovski, M.: Abelian invariants and a reduction theorem for the modular isomorphism problem. J. Algebra 636, 533–559 (2023)
Passman, D.S.: The group algebras of groups of order \(p^{4}\) over a modular field. Mich. Math. J. 12, 405–415 (1965)
Passman, D.S.: The Algebraic Structure of Group Rings, Pure and Applied Mathematics. Wiley-Interscience, New York (1977)
Passi, I.B.S., Sehgal, S.K.: Isomorphism of modular group algebras. Math. Z. 129, 65–73 (1972)
Sakurai, T.: The isomorphism problem for group algebras: a criterion. J. Group Theory 23(3), 435–445 (2020)
Salim, M.A.M.: The isomorphism problem for the modular group algebras of groups of order \(p^5\), ProQuest LLC, Ann Arbor, MI, (1993), Thesis (Ph.D.)—University of Manchester
Sandling, R.: The Isomorphism Problem for Group Rings: A Survey, , Orders and their Applications (Oberwolfach, 1984), Lecture Notes in Mathematics, vol. 1142, pp. 256–288. Springer, Berlin (1985)
Sandling, R.: The modular group algebra of a central-elementary-by-abelian \(p\)-group. Arch. Math. (Basel) 52(1), 22–27 (1989)
Sandling, R.: The modular group algebra problem for metacyclic \(p\)-groups. Proc. Am. Math. Soc. 124(5), 1347–1350 (1996)
Sehgal, S.K.: Topics in Group Rings, Monographs and Textbooks in Pure and Applied Mathematics, vol. 50. Marcel Dekker Inc, New York (1978)
Salim, M.A.M., Sandling, R.: The unit group of the modular small group algebra. Math. J. Okayama Univ. 37(1995), 15–25 (1996)
Acknowledgements
I’d like to express my gratitude to Ángel del Río and Mima Stanojkovski for fruitful conversations on the ideas in this paper, and for their generosity. To both of them, to Leo Margolis and to the referee also for their very useful comments and careful reading of earlier versions of this paper.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. The author is partially supported by Grant PID2020-113206GB-I00 funded by MCIN/AEI/10.13039/501100011033 and by Grant Fundación Séneca 22004/PI/22.
Author information
Authors and Affiliations
Contributions
The only author has contributed evenly to the writting of the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
No potential conflict of interest was reported by the author.
Ethical Approval
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
García-Lucas, D. The Modular Isomorphism Problem and Abelian Direct Factors. Mediterr. J. Math. 21, 18 (2024). https://doi.org/10.1007/s00009-023-02557-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00009-023-02557-1