### 2004

1991 Mathematics Subject Classification. 20D15.
<ph f="cmbx">Conjugacy classes and finite </ph> <math xmlns="http://www.w3.org/1998/Math/MathML"> <mi>p</mi> </math> <ph f="cmbx">-groups</ph>

University of Southern Mississippi Gulf Coast, 730 East Beach Boulevard, Long Beach MS 39560 E-mail address : Edith.Bante@usm.edu
• Abstract. Let $G$  be a finite $p$  -group, where $p$  is a prime number and $a\in G$  .
Denote by $Cl\left(a\right)=\left\{ga{g}^{-1}|g\in G\right\}$  the conjugacy class of $a$  in $G$  . Assume that $|Cl\left(a\right)|={p}^{n}$  . Then $Cl\left(a\right)Cl\left({a}^{-1}\right)=\left\{xy|x\in Cl\left(a\right),y\in Cl\left({a}^{-1}\right)\right\}$  is the union of at least $n\left(p-1\right)+1$  distinct conjugacy classes of $G$  .

1 Introduction

Let $G$  be a finite group. Denote by $Cl\left(a\right)=\left\{ga{g}^{-1}|g\in G\right\}$  the conjugacy class of $a$  in $G$  , and by $|Cl\left(a\right)|$  the size of $Cl\left(a\right)$  . If the subset $X$  of $G$  is $G$  -invariant, i.e ${X}^{g}=\left\{{x}^{g}|x\in X\right\}=X$  for all $g\in G$  , then $X$  is the union of $m$  distinct conjugacy classes of $G$  , for some integer $m$  . Set $\eta \left(X\right)=m$  .
Given any conjugacy classes $Cl\left(a\right)$  and $Cl\left(b\right)$  , we can check that the product $Cl\left(a\right)Cl\left(b\right)=\left\{xy|x\in Cl\left(a\right),y\in Cl\left(b\right)\right\}$  is a $G$  -invariant set. In this note, we will explore the relation between $|Cl\left(a\right)|$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)$  . Those results are the equivalent in conjugacy classes as some of the ones in irreducible characters in [1and [2.
In Theorem A of [2, it is proved that if $G$  is a $p$  -group, $\chi$  is an irreducible character with degree ${p}^{n}$  , then the product $\chi \overline{\chi }$  of $\chi$  with its complex conjugate $\overline{\chi }$  is the sum of at least $2n\left(p-1\right)+1$  distinct irreducible characters. The following is the equivalent for conjugacy classes
Theorem A. Let $G$  be a finite $p$  -group and $a\in G$  . Assume that $|Cl\left(a\right)|={p}^{n}$  . Then the product $Cl\left(a\right)Cl\left({a}^{-1}\right)$  of the conjugacy class of $a$  in $G$  and the conjugacy class of the inverse of $a$  in $G$  , is the union of at least $n\left(p-1\right)+1$  distinct conjugacy classes of $G$  , i.e. $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)\ge n\left(p-1\right)+1$  .
In Proposition  5.3 , it is shown that for every prime $p$  and every integer $n\ge 0$  , there exist a $p$  -group $G$  and a conjugacy class $Cl\left(a\right)$  of $G$  such that $|Cl\left(a\right)|={p}^{n}$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=n\left(p-1\right)+1$  . Thus the bound in Theorem A is optimal.
An application of Theorem A is the following
Theorem B. Let $n$  be a positive integer. Then there exists a finite set ${S}_{n}$  of positive integers such that for any nilpotent group $G$  and any conjugacy class $Cl\left(a\right)$  of $G$  with $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)\le n$  , we have that $|Cl\left(a\right)|\in {S}_{n}.$
In Proposition  5.5 , we prove that given any prime $p$  , there exist a supersolvable group and a conjugacy class $Cl\left(a\right)$  of G with $|Cl\left(a\right)|=p$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=2$  .
Thus the previous result does not remain true assuming the weaker hypothesis that the groups are supersovable. Theorem A is the equivalent in conjugacy classes of Theorem B of [1.
Theorem C. Let $p$  be a prime number. Let $G$  be a finite $p$  -group and $Cl\left(a\right)$  be a conjugacy class of $G$  . Then one of the following holds:
i) $|Cl\left(a\right)|=1$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=1$  .
ii) $|Cl\left(a\right)|=p$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=p$  .
iii) $|Cl\left(a\right)|\ge {p}^{2}$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)\ge 2p-1$  .
Given a fix prime $p>2$  , observe that Theorem C implies that there are “gaps” among the possible values that $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)$  can take for any finite $p$  -group and any conjugacy class $Cl\left(a\right)$  in $G$  . The previous result is the equivalent in conjugacy classes of Theorem B of [2.
Acknowledgment. I would like to thank Manoj Kumar for bringing to my attention products of conjugacy classes. I also want to thank Professor Everett C. Dade for useful advise and corrections.

2 Proof of Theorem A

Notation. Let $G$  be a finite $p$  -group and $N$  be a normal subgroup of $G$  . Denote by $\overline{a}$  the element in $G/N$  that contains $a$  . Thus $Cl\left(\overline{a}\right)$  is the conjugacy class of $\overline{a}$  in $G/N$  .
Lemma 2.1. Let $G$  be a finite $p$  -group and $N$  be a normal subgroup of $G$  . Let $a$  and $b$  be elements of $G$  . Then i) $Cl\left(\overline{a}\right)Cl\left(\overline{b}\right)$  is a $G$  -invariant set. If $Cl\left(\overline{a}\right)\cap Cl\left(\overline{b}\right)=\varnothing$  then $Cl\left(a\right)\cap Cl\left(b\right)=\varnothing$  . Thus $\eta \left(Cl\left(\overline{a}\right)Cl\left(\overline{b}\right)\right)\le \eta \left(Cl\left(a\right)Cl\left(b\right)\right)$  .
ii) If, in addition, $|N|=p$  , then either $|Cl\left(\overline{a}\right)|=|Cl\left(a\right)|$  or $|Cl\left(\overline{a}\right)|=\frac{|Cl\left(a\right)|}{p}$  . Furthermore, if $|Cl\left(\overline{a}\right)|=\frac{|Cl\left(a\right)|}{p}$  , then $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)\ge \eta \left(Cl\left(\overline{a}\right)Cl\left({\overline{a}}^{-1}\right)\right)+\left(p-1\right)$  .
• Proof. i) Clearly if $a=gb{g}^{-1}$  , then $\overline{a}=\overline{g}\overline{b}\left(\overline{g}{\right)}^{-1}$  . Thus if $Cl\left(\overline{a}\right)\cap Cl\left(\overline{b}\right)=\varnothing$  then $Cl\left(a\right)\cap Cl\left(b\right)=\varnothing$  . Therefore $\eta \left(Cl\left(\overline{a}\right)Cl\left(\overline{b}\right)\right)\le \eta \left(Cl\left(a\right)Cl\left(b\right)\right)$  .
ii) Since $N$  is normal, $|N|=p$  and $G$  is a $p$  -group, then $N$  is contained in the center $\mathbf{Z}\left(G\right)$  of $G$  . Thus given any $n\in N$  , $Cl\left(n\right)=\left\{n\right\}$  .
Suppose that $|Cl\left(\overline{a}\right)|\ne |Cl\left(a\right)|$  . Since $|N|=p$  , we have that $|Cl\left(a\right)|\le p|Cl\left(\overline{a}\right)|$  .
Therefore $\frac{|Cl\left(a\right)|}{p}\le |Cl\left(\overline{a}\right)|\le |Cl\left(a\right)|$  . Thus $|Cl\left(\overline{a}\right)|=\frac{|Cl\left(a\right)|}{p}$  since $G$  is a $p$  -group and $|Cl\left(\overline{a}\right)|$  divides $|G/N|$  .
If $|Cl\left(\overline{a}\right)|=\frac{|Cl\left(a\right)|}{p}$  , then given any $x\in Cl\left(a\right)$  and any $n\in N$  , we have that $nx\in Cl\left(a\right)$  . Thus $n=nx\left({x}^{-1}\right)\in Cl\left(a\right)Cl\left({a}^{-1}\right)$  for any $n\in N$  . Therefore $N\le Cl\left(a\right)Cl\left({a}^{-1}\right)$  and ii) follows.
• Proof of Theorem A. We are going to use induction on the order of $G$  . Let $N$  be a normal subgroup of $G$  of order $p$  . Observe such group exists since $G$  is a $p$  -group.
Let $|Cl\left(\overline{a}\right)|={p}^{m}$  . Since $|G/N|<|G|$  , by induction we have that $\eta \left(Cl\left(\overline{a}\right)Cl\left({\overline{a}}^{-1}\right)\right)\ge m\left(p-1\right)+1$  . If $|Cl\left(\overline{a}\right)|=|Cl\left(a\right)|$  , i.e if $m=n$  , then by Lemma  2.1 i) we have that $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)\ge \eta \left(Cl\left(\overline{a}\right)Cl\left({\overline{a}}^{-1}\right)\right)\ge m\left(p-1\right)+1=n\left(p-1\right)+1.$  We may assume then that $|Cl\left(\overline{a}\right)|\ne |Cl\left(a\right)|$  . By Lemma  2.1 ii), we have that $m=n-1$  and  $\begin{array}{cccc}\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)& \ge \eta \left(Cl\left(\overline{a}\right)Cl\left({\overline{a}}^{-1}\right)\right)+\left(p-1\right)& & =\left(n-1\right)\left(p-1\right)+1+\left(p-1\right)=n\left(p-1\right)+1.\end{array}$

