, , 2004

Let

G

be a finite group. Denote by

Cl (a) = {g a g^{- 1} | g \in G}

the conjugacy class of

a

G

, and by

| Cl (a) |

the size of

Cl (a)

. If the subset

X

G

G

-invariant, i.e

X^{g} = {x^{g} | x \in X} = X

for all

g \in G

, then

X

is the union of

m

distinct conjugacy classes of

G

, for some integer

m

. Set

η (X) = m

Given any conjugacy classes

Cl (a)

and

Cl (b)

, we can check that the product

Cl (a) Cl (b) = {x y | x \in Cl (a), y \in Cl (b)}

is a

G

-invariant set. In this note, we will explore the relation between

| Cl (a) |

and

η (Cl (a) Cl (a^{- 1}))

. Those results are the equivalent in conjugacy classes as some of the ones in irreducible characters in [1] and [2] .

In Theorem A of [2] , it is proved that if

G

is a

p

-group,

χ

is an irreducible character with degree

p^{n}

, then the product

χ \bar{χ}

χ

with its complex conjugate

\bar{χ}

is the sum of at least

2 n (p - 1) + 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 (a) | = p^{n}

. Then the product

Cl (a) Cl (a^{- 1})

of the conjugacy class of

a

G

and the conjugacy class of the inverse of

a

G

, is the union of at least

n (p - 1) + 1

distinct conjugacy classes of

G

, i.e.

η (Cl (a) Cl (a^{- 1})) \geq n (p - 1) + 1

In Proposition 5.3 , it is shown that for every prime

p

and every integer

n \geq 0

, there exist a

p

-group

G

and a conjugacy class

Cl (a)

G

such that

| Cl (a) | = p^{n}

and

η (Cl (a) Cl (a^{- 1})) = n (p - 1) + 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 (a)

G

with

η (Cl (a) Cl (a^{- 1})) \leq n

, we have that

| Cl (a) | \in S_{n} .

In Proposition 5.5 , we prove that given any prime

p

, there exist a supersolvable group and a conjugacy class

Cl (a)

of G with

| Cl (a) | = p

and

η (Cl (a) Cl (a^{- 1})) = 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 (a)

be a conjugacy class of

G

. Then one of the following holds:

| Cl (a) | = 1

and

η (Cl (a) Cl (a^{- 1})) = 1

ii)

| Cl (a) | = p

and

η (Cl (a) Cl (a^{- 1})) = p

iii)

| Cl (a) | \geq p^{2}

and

η (Cl (a) Cl (a^{- 1})) \geq 2 p - 1

Given a fix prime

p > 2

, observe that Theorem C implies that there are “gaps” among the possible values that

η (Cl (a) Cl (a^{- 1}))

can take for any finite

p

-group and any conjugacy class

Cl (a)

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

\bar{a}

the element in

G / N

that contains

a

. Thus

Cl (\bar{a})

is the conjugacy class of

\bar{a}

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 (\bar{a}) Cl (\bar{b})

is a

G

-invariant set. If

Cl (\bar{a}) \cap Cl (\bar{b}) = \emptyset

then

Cl (a) \cap Cl (b) = \emptyset

. Thus

η (Cl (\bar{a}) Cl (\bar{b})) \leq η (Cl (a) Cl (b))

ii) If, in addition,

| N | = p

, then either

| Cl (\bar{a}) | = | Cl (a) |

| Cl (\bar{a}) | = \frac{| Cl (a) |}{p}

. Furthermore, if

| Cl (\bar{a}) | = \frac{| Cl (a) |}{p}

, then

η (Cl (a) Cl (a^{- 1})) \geq η (Cl (\bar{a}) Cl ({\bar{a}}^{- 1})) + (p - 1)

Proof. i) Clearly if $a = g b g^{- 1}$ , then $\bar{a} = \bar{g} \bar{b} (\bar{g})^{- 1}$ . Thus if $Cl (\bar{a}) \cap Cl (\bar{b}) = \emptyset$ then $Cl (a) \cap Cl (b) = \emptyset$ . Therefore $η (Cl (\bar{a}) Cl (\bar{b})) \leq η (Cl (a) Cl (b))$ .
ii) Since $N$ is normal, $| N | = p$ and $G$ is a $p$ -group, then $N$ is contained in the center $Z (G)$ of $G$ . Thus given any $n \in N$ , $Cl (n) = {n}$ .
Suppose that $| Cl (\bar{a}) | \neq | Cl (a) |$ . Since $| N | = p$ , we have that $| Cl (a) | \leq p | Cl (\bar{a}) |$ .
Therefore $\frac{| Cl (a) |}{p} \leq | Cl (\bar{a}) | \leq | Cl (a) |$ . Thus $| Cl (\bar{a}) | = \frac{| Cl (a) |}{p}$ since $G$ is a $p$ -group and $| Cl (\bar{a}) |$ divides $| G / N |$ .
If $| Cl (\bar{a}) | = \frac{| Cl (a) |}{p}$ , then given any $x \in Cl (a)$ and any $n \in N$ , we have that $n x \in Cl (a)$ . Thus $n = n x (x^{- 1}) \in Cl (a) Cl (a^{- 1})$ for any $n \in N$ . Therefore $N \leq Cl (a) Cl (a^{- 1})$ 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 (\bar{a}) | = p^{m}

