arXiv:1801.09117v1 [math.GR] 27 Jan 2018

Centralizer fusion systems of central
involutions in a finite group with soluble
centralizer of involutions
KIVANÇ ERSOY and İPEK TUVAY
Abstract. It is a long-standing open problem raised by Starostin
to describe all finite groups with soluble centralizers of involutions.
One can observe that if the centralizer fusion system of an involution is nilpotent, then the centralizer of that involution is soluble.
In this paper, we classify the cases when the centralizer fusion system of a central involution in a finite group whose all involutions
have soluble centralizers is a nilpotent fusion system. Indeed, we
analyse the case when the solvable radical has odd order and the
corresponding factor group is simple.
2010 Mathematics Subject Classification: 20D05, 20D20
Keywords: centralizer of involution, fusion system, finite simple
group.

1. Introduction
Since Brauer-Fowler Theorem indicates that there are finitely many
simple groups with a given structure of centralizer of an involution, the
study of such proper subgroups has been an active research area on the
way to the classification of finite simple groups. Starostin raised the
following problem:
Problem 1.1. [6, Problem 2.74] Describe the finite groups all of
whose involutions have soluble centralizers.
1

2

KIVANÇ ERSOY AND İPEK TUVAY

Here one should mention the famous N-group papers of Thompson
(see [11, 12, 13, 14, 15, 16]) where finite simple groups in which normalizers of p-subgroups are soluble, are classified. Clearly, centralizer
of an involution is exactly the normalizer of the subgroup generated by
that involution. Hence, finite simple groups in Thompson’s list occur as
natural examples of finite simple groups with soluble centralizers of involutions. Indeed, Gorenstein and Lyons classified finite groups whose
all 2-local subgroups are soluble (see [5, Main Theorem]). By the classification of finite simple groups, one can list finite simple groups all
of whose involutions have soluble centralizers (See the list in Proposition 3.1). Moreover, Syskin proved the following theorem for finite
non-soluble groups in which all involutions of the Sylow 2-subgroup P
are contained in center of P .
Theorem 1.2. [9, Theorem A] Let G be a finite non-soluble group
with soluble centralizers of involutions and P a Sylow 2-subgroup of G.
Assume that the subgroup generated by all involutions of P is contained
in the center of P . Then G/O2′ (G) has a normal subgroup isomorphic
to one of the following groups:
(1) P SL2 (q) where q = 3, 5 mod 8
(2) SL2 (2n ) where n ≥ 2
(3) P SU3 (2n ) where n ≥ 2
(4) 2 B2 (22m+1 ) where m ≥ 1.
The theory of fusion systems which was originated from the work
of Burnside and Frobenius, was formulated axiomatically by Puig (for
details see [1, 2, 7]). Let G be a finite group and P be a Sylow
p-subgroup of G. The fusion system FP (G) is the category whose
objects are subgroups of P and whose morphisms are induced by the
conjugation action by elements of G on the subgroups of P . In this
paper fusion systems are used as an invariant of the groups with soluble
centralizers of involutions having odd order soluble radicals (see Lemma
2.2).

CENTRALIZER FUSION SYSTEMS OF CENTRAL INVOLUTIONS

3

In this paper we investigate a special type of finite groups with
soluble centralizers of involutions in which the soluble radical has odd
order. We ask the following question:
Question 1.3. Let G be a finite group whose all involutions have
soluble centralizers and R its soluble radical. If R has odd order and
G/R is simple, is the centralizer of a central involution of G necessarily
an extension of an odd order group by a 2-group?
We use knowledge about fusion systems to classify the cases when
this property holds. Indeed we prove that this result just depend on
the structure of G/R. The main result of the paper is the following:
Theorem 1.4. Let G be a finite non-soluble group with soluble centralizers of involutions. Assume that the soluble radical R of G has odd
order and G/R is simple. Let x be a central involution of G. Then the
following holds.
(1) CF (x) is nilpotent iff G/R is isomorphic to one of
A5 , A6 , A7 , P SL2 (q),2 B2 (2m ) where m is odd, M11 or 2 F4 (2)′ .
(2) CF (x) is non-nilpotent iff G/R is isomorphic to one of
A8 , P SL3(2n ), P SL3 (3) or P SU3 (2n ).
Therefore, whenever the centralizer fusion system is nilpotent, the
centralizer of the central involution is isomorphic to an odd order group
extended by a 2-group.
2. Preliminaries
In this section we collect definitions and results that will be used
in our proofs.
Definition 2.1. An involution x of a finite simple group G is called
a central involution if CG (x) contains a Sylow 2-subgroup of G.
Likewise for groups, there is a notion of centralizer fusion system
in general. To avoid technicality, we will define it here for just central

