arXiv:1802.08162v1 [math.GR] 20 Feb 2018

A COUNTEREXAMPLE TO HERZOG’S CONJECTURE ON THE
NUMBER OF INVOLUTIONS
M. ZARRIN
Abstract. In 1979, Herzog put forward the following conjecture: if two simple
groups have the same number of involutions, then they are of the same order.
We give a counterexample to this conjecture.
Keywords. Involution, element order, simple group.
Mathematics Subject Classification (2010). 20D60, 20D06.

1. Introduction
Let G be a group, π(G) be the set of primes p such that G contains an element
of order p and Ik (G) be the number of elements of order k in G (in some other
papers denoted by sk (G) or mk (G)).
M. Herzog in 1979 [1], showed that there are vast classes of simple groups in
which characterized by the number of its involutions.
Theorem 1.1. Let G be a finite simple group with I involutions and suppose that
I ≡ 1 (mod 4). Then one of the following holds:
•
•
•
•

I = 1 and G is cyclic of order 2,
I = 105 and G ∼
= A7 ,
I = 165 and G ∼
= M11 ,
I = q(q + ε)/2, and G ∼
= P SL(2, q), where q = pn > 3 is a power of an odd
prime, ε = 1 or −1 and q ≡ ε (mod 8),
• I = q 2 (q 2 + q + 1) and G = P SL(3, q), where q = pn is a power of an odd
prime and q ≡ −1 (mod 4),
• I = q 2 (q 2 − q + 1) and G = P SU (3, q), where q = pn is a power of an odd
prime and q ≡ 1 (mod 4).
In fact, He showed that each of the above mentioned simple groups is characterized by the number of its involutions. Then in view of the above results and as
the groups A8 and P SL(3, 4) (it is well-known G = P SL(3, 4) has a single class
of involutions, and its centralizer is the Sylow 2-subgroup, say P . It follows that
I2 (G) = |G|/|P | = 315) are of the same order and each has 315 involutions, he gave
the following conjecture:
Conjecture 1.2. If two simple groups have the same number of involutions, then
they are of the same order.
Here we provide a counterexample to this conjecture and give related questions.
Let p denote an odd prime integer and let q = pn where n is a positive integer. Let
P Sp(4, q) denote the projective symplectic group in dimension 4 over a field Fq of
q elements. We show that the number of involution of the projective symplectic
1

2

M. ZARRIN

group of degree of degree 4 over the finite field of size 3, P Sp(4, 3) is 315. In fact,
I2 (P Sp(4, 3)) = 315 = I2 (P SL(3, 4)),
but |P Sp(4, 3)| = 25920 and |P SL(3, 4)| = 20160.
The group G = P Sp(4, q) is described in [3]. This group is simple of order
+ 1)(q 2 − 1)2 and has a Sylow 2-subgroup with center of order 2 so that
involutions which lie in the centers of Sylow 2-subgroups form a single conjugacy
class. In particular, by Lemmas 1.1, 2.4 and 3.7 of [3], the group P Sp(4, 3) has
exactly two classes of involutions, say t and u and |CP Sp(4,3) (t)| = 32 (32 −1)2 = 576
and |CP Sp(4,3) (u)| = 12×8 = 96 (note that t lie in the centers of Sylow 2-subgroups).
25920
Now by the following lemma, we can obtain that I2 (P Sp(4, 3)) = 25920
576 + 96 =
315.
1 4 2
2 q (q

Lemma 1.3. Let H be a finite group with k2 distinct conjugacy classes of involutions, and if t1 , t2 , . . . , tk2 are involution elements of H, one form each of these
Pk2
|H : CH (ti )|, where |H : CH (ti )| is the index of the
k2 classes, then I2 (H) = i=1
centralizer ti in H.
Proof. Clearly.



In view of his results and comparison with other results related to the set {It (G) |
t ∈ π(G)} (see for instance, [2]), one can find out the influence of I2 (G) is more
stronger than other Ip (G) where p is a prime number. The authors in [2] conjectured
that: if G is a finite nonabelian simple group. Then Ip (G) 6= Iq (G) for all distinct
prime divisors p and q of |G|. Finally, in view of Herzog’s Conjecture and Conjecture
2.10 of [2], it might seem reasonable to make the following conjecture.
Conjecture 1.4. If S be a non-abelian simple and G a group such that I2 (G) =
I2 (S) and Ip (G) = Ip (S) for some odd prime divisor p. Then |G| = |S|.
References
[1] M. Herzog, On the classification of finite simple groups by the number of involutions. Proc.
Amer. Math. Soc. 77 (1979), no. 3, 313-314.
[2] L. J. Taghvasani, M. Zarrin, A characterization of A5 by its same-order type. Monatsh. Math.
182 (2017), no. 3, 731-736.
[3] W.J. Wong, A characterization of the finite projective symplectic groups PSp(4,q), Trans.
Amer. Math. Soc. 139 (1969), 1-35.
Department of Mathematics, University of Kurdistan, P.O. Box: 416, Sanandaj, Iran
E-mail address: M.zarrin@uok.ac.ir