3 Proof of Theorem B

• Proof of Theorem B. Let ${S}_{n}=\left\{\Pi \left({p}_{i}{\right)}^{{t}_{i}}|{p}_{i}\text{is a prime number for all}i,{t}_{i}\ge 0\text{and}{t}_{i}\left({p}_{i}-1\right)+1\le n\right\}.$  Observe that the set ${S}_{n}$  is a finite set of positive integers since $0\le {t}_{i}\le n$  and if ${t}_{i}>0$  then ${p}_{i}\le n$  .
Let $\left\{{p}_{1},\dots ,{p}_{r}\right\}$  be the set of distinct prime divisors of $|G|$  . For $i=1,\dots ,r$  , let ${P}_{i}$  be the Sylow ${p}_{i}$  -subgroup of $G$  . Observe that $a={\Pi }_{i=1}^{r}{a}_{i}$  , for some ${a}_{i}\in {P}_{i}$  for $i=1,\dots ,r$  . Since $G$  is nilpotent, we have that $Cl\left(a\right)={\Pi }_{i=1}^{r}Cl\left({a}_{i}\right)$  , where $Cl\left({a}_{i}\right)$  is the conjugacy class of ${a}_{i}$  in ${P}_{i}$  , for $i=1,\dots ,r$  . Let ${m}_{i}=\eta \left(Cl\left({a}_{i}\right)Cl\left({a}_{i}^{-1}\right)\right)$  .
Observe that ${m}_{i}\le n$  and $|Cl\left(a\right)|={\Pi }_{i=1}^{r}|Cl\left({a}_{i}\right)|.$  We can check that $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)={\Pi }_{i=1}^{r}\eta \left(Cl\left({a}_{i}\right)Cl\left({a}_{i}^{-1}\right)\right).$  For each $i$  , let $|Cl\left({a}_{i}\right)|={p}_{i}^{{t}_{i}}$  . Since $Cl\left({a}_{i}\right)$  is the conjugacy class of ${a}_{i}$  in the ${p}_{i}$  -group ${P}_{i}$  , by Theorem A we have that ${m}_{i}=\eta \left(Cl\left({a}_{i}\right)Cl\left({a}_{i}^{-1}\right)\right)\ge {t}_{i}\left({p}_{i}-1\right)+1$  .
Thus $n\ge {t}_{i}\left({p}_{i}-1\right)+1$  . Therefore $|Cl\left(a\right)|={\Pi }_{i=1}^{r}|Cl\left({a}_{i}\right)|={\Pi }_{i=1}^{r}{p}_{i}^{{t}_{i}}\in {S}_{n}.$