4

KIVANÇ ERSOY AND İPEK TUVAY

involutions, indeed by using [2, Theorem 4.27], for a central involution
x ∈ G, the centralizer fusion system CF (x) of x in F = FP (G) can be
viewed as the fusion system FP (CG (x)).
We use the following result to see that the 2-fusion system of a finite
group with a soluble radical of odd order is isomorphic to the 2-fusion
system of the quotient.
Lemma 2.2. [7, Theorem 2.12] Let G be a finite group, P be a Sylow
2-subgroup of G. If N is a normal 2′ -subgroup of G then
FP (G) ∼
= FP N/N (G/N).
The following result characterizes nilpotent fusion systems. Recall that the Sylow p-subgroup P has a normal p-complement in G iff
Op′ (G) ⋊ P ∼
= G.
Theorem

2.3. [2,

Theorem

1.12] (Frobenius Normal p-

Complement Theorem) Let G be a finite group and P be a Sylow psubgroup of G. Then FP (G) = FP (P ) iff P has a normal p-complement
in G.
Let G be a finite group and x ∈ G be an involution in G. Let P be
a Sylow 2-subgroup of G containing x.
Proposition 2.4. Let G be a finite group, P be a Sylow 2-subgroup
of G and x be a central involution in P . Let F = FP (G). If CF (x) is
a nilpotent fusion system, then CG (x) is soluble.
Proof. Observe that if CF (x) = FP (CG (x)) is nilpotent, then by
Theorem 2.3, CG (x) has a normal subgroup K of odd order where
[CG (x) : K] is a 2-power. Indeed, CG (x) = P K. Now, K is soluble by
Odd Order Theorem, and P is a 2-group, hence CG (x) is soluble.



3. Main Results
We first need to give a list of finite simple groups with soluble
centralizers of involutions.

CENTRALIZER FUSION SYSTEMS OF CENTRAL INVOLUTIONS

5

Proposition 3.1. Let S be a finite non-abelian simple group with
soluble centralizer of involutions. Then S is isomorphic to one of the
following groups:
(1) A5 , A6 , A7 , A8 ;
(2) P SL2 (q) where q ≥ 4 is a prime power;
(3) 2 B2 (22n+1 ), n ∈ N;
(4) P SL3 (2n ) n ∈ N
(5) P SL3 (3);
(6) P SU3 (3);
(7) P SU3 (2n ), n ∈ N
(8) Matthieu group M11
(9) Tits group 2 F4 (2)′
Proof. Let G be an alternating group An . Take x = (12)(34).
∼ A8 .
One can easily observe that CG (x) is non-soluble if n ≥ 9. Let G =
There are two conjugacy class of involutions, one of which is a product
of two transpositions and the other is a product of four transpositions.
It is easy to check that in any case the centralizers are soluble. Since
A5 , A6 and A7 are subgroups of A8 , they also have soluble centralizers
of involutions.
Let G be a simple group of Lie type. Then there is a simple linear
algebraic group G of adjoint type over the algebraic closure of Fp , a
′

Frobenius map σ of G such that G = O p (Gσ ). Clearly, CG (x) =
′

