Abstract
Let G be a finite group and N a normal subgroup of G. We prove that the knowledge of the sizes of the conjugacy classes of G that are contained in N and of their multiplicities provides information of N in relation to the structure of G. Among other results, we obtain a criterion to determine whether a Sylow p-subgroup of N lies in the hypercentre of G for a fixed prime p, and therefore, whether the whole subgroup N is hypercentral in G.
Similar content being viewed by others
1 Introduction
It is well known that the set of conjugacy class sizes of a finite group may provide structural information of it. There exist multiple relevant results that endorse it, for instance, Itô’s theorem about the nilpotency of groups having exactly two class sizes. The reader is referred to [3] for a good survey on this widely studied research topic. But the knowledge of only the class sizes of a group may result quite restrictive to get to know certain properties of it. In fact, the order of the group is unbounded, and its nilpotency or solvability cannot be determined either ([4] and [10], respectively). Nevertheless, when the multiplicities of the class sizes are provided as well, it seems that further information of the group could be obtained. Indeed, a reference work by Cossey, Hawkes and Mann [5] establishes that nilpotency can be read off from the knowledge of the class sizes and their multiplicities, however, recognising solvability and supersolvability of a group still continue to be open problems.
Let G be a finite group and \(N\unlhd G\). Instead of looking into all conjugacy classes of G, we restrict ourselves to the conjugacy classes of G contained in N, which are called G-classes of N. There also exist research works (see [1] or [2] for instance) showing that a limited set of G-class sizes of N may exert a strong influence on the structure of N. Our aim in this paper is to investigate which properties of N can be extracted from the G-class sizes together with their multiplicities. For this purpose, inspired by the class size frequency function introduced in [5], we define the G-class size frequency function of N, \(w^G_N: {\mathbb {N}}\longrightarrow {\mathbb {N}}\), as follows:
that is, for every \(n\in {\mathbb {N}}\), \(w^G_N(n)\) is the number of G-classes contained in N that have cardinality n. This function trivially provides arithmetical properties of N; its order and hence, the order of its Sylow subgroups, as well as the number of elements of N that are central in G. No information of G, whenever \(N<G\), seems to be able to be recovered. Even though the G-class sizes and their multiplicities may involve primes that do not divide the order of N, we show, however, that the G-class size frequency function of N can still provide properties of N with regard to its immersion in G. Our first result is
Theorem A
Let G be a finite group and N a normal subgroup of G. Then the G-class sizes of N and their multiplicities determine whether N is hypercentral in G.
By using properties of the hypercentre of a group, Theorem A yields to the following corollary, which shows how the G-class size frequency function of a normal subgroup N gives information about the external behaviour of the prime-power order elements of N with respect to G.
Corollary B
Let G be a finite group, N a normal subgroup and p a prime. Then the G-class sizes of N and their multiplicities determine whether all p-elements of N belong to \(\textbf{C}_N(\textbf{O}^p(G))\).
Inspired by [9], we obtain the next result relative to commutativity in G of certain prime-power order elements of N.
Theorem C
Suppose that G is a finite group and N is a normal subgroup of G. Then the G-class sizes of N and their multiplicities determine whether all elements of N lying in the centre of some Sylow subgroup of G belong to \(\textbf{Z}(G)\).
We will show by an example that the G-class size frequency function of a normal subgroup does not detect whether such subgroup is abelian, nor the derived length when the normal subgroup is solvable or the nilpotency class when it is nilpotent. We have been unable to decide, however, whether nilpotency can be recognised. Of course, determining solvability or supersolvability, as happens with class sizes and their multiplicities in a group, are likewise open problems. We encourage the reader to continue with this research.
2 Notation and preliminaries
Let G be a finite group and N a normal subgroup. For our convenience, if \(\pi \) is a set of primes, we will write \(\mathcal {S}_{\pi }^G(N)\) to denote the subset of elements of N whose G-class has cardinality a \(\pi \)-number. The cardinality of this set is easily computed from the G-class size frequency function of N, \(w^G_N\), defined in the Introduction, by the formula
where \(n_{\pi '}\) denotes the \(\pi '\)-part of \(n\in {\mathbb {N}}\). We will specially focus on the cases \(\pi =\{p\}\) and \(\pi =\{p\}'\) with p prime, and will write \(\mathcal {S}_p^G(N)\) and \(\mathcal {S}_{p'}^G(N)\) to denote the corresponding sets.
We recall the definition of the hypercentre of a group [8, p. 7, 8]. Let G be a finite group and \(1\le \textbf{Z}_1(G)\le \textbf{Z}_2(G)\le \ldots \) be a series of subgroups of G, where \(\textbf{Z}_1(G)\) is the centre of G and \(\textbf{Z}_{i+1}(G)\) for \(i\ge 1\) is defined by \(\textbf{Z}_{i+1}(G)/\textbf{Z}_i(G)=\textbf{Z}(G/\textbf{Z}_i(G))\). Then the hypercentre of G, \(\textbf{Z}_{\infty }(G)\), is the last term of this series, and is nilpotent and characteristic in G. A group G is nilpotent if and only if \(G=\textbf{Z}_{\infty }(G)\).
Before giving the proofs of our results, we need to state and develop several basic lemmas about hypercentres and normal subgroups. The first property is renowned and the second, which originally appeared in a slightly modified form in [11, Lemma 2], is a consequence of it, which is often more convenient to apply.
Lemma 2.1
(p. 739, [7]) Let G be a finite group. A normal p-subgroup N of G lies in \(\textbf{Z}_\infty (G)\) if and only if \(G/\textbf{C}_G(N)\) is a p-group.
Lemma 2.2
(Lemma 2, [5]) A p-element x of a finite group G lies in \(\textbf{Z}_\infty (G)\) if and only if x commutes with each \(p'\)-element of G.
It is well known that the primes dividing \(|\textbf{Z}_{\infty }(G)|\) are exactly those dividing \(|\textbf{Z}(G)|\). The same occurs when one intersects with any normal subgroup of G.
Lemma 2.3
Let G be a finite group and N a normal subgroup of G. If a prime p divides \(|N\cap \textbf{Z}_\infty (G)|\), then p divides \(|\textbf{Z}(G)\cap N|\).
Proof
Suppose that p divides \(|N\cap \textbf{Z}_\infty (G)|\) and take \(P_0\) a Sylow p-subgroup of \(N\cap \textbf{Z}_\infty (G)\). Since \(N\cap \textbf{Z}_\infty (G)\) is nilpotent and normal in G, we have \(P_0\unlhd G\). Now, if P is a Sylow p-subgroup of G, it is clear that \(P_0\le P\), and hence \(P_0\cap \textbf{Z}(P)\ne 1\). By applying Lemma (2.1) to \(P_0\), we get \(G=P\textbf{C}_G(P_0)\) and this implies that \(1\ne P_0\cap \textbf{Z}(P)\le \textbf{Z}(G)\). Since we also have \(P_0\cap \textbf{Z}(P)\le N\), we conclude that p divides \(|N\cap \textbf{Z}(G)|\). \(\square \)
3 Proofs
We are ready to prove our results. We remark that our proof of Theorem A, which we state again in a more convenient form, differs from that originally appeared in [5] to demonstrate that the nilpotency of a group can be recognised from the class size frequency function. We have adapted instead the ideas of [8, Theorem 23.5].
Theorem 3.1
Let G be a finite group and N a normal subgroup of G. Then the G-class sizes of N and their multiplicities determine whether N is hypercentral in G. Precisely, if p is a prime number, then
-
(a)
\(|\mathcal {S}_{p}^G(N)|_p=|N\cap \textbf{Z}_{\infty } (G)|_p\), where \(\textbf{Z}_{\infty } (G)\) is the hypercentre of G.
-
(b)
a Sylow p-subgroup of N is hypercentral in G if and only if \(|\mathcal {S}_{p}^G(N)|_p=|N|_p\).
Proof
We proceed by induction on |N| to prove (a). By definition of the set \(\mathcal {S}_{p}^G(N)\) we have
Suppose first that p does not divide \(|N\cap \textbf{Z}_{\infty } (G)|\), so certainly p does not divide \(|N\cap \textbf{Z}(G)|\) either. In this case the above congruence proves that \(|\mathcal {S}_{p}^G(N)|\) is a \(p'\)-number. Hence \(|\mathcal {S}_{p}^G(N)|_p=1= |N\cap \textbf{Z}_{\infty } (G)|_p\), so (a) is proved.
Henceforth, we will assume that p divides \(|N\cap \textbf{Z}_{\infty } (G)|\). By Lemma (2.3), we have that p divides \(|N \cap \textbf{Z}(G)|\), so we can take \(M\le N\cap \textbf{Z}(G)\) such that \(|M|=p\). We consider \(\overline{G}=G/M\) with the normal subgroup \(\overline{N}=N/M\). In the following we will prove
For every \(g\in N\), we have
If \(u\in U\), then we can write \(g^u=gf(u)\), with \(f(u)=[g,u]\in M\). As M is central in G, then
for all \(v\in U\). Thus, f is a group homomorphism from U to M, and its kernel is exactly \(\textbf{C}_G(g)\). Consequently, \(|U/\textbf{C}_G(g)|\) divides \(|M|=p\).
Take now \(\overline{g}\in \mathcal {S}_{p}^{\overline{G}}(\overline{N})\), that is, take \(\overline{g}\in \overline{N}\) satisfying \(|\overline{g}^{\overline{G}}|=p^i\) for some \(i\in {\mathbb {N}}\). By the above paragraph we know that either \(U=\textbf{C}_G(g)\) or \(|U|=p|\textbf{C}_G(g)|\). In the former case we have
and in the latter,
We consider the set of \(\overline{G}\)-classes of \(\overline{N}\) of cardinality \(p^i\), whose number is given by the \(\overline{G}\)-class frequency function, \(w_{\overline{N}}^{\overline{G}}(p^i)\), and the correspondence, by taking bars, between G-classes of N and \(\overline{G}\)-classes of \(\overline{N}\). Next we see that every \(\overline{G}\)-class of \(\overline{N}\), with regard to pre-images, gives rise to G-classes of N in two different ways.
Write \(M=\langle z\rangle \) (with z of order p) and let \(\overline{g}\in \mathcal {S}_{p}^{\overline{G}}(\overline{N})\). We have seen above that either \(|\overline{g}^{\overline{G}}|=|g^G|\) or \(p|\overline{g}^{\overline{G}}|=|g^G|\). In the first case, \(\textbf{C}_{\overline{G}}(\overline{g})=\overline{\textbf{C}_G(g)}\), and this easily leads to that \(g^G\), \((gz)^G\), \(\ldots \), \((gz^{p-1})^G\) are p distinct G-classes of N that are pre-images of \({\overline{g}}^{\overline{G}}\), with the same cardinality as \({\overline{g}}^{\overline{G}}\). If \(p|\overline{g}^{\overline{G}}|=|g^G|\), then the inverse image of \({\overline{g}}^{\overline{G}}\) is exactly the G-class of N, \(g^G\), with cardinality \(p|{\overline{g}}^{\overline{G}}|\).
Accordingly, for every \(i\ge 0\), we can decompose \(w_{\overline{N}}^{\overline{G}}(p^i)\) into two summands
where \(w_1(p^{i})\) and \(w_2(p^i)\) denote the number of \(\overline{G}\)-classes of \(\overline{N}\) corresponding to each one of both types of classes. Therefore
so Eq. (3.1) is proved.
As \(M\le \textbf{Z}(G)\), then the definition of the hypercentre implies that \(\textbf{Z}_\infty (\overline{G})=\overline{\textbf{Z}_{\infty }(G)}\). Hence \(\textbf{Z}_{\infty }(\overline{G})\cap \overline{N}=(\textbf{Z}_{\infty }(G)\cap N)/M\). Then, we utilize the inductive hypothesis and Eq. (3.1) to get
and the proof of (a) is finished.
For proving (b), notice first that \(|\mathcal {S}_{p}^G(N)|_p=|N|_p\) implies by (a) that \(|\textbf{Z}_\infty (G)\cap N|_p=|N|_p\). Then, it trivially follows that a Sylow p-subgroup of N is hypercentral in G. Conversely, if a Sylow p-subgroup P of N lies in \(\textbf{Z}_\infty (G)\), then
so \(|N|_p=|\textbf{Z}_\infty (G)\cap N|_p\). By applying (a) we obtain the equality \(|\mathcal {S}_{p}^G(N)|_p=|N|_p\), so (b) is proved.
Now, N is hypercentral in G if and only if every Sylow subgroup of N is hypercentral in G, and this can be established by (b) because \(|\mathcal {S}_{p}^G(N)|_p\) and \(|N|_p\) are given by the G-class size frequency function of N. Therefore, the first assertion of the theorem is proved. \(\square \)
Remark. Observe that \(|N\cap \textbf{Z}(G)|= w^G_N(1)\) and likewise, by Theorem 3.1(a), \(|N\cap \textbf{Z}_{\infty }(G)|\) can be retrieved from the G-class frequency function of N. We stress that, however, it is not possible in general to compute the intermediate terms \(|N\cap \textbf{Z}_i(G)|\) when \(i>1\). This follows straightforwardly from [5, Example 1]. Nonetheless, we will give an easier example at the end of this section. On the other hand, we note that Theorem 3.1(a) shows that a Sylow p-subgroup of N is hypercentral in G if and only if \(|\mathcal {S}_{p}^G(N)|_p\) is as large as possible.
Proof of Corollary B
By Theorem 3.1(b), we know that the G-class size frequency function of N determines whether the Sylow p-subgroups of N lie in \(\textbf{Z}_{\infty }(G)\). In fact, when this occurs then N has only one Sylow p-subgroup. Thus, by Lemma (2.2), this function detects whether all p-elements of N centralize each \(p'\)-element of G. Since \(\textbf{O}^p(G)\) is generated by all \(p'\)-elements of G, the result follows. \(\square \)
We state again Theorem C in a more convenient manner.
Theorem 3.2
Suppose that G is a finite group and N is a normal subgroup of G. Then the G-class sizes of N and their multiplicities determine whether all elements of N lying in the centre of some Sylow subgroup of G belong to \(\textbf{Z}(G)\). More precisely, if p is a prime number, then
-
(a)
\(|N\cap \textbf{Z}(G)|\) divides \(|\mathcal {S}_{p'}^G(N)|\).
-
(b)
\(|\textbf{C}_N(\textbf{O}^{p'}(G))|\) divides \(|\mathcal {S}_{p'}^G(N)|\).
-
(c)
\(|\mathcal {S}_{p'}^G(N)|_p=|N\cap \textbf{Z}(G)|_p\) if and only if \(\textbf{Z}(P)\cap N \le \textbf{Z}(G)\), where P is any Sylow p-subgroup of G.
Proof
To prove (a), we notice that an element \(x\in N\) has G-class size a \(p'\)-number if and only if \(\textbf{C}_G(x)\) contains a Sylow p-subgroup of G. Thus,
Since \(N\cap \textbf{Z}(G)\subseteq \textbf{C}_N(P)\) for every \(P\in \textrm{Syl}_p(G)\), we conclude that \(\mathcal {S}_{p'}^G(N)\) is a union of cosets of \(N\cap \textbf{Z}(G)\), whence we deduce (a).
As \(\textbf{O}^{p'}(G)\) coincides with the subgroup of G generated by all Sylow p-subgroups of G, we have
It follows that \(\mathcal {S}_{p'}^G(N)\) is a union of cosets of \(\textbf{C}_N(\textbf{O}^{p'}(G))\), and this proves (b).
For proving (c), we fix a Sylow p-subgroup P of G and put \(Z:=P\cap N\cap \textbf{Z}(G)\), which is a Sylow p-subgroup of \(N\cap \textbf{Z}(G)\) and normal in G. Next, we claim that if \(n\in \mathcal {S}_{p'}^G(N)\) then \(\textbf{C}_{G/Z}(nZ)=\textbf{C}_G(n)/Z\). Set \(U/Z:=\textbf{C}_{G/Z}(nZ)\). It is clear that \(\textbf{C}_G(n)\le U\). Furthermore, if \(u\in U\), then we can write \(n^u=nf(u)\) for some \(f(u)\in Z\). Since \(Z\le \textbf{Z}(G)\), identically as in the proof of Theorem 3.1, it follows that f is a group homomorphism from U to Z, whose kernel is exactly \(\textbf{C}_G(n)\). As a consequence, \(U/\textbf{C}_G(n)\) is isomorphic to a subgroup of Z. However, Z is a p-group whereas \(|U/\textbf{C}_G(n)|\) divides \(|n^G|\), which is a \(p'\)-number. This forces \(U=\textbf{C}_G(n)\), so the claim is proved.
We observe now that \(\mathcal {S}_{p'}^G(N)\) is also a union of cosets of Z and consider the set \(\mathcal {\bar{S}}\) of such cosets and the group P/Z acting by conjugation on \(\mathcal {\bar{S}}\). By using the claim it easily follows that a coset \(nZ\in {\mathcal {\bar{S}}}\) is fixed by P/Z if and only if n is fixed by P, or equivalently, \(nZ\in \textbf{C}_N(P)/Z\). Now, by applying the orbit formula to this action we get
On the other hand, since \(|Z|=|N\cap \textbf{Z}(G)|_p\) we have that the equality \(|\mathcal {S}_{p'}^G(N)|_p=|Z|=|N\cap \textbf{Z}(G)|_p\) holds if and only if \(| \mathcal {S}_{p'}^G(N)|/|Z|\) is a \(p'\)-number, and this is equivalent to \(|\textbf{C}_N(P)|/|Z|\) being a \(p'\)-number. Now, as \(\textbf{Z}(P)\) is a Sylow p-subgroup of \(\textbf{C}_G(P)\), then \(\textbf{Z}(P)\cap N\) is a Sylow p-subgroup of \(\textbf{C}_N(P)\). Thus, we deduce that \(|\textbf{C}_N(P)|/|Z|\) is a \(p'\)-number if and only if \(Z=\textbf{Z}(P)\cap N\). Now it is easily seen that this condition is equivalent to the fact that \(\textbf{Z}(P)\cap N \le \textbf{Z}(G)\), and therefore, the proof of (c) is finished.
Now, since for every prime p, the numbers \(|\mathcal {S}_{p'}^G(N)|_p\) and \(|N\cap \textbf{Z}(G)|_p\) are provided by the G-class size frequency function of N, the first assertion of the theorem follows. \(\square \)
Example
An easy example illustrates that, as indicated in the Introduction, the fact that a normal subgroup is abelian cannot be read off from the set of its G-class sizes and their multiplicities. Indeed the same group may possess two normal subgroups showing this. Let \(D_{16}=\langle x, y | x^8=y^2=1, x^y =x^{-1}\rangle \) and \(D_8\) be the dihedral groups of order 16 and 8 respectively. Set \(G= D_{16}\times D_8\), or equivalently \(G=\) SmallGroup(128, 2011) in the library of small groups within GAP [6], and let us consider its normal subgroups \(\langle x\rangle \) and \(D_8\). The set of G-class sizes of both subgroups, counting multiplicities, is \(\{1,1,2,2,2\}\), whilst \(\langle x\rangle \) is abelian and \(D_8\) is not. This example also serves to show, as pointed out in the Remark, that from the G-class size frequency function of a normal subgroup N we cannot compute the sizes of all the terms \(N\cap \textbf{Z}_i(G)\) for every i. Indeed, \(\textbf{Z}_2(G)=\langle x^2\rangle \times D_8\), so \(|\langle x \rangle \cap \textbf{Z}_2(G)|= 4\) and \(|D_{8}\cap \textbf{Z}_2(G)|= 8\).
In view of the above example, we can affirm that the derived length of a solvable normal subgroup as well as the nilpotency class of a nilpotent one are not determined from the G-class size frequency function.
References
Akhlaghi, Z., Beltrán, A., Felipe, M.J.: Normal sections, class sizes and solvability of finite groups. J. Algebra 399, 220–231 (2014)
Alemany, E., Beltrán, A., Felipe, M.J.: Nilpotency of normal subgroups having two \(G\)-class sizes. Proc. Amer. Math. Soc. 139(8), 663–669 (2011)
Camina, A.R., Camina, R.D.: The influence of class sizes on the structure of finite groups: a survey. Asian-Eur. J. Math. 4(4), 559–588 (2011)
Camina, A.R., Camina, R.D.: Recognising nilpotent groups. J. Algebra 300, 16–24 (2006)
Cossey, J., Hawkes, T., Mann, A.: A criterion for a group to be nilpotent. Bull. London Math. Soc. 24, 267–270 (1992)
The GAP Group, GAP - Groups, Algorithms and Programming, Vers. 4.4.12 . http://www.gap-system.org(2008)
Huppert, B.: Endliche Gruppen. Springer-Verlag, Berlin (1967)
Huppert, B.: Character Theory of Finite Groups. Walter de Gruyter, Berlin (1998)
Mattarei, S.: Retrieving information about a group form its character degrees or from its class sizes. Proc. Amer. Math. Soc. 143(8), 2189–2195 (2006)
Navarro, G.: The set of conjugacy class sizes of a finite group does not determine its solvability. J. Algebra 411, 47–49 (2014)
Peng, T.A.: The hypercenter of a finite group. J. Algebra 48, 46–56 (1977)
Acknowledgements
This work is supported by Proyecto CIAICO/2021/193, Generalitat Valenciana, Spain.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that he has no financial interests.
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
Beltrán, A. A criterion for a normal subgroup to be hypercentral based on class sizes. Ricerche mat (2024). https://doi.org/10.1007/s11587-024-00856-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11587-024-00856-7