4 Proof of Theorem C

Lemma 4.1. Let $G$  be a finite $p$  -group and $Cl\left(a\right)$  be a conjugacy class of $G$  with $|Cl\left(a\right)|=p$  . Then one of the following holds:
i) $Cl\left(a\right)=\left\{az|z\in Z\right\}$  for some subgroup $Z$  of the center $\mathbf{Z}\left(G\right)$  of $G$  .
Therefore $Cl\left(a\right)Cl\left({a}^{-1}\right)=Z$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=p$  .
ii) $Cl\left(a\right)Cl\left({a}^{-1}\right)$  is the union of $p-1$  distinct conjugacy classes of size $p$  and the class $Cl\left(e\right)=\left\{e\right\}$  . Therefore $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=p$  .
• Proof. Observe that if $z\in Cl\left(a\right)Cl\left({a}^{-1}\right)$  and $|Cl\left(z\right)|=1$  , then $z$  is in the center $\text{Z}\left(G\right)$  of $G$  . Since $z={a}^{g}{a}^{-1}$  for some $g\in G$  and $z\in \mathbf{Z}\left(G\right)$  , ${z}^{i}\in Cl\left(a\right)Cl\left({a}^{-1}\right)$  and ${a}^{{g}^{i}}=a{z}^{i}$  for all integer $i$  . Thus $\le Cl\left(a\right)Cl\left({a}^{-1}\right)$  . Set $Z=$  .
i) If $z\ne e$  , it follows that $|Z|\ge p$  . Since $|Cl\left(a\right)|=p$  and ${a}^{{g}^{i}}=a{z}^{i}$  for all integer $i$  , we have that $Cl\left(a\right)=\left\{az|z\in Z\right\}$  and $|Z|=p$  . Since $Z$  is contained in $\mathbf{Z}\left(G\right)$  , then $Cl\left(a\right)Cl\left({a}^{-1}\right)=Z$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=p$  .
ii) We may assume now that if $z\in Cl\left(a\right)Cl\left({a}^{-1}\right)$  and $Cl\left(z\right)=1$  , then $z=e$  .
Thus all the conjugacy classes different from $Cl\left(e\right)$  are of size $p$  . Observe that ${a}^{g}\left({a}^{-1}{\right)}^{g}=e$  for all $g\in G$  . Thus $|Cl\left(a\right)Cl\left({a}^{-1}\right)|\le {p}^{2}-p+1=\left(p-1\right)p+1$  .
Therefore by Theorem A it follows that $Cl\left(a\right)Cl\left({a}^{-1}\right)$  is the union of $p-1$  distinct conjugacy classes of size $p$  and $Cl\left(e\right)$  .
Remark. Let $p$  be a prime number.
a) Let $G$  be an extra special group of order ${p}^{3}$  and exponent $p$  . We can check that given any $a\in G$  , where $a$  is not in the center of $G$  , then $Cl\left(a\right)Cl\left({a}^{-1}\right)=\mathbf{Z}\left(G\right)$  and thus Lemma  4.1 i) occurs.
b) Let $G$  be the wreath product of a cyclic group ${C}_{{p}^{2}}$  of order ${p}^{2}$  by a cyclic group ${C}_{p}$  of order $p$  . Thus $|G|={p}^{2p+1}$  . Let $a=\left(c,e,\dots ,e\right)$  in $G$  , where $c\in {C}_{{p}^{2}}$  has order ${p}^{2}$  . Observe that ${a}^{-1}\ne a$  . Observe also that $Cl\left(a\right)=\left\{\left(c,e,\dots ,e\right),\left(e,c,\dots ,e\right),\dots ,\left(e,e,\dots ,e,c\right)\right\}.$  Thus $|Cl\left(a\right)|=p$  . Let ${b}_{i}=\left(c,e,\dots ,{c}^{-1},e,\dots ,e\right)$  , where ${c}^{-1}$  is in the $i$  -position for $i=0,\dots ,p-1$  , i.e ${b}_{0}=\left(c{c}^{-1},\dots ,e\right)=\left(e,e,\dots ,e\right)$  , ${b}_{1}=\left(c,{c}^{-1},e,\dots ,e\right)$  and so for. Observe that $Cl\left({b}_{0}\right)=Cl\left(\left(e,e,\dots ,e\right)\right)$  has class size 1. We can check that $Cl\left({b}_{i}\right)$  has size $p$  for $i=1,\dots ,p-1$  . Since $c\ne {c}^{-1}$  , then $Cl\left({b}_{i}\right)\cap Cl\left({b}_{j}\right)=\varnothing$  if $i\ne j$  and $i,j=0,\dots ,p-1$  . Observe that $Cl\left(a\right)Cl\left({a}^{-1}\right)={\cup }_{i=0}^{p-1}Cl\left({b}_{i}\right)$  . Thus $Cl\left(a\right)Cl\left({a}^{-1}\right)$  is the union of a conjugacy class of size 1, namely $Cl\left({b}_{0}\right)$  and $p-1$  distinct conjugacy classes of size $p$  , namely $Cl\left({b}_{i}\right)$  for $i=1,\dots p-1$  . We conclude that given any prime $p$  , there exist some group $G$  and some conjugacy class $Cl\left(a\right)$  of $G$  satisfying the condition in case ii) of Lemma  4.1 .
• Proof of Theorem C. If $|Cl\left(a\right)|=\left\{a\right\}$  , then $Cl\left(a\right)Cl\left({a}^{-1}\right)=\left\{e\right\}$  and so i) holds.
Lemma  4.1 implies ii) and iii) follows from Theorem A.