O p (CG (x, σ)).
First assume that p 6= 2. Then involutions are semisimple elements
of G. Assume that CG (x) is soluble. Now, by [3, Theorem D], centralizer of an involution in G over the algebraic closure of Fq involves
a simple linear algebraic group whenever 2 ≤ Σmi , namely the highest
root. Then the sum of coefficients of the highest root is 2 which means
G is of type P SL2 (q).
Now, assume CG (x) is non-soluble where CG (x) is soluble. This
means there is P SL2 (p), which is soluble, which means p = 3. Hence,
the groups are either P SL2 (q) or P SL3 (3).

6

KIVANÇ ERSOY AND İPEK TUVAY

Secondly assume p = 2. Then involutions are unipotent elements.
If rank(G) > 2, take an involution u belonging to the root subgroup
hxr (t) : t ∈ F2 i for the positive root r. Since rank(G) > 2, there is a
positive root s such that r + s nor r − s is a not root, (indeed, if you
choose r a fundamental root, there is another fundamental root s such
that r+s is not a root, r−s is not a root in any case.) Therefore, there is
a subgroup hxs (t1 ), x−s (t2 ) : t1 , t2 ∈ F2 i, which is clearly non-soluble.
Now, assume G ∼
= C2 (2n ), where the root system of C2 is generated by
r, s with highest root 2r+s. Since 2r+2s and 2r are not roots in the root
system C2 , by Chevalley Commutator Formula, the highest root commutes with hxs (t1 ), x−s (t2 ) : t1 , t2 ∈ F2n i, which is non-soluble. Hence,
the rest only follows from the list, indeed G is one of the groups listed
′

in [5, Main Theorem], namely 2 B2 (22m+1 ), P SU3(2m ),2 F4 (2) .Similarly,
Tits group 2 F4 (2)′ is another simple group which is listed in [5, Main
Theorem].
Consider the case when G is one of the sporadic simple groups. One
can observe that M11 has a semidihedral Sylow 2-subgroup P of order
16 and Z(P ) has order 2. Moreover, any involution in P has soluble
centralizer, so M11 is the only sporadic group belonging to our list. By
[5, Main Theorem], the list is complete.



Theorem 3.2. Let G be a finite group with soluble centralizers of
involutions. Suppose the soluble radical R of G has odd order. Then
S ≤ G/R ֒→ Aut(S)
where S is the unique minimal normal subgroup of G/R.
Proof. Let G be a finite group with soluble centralizers of involutions and a soluble radical R of odd order. Then CG/R (xR) =
CG (x)R/R for any involution x ∈ G, hence G/R is a finite group with
soluble centralizers of involutions and trivial soluble radical. Take a
minimal normal subgroup M of G/R. Being a non-soluble minimal
normal subgroup, M ∼
= Σt S where S is a fixed finite non-abelian
i=1

simple group. Since any involution in S × {1} × . . . × {1} ≤ M has

CENTRALIZER FUSION SYSTEMS OF CENTRAL INVOLUTIONS

7

soluble centralizers of involutions, one has t = 1. Therefore, G/R has
a minimal normal subgroup isomorphic to S where S is a finite simple
group with soluble centralizers of involutions, namely one of the groups
listed in Proposition 3.1.
Now, assume that N is another minimal normal subgroup of G/R.
Since S ∩ N must be trivial, N ≤ CG (S) ≤ CG (x) for any involution
x ∈ S. Hence, N must be soluble. But G/R has no soluble normal
subgroups, hence S is the unique minimal normal subgroup of G/R.
In particular, CG (S) is a normal subgroup of G which commute
elementwise by S, so CG (S) has odd order, that is CG (S) = 1. Now,
G/CG/R (S) ∼
= G/R embeds naturally in AutS, while S embeds in the
former trivially.



For fusion systems, we will concentrate on the groups G where
G/R ∼
= S. Recall that a fusion system F defined on a p-group P is
called nilpotent if F = FP (P ).
First, we need to show that for any central involution x in P SL2 (q),
the centralizer fusion system CF (x) is nilpotent.
Proposition 3.3. Every subgroup of odd order in the dihedral
group D2n is normal.
Proof. Consider the dihedral group D2n = hr, ρ : r n = ρ2 =
1 and rρ = ρr n−1 i. Clearly, (ρr k )2 = 1 for any k. Hence, if y ∈ D2n
is not an involution, then y ∈ H = hri, which is normal in D2n . But
since H is cyclic, any subgroup is characteristic in H, hence normal in
D2n . Therefore, any subgroup of odd order is normal in D2n .