. Since

| G / N | < | G |

, by induction we have that

η (Cl (\bar{a}) Cl ({\bar{a}}^{- 1})) \geq m (p - 1) + 1

. If

| Cl (\bar{a}) | = | Cl (a) |

, i.e if

m = n

, then by Lemma 2.1 i) we have that

η (Cl (a) Cl (a^{- 1})) \geq η (Cl (\bar{a}) Cl ({\bar{a}}^{- 1})) \geq m (p - 1) + 1 = n (p - 1) + 1 .

We may assume then that

| Cl (\bar{a}) | \neq | Cl (a) |

. By Lemma 2.1 ii), we have that

m = n - 1

and

\begin{matrix} η (Cl (a) Cl (a^{- 1})) & \geq η (Cl (\bar{a}) Cl ({\bar{a}}^{- 1})) + (p - 1) & = (n - 1) (p - 1) + 1 + (p - 1) = n (p - 1) + 1 . \end{matrix}

□

3 Proof of Theorem B

Proof of Theorem B. Let $S_{n} = {Π (p_{i})^{t_{i}} | p_{i} is a prime number for all i, t_{i} \geq 0 and t_{i} (p_{i} - 1) + 1 \leq n} .$ Observe that the set $S_{n}$ is a finite set of positive integers since $0 \leq t_{i} \leq n$ and if $t_{i} > 0$ then $p_{i} \leq n$ .
Let ${p_{1}, \dots, p_{r}}$ 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 = Π_{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 (a) = Π_{i = 1}^{r} Cl (a_{i})$ , where $Cl (a_{i})$ is the conjugacy class of $a_{i}$ in $P_{i}$ , for $i = 1, \dots, r$ . Let $m_{i} = η (Cl (a_{i}) Cl (a_{i}^{- 1}))$ .
Observe that $m_{i} \leq n$ and $| Cl (a) | = Π_{i = 1}^{r} | Cl (a_{i}) | .$ We can check that $η (Cl (a) Cl (a^{- 1})) = Π_{i = 1}^{r} η (Cl (a_{i}) Cl (a_{i}^{- 1})) .$ For each $i$ , let $| Cl (a_{i}) | = p_{i}^{t_{i}}$ . Since $Cl (a_{i})$ is the conjugacy class of $a_{i}$ in the $p_{i}$ -group $P_{i}$ , by Theorem A we have that $m_{i} = η (Cl (a_{i}) Cl (a_{i}^{- 1})) \geq t_{i} (p_{i} - 1) + 1$ .
Thus $n \geq t_{i} (p_{i} - 1) + 1$ . Therefore $| Cl (a) | = Π_{i = 1}^{r} | Cl (a_{i}) | = Π_{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 (a)

be a conjugacy class of

G

with

| Cl (a) | = p

. Then one of the following holds:

Cl (a) = {a z | z \in Z}

for some subgroup

Z

of the center

Z (G)

G

Therefore

Cl (a) Cl (a^{- 1}) = Z

and

η (Cl (a) Cl (a^{- 1})) = p

ii)

Cl (a) Cl (a^{- 1})

is the union of

p - 1

distinct conjugacy classes of size

p

and the class

Cl (e) = {e}

. Therefore

η (Cl (a) Cl (a^{- 1})) = p

Proof. Observe that if $z \in Cl (a) Cl (a^{- 1})$ and $| Cl (z) | = 1$ , then $z$ is in the center $Z (G)$ of $G$ . Since $z = a^{g} a^{- 1}$ for some $g \in G$ and $z \in Z (G)$ , $z^{i} \in Cl (a) Cl (a^{- 1})$ and $a^{g^{i}} = a z^{i}$ for all integer $i$ . Thus $< z > \leq Cl (a) Cl (a^{- 1})$ . Set $Z = < z >$ .
i) If $z \neq e$ , it follows that $| Z | \geq p$ . Since $| Cl (a) | = p$ and $a^{g^{i}} = a z^{i}$ for all integer $i$ , we have that $Cl (a) = {a z | z \in Z}$ and $| Z | = p$ . Since $Z$ is contained in $Z (G)$ , then $Cl (a) Cl (a^{- 1}) = Z$ and $η (Cl (a) Cl (a^{- 1})) = p$ .
ii) We may assume now that if $z \in Cl (a) Cl (a^{- 1})$ and $Cl (z) = 1$ , then $z = e$ .
Thus all the conjugacy classes different from $Cl (e)$ are of size $p$ . Observe that $a^{g} (a^{- 1})^{g} = e$ for all $g \in G$ . Thus $| Cl (a) Cl (a^{- 1}) | \leq p^{2} - p + 1 = (p - 1) p + 1$ .
Therefore by Theorem A it follows that $Cl (a) Cl (a^{- 1})$ is the union of $p - 1$ distinct conjugacy classes of size $p$ and $Cl (e)$ . □

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 (a) Cl (a^{- 1}) = Z (G)

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^{2 p + 1}