5 Examples

Lemma 5.1. Let ${G}_{0}$  be a $p$  -group and $Cl\left({g}_{0}\right)$  be the conjugacy class containing ${g}_{0}\in {G}_{0}$  . Assume that $Cl\left({g}_{0}\right)\ne Cl\left({g}_{0}^{-1}\right)$  . Let $N={G}_{0}×{G}_{0}×\cdots ×{G}_{0}$  be the direct product of $p$  -copies of ${G}_{0}$  . Let $C=$  be a cyclic group of order $p$  . Observe that $C$  acts on $N$  by
 $\begin{array}{c}c:\left({n}_{0},{n}_{1},\dots ,{n}_{p-1}\right)↦\left({n}_{p-1},{n}_{0},...,{n}_{p-2}\right)\end{array}$ (5.2)
for any $\left({n}_{0},{n}_{1},\dots ,{n}_{p-1}\right)\in N$  .
Let $G$  be the semidirect product of $N$  and $C$  , i.e $G$  is the wreath product of ${G}_{0}$  and $C$  . Set $a=\left({g}_{0},e,\dots ,e\right)$  in $N$  , where $e$  is the identity of ${G}_{0}$  . Then $|Cl\left(a\right)|=p|Cl\left({g}_{0}\right)|$  , $Cl\left(a\right)\ne Cl\left({a}^{-1}\right)$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=\eta \left(Cl\left({g}_{0}\right)Cl\left({{g}_{0}}^{-1}\right)\right)+\left(p-1\right)$  .
• Proof. Observe that $Cl\left(a\right)\ne Cl\left({a}^{-1}\right)$  since $Cl\left({g}_{0}\right)\ne Cl\left({g}_{0}^{-1}\right)$  .
Let $Cl\left({g}_{0}\right)Cl\left({{g}_{0}}^{-1}\right)={C}_{1}\cup {C}_{2}\cdots \cup {C}_{m}$  , where ${C}_{1},\dots ,{C}_{m}$  are distinct conjugacy classes of ${G}_{0}$  . Thus $m=\eta \left(Cl\left({g}_{0}\right)Cl\left({g}_{0}^{-1}\right)\right)$  . We can check that the distinct conjugacy classes of $Cl\left(a\right)Cl\left({a}^{-1}\right)$  are of the following two types:
i) $\left\{\left(x,e,\dots ,e{\right)}^{c}|x\in {C}_{i},c\in C\right\}$  for $i=1,\dots ,m$  .
ii) $\left\{\left(x,y,\dots ,e,e{\right)}^{c}|x\in Cl\left({g}_{0}\right),y\in Cl\left({{g}_{0}}^{-1}\right),c\in C\right\}$  , $\left\{\left(x,e,y,\dots ,e{\right)}^{c}|x\in Cl\left({g}_{0}\right),y\in Cl\left({{g}_{0}}^{-1}\right),c\in C\right\}$  and $\left\{\left(x,e,\dots ,e,y{\right)}^{c}|x\in Cl\left({g}_{0}\right),y\in Cl\left({{g}_{0}}^{-1}\right),c\in C\right\}$  .
Observe that there are $\eta \left(Cl\left({g}_{0}\right)Cl\left({{g}_{0}}^{-1}\right)\right)$  distinct conjugacy classes of type i) and exactly $p-1$  distinct conjugacy classes of type ii). Thus $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=\eta \left(Cl\left({g}_{0}\right)Cl\left({{g}_{0}}^{-1}\right)\right)+\left(p-1\right)$  .
Proposition 5.3. Given any prime $p$  , and any integer $n\ge 0$  , there exist a finite $p$  -group $G$  and a conjugacy class $Cl\left(a\right)$  of $G$  with $|Cl\left(a\right)|={p}^{n}$  , $Cl\left(a\right)\ne Cl\left({a}^{-1}\right)$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=n\left(p-1\right)+1$  .
• Proof. Observe that if $G$  is an abelian group and $a\in G$  has order ${p}^{2}$  , then $|Cl\left(a\right)|=1$  , $Cl\left(a\right)\ne Cl\left({a}^{-1}\right)$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=1=0\left(p-1\right)+1$  . Thus the statement is true for $n=0$  . Assume by induction that the statement is true for $n-1$  , i.e. there exist a finite $p$  -group ${G}_{0}$  and a conjugacy class $Cl\left({g}_{0}\right)$  of ${G}_{0}$  with $|Cl\left({g}_{0}\right)|={p}^{n-1}$  , $Cl\left({g}_{0}\right)\ne Cl\left({g}_{0}^{-1}\right)$  and $\eta \left(Cl\left({g}_{0}\right)Cl\left({{g}_{0}}^{-1}\right)\right)=\left(n-1\right)\left(p-1\right)+1$  . Using the notation of Lemma  5.1 , we have that  $\begin{array}{cccc}\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)& =\eta \left(Cl\left({g}_{0}\right)Cl\left({{g}_{0}}^{-1}\right)\right)+\left(p-1\right)& & =\left(n-1\right)\left(p-1\right)+1+\left(p-1\right)=n\left(p-1\right)+1.\end{array}$
Since $|Cl\left(a\right)|=p|Cl\left({g}_{0}\right)|=p×{p}^{n-1}={p}^{n}$  , the proof is complete.
Hypothesis 5.4. Fix a prime $p$  and let $F=\left\{0,1,\dots ,p-1\right\}$  be the finite field with $p$  elements. Observe that $F$  is also a vector space of dimension 1 over itself. Let $A=Aff\left(F\right)$  be the affine group of $F$  . Observe that the group $A$  is a cyclic by cyclic group and thus it is supersolvable.
Let $C$  be a cyclic group of order $p$  . Set $X=F$  and $K={C}^{X}=\left\{f:X\to C\right\}$  . Observe that $K$  is a group via pointwise multiplication, and clearly $A$  acts on this group (via its action on $X$  ).
Let $G$  be the wreath product of $C$  and $A$  relative to $X$  , i.e. $G=K\mathbb{\setminus }A$  .
We can check that $G$  is a supersolvable group.
Proposition 5.5. Assume Hypotheses  5.4 . Set $a=\left(c,e,e,\dots ,,e\right)$  in $K$  .
Then $a\in G$  , the conjugacy class $Cl\left(a\right)$  of $G$  has size $p$  and $Cl\left(a\right)Cl\left({a}^{-1}\right)=Cl\left(\left(e,e,\dots ,e\right)\right)\cup Cl\left(\left(c,{c}^{-1},e,\dots ,e\right)\right)$  . Thus $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=2$  .
Therefore, given any prime $p$  , there exist a supersolvable group $G$  and a conjugacy class $Cl\left(a\right)$  of $G$  with $|Cl\left(a\right)|=p$  and $\eta \left(Cl\left(a\right)Cl\left({a}^{-1}\right)\right)=2$  .
• Proof. Observe that $Cl\left(a\right)=\left\{\left(c,e,\dots ,e\right),\left(e,c,e,\dots ,e\right),\dots ,\left(e,e,\dots ,e,c\right)\right\}$  . Thus $Cl\left(a\right)$  has $p$  -elements. Observe that $\left\{\left(c,{c}^{-1},\dots ,e{\right)}^{y}|y\in F\\left\{0\right\}\right\}=\left\{\left(c,{c}^{-1},e,\dots ,e\right),\left(c,e,{c}^{-1},\dots ,e\right),\dots ,\left(c,e,\dots ,e,{c}^{-1}\right)\right\}.$  Observe also that $\left\{\left(c,{c}^{-1},e,\dots ,e{\right)}^{x}|x\in F\right\}=\left\{\left(c,{c}^{-1},e,\dots ,e\right),\dots ,\left(e,e,\dots ,c,{c}^{-1}\right),\left({c}^{-1},e,\dots ,e,c\right)\right\}.$  Thus  $\begin{array}{cccc}Cl\left(\left(c,{c}^{-1},e,\dots ,e\right)\right)=& \left\{\left(c,{c}^{-1},e,\dots ,e{\right)}^{x},\left(c,e,{c}^{-1},\dots ,e{\right)}^{x},\dots ,& & \left(c,e,\dots ,{c}^{-1},e\right),\left(c,e,\dots ,e,{c}^{-1}{\right)}^{x}|x\in F\right\}\end{array}$
has $\left(p-1\right)p={p}^{2}-p$  elements. Since ${a}^{g}\left({a}^{-1}{\right)}^{g}=\left(e,\dots ,e\right)$  , then $Cl\left(a\right)Cl\left({a}^{-1}\right)$  has at most ${p}^{2}-p+1$  elements. We conclude that $Cl\left(a\right)Cl\left({a}^{-1}\right)=Cl\left(\left(e,e,\dots ,e\right)\right)\cup Cl\left(\left(c,{c}^{-1},e,\dots ,e\right)\right).$
References

1. E. Adan-Bante, Products of characters and finite $p$  -groups, J. Algebra 277 (1), 236-255.
2. E. Adan-Bante, Products of characters and finite $p$  -groups II, Arch. Math. (82) (2004), 289-297.

University of Southern Mississippi Gulf Coast, 730 East Beach Boulevard, Long Beach MS 39560 E-mail address : Edith.Bante@usm.edu