Lemma 3.4. Let G ∼
= P SL2 (q) where q = pn , let P be a Sylow
2-subgroup of G, F = FP (G) and x is a central involution in P . Then
CF (x) is nilpotent.
Proof. Since x was assumed to be a central involution, by definition, CF (x) = FP (CG (x)).
First assume that q is even. In this case, a Sylow 2-subgroup P of G
is an elementary abelian 2-group conjugate to unitriangular subgroup

8

KIVANÇ ERSOY AND İPEK TUVAY

of P SL2 (q) and CG (x) = P for any x ∈ P . Hence, CF (x) = FP (P ),
hence it is nilpotent.
Now assume that q is odd. Then P consists of semisimple elements.
Take the central involution x ∈ P . Since x is semisimple, it is contained
in a maximal torus T of G, which has order either

q−1
2

or

q+1
.
2

Moreover,

CG (x) is a dihedral group which contains T as a normal subgroup,
that is CG (x) ∼
= Dq−1 or Dq+1 , dihedral groups of order q − 1 or q + 1
respectively. In any case, by Proposition 3.3, Hall 2′ -subgroup of CG (x)
is normal. By Theorem 2.3, FP (CG (x)) = FP (P ) iff for any CG (x) has
a normal 2-complement. Hence, FP (CG (x)) is nilpotent.



Theorem 3.5. Let G be a simple group of Lie type over a finite
field of characteristic 2. Let P be a Sylow 2-subgroup of G, F = FP (G)
and x ∈ Z(P ) be a central involution. Then CF (x) is nilpotent iff
G∼
= SL2 (2n ),2 B2 (22m+1 ) or P SL(3, 2) and not nilpotent in P SL3 (2n )
and P SU3 (2n ).
Proof. Assume that CF (x) is nilpotent, that is, equal to FP (P ).
Then it is also a soluble fusion system by [2, Corollary 5.96].
Then, CG (x) must be soluble, since P has a normal 2-complement
in CG (x) by [2, Theorem 1.12].

Then G must be isomorphic to

P SL2 (2n ),2 B2 (22m+1 )P SL3 (2n ) or P SU3 (2n ).
G = P SL2 (2n ) ∼
= SL2 (2n ) has an abelian Sylow 2-subgroup P with
CG (x) = P where x is a central involution. Hence the centralizer fusion
system is nilpotent.
Now, assume that G ∼
= P SL3 (2n ). The centralizer of the central
involution x contains the Sylow 2-subgroup as a normal subgroup. Assume the 2′ -subgroup of CG (x) is also normal. Then CG (x) becomes a
direct product of a 2-group and a group of odd order. But


a b c





CG (x) = { 0 e f  Z : a, b, c, e, f ∈ F2n }
0 0 a

CENTRALIZER FUSION SYSTEMS OF CENTRAL INVOLUTIONS



a 0 0

9





does not normalize T = { 0 e 0  Z : a, e ∈ F2n }, hence the
0 0 a
centralizer fusion system of the central involution is not nilpotent.
Let G ∼
= P SU3 (22n ), let P be a Sylow 2-subgroup of G, F = FP (G)
and x is a central involution in P . Then CF (x) is not nilpotent. Indeed,
let q = 2n . By [8, p.528], one can choose the hermitian form given by


0 0 1


A =  0 1 0  and define SU3 (q 2 ) = {X ∈ SL3 (q 2 ) : X t AX = A}
1 0 0
n
where (Aij ) = (A2ij ) and P SU3 (q 2 ) = SU3 (q 2 )/Z(SU3 (q 2 )). Observe

that the order of Z(SU3 (q 2 )) divides 3. Denote G = P SU3 (q 2 ). By
[8, p. 529], all involutions in G are conjugate and every involution is


1 0 1


central. So, choose x =  0 1 0  ∈ G, and observe by [8, p.529]
0 0 1
that