. Let

a = (c, e, \dots, e)

G

, where

c \in C_{p^{2}}

has order

p^{2}

. Observe that

a^{- 1} \neq a

. Observe also that

Cl (a) = {(c, e, \dots, e), (e, c, \dots, e), \dots, (e, e, \dots, e, c)} .

Thus

| Cl (a) | = p

. Let

b_{i} = (c, e, \dots, c^{- 1}, e, \dots, e)

, where

c^{- 1}

is in the

i

-position for

i = 0, \dots, p - 1

, i.e

b_{0} = (c c^{- 1}, \dots, e) = (e, e, \dots, e)

b_{1} = (c, c^{- 1}, e, \dots, e)

and so for. Observe that

Cl (b_{0}) = Cl ((e, e, \dots, e))

has class size 1. We can check that

Cl (b_{i})

has size

p

for

i = 1, \dots, p - 1

. Since

c \neq c^{- 1}

, then

Cl (b_{i}) \cap Cl (b_{j}) = \emptyset

i \neq j

and

i, j = 0, \dots, p - 1

. Observe that

Cl (a) Cl (a^{- 1}) = \cup_{i = 0}^{p - 1} Cl (b_{i})

. Thus

Cl (a) Cl (a^{- 1})

is the union of a conjugacy class of size 1, namely

Cl (b_{0})

and

p - 1

distinct conjugacy classes of size

p

, namely

Cl (b_{i})

for

i = 1, \dots p - 1

. We conclude that given any prime

p

, there exist some group

G

and some conjugacy class

Cl (a)

G

satisfying the condition in case ii) of Lemma 4.1 .

Proof of Theorem C. If $| Cl (a) | = {a}$ , then $Cl (a) Cl (a^{- 1}) = {e}$ 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 (g_{0})

be the conjugacy class containing

g_{0} \in G_{0}

. Assume that

Cl (g_{0}) \neq Cl (g_{0}^{- 1})

. Let

N = G_{0} \times G_{0} \times \dots \times G_{0}

be the direct product of

p

-copies of

G_{0}

. Let

C = < c >

be a cyclic group of order

p

. Observe that

C

acts on

N

\begin{matrix} c : (n_{0}, n_{1}, \dots, n_{p - 1}) \mapsto (n_{p - 1}, n_{0}, . . ., n_{p - 2}) \end{matrix}

(5.2)

for any

(n_{0}, n_{1}, \dots, n_{p - 1}) \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 = (g_{0}, e, \dots, e)

N

, where

e

is the identity of

G_{0}

. Then

| Cl (a) | = p | Cl (g_{0}) |

Cl (a) \neq Cl (a^{- 1})

and

η (Cl (a) Cl (a^{- 1})) = η (Cl (g_{0}) Cl ({g_{0}}^{- 1})) + (p - 1)

Proof. Observe that $Cl (a) \neq Cl (a^{- 1})$ since $Cl (g_{0}) \neq Cl (g_{0}^{- 1})$ .
Let $Cl (g_{0}) Cl ({g_{0}}^{- 1}) = C_{1} \cup C_{2} \dots \cup C_{m}$ , where $C_{1}, \dots, C_{m}$ are distinct conjugacy classes of $G_{0}$ . Thus $m = η (Cl (g_{0}) Cl (g_{0}^{- 1}))$ . We can check that the distinct conjugacy classes of $Cl (a) Cl (a^{- 1})$ are of the following two types:
i) ${(x, e, \dots, e)^{c} | x \in C_{i}, c \in C}$ for $i = 1, \dots, m$ .
ii) ${(x, y, \dots, e, e)^{c} | x \in Cl (g_{0}), y \in Cl ({g_{0}}^{- 1}), c \in C}$ , ${(x, e, y, \dots, e)^{c} | x \in Cl (g_{0}), y \in Cl ({g_{0}}^{- 1}), c \in C}$ and ${(x, e, \dots, e, y)^{c} | x \in Cl (g_{0}), y \in Cl ({g_{0}}^{- 1}), c \in C}$ .
Observe that there are $η (Cl (g_{0}) Cl ({g_{0}}^{- 1}))$ distinct conjugacy classes of type i) and exactly $p - 1$ distinct conjugacy classes of type ii). Thus $η (Cl (a) Cl (a^{- 1})) = η (Cl (g_{0}) Cl ({g_{0}}^{- 1})) + (p - 1)$ . □

