Abstract
The aim of this paper is to show how the number of conjugacy classes appearing in the product of classes affect the structure of a finite group. The aim of this paper was to show several results about solvability concerning the case in which the power of a conjugacy class is a union of one or two conjugacy classes. Moreover, we show that the above conditions can be determined through the character table of the group.
Similar content being viewed by others
1 Introduction
Let G be a finite group. The product of conjugacy classes is a G-invariant set, and consequently, is a union of classes. There exist many results about the structure of a finite group regarding the number of conjugacy classes in the product of its classes, some of which are related to the normal structure and the non-simplicity of the group. In this paper, we study three problems about the power of a conjugacy class, each of them corresponds to a section.
In [2], Z. Arad and M. Herzog conjectured that in a non-abelian simple group the product of two non-trivial conjugacy classes is not a conjugacy class. The conjecture has received much attention and has been confirmed for several families of simple groups. We propose the following.
Conjecture 1
In a non-abelian finite simple group, the product of n non-trivial conjugacy classes with \(n\in \mathbb {N}\) and \(n\ge 2\) is not a conjugacy class.
To tackle this conjecture, we prove a characterization of the property using irreducible characters, see Theorem 7. This enables us to prove that Conjecture 1 holds for sporadic simple groups.
In [9], R.M. Guralnick and G. Navarro confirmed the conjecture of Arad and Herzog for the particular case of a square of a conjugacy class. We prove the following theorem which confirms Conjecture 1 for the case when a product of a single non-trivial conjugacy class is considered. We use the notation \(x^G\) to denote the conjugacy class of an element \(x\in G\).
Theorem A
Let \(K=x^G\) be a conjugacy class of a group G. There exists \(n\in \mathbb {N}\) and \(n\ge 2\) satisfying that \(K^n\) is a conjugacy class if and only if
for all \(\chi \in {\mathrm{Irr}}(G)\). In this case, \(\langle K\rangle \) is solvable.
To prove the solvability of \(\langle K\rangle \) in Theorem A, we utilize the Classification of Finite Simple Groups (CFSG). However, we note that in many cases CFSG is not needed, in particular, when the order of the elements in the conjugacy class is prime, or a power of 2, or if the classes are real. These results are collected in Theorems 3 and 4 of Section 2.
In Sects. 3 and 4, we will focus on two cases when the power of a conjugacy class is a union of exactly two conjugacy classes. In the first case, we suppose one of these conjugacy classes is the trivial class, and we demonstrate the following theorem.
Theorem B
Suppose that K is a conjugacy class of a group G such that \(K^{n}=\{1\} \cup D\) for some \(n\in \mathbb {N}\) with \(n\geqslant 2\) and D is a non-trivial conjugacy class. Then \(KK^{-1}=\{1\} \cup D\) and \(\langle K\rangle \) is solvable.
In [3], Theorem B is proved for the particular case \(n=2\) without using the CFSG and the structure of \(\langle K\rangle \) and \(\langle D\rangle \) is determined.
In the second case, we suppose the two conjugacy classes are inverse to each other. We believe the following to hold.
Conjecture 2
Let G be a group and let K be a conjugacy class. If \(K^n=D \cup D^{-1}\) for some \(n\in \mathbb {N}\) and \(n\ge 2\) and D a conjugacy class, then \(\langle K \rangle \) is solvable. In particular, G is not simple.
We provide the following evidence to support this conjecture.
Theorem C
Let G be a group and let K be a conjugacy class. If \(K^n=D \cup D^{-1}\) for some \(n\in \mathbb {N}\) and \(n\ge 2\) and D a conjugacy class, then either \(|D|=|K|/2\) or \(|K|=|D|\). In the first case, \(\langle K\rangle \) is solvable.
Theorem D
Let G be a group and let \(K=x^G\) be a conjugacy class of G. If \(K^2=K \cup K^{-1}\), then \(\langle K\rangle \) is solvable. Moreover, x is a p-element for some prime p.
We will also obtain characterizations with irreducible characters of the properties stated in Theorems B and C. These are collected in Theorems 12 and 13. All groups are supposed to be finite.
2 Powers of classes which are classes
In this section, we prove that Conjecture 1 is true for the particular case of the nth power of a conjugacy class, \(n\ge 2\). Furthermore, we obtain an equivalent property in terms of irreducible characters and prove the solvability of the subgroup generated by such a conjugacy class by means of the CFSG.
We use the following lemma to prove Theorem 1, which will be useful to obtain the solvability part of Theorem A. We denote by \(\mathbb {C}[G]\) the complex group algebra over the complex field \(\mathbb {C}\). Let K be a conjugacy class of G and denote by \(\widehat{K}\) the class sum of the elements of K in \(\mathbb {C}[G]\).
Lemma 1
(Lemma 2.1 of [9]) Let \(x\in G\), where G is a finite group, and let \(K=x^G\). Then the following are equivalent:
- 1.
\(\widehat{K}x \in \mathbf{Z}(\mathbb {C}[G]).\)
- 2.
\(\widehat{K}x^{-1} \in \mathbf{Z}(\mathbb {C}[G]).\)
- 3.
For each character \(\chi \in {\mathrm{Irr}}(G)\), either \(\chi (x)=0\) or \(|\chi (x)|=\chi (1)\).
In the next theorem, we find a normal subgroup of a group when there is a conjugacy class such that some of its powers is again a conjugacy class, and an equivalent property in terms of the irreducible characters of the group. This result extends the first half of Theorem A of [9] in which the authors prove the case \(n=2\). The techniques of the proof are the same.
Theorem 1
Let G be a group and \(K=x^G\) with \(x\in G\), \(n\in \mathbb {N}\) and \(n\ge 2\). The following assertions are equivalent:
- (a)
\(K^n\) is a conjugacy class
- (b)
\(\mathbf{C}_G(x)=\mathbf{C}_G(x^n)\) and \(N=x^{-1}K=K^{-1}K=[x,G]\unlhd G\)
- (c)
\(\mathbf{C}_G(x)=\mathbf{C}_G(x^n)\) and \(\chi (x)=0\) or \(|\chi (x)|=\chi (1)\) for all \(\chi \in {\mathrm{Irr}}(G)\).
Proof
Let us prove that (a) implies (b). Since \(x^n\in K^n\) and \(K^n\) is a conjugacy class, it follows that \((x^n)^G=K^n\). Furthermore, for all \(2 \le j \le n\), we see that \(xK^{j-1}\subseteq K^j\) and so \(|K|\le |K^j|\le |K^n|\). On the other hand, since \(\mathbf{C}_G(x)\subseteq \mathbf{C}_G(x^n)\), we have \(|K^n|\le |K|\). Thus, \(|K|=|K^j|=|K^n|\) and \(\mathbf{C}_G(x)=\mathbf{C}_G(x^n)\). In particular, \(xK^{n-1}=K^n\) and \(xK=K^2\). Let \(y\in K\) then \(yK=K^2=xK\) and so \(x^{-1}yK=K\). As \(y=x^g\) for some \(g\in G\), it follows that \([x,g]K=K\). So, for \(N=[x, G]=\langle [x,g]\, \, |\, \, g \in G\rangle \), we have \(NK=K\) and so \(Nx\subseteq K\) and \(|N|=|Nx|\le |K|\). However, as \(K=x\{[x,g]\, \, | \, \, g\in G\}\subseteq xN\), it follows that \(|K|\le |xN|=|N|\). Consequently, \(K=xN\). Furthermore, \(K^{-1}=x^{-1}[x, G]\) and \(KK^{-1}=[x, G]\) as required.
Suppose (b) and let us see (c). Since \(Kx^{-1}=N\), then \(\widehat{K}x^{-1}=\widehat{N}\). Also, \(\widehat{N}\in \mathbf{Z}(\mathbb {C}[G])\) since \(N\triangleleft G\). Therefore, assertion (c) holds by Lemma 2.1 (3).
Assuming (c) now, Lemma 1 guarantees that \(\widehat{K}x\) is central in \(\mathbb {C}[G]\), and thus the set Kx is closed under conjugation. Let us see that \(K^2=xK\). Clearly, \(Kx\subseteq K^2\) and let \(x^gx^h\in K^2\) for some \(g, h \in G\). Thus, \(((x^g)^{h^{-1}}x)^h \in (Kx)^h=Kx\). Therefore, \(K^2=xK\). We obtain by induction that \(K^n=x^{n-1}K\). Since \(|K^n|=|K|=|x^G|=|(x^n)^G|\), then \(K^n=(x^n)^G\) and (a) is proved. \(\square \)
Remark 1
As a consequence of Theorem 1, we have that if \([x, G]=\{{[x,g]\, | \, g \in G}\}\), then \(K^n\) is a conjugacy class when \((n, o(x))=1\).
It follows, from Theorem 1, that if G is a finite group with a non-central conjugacy class K such that \(K^n\) is a conjugacy class for some \(n\ge 2\), then G is not simple. The following corollaries will be useful to prove some results later.
Corollary 1
Let G be a group and \(K=x^G\) with \(x \in G\) such that \(K^n\) is a conjugacy class for some \(n\in \mathbb {N}\) with \(n\ge 2\). Then \(|K^r| = |K|\) for all \(r\in \mathbb {N}\) and \(K^{o(x)+1}=K\) and \(K^{o(x)-1}=K^{-1}\). Moreover, \(K^m\) is a conjugacy class for all \(m\in \mathbb {N}\) such that \((m, o(x))=1\).
Proof
Since \(K^n\) is a conjugacy class, we know by Theorem 1(b) that \(K=xN\) with \(N=KK^{-1}=[x,G]\unlhd G\). Thus, \(K^r=x^rN\) and \(|K^r|=|N|=|K|\) for all \(r \in \mathbb {N}\). Furthermore, if \(s=o(x)\), then \(K=x^sK\subseteq K^{s+1}\), so \(K^{s+1}=K\). Analogously, since \(x^{-1}=x^{s-1}\in K^{s-1}\) and \(|K^{-1}|=|K|=|K^{s-1}|\), we conclude that \(K^{s-1}=K^{-1}\). Finally, let \(m \in \mathbb {N}\) such that \((m, o(x))=1\), then \(\mathrm{\mathbf C}_G(x)=\mathbf{C}_G(x^m)\) and \(K^m\) is a class by applying Theorem 1(b). \(\square \)
Corollary 2
Let G be a group and \(K=x^G\) with \(x\in G\) such that \(K^n=K\) for some \(n\in \mathbb {N}\) with \(n\ge 2\), then:
- (a)
\(K^{k(n-1)+r}=K^r\) for every \(r, k\in \mathbb {N}\).
- (b)
\(K^{n-1}=[x, G]\unlhd G\).
- (c)
\(\pi (o(x))\subseteq \pi (n-1)\) where \(\pi (t)\) denotes the set of primes dividing the number t.
Proof
-
(a)
First, let us see that \(K^{k(n-1)+1}=K\) for every \(k\in \mathbb {N}\). It follows by induction on k. It is given if \(k=1\). Let us suppose that \(K^{k(n-1)+1}=K\) for some \(k\in \mathbb {N}\). Then \(K^{(k+1)(n-1)+1}=K^{k(n-1)+n}=K^{k(n-1)}K^n=K^{k(n-1)}K=K^{k(n-1)+1}=K\). In general, for every \(k, r \in \mathbb {N}\), we have
$$\begin{aligned} K^{k(n-1)+r}=K^{k(n-1)+1+r-1}=KK^{r-1}=K^r. \end{aligned}$$ -
(b)
Since \(xK^{n-1}\subseteq K^n=K\), we have \(|xK^{n-1}|\le |K|\). We also know that \(|K|\le |xK^{n-1}|\), so \(xK^{n-1}=K\). On the other hand, by applying Theorem 1(b), we obtain \(K=x[x, G]\), so \(K^{n-1}=[x, G]\).
-
(c)
By (a), we know that \(K^{k(n-1)+1}=K\) for every \(k\in \mathbb {N}\). As a consequence, \(o(x)=o(x^{k(n-1)+1})\) for every \(k\in \mathbb {N}\). Let p be a prime such that \((p, n-1)=1\). We can find k with \(1\le k<p\) such that \(n-1\equiv k\, \, (\)mod p). Since \(\mathbb {Z}_p\) is a field, there exists \(t\in \mathbb {Z}^+\) such that \(tk \equiv -1\, \, (\)mod p). In fact, t can be taken such that \(1\le t< p\). Now
$$\begin{aligned} t(n-1)\equiv tk\equiv -1\, \,(\mathrm{mod}\, \,p), \end{aligned}$$that is, \(t(n-1)+1\equiv 0\) (mod p). Since \(o(x)=o(x^{t(n-1)+1})\), we have \((t(n-1)+1, o(x))=1\), and this implies that p does not divide o(x).
\(\square \)
Remark 2
With the notation of Corollary 2, observe that \(K^2=K\) cannot happen. Otherwise, by Theorem 1(b), we have \(K=xN\), so \(x^2N=xN\), and hence \(x\in N\), that is, \(K=N\), a contradiction.
Let us see an example in which \(K^3=D\) with \(D\ne K\).
Example 1
Let \(G=\langle a\rangle \rtimes \langle b\rangle \) with \(\langle a\rangle \cong \mathbb {Z}_3\) and \(\langle b\rangle \cong \mathbb {Z}_4\). Let \(K=b^G\), then \(K^3=D\ne K\) and \(|K|=3\).
Corollary 3
Let G be a group and let \(\pi \) be a set of primes. Suppose that for each conjugacy class K of \(\pi \)-elements of G there exists \(n\in \mathbb {N}\) with \(n\ge 2\) such that \(K^n\) is a conjugacy class. Then \(G/\mathbf{O }_{\pi '}(G)\) is nilpotent. In particular, if \(\pi =\pi (G)\), then G is nilpotent.
Proof
Analogous to the proof of Corollary E of [3]. \(\square \)
Remark 3
Following Remark 1 we have that if \([x, G]=\{{[x,g]\, | \, g \in G}\}\) for each \(\pi \)-element x of G, by Corollary 3, \(G/\mathbf{O }_{\pi '}(G)\) is nilpotent. In particular, if \(\pi =\pi (G)\), then G is nilpotent.
The following result, which does not require the CFSG, will be useful for our purposes.
Theorem 2
(Theorem 3.2(c) of [9]) Let G be a finite group and let N be a normal subgroup of G. Let \(x\in G\) be such that all elements of xN are conjugate in G. If x is a p-element for a prime p, then N has a normal p-complement.
Now we see some particular cases in which the solvability of \(\langle K\rangle \) where K is a conjugacy class such that \(K^n\) is a class for some \(n \in \mathbb {N}\) and \(n\ge 2\) can be obtained without using the CFSG. First, we add conditions about the order of the elements of K, and later we study the particular case when \(K^n\) is a real class.
Theorem 3
Let K be a conjugacy class of an element x of a group G. Suppose that there exists \(n\in \mathbb {N}\) with \(n\ge 2\) satisfying that \(K^n\) is a conjugacy class. Then:
- 1.
If o(x) is a prime, then \(\langle K\rangle \) is solvable.
- 2.
If x is a 2-element, then \(\langle K\rangle \) is solvable.
Proof
By Theorem 1(b) we have \(K=xN\) with \(N=KK^{-1}=[x, G]\unlhd G\). Let us prove (1). Suppose x is of prime order p, we show that \(\mathbf{C}_N(x)\) is a p-group. Since \(N=x^{-1}K\), if we take some element \(x^{-1}x^g\in \mathbf{C}_N(x)\), then \(x\in \mathrm{\mathbf C}_G(x^g)\). Thus, \(o(x^{-1}x^g)\) divides the least common multiple of \(o(x^{-1})\) and \(o(x^g)\), so all non-trivial elements of \(\mathbf{C}_N(x)\) have order p. In particular, \(\mathbf{C}_N(x)\) is a p-group, as wanted. Now, all elements of xN are G-conjugate, so N has a normal p-complement by Theorem 2. We write \(N=P_0L\) with \(P_0\) a p-group and \(L\unlhd N\) a \(p'\)-group. Since \(\mathbf{C}_L(x)\subseteq \mathbf{C}_N(x)\) and \(\mathbf{C}_N(x)\) is a p-group, we conclude that \(\mathbf{C}_L(x)=1\) and since \(o(x)=p\), we deduce that L is nilpotent by Thompson’s Lemma (see for instance Theorem 2.1 in Chapter 10 of [6]). As a result, N is solvable and \(\langle K\rangle =\langle x\rangle N\) is solvable too.
Now, we prove (2). By Theorem 2, N has a normal 2-complement, and consequently, as \(\langle K\rangle /N\) is a 2-group, then \(\langle K\rangle \) has a normal 2-complement as well. By Feit–Thompson’s Theorem, we conclude that \(\langle K\rangle \) is solvable. \(\square \)
Theorem 4
Let K be a conjugacy class of an element x of a group G. Suppose that there exists \(n\in \mathbb {N}\) with \(n\ge 2\) satisfying that \(K^n=D\) where D is a real conjugacy class, then \(\langle K\rangle \) is solvable. Also, \(D^3=D\) and D is a class of a 2-element. In particular,
- (a)
If \(n=2^a\) for some \(a\in \mathbb {N}\), then |K| is odd and \(o(x)=2^{a+1}\).
- (b)
If \(D=K\), then x is a 2-element and \(K^m=K\) for every odd number m. Also, \(K^2=[x,G]\unlhd G\).
Proof
We have
By Corollary 1, we get \(|K|=|K^n|=|D|\), and we conclude that \(x^{n-1}K=K^n\). Hence,
By applying Corollary 1 to \(K^{-1}\), we obtain \(K=(K^{-1})^{2n-1}\). Thus, \(K^{-1}=K^{2n-1}\). We have \(K\subseteq KKK^{-1}=K^2K^{2n-1}\) and as \(|K| = |K^{2n+1}|\), by Corollary 1, it follows that \(K^{2n+1}=K\). Thus, by multiplying both sides by \(K^{n-1}\), we obtain \(K^{3n}=K^n\), so \(D^3=D\) and D is a conjugacy class of a 2-element by Corollary 2(c). By Theorem 3 (2), we have that \(\langle D\rangle \) is solvable. Since \(K^{2n+1}=K\), we know by Corollary 2(b) that \(K^{2n}=D^2=N=[x, G]\), so N is solvable. By Theorem 1(b), we have \(K=xN\) with \(N=[x, G]\unlhd G\), so \(\langle K\rangle \) is solvable.
Let us prove the particular case (a). Suppose that \(|K|=|D|\) is odd. Then D is a real class of odd size and then \(o(x^n)=2\). This means that \(o(x)=2^{a+1}\) and the result is proved. Assume that \(|K|=|D|\) is even and we are going to get a contradiction. By Theorem 1, \(N=KK^{-1}=x^{-1}K \unlhd G\) and we write
where each \(D_i\) is the conjugacy class of an element \(x^{-1}x^g\ne 1\) for some \(g \in G\). Since \(|x^{-1}K|=|K|\) is even, there exists in \(x^{-1}K\), at least one conjugacy class of odd size. Let \(\Omega =\{D_i\, | \, |D_i|\, \, \mathrm{odd}\}\) and we necessarily have that \(|\Omega |\) is odd. Thus, there exists a real conjugacy class \(D_k\) with \(k \in \{1, \ldots , m\}\) such that \(|D_k|\) is odd, that is, \(D_k\) is a non-trivial conjugacy class of elements of order 2. We write \(D_k=t^G\). Since \(|D_k|\) is odd, then \(\mathbf{C}_G(t)\) contains a Sylow 2-subgroup of G. Observe that \(x^n\) is a 2-element by the previous part. Consequently, x is a 2-element. By taking conjugates, we can suppose that \(\langle x\rangle \subseteq P \subseteq \mathbf{C}_G(t^s)\) for some \(P \in \mathrm{Syl}_2(G)\) and some \(s \in G\). We write \(t^s=x^{-1}x^g\) for some \(g\in G\). Observe that \(x^g \ne x\) because \(t\ne 1\). We have \(x \in \mathbf{C}_G(x^{-1}x^g)\), so x and \(x^g\) commute. Since \(o(x^{-1}x^g)=2\), then \((x^2)^g=x^2\), so \(g \in \mathbf{C}_G(x^2)\). On the other hand, as \(|K^n|=|K|\), we have \(\mathbf{C}_G(x^n)=\mathbf{C}_G(x)\), and since \(\mathbf{C}_G(x^2)\subseteq \mathbf{C}_G(x^n)\), this leads to \(t=1\), a contradiction.
Finally, (b) directly follows from the first part of this theorem. \(\square \)
Remark 4
Observe that if a real conjugacy class K satisfies that there exists \(n\in \mathbb {N}\) such that \(K^n=D\) where D is a conjugacy class, then D is also a real class. However, if a class K satisfies that there exists \(n\in \mathbb {N}\) such that \(K^n=D\) and D is real, then K need not be real. A trivial example of this situation occurs in \(\mathbb {Z}_4\). We have studied this case in the previous theorem.
We use the following result appearing in [9] to obtain the solvability of the subgroup generated by a conjugacy class satisfying the conditions of Theorem 1, and consequently, to prove the solvability part of Theorem A. The CFSG is required.
Theorem 5
(Theorem 3.2(a) of [9]) Let G be a finite group and let N be a normal subgroup of G. Let \(x\in G\) be such that all elements of xN are conjugate in G. Then N is solvable.
In the next result the solvability in Theorem A is obtained by means of the CFSG. In fact, Theorems 1 and 6 are extensions of some parts of Theorem A of [9], in which the authors prove similar results for the square of a conjugacy class.
Theorem 6
Let K be a conjugacy class of a group G such that there exists \(n\in \mathbb {N}\) satisfying that \(K^n\) is a conjugacy class. Then \(\langle K\rangle \) is solvable.
Proof
By Theorem 1(b), we have \(K=xN\) with \(N=[x, G]\). Thus, N is solvable by applying Theorem 5. As a consequence, \(\langle K\rangle =\langle x\rangle N\) is solvable. \(\square \)
Next, we obtain a characterization in terms of characters of the fact that the product of n conjugacy classes, for some \(n\in \mathbb {N}\), is again a conjugacy class. This extends the case in which the product of two classes is a class (see for instance [12]) and this is useful to prove Conjecture 1 for the sporadic simple groups for some values of n. In particular, we obtain such a characterization for the case in which the power of a class is a class and so, the first part of Theorem A. We refer the reader to Chapter 3 of [11] for a detailed presentation of character and class sums properties.
Theorem 7
Let \(K_1,\ldots , K_n \) be conjugacy classes of a group G and write \(K_i={x_i}^G\) with \(x_i \in G\). Then \(K_1\cdots K_n=D\) where \(D=d^G\) if and only if
for all \(\chi \in {\mathrm{Irr}}(G)\). In particular, if K is a conjugacy class of G and \(x\in K\), then \(K^n\) is a conjugacy class for some \(n\in \mathbb {N}\) if and only if
for all \(\chi \in {\mathrm{Irr}}(G)\).
Proof
Let \(\chi \in {\mathrm{Irr}}(G)\) and let R be an irreducible representation associated to \(\chi \). We know that R can be linearly extended to \(\mathbb {C}[G]\) and \(R(\widehat{K})\in \mathbf{Z}(\mathbb {C}[G])\) commutes with R(g) for all \(g\in G\). We denote by \(\widehat{K_i}\) the sum of all elements in \(K_i\) in the group algebra \(\mathbb {C}[G]\). We know that
where
and I is the identity matrix.
Assume that \(K_1\cdots K_n=D\). We write \(\widehat{K_1}\cdots \widehat{K_n} =m\widehat{D}\) with \(m\in \mathbb {N}\). Thus, the hypothesis implies that
and
Consequently,
and since \(|K_1|\cdots |K_n|=m|D|\), we have
for every \(\chi \in {\mathrm{Irr}}(G)\).
Let us prove the converse. Assume that the equation with characters holds. We know that \(K_1\cdots K_n=D_1 \cup \cdots \cup D_r\) with \(D_i\) a conjugacy class for all \(1\le i\le r\). We write \(\widehat{K_1}\cdots \widehat{K_n}=m_1\widehat{D_1}+ \cdots +m_r\widehat{D_r}\), where \(m_i\) is the multiplicity of \(\widehat{D_i}\) in the product. We have \(|K_1|\cdots |K_n|=m_1|D_1|+\cdots +m_r|D_r|\). As above,
and by hypothesis we know
for all \(\chi \in {\mathrm{Irr}}(G)\). Thus,
where \(D_i=d_i^G\) and
From this equation, we obtain
Then \(D_i=D\) for some i. Without loss of generality, suppose that \(D_1=D\) and we have \(m_i=0\) for all \(i\ne 1\). This means that \(K_1\cdots K_n=D\). \(\square \)
Remark 5
Recall that the extended covering number of a group is the smallest integer r such that the product of r conjugacy classes is the whole group for all classes. In [13], it is shown that the extended covering number of the sporadic simple groups is at most 7. By using the character tables of the sporadic groups, we have checked that for each of them and for each n-tuple of conjugacy classes for \(n=3, 4, 5, 6\) there is some irreducible character which does not satisfy equation (1) of Theorem 7. The case \(n=2\) obviously corresponds to Arad and Herzog’s conjecture, which is already known to be satisfied by the sporadic simple groups. Therefore, Conjecture 1 holds for the sporadic simple groups.
Proof of Theorem A
It is a direct consequence of Theorems 6 and 7. \(\square \)
3 Powers which are a union of the trivial class and another class
In this section, we study the case in which the power of a conjugacy class is a union of two conjugacy classes one of them being the trivial class. We first prove a particular case satisfying the conjecture of Arad and Herzog which will also be useful in further proofs.
Lemma 2
Let G be a group and K, L and D non-trivial conjugacy classes of G such that \(KL=D\) with \(|D|=|K|\). Then G possesses a solvable proper normal group which is \(\langle LL^{-1}\rangle \). In particular, \(\langle L\rangle \) is solvable.
Proof
Let \(x\in L\). Then \(xK=D=x^{g}K\) for all \(g \in G\). Consequently, \(K=x^{-1}x^{g}K\) for all \(g\in G\). Let \(N=\langle x^{-1}x^g \, \mid \, g \in G\rangle =\langle LL^{-1}\rangle \) is normal in G and then \(NK=K\). Since K is union of cosets of N, then |N| divides |K|. Then N is proper in G. In addition, since all elements in xN are conjugate, N is solvable by Theorem 5. Furthermore, it is an elementary fact that \(\langle L\rangle =\langle x \rangle [x, G]=\langle x \rangle N\), so \(\langle L\rangle /N\) is cyclic, and consequently, \(\langle L\rangle \) is solvable. \(\square \)
We also need the following two results due to Guralnick and Robinson, which appeal to the CFSG, as well as Kazarin’s extension of Burnside’s Lemma.
Theorem 8
(Theorem A of [8]) Let G be a finite group and p a prime. Let \(x\in G\) be an element of order p such that [x, g] is a p-element for every \(g\in G\). Then \(x \in \)\(\mathbf{O}_p(G)\).
Theorem 9
(Theorem 4.1 of [8]) Let G be a finite group and p a prime. If \(x\in G\) has order p and is not central modulo \(\mathbf{O}_{p'}(G)\), then x commutes with some conjugate \(x^g\ne x\).
Theorem 10
(Kazarin, Theorem 15.7 of [10]) Suppose \(1 \ne g \in G\) and \(|g^G|=p^a\), where p is a prime. Then \(g^G\) generates a solvable normal subgroup of G.
We are ready to prove Theorem B.
Proof of Theorem B
We write \(K^{n-1}=A_1 \cup \cdots \cup A_m\) where \(A_i\) are distinct conjugacy classes for \(i=1, \ldots , m\). So \(K^n=KA_1\cup \cdots \cup KA_m= \{1\} \cup D\). Thus, \(1 \in KA_i\) for some i and we assume without loss of generality \(i=m\). So we write \(K^{n-1}=K^{-1}\cup A_1 \cup \cdots \cup A_{m-1}\). Then \(KK^{-1}\subseteq K^n=\{1\} \cup D\) and we have either \(KK^{-1}=\{1\}\) or \(KK^{-1}=\{1\} \cup D\). In the first case \(K=\{ x\}\), that is, x is central in G, so \(K^n=\{x^n\}\) and this is not possible. Therefore, \(KK^{-1}=\{1\} \cup D\).
To prove the solvability of \(\langle K\rangle \) we argue by minimal counterexample, so let G be a minimal counterexample. Write \(K=x^G\) with \(x\in G\) and we distinguish two possibilities: \(x^n= 1\) and \(x^n\ne 1\). Assume first that \(x^n\ne 1\). If \(m=1\), where m is as in the above paragraph, then \(K^{n-1}=K^{-1}\). In addition, by Corollary 1, we know that \(K^{o(x)-1}=K^{-1}\) and \(K^{o(x)+1}=K\). So, since \(K^{n-1}=K^{-1}=K^{o(x)-1}\), we deduce that \(K^{n+1}=K^{o(x)+1}=K\), and it necessarily follows that \(KD=K\). By Lemma 2, \(\langle D\rangle =\langle KK^{-1}\rangle \) is solvable, so the case \(m=1\) is finished. Suppose now that \(m>1\), that is, there exists \(i \in \{2, \ldots , m\}\) such that \(KA_i=D\). Then \(|K|\leqslant |D|\). On the other hand, since \(x^n\ne 1\), then \(D=(x^n)^G\) and \(\mathbf{C}_G(x)\subseteq \mathbf{C}_G(x^n)\) implies that |D| divides |K|. As a result \(|D|=|K|\). We can apply Lemma 2 and we obtain that \(\langle A_i\rangle \) is solvable. Now, consider \(\overline{G}=G/\langle A_i\rangle \). From the hypothesis, we have \(\overline{K}^{n}=\{\overline{1}\} \cup \overline{D}\) where \(\overline{K}\) denotes the corresponding class in \(\overline{G}\). If \(\overline{K}^{n}=\{\overline{1}\}\), then \(\overline{K}\) is central and if \(\overline{K}^{n}=\overline{D}\), then \(\langle \overline{K}\rangle \) is solvable by Theorem A. Otherwise, by minimal counterexample, we get that \(\langle \overline{K}\rangle \) is solvable, so \(\langle K\rangle \) is solvable too, a contradiction.
For the rest of the proof we assume that \(x^n=1\). First, we prove that n can be assumed to be prime. Suppose that the theorem holds for a prime, that is, \(K^{p}=\{1\} \cup D\) with p prime implies that \(\langle K\rangle \) is solvable. Suppose that n is not prime and write \(n=pt\) for a prime p and \(t>1\). Write
where \(C_i\) are conjugacy classes of G for all \(1 \le i \le s\). Since
we have \(C_{i}^{p}\subseteq \{1\} \cup D\) for every i, and there are three possibilities: \(C_i^{p}=\{1\}\), \(C_{i}^{p}=D\) or \(C_{i}^{p}=\{1\} \cup D\). If \(C_i^{p}=\{1\}\), then trivially \(\langle C_{i}\rangle \le \mathbf{Z }(G)\), so \(\langle C_i\rangle \) is solvable. If \(C_{i}^{p}=D\), then \(\langle C_{i}\rangle \) is solvable by Theorem A. Finally, if \(C_{i}^{p}=\{1\} \cup D\), then \(\langle C_i\rangle \) is solvable by our assumption. Now, we denote \(\overline{G}=G/\langle C_i\rangle \) for some non-trivial class \(C_i\). Notice that \(\overline{K}^{n}= \{\overline{1}\}\cup \overline{D}\). Arguing similarly to above leads to the fact that \(\langle \overline{K}\rangle \) is solvable. Thus, \(\langle K\rangle \) is solvable too, a contradiction.
Therefore, for the rest of the proof, we assume that \(K^{p}=\{1\} \cup D\) with p prime, and hence we are assuming that \(o(x)=p\). Let N be a minimal normal subgroup of G. Arguing as in the above paragraph, that is, by transferring into the quotient G / N, using Theorem A and minimality, it easily follows that N is the only minimal normal subgroup of G and that it is a direct product of isomorphic simple groups. We will prove that N is solvable, and this contradiction will complete the proof. Set \(D=t^G\) with \(t\in G\). If t is a p-element, since \(KK^{-1}=\{1\} \cup D\), then \(x^{-1}x^g=[x, g]\) is a p-element for every \(g \in G\). By Theorem 8, we have \(x\in \mathbf{O }_{p}(G)\ne 1\). Consequently, \(\langle K\rangle \le \mathbf{O }_{p}(G)\), which implies that \(\langle K\rangle \) is solvable. Thus, we can assume that \(o(t)\ne p\). If x is non-central modulo \(\mathbf{O }_{p'}(G)\), then by Theorem 9, x commutes with some conjugate \(x^g\ne x\) , so in particular \(o(x^{-1}x^g)=p\), a contradiction. Therefore, x can be assumed to be central modulo \(\mathbf{O }_{p'}(G)\). Also, if \(\mathbf{O }_{p'}(G)=1\), then \(x\in \mathbf{Z }(G)\) and there is nothing to prove. We assume then that \(\mathbf{O }_{p'}(G)\ne 1\), and by minimality \(N\le \mathbf{O }_{p'}(G)\). Moreover, if x centralizes \(\mathbf{O }_{p'}(G)\), then \(x\in \mathbf{C}_G(N)\ne 1\), which forces N to be abelian, and the proof is finished. Therefore, we can assert that there exists a prime q dividing \(|\mathbf{O }_{p'}(G):\mathbf{C }_{\mathbf{O }_{p'}(G)}(x)|\) and hence, by coprime action, there exists \(Q \in \mathrm{Syl}_{q}(\mathbf{O }_{p'}(G))\) such that \(Q^x=Q\), so \(1\ne [x, Q]\subseteq Q\). Let [x, g] be a non-trivial q-element of [x, Q]. Since \([x,g]=x^{-1}x^g\in K^{-1}K=\{1\} \cup D\), then the elements of D are q-elements. In particular, the prime q must be unique, that is, \(q^a=|\mathbf{O }_{p'}(G):\mathbf{C }_{\mathbf{O }_{p'}(G)}(x)|\) with \(a\ge 1\). Since \(|N:\mathbf{C }_{N}(x)|\) divides \(|\mathbf{O }_{p'}(G):\mathbf{C }_{\mathbf{O }_{p'}(G)}(x)|\), we have \(|N:\mathbf{C }_{N}(x)|=q^b\) for some \(b\le a\). As a consequence \(|N\langle x\rangle : \mathbf{C }_{N\langle x\rangle }(x)|=q^b\), so we can apply Theorem 10 and \(\langle x^{N\langle x\rangle }\rangle \) is solvable. Now, it is elementary that \(\langle x^{N\langle x\rangle }\rangle =\langle x\rangle [N\langle x\rangle , \langle x\rangle ]=\langle x\rangle [N, x]\). We conclude that \(1\ne [N,x]\) is a normal solvable subgroup of \(N\langle x\rangle \). This certainly leads to the solvability of N, and this is the final contradiction. \(\square \)
We have seen that \(K^n=\{1\} \cup D\) implies that \(KK^{-1}=\{1\}\cup D\) and this property was characterized in Theorem B of [4] in terms of characters. Thus, the hypothesis of Theorem B implies the following equality with characters.
Corollary 4
Let G be a group and \(x, d \in G \setminus \{1\}\). Let \(K=x^G\), \(D=d^G\) such that \(K^n=\{1\} \cup D\) for some \(n\in \mathbb {N}\). Then for every \(\chi \in \) Irr(G)
Proof
By Theorem B, we know that \(KK^{-1}=\{1\} \cup D\) and the result follows by Theorem B of [4]. \(\square \)
Example 2
Let us show two examples of the situation \(K^n=\{1\}\cup D\) with \(n=3\). In the first, \(x^n=1\) and in the second \(x^n\ne 1\). Let \(G=A_4\) and \(K=(1\, 2\, 3)^G\), which satisfies \(|K|=4\) and \(o((1\, 2\, 3))=3\). Furthermore, \(K^3=\{1\} \cup D\) where \(D=((1\, 2)(3\, 4))^G\). On the other hand, let \(G=(\mathbb {Z}_7\rtimes \mathbb {Z}_9)\rtimes \mathbb {Z}_2\) having a conjugacy class K of elements of order 21 satisfying that \(K^3=1\cup D\) and \(|K|=6\) where D is a class of elements of order 7 and \(|D|=6\). In this example, \(\langle K\rangle \cong \mathbb {Z}_{21}\).
Remark 6
We have seen that \(K^n= \{1\} \cup D\) implies that \(KK^{-1}=\{1\} \cup D\). However, the converse is not true. Let \(G=SL(2,3)\) and let K be one of the two conjugacy classes of elements of order 6 which satisfies \(|K|=4\). It follows that \(KK^{-1}=\{1\} \cup D\) where D is the unique conjugacy class such that \(|D|=6\). However, there is no \(n\in \mathbb {N}\) with \(K^n=\{1\} \cup D\).
In [2], Arad and Herzog published the following result about the multiplicity of a conjugacy class in the product of conjugacy classes. We will use it for the particular case of the power of a class in Theorems 12 and 13.
Theorem 11
(Lemma 10.1 of [2]) Let G be a group and let \(K_1, \ldots , K_r\) be the conjugacy classes of the elements \(x_1, \ldots , x_r\), respectively, such that \(K_1\cdots K_r=D_1\cup \cdots \cup D_t\) where \(D_1, \ldots , D_t\) are the conjugacy classes of the elements \(d_1, \ldots , d_t\), respectively. Then
where
for \(j=1, \ldots , t\). In particular, if \(K=x^G\) and \(K^r=D_1 \cup \cdots \cup D_t\), then
and
Theorem 12
Let G be a finite group and let K be a conjugacy class of an element \(x\in G\). Then \(K^n=\{1\} \cup D\) where \(D=d^G\ne \{1\}\) if and only if there exist positive integers \(m_1\) and \(m_2\) such that
for all \(\chi \in {\mathrm{Irr}}(G)\) and \(|K|^n=m_1+m_2|D|\) where
and
Proof
Assume that \(K^n=\{1\} \cup D\) and we write \(\widehat{K^n}=m_1\widehat{1}+m_2\widehat{D}\) where \(m_1\) and \(m_2\) are positive integers that can be determined by the character table by using Theorem 11. Then \(|K|^n=m_1+m_2|D|\). Let \(\chi \in {\mathrm{Irr}}(G)\) and let R and \(w_\chi \) be as in Theorem 7. We have
and
Then
and so
for all \(\chi \in {\mathrm{Irr}}(G)\), as wanted.
Conversely, assume that there exist \(m_1\) and \(m_2\) satisfying the equalities with characters. We write \(K^n=D_1 \cup \cdots \cup D_r\) with \(D_i\) a conjugacy class for all \(1\le i\le r\). We write \(\widehat{K^n}=n_1\widehat{D_1}+ \cdots +n_r\widehat{D_r}\) and notice that \(|K|^n=n_1|D_1|+\cdots +n_r|D_r|\). Let \(\chi \in {\mathrm{Irr}}(G)\) and let R and \(w_\chi \) be as before. Then
and by hypothesis, we know
for all \(\chi \in {\mathrm{Irr}}(G)\). Therefore,
By multiplying both sides by \(\overline{\chi (d)}\), we get
From this equation, we obtain
Then \(D_i= D=d^G\) for some i. Without loss of generality, we can assume that \(D_1=D\). Now, if we multiply both sides of Eq.(2) by \(\chi (1)\) and argue similarly, we conclude that \(D_2=\{1\}\) and \(n_i=0\) for all \(i\ne 1,2\). This means that \(K^n=\{1\} \cup D\). \(\square \)
4 Powers which are a union of a class and its inverse
In this section, we are going to study the case in which the power of a conjugacy class is a union of two classes, one of them being the inverse of the other, and we prove Theorems C and D. We use the CFSG in all results except in Theorem 13.
Remark 7
If \(K=x^G\) with \(x\in G\) and \(K^n=D \cup D^{-1}\) for some \(n \in \mathbb {N}\) with \(D \ne D^{-1}\), then K is non-real. Suppose that K is real and \(x^n \in D\). We have that \(x^{-1}=x^g\) for some \(g \in G\). Then \((x^n)^g=(x^g)^n=(x^{-1})^n=x^{-n} \in D\cap D^{-1}\), a contradiction.
We give the proof of Theorem C, which demonstrates that Conjecture 2 is true when \(|D|=|K|/2\).
Proof of Theorem C
Notice that if \(D=D^{-1}\), we have the hypothesis of Theorem A and the result immediately follows. So we assume that D is not a real class. Let \(K=x^G\). We know that either \(D=(x^n)^G\) or \(D^{-1}=(x^n)^G\). Without loss of generality, we may assume that \(D=(x^n)^G\). Since \(\mathrm{\mathbf{C}}_G(x)\subseteq \mathrm{\mathbf{C}}_G(x^n)\) we have that |D| divides |K|. Furthermore, it follows that \(|K|\le |K^n|=2|D|\), that is, \(|K|/2 \le |D|\). Consequently, either \(|D|=|K|/2\) or \(|K|=|D|\). Suppose that \(|D|=|K|/2\). Since \(|K^n|=2|D|=|K|\), we deduce that \(|K^i|=|K|\) for all \(i\le n\). Thus, \(xK=K^2\) and similarly, if \(y\in K\), we get \(yK=K^2\). By arguing as in Theorem 1 it can be obtained that \(K=xN\) where \(N=[x, G]\unlhd G\). By Theorem 1, N is solvable, and consequently, \(\langle K\rangle =\langle x\rangle N\) is also solvable. \(\square \)
Example 3
We are going to see that both cases of Theorem C are possible. Let \(G=\mathbb {Z}_8 \rtimes \mathbb {Z}_2=M_{16}=\langle a, x\, \, | \, \, a^8=x^2=1, \, \, a^{x^{-1}}=a^5\rangle \) and \(K=a^G\). It follows that \(K^2= D \cup D^{-1}\), \(|K|=2\) and \(|D|=1\). On the other hand, let \(G=\mathbb {Z}_2 \times (\mathbb {Z}_7 \rtimes \mathbb {Z}_3)\) and \(K=x^G\) where \(o(x)=14\). We have \(K^2= D\cup D^{-1}\) and \(|K|=|D|=3\).
In Theorem D, we prove Conjecture 2 in the particular case \(n=2\) and \(D=K\). We will work in the complex group algebra \(\mathbb {C}[G]\), and we will use the following properties. Let \(g_1, \ldots , g_k\) be representatives of the conjugacy classes of a finite group G. Let \(\widehat{S}=\sum _{i=1}^{k}n_i\widehat{g_i^G}\) with \(n_i\in \mathbb {N}\) for \(1 \le i \le k\). We write \((\widehat{S}, \widehat{g_i^G})=n_i\) following [1].
Lemma 3
If \(D_{1}\), \(D_{2}\) and \(D_{3}\) are conjugacy classes of a finite group G, then
- 1.
\((\widehat{D_{1}}\widehat{D_{2}}, \widehat{D_{3}})=(\widehat{D_{1}^{-1}}\widehat{D_{2}^{-1}}, \widehat{D_{3}^{-1}})\)
- 2.
\((\widehat{D_{1}}\widehat{D_{2}}, \widehat{D_{3}})=|D_{2}||D_{3}|^{-1}(\widehat{D_{1}}\widehat{D_{3}^{-1}}, \widehat{D_{2}^{-1}})\)
- 3.
\((\widehat{D_{1}}\widehat{D_{2}}, \widehat{D_{1}})=|D_{2}||D_{1}|^{-1}(\widehat{D_{1}}\widehat{D_{1}^{-1}}, \widehat{D_{2}^{-1}})=(\widehat{D_{2}}\widehat{D_{1}^{-1}}, \widehat{D_{1}^{-1}})=(\widehat{D_{2}^{-1}}\widehat{D_{1}}, \widehat{D_{1}})\).
Proof
See the proof of Theorem A of [1]. \(\square \)
Proof of Theorem D
We argue by induction on |G|. We write \(\widehat{K}^2=\alpha \widehat{K}+\beta \widehat{K^{-1}}\) with \(\alpha , \beta \in \mathbb {Z}^{+}\) and \(\alpha =(\widehat{K}^2,\widehat{K})=(\widehat{K^{-1}}\widehat{K},\widehat{K})=(\widehat{K}\widehat{K^{-1}},\widehat{K^{-1}})\) by Lemma 3(3). Thus,
where \((\widehat{S},\widehat{L})=0\) if \(L\in \{1, K, K^{-1}\}\).
We distinguish between whether \(S=\emptyset \) or not. Suppose first that \(S=\emptyset \). Since \(K^3=KK^2=K(K \cup K^{-1})=\{1\} \cup K \cup K^{-1}\), we obtain by induction that \(K^n=\{1\} \cup K \cup K^{-1}\) for all \(n\ge 3\). Thus, \(\langle K\rangle =KK^{-1}=\{1\} \cup K \cup K^{-1}\). As all non-trivial elements in \(\langle K\rangle \) have the same order, it follows that \(\langle K\rangle \) is p-elementary abelian for some prime p, and we have finished. Assume now that \(S\ne \emptyset \). We have
and on the other hand,
Taking into account both equalities and that \(\widehat{K^{-1}}\widehat{K^{-1}}=\beta \widehat{K}+\alpha \widehat{K^{-1}}\), we obtain
If we rearrange, we obtain
In particular, we conclude that \(KS=K\) and by applying Lemma 2, it easily follows that \(\langle S\rangle \) is solvable. Consider now \(\overline{G}=G/\langle S\rangle \). We observe from the hypothesis that \(\overline{K^2}=\overline{K}\cup \overline{K^{-1}}\), so \(\langle \overline{K}\rangle \) is solvable by induction. Consequently, \(\langle K\rangle \) is solvable.
Now let us see that x is a p-element. Since \(KS=K\), we have that \(K^{-1}K\langle S\rangle =K^{-1}K\) and \(KK^{-1}\) is union of left cosets of the subgroup \(\langle S\rangle \), so \(|\langle S\rangle |\) divides \(|KK^{-1}|=1 + 2|K| + |S|\). Hence, \(|\langle S\rangle |\) divides \(1 + |S|\) because \(|\langle S\rangle |\) divides |K|. It necessarily follows that \(\langle S\rangle =\{1\} \cup S\). On the other hand, since \(K^3=KK^2=K(K \cup K^{-1})=\{1\} \cup K \cup K^{-1} \cup S\) and \(KS=K\), we easily obtain by induction on n that \(K^n=\{1\} \cup K \cup K^{-1} \cup S\) for all \(n\ge 3\). Thus, \(\langle K\rangle =KK^{-1}=\{1\} \cup K \cup K^{-1} \cup S\). We write \(\overline{G}=G/\langle S\rangle \), so \(\langle \overline{K}\rangle \) is p-elementary abelian for some prime p because \(\langle \overline{K}\rangle \) is a minimal normal subgroup with all non-trivial elements of the same order. We write \(x=x_px_{p'}\) where \(x_p\) and \(x_{p'}\) are the p-part and the \(p'\)-part of x respectively. Then \(x_{p'}\) and \(x_{p'}^{-1}\) are in \(\langle S\rangle \). Consequently, \(x_p=x x_{p'}^{-1}\in K\langle S\rangle =K\) and so K is a conjugacy class of a p-element as required. \(\square \)
Example 4
In Theorem D, the case in which \(\langle K\rangle \) is non-abelian can happen. We take for instance the group \(G=((\mathbb {Z}_2 \times \mathbb {Z}_2 \times \mathbb {Z}_2) \rtimes \mathbb {Z}_7) \rtimes \mathbb {Z}_3=SmallGroup(168,43)\) which has a conjugacy class K of elements of order 7 and size 24 satisfying \(K^2=K \cup K^{-1}\). Also, \(\langle K\rangle =(\mathbb {Z}_2 \times \mathbb {Z}_2 \times \mathbb {Z}_2) \rtimes \mathbb {Z}_7\).
The following property is useful to check Conjecture 2 from the character table, in particular, for the sporadic simple groups.
Theorem 13
Let G be a finite group and let K be a conjugacy class of an element \(x\in G\). Then \(K^n=D \cup D^{-1}\) where D is a conjugacy class if and only if there exist positive integers \(m_1\) and \(m_2\) such that
for all \(\chi \in {\mathrm{Irr}}(G)\) and \(|K|^n=(m_1+m_2)|D|\) where
In particular,
for all \(\chi \in {\mathrm{Irr}}(G)\).
Proof
Assume that \(K^n=D \cup D^{-1}\) and we write \(\widehat{K^n}=m_1\widehat{D}+m_2\widehat{D^{-1}}\) where \(m_1\) and \(m_2\) are positive integers that can be determined by the character table by using Theorem 11. Then \(|K|^n=(m_1+m_2)|D|\). Let \(\chi \in {\mathrm{Irr}}(G)\) and let R and \(w_\chi \) be as in Theorem 7. We have
and
If we suppose that \(x^n \in D\) (analogously if \(x^n\in D^{-1}\)), then
and then
for all \(\chi \in {\mathrm{Irr}}(G)\), as wanted. By taking conjugates in the above equation, we obtain
for all \(\chi \in {\mathrm{Irr}}(G)\). The last part of the theorem follows by summing the previous equations.
Conversely, assume that there exist \(m_1\) and \(m_2\) satisfying the equalities with characters. We write \(K^n=D_1 \cup \cdots \cup D_r\) with \(D_i\) a conjugacy class for all \(1\le i\le r\). We write \(\widehat{K^n}=n_1\widehat{D_1}+ \cdots +n_r\widehat{D_r}\) and notice that \(|K|^n=n_1|D_1|+\cdots +n_r|D_r|\). Let \(\chi \in {\mathrm{Irr}}(G)\) and let R and \(w_\chi \) be as before. Then
and by hypothesis we know
for all \(\chi \in {\mathrm{Irr}}(G)\). Therefore,
By multiplying both sides by \(\overline{\chi (x^n)}\) we get
From this equation, we obtain
Then \(D_i= D=(x^n)^G\) for some i. Without loss of generality, we can assume that \(D_1=D\). Now, if we multiply both sides of Eq.(3) by \(\chi (x^n)\) and argue similarly we conclude that \(D_2=D^{-1}\) and \(n_i=0\) for all \(i\ne 1,2\). This means that \(K^n=D \cup D^{-1}\). \(\square \)
Remark 8
Let G be a group and let K be a conjugacy class of an element \(x\in G\). If \(K^n=D \cup D^{-1}\) for some \(n\in \mathbb {N}\), \(n\ge 2\) and D a conjugacy class, then G is not a sporadic simple group.
Proof
Let \(x, x^n\in G\) such that \(K=x^G\), \(D=(x^n)^G\) and \(K^n=D \cup D^{-1}\) for some \(n \in \mathbb {N}\). We show that for any sporadic simple group there is no conjugacy class satisfying the hypotheses of the theorem. By Theorem 13, we know that the hypotheses imply
for all \(\chi \in {\mathrm{Irr}}(G)\). The aim is to find some irreducible character that does not satisfy Eq.(4). Recall that the smallest integer m satisfying \(C^m=G\) for each non-trivial conjugacy class C of G is called the covering number of G. The covering number of each sporadic simple group is at most 6 ([2, 13]). It can be checked by using the character tables (for example included in GAP) that for any of these groups and any two non-trivial conjugacy classes of it and \(n<6\), there exists an irreducible character which does not satisfy Eq. (4). \(\square \)
References
Arad, Z., Fisman, E.: An analogy between products of two conjugacy classes and products of two irreducible characters in finite groups. Proc. Edinb. Math. Soc. 30, 7–22 (1987)
Arad, Z., Herzog, M.: Products of conjugacy classes in groups, Lecture Notes in Mathematics, vol. 1112. Springer-Verlag, Berlin (1985)
Beltrán, A., Felipe, M.J., Melchor, C.: Squares of real conjugacy classes in finite groups. Ann. Mat. Pura Appl. 197(2), 317–328 (2018)
Beltrán, A., Felipe, M.J., Melchor, C.: Multiplying a conjugacy class by its inverse in a finite group. Israel J. Math. 227(2), 811–825 (2018)
The GAP Group, GAP—Groups, Algorithms and Programming, Vers. 4.7.7; (2015). (http://www.gap-system.org)
Gorenstein, D.: Finite Groups. AMS Chelsea Publishing, Chelsea (1980)
Guralnick, R.M., Malle, G.: Variations on the Baer–Suzuki theorem. Math. Z. 279, 981–1006 (2015)
Guralnick, R.M., Robinson, G.R.: On extensions on the Baer–Suzuki theorem. Israel J. Math. 82, 281–297 (1993)
Guralnick, R.M., Navarro, G.: Squaring a conjugacy class and cosets of normal subgroups. Proc. Am. Math. Soc. 144(5), 1939–1945 (2016)
Huppert, B.: Character Theory of Finite Groups. Walter de Gruyter, Berlin, New York (1998)
Isaacs, I.M.: Character Theory of Finite Groups. Academic Press Inc, New York (1976)
Moori, J., Tong-Viet, H.P.: Products of conjugacy classes in simple groups. Quaest. Math. 34(4), 433–439 (2011)
Zisser, I.: The covering numbers of the sporadic simple groups. Israel J. Math. 67(2), 217–224 (1989)
Acknowledgements
Part of this paper was written during the stay of C. Melchor at the University of Cambridge in autumn 2017, which was financially supported by the grant E-2017-02, Universitat Jaume I of Castellón. C. Melchor would like to thank R. Camina and the Department of Mathematics for their warm hospitality. A. Beltrán, M.J. Felipe and C. Melchor are supported by Proyecto PGC2018-096872-B-100, Ministerio de Ciencia, Innovación y Universidades.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Beltrán, A., Camina, R.D., Felipe, M.J. et al. Powers of conjugacy classes in a finite group. Annali di Matematica 199, 409–424 (2020). https://doi.org/10.1007/s10231-019-00885-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-019-00885-2