α β
γ


CG (x) = { 0 αq−1 α−1 β q  Z : αq+1 = 1 and αγ q +αq γ = β q+1}.
0

α−q

0

We need to show that CG (x) does not have a normal 2-complement.
Observe that |CG (x)| = q 3 (q + 1) and


a

0


Q = { 0 aq−1
0

0

0




0  Z : aq+1 = 1}
a−q

is a subgroup of CG (x) of order q + 1. Since Q is a complement of the
Sylow 2-subgroup P of CG (x) (which is itself normal), if one shows that
Q is not normal, then CG (x) does not have a normal 2-complement and
by [2, Theorem 1.12], CF (x) is not nilpotent.
Assume that Q E CG (x). Since P E CG (x), elements of Q must
commute with elements of P , indeed, CCG (x) (P ) must contain Q. If

10



KIVANÇ ERSOY AND İPEK TUVAY

a

0

0



n+1


= a, hence we get a
 0 aq−1 0  ∈ CCG (x) (P ) then a2q = a2
0 0 a−q
contradiction.

Therefore, CF (x) is not nilpotent for P SU3 (2n ). Finally, we need
to check 2 B2 (22m+1 ). Observe that for any central involution x, one
has CG (x) = P where P is the Sylow 2-subgroup containing x. Hence
the centralizer fusion system is nilpotent.



Theorem 3.6. Let G be a finite group with soluble centralizers of
involutions, P be a Sylow 2-subgroup of G and F = FP (G) and x be
a central involution of G. Assume that the soluble radical R of G has
odd order and G/R is simple. Then CF (x) is a nilpotent fusion system
except G/R is either A8 , P SL3(2n ), P SU3 (2n ) or P SL3 (3).
Proof. From [7, Theorem 2.12], FP (G) ∼
= FP R/R (G/R). Moreover since CP (x) = P , < x > is fully centralized, so from [2, Theorem
4.27] we get
CF (x) = FP (CG (x)) ∼
= FP R/R (CG/R (xR))
Thus, it is enough to calculate the centralizers of central involutions for
the finite simple groups S such that G/R ∼
= S (here we should mention
that S is one of the finite simple groups listed in Proposition 3.1).
If S = A5 , any involution in S is a product of two transpositions
and P is isomorphic to Klein 4-group. Let x be one of the involutions
in P . Since CS (x) = P , we have CF (x) = FP (P ).
If S = A6 , then for any involution in S, there exists a Sylow
2-subgroup of S whose center contains this involution. Indeed, for
any involution x = (ab)(cd) and for y = (acbd)(ef ) where {e, f } ∈
{1, 2, 3, 4, 5, 6}\{a, b, c, d} one has P =< y, z | y 4 = z 2 = 1, zyz −1 =
y −1 >∼
= D8 such that x ∈ Z(P ). Here, P is a Sylow 2-subgroup of S,
so x is a central involution. Observe that CS (x) ∼
= (C2 ≀ C2 ) × C2 , from
6

this we get |CA6 (x)| = 8. Hence CF (x) = FP (P ).

CENTRALIZER FUSION SYSTEMS OF CENTRAL INVOLUTIONS

11

If S = A7 , likewise A5 and A6 any involution is a product of two
transpositions. Since CS (x) ∼
= (C2 ≀C2 )×S3 and CA (x) = CS (x)∩A7 ,
7

7

7

we get CS (x) ∼
= P × A3 where P is a Sylow 2-subgroup of S isomorphic
to D8 . Hence CF (x) = FP (P × A3 ) = FP (P ).
Let S = A8 ∼
= GL4 (2) and P is a Sylow 2-subgroup of S. In this
case, any central involution in S is a product of four transpositions.
If x is one of these involutions, CS (x) ∼
= C2 ≀ S4 , and similar to the
8