Proposition 5.3. Given any prime

p

, and any integer

n \geq 0

, there exist a finite

p

-group

G

and a conjugacy class

Cl (a)

G

with

| Cl (a) | = p^{n}

Cl (a) \neq Cl (a^{- 1})

and

η (Cl (a) Cl (a^{- 1})) = n (p - 1) + 1

Proof. Observe that if

G

is an abelian group and

a \in G

has order

p^{2}

, then

| Cl (a) | = 1

Cl (a) \neq Cl (a^{- 1})

and

η (Cl (a) Cl (a^{- 1})) = 1 = 0 (p - 1) + 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 (g_{0})

G_{0}

with

| Cl (g_{0}) | = p^{n - 1}

Cl (g_{0}) \neq Cl (g_{0}^{- 1})

and

η (Cl (g_{0}) Cl ({g_{0}}^{- 1})) = (n - 1) (p - 1) + 1

. Using the notation of Lemma 5.1 , we have that

\begin{matrix} η (Cl (a) Cl (a^{- 1})) & = η (Cl (g_{0}) Cl ({g_{0}}^{- 1})) + (p - 1) & = (n - 1) (p - 1) + 1 + (p - 1) = n (p - 1) + 1 . \end{matrix}

Since

| Cl (a) | = p | Cl (g_{0}) | = p \times p^{n - 1} = p^{n}

, the proof is complete. □

Hypothesis 5.4. Fix a prime

p

and let

F = {0, 1, \dots, p - 1}

be the finite field with

p

elements. Observe that

F

is also a vector space of dimension 1 over itself. Let

A = Aff (F)

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} = {f : X \to C}

. 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 ∖ A

We can check that

G

is a supersolvable group.

Proposition 5.5. Assume Hypotheses 5.4 . Set

a = (c, e, e, \dots,, e)

K

Then

a \in G

, the conjugacy class

Cl (a)

G

has size

p

and

Cl (a) Cl (a^{- 1}) = Cl ((e, e, \dots, e)) \cup Cl ((c, c^{- 1}, e, \dots, e))

. Thus

η (Cl (a) Cl (a^{- 1})) = 2

Therefore, given any prime

p

, there exist a supersolvable group

G

and a conjugacy class

Cl (a)

G

with

| Cl (a) | = p

and

η (Cl (a) Cl (a^{- 1})) = 2

Proof. Observe that

Cl (a) = {(c, e, \dots, e), (e, c, e, \dots, e), \dots, (e, e, \dots, e, c)}

. Thus

Cl (a)

has

p

-elements. Observe that

{(c, c^{- 1}, \dots, e)^{y} | y \in F \ {0}} = {(c, c^{- 1}, e, \dots, e), (c, e, c^{- 1}, \dots, e), \dots, (c, e, \dots, e, c^{- 1})} .

Observe also that

{(c, c^{- 1}, e, \dots, e)^{x} | x \in F} = {(c, c^{- 1}, e, \dots, e), \dots, (e, e, \dots, c, c^{- 1}), (c^{- 1}, e, \dots, e, c)} .

Thus

\begin{matrix} Cl ((c, c^{- 1}, e, \dots, e)) = & {(c, c^{- 1}, e, \dots, e)^{x}, (c, e, c^{- 1}, \dots, e)^{x}, \dots, & (c, e, \dots, c^{- 1}, e), (c, e, \dots, e, c^{- 1})^{x} | x \in F} \end{matrix}

has

(p - 1) p = p^{2} - p

elements. Since

a^{g} (a^{- 1})^{g} = (e, \dots, e)

, then

Cl (a) Cl (a^{- 1})

has at most

p^{2} - p + 1

elements. We conclude that

Cl (a) Cl (a^{- 1}) = Cl ((e, e, \dots, e)) \cup Cl ((c, c^{- 1}, e, \dots, e)) .

□

References

E. Adan-Bante, Products of characters and finite $p$ -groups, J. Algebra 277 (1), 236-255.
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

2004

Edith Adan-Bante