arguments above CA8 (x) ∼
= UT4 (2), CF (x) is not
= C24 ⋊ A4 . Since P ∼
nilpotent.
If S = P SL2 (q) for some q, then by Lemma 3.4, CF (x) is nilpotent
for any involution x ∈ S.
If S = P SL3 (3) any involution is central and from [4, Lemma 5.1]
CS (x) ∼
= GL2 (3) for any involution x in S. Since GL2 (3) is not 2nilpotent, by [2, Theorem 1.12] we deduce that CF (x) is not nilpotent.
If S = M11 , observe that the centralizer of the central involution
z ∈ S, namely CS (z) has order 48 and the Sylow 3-subgroup of CS (z)
is not normal. That means, CF (x) is not nilpotent.



By Theorem 3.5, when the simple group is defined over a field of
characteristic 2, the centralizer fusion system CF (x) of the central involution is nilpotent iff G ∼
= SL2 (2n ),2 B2 (22m+1 ) or P SL(3, 2) and not
nilpotent in P SL3 (2n ) and P SU3(2n ).
This completes the proof of the main theorem.
Acknowledgements
The first and second authors were partially supported by Mimar Sinan
Fine Arts University Scientific Research Project Unit with project numbers
2017/21 and 2017/22, respectively.

References
[1] M. Aschbacher, R. Kessar, B. Oliver, Fusion Systems in Algebra and Topology, Cambridge Univ. Press, Cambridge, 2011.

12

KIVANÇ ERSOY AND İPEK TUVAY

[2] D. A. Craven, The Theory of Fusion Systems, Cambridge Univ. Press, Cambridge, 2011.
[3] B. Hartley, M. Kuzucuol̆u, “Centralizers of elements in locally finite simple
groups”, Proc. London. Math. Soc.3 (62) 1991 301-324
[4] B. Huppert, N. Blackburn, Finite Groups III, Springer-Verlag, Berlin Heidelberg, 1982.
[5] D. Gorenstein, R. Lyons, “Non-solvable finite groups with solvable 2-local
subgroups”, J. Algebra 38, 453-522 (1976).
[6] V.D. Mazurov, E.I. Khukhro, Unsolved problems in group theory, The
Kourovka Notebook 18 Novosibirsk 2014.
[7] M. Linckelmann, Introduction to fusion systems, Group Representation
Theory, EPFL Press, Lausanne, 2007, 79-113.
[8] L. Pforte, “The involution module of P SU3 (22f ), Osaka J. Math. 52 (2015),
527-544
[9] S.A. Syskin, “On finite groups with solvable centralizers of involutions”,
Algebra and Logic, May 1971, Volume 10, Issue 3, pp. 206-216.
[10] J. Tits, “Algebraic and abstract simple groups”, Ann. of Math. 80 (1964),
313-329
[11] J.G. Thompson, “Nonsolvable finite groups all of whose local subgroups
are solvable”, Bulletin of the American Mathematical Society 74, (1968)
383-437
[12] J.G. Thompson, “Nonsolvable finite groups all of whose local subgroups are
solvable. II”, Pacific Journal of Mathematics 33, (1970) 451-536
[13] J.G. Thompson, “Nonsolvable finite groups all of whose local subgroups are
solvable. III”, Pacific Journal of Mathematics 39, (1971) 483-534
[14] J.G. Thompson, ”Nonsolvable finite groups all of whose local subgroups are
solvable. IV”, Pacific Journal of Mathematics 48, (1973) 511-592
[15] J.G. Thompson, “Nonsolvable finite groups all of whose local subgroups are
solvable. V”, Pacific Journal of Mathematics 50, (1974) 215-297
[16] J.G. Thompson, “Nonsolvable finite groups all of whose local subgroups are
solvable. VI”, Pacific Journal of Mathematics 51, (1974) 573-630

CENTRALIZER FUSION SYSTEMS OF CENTRAL INVOLUTIONS

13

Department of Mathematics, Mimar Sinan Fine Arts University, Istanbul, 34427 Turkey and Institute of Mathematics, Freie Universität
Berlin, Germany
E-mail address: ersoykivanc@gmail.com
Department of Mathematics, Mimar Sinan Fine Arts University,
Istanbul, 34427 Turkey
E-mail address: ipek.tuvay@msgsu.edu.tr

