arXiv:1512.07594v3 [math.GR] 19 Jan 2017

FINITE GROUPS WITH 6 OR 7 AUTOMORPHISM ORBITS
ALEX CARRAZEDO DANTAS, MARTINO GARONZI, AND RAIMUNDO BASTOS
Abstract. Let G be a group. The orbits of the natural action of Aut(G) on
G are called “automorphism orbits” of G, and the number of automorphism
orbits of G is denoted by ω(G). In this paper the finite non-solvable groups G
with ω(G) ≤ 6 are classified - this solves a problem posed by Markus Stroppel
- and it is proved that there are infinitely many finite non-solvable groups G
with ω(G) = 7. Moreover it is proved that for a given number n there are only
finitely many finite groups G without non-trivial abelian normal subgroups
and such that ω(G) ≤ n, generalizing a result of Kohl.

1. Introduction
For G a group denote by ω(G) the number of “automorphism orbits” of G, that
is, the number of orbits of the natural action of Aut(G) on G. Two elements in the
same such orbit are also called “Aut(G)-conjugate”. Observe that automorphism
orbits are unions of conjugacy classes and hence they give an example of fusion
in the holomorph Aut(G) ⋉ G, a well-known concept established in the literature
(see for example [2, Chapter 7]). It is interesting to ask what can we say about
G only knowing ω(G). It is obvious that ω(G) = 1 if and only if G = {1}, and
it is well-known that if G is a finite group then ω(G) = 2 if and only if G is
elementary abelian (this is false in the infinite case: a construction due to Higman,
Neumann and Neumann shows that there is an infinite non-abelian simple group
S with ω(S) = 2). Laffey and MacHale in [5] showed that the alternating group
A5 (which has ω(A5 ) = 4) is the only finite non-solvable group G with ω(G) ≤ 4,
and Zhang in [10] classified the finite groups in which any two elements of the
same order lie in the same automorphism orbit. Markus Stroppel in [9] showed
that the only finite non-abelian simple groups G with ω(G) ≤ 5 are the groups
PSL(2, Fq ) with q ∈ {4, 7, 8, 9}, and in [8] and [9] he investigated the properties of
the locally compact topological groups G such that ω(G) (the number of topological
automorphism orbits) is finite.
In [8] Stroppel proposed the following problem (Problem 2.5): classify all the
finite non-solvable groups G with ω(G) ≤ 6. In this paper we solve Stroppel’s
problem showing, in Section 2, that if G is a finite non-solvable group with ω(G) ≤
6 then G is isomorphic to one of PSL(2, Fq ) with q ∈ {4, 7, 8, 9}, PSL(3, F4 ) or
ASL(2, F4 ). Here ASL(2, F4 ) is the affine group SL(2, F4 ) ⋉ F24 where SL(2, F4 )
acts naturally on F24 . In this proof the only result we use that depends on the
classification of finite simple groups is Kohl’s classification of simple groups with at
most six automorphism orbits [4].
MG was supported by FEMAT-Fundação de Estudos em Ciências Matemáticas Proc.
037/2016.
1

2

ALEX CARRAZEDO DANTAS, MARTINO GARONZI, AND RAIMUNDO BASTOS

By a theorem of Landau [6], for a given number n there are only finitely many
finite groups with at most n conjugacy classes. The case of automorphism orbits is
different, for instance elementary abelian groups all have only two automorphism
orbits. However by a result of Kohl [4], for a given number n there are only finitely
many finite non-abelian simple groups S with ω(S) ≤ n. In Section 3 we generalize
this result to the family of all finite groups without non-trivial abelian normal
subgroups.
The results presented so far are complemented in Section 4 where we exhibit
infinitely many finite non-solvable groups G with ω(G) = 7. They are the semidirect
products (with natural componentwise action) SL(2, F4 ) ⋉ V m where V = F24 and
m ≥ 2 (the case m = 1 is ASL(2, F4 )). Actually we prove the more general result
ω(SL(2, F ) ⋉ M(2 × m, F )) = 3 + ω(SL(2, F ))
where M(2 × m, F ) is the F -vector space consisting of all the 2 × m matrices with
coefficients in F , m ≥ 2, F is any field of characteristic 2 with more than 2 elements
and SL(2, F ) acts on M(2 × m, F ) by multiplication from the left.
2. Finite non-solvable groups with ω(G) ≤ 6
In this section all considered groups are assumed to be finite. We solve Problem
2.5 of [8]. The following is the main result of this section.
Theorem 1. Let G be a finite non-solvable group with ω(G) ≤ 6. Then G is
isomorphic to one of PSL(2, F4 ), PSL(2, F7 ), PSL(2, F8 ), PSL(2, F9 ), PSL(3, F4 ),
ASL(2, F4 ). Moreover ω(PSL(2, F4 )) = 4, ω(PSL(2, F7 )) = 5, ω(PSL(2, F8 )) = 5,
ω(PSL(2, F9 )) = 5, ω(PSL(3, F4 )) = 6, ω(ASL(2, F4 )) = 6.
For this we need some preparatory results. A crucial observation, that we will
use many times, is that two elements that lie in the same automorphism orbit have
the same order; in particular ω(G) ≥ m, where m is the number of element orders
of G, m = |{o(g) : g ∈ G}|. Part of the following lemma is [8, Lemma 3.2].
Lemma 1. Let G be a group and N a characteristic subgroup of G. Then ω(G) ≥
ω(N ) + ω(G/N ) − 1. Moreover if equality holds then every non-trivial coset xN is
contained in an automorphism orbit of G.
Proof. Observe that Aut(G) acts naturally on N and G/N by automorphism. Let
a1 = 1, a2 , . . . , ar be representatives of the Aut(G)-orbits contained in N and let
b1 = 1, b2 , . . . , bs be elements of G such that b1 N, b2 N, . . . , bs N are representatives
of the Aut(G)-orbits of G/N . Observe that r ≥ ω(N ) and s ≥ ω(G/N ). It is clear
that a1 , . . . , ar , b2 , . . . , bs lie in distinct automorphism orbits of G, in particular
ω(G) ≥ r + s − 1. The stated inequality follows. Suppose equality holds, so that
{a1 , a2 , . . . , ar , b2 , . . . , bs } is a complete set of representatives of the automorphism
orbits of G. If x ∈ G − N there is an automorphism ϕ of G such that xϕ = bi for
some i ∈ {2, . . . , s}. Let n ∈ N , and let ψ ∈ Aut(G), j ≥ 2 be such that (xn)ψ = bj
(such j exists because xn 6∈ N being x 6∈ N ). We have bjψ ϕ N = (xn)ϕ N =
xϕ nϕ N = xϕ N = bi N , hence bi = bj therefore x and xn are Aut(G)-conjugate. 
−1

FINITE GROUPS WITH 6 OR 7 AUTOMORPHISM ORBITS

3

Lemma 2. Let S be a non-abelian simple group and let G be an almost-simple
group with S ≤ G ≤ Aut(S). If ω(G) ≤ 6 then G = S and S is isomorphic to
PSL(2, Fq ) for q ∈ {4, 7, 8, 9} or to PSL(3, F4 ).
Proof. By Lemma 1 we have ω(S) ≤ 6 and by Kohl’s classification [4, Table 5] we
have that S is isomorphic to one of the groups listed. Suppose G 6= S by contradiction. By Lemma 1 we have ω(S) ≤ 5 so S ∼
= PSL(2, Fq ) with q ∈ {4, 7, 8, 9}.
If q 6= 9 then S has prime index in Aut(S), and G ∼
= A = Aut(S) follows. However, we have ω(Aut(S)) ∈ {7, 9, 11} in this case. There remains the case q = 9;
here S = PSL(2, F9 ) ∼
= A6 , and Aut(S)/S is elementary abelian of order 4. We
have ω(Aut(S)) = 13. The intermediate groups are isomorphic to PGL(2, F9 ), S6 ,
and the (non-simple) Mathieu group M10 , with ω(PGL(2, F9 )) = 8, ω(S6 ) = 8,
ω(M10 ) = 7. This proves that G = S.

We now proceed to the proof of Theorem 1. Assume the result does not hold
and let G be a counterexample of minimal order. By hypothesis G is non-solvable
and ω(G) ≤ 6.
2.1. Z(G) = {1}.
Suppose Z(G) 6= {1} by contradiction, and let p be a prime divisor of |Z(G)|.
Since G is not solvable, G/Z(G) is not solvable, so by Burnside’s Theorem [2,
Theorem 3.3 of Chapter 4] |G/Z(G)| has at least three distinct prime divisors p1 ,
p2 , p3 . We choose p1 = p if p divides |G/Z(G)|. Now G has elements of order 1, pp2 ,
pp3 , p2 and p3 . If p1 6= p then we have elements of order p and p1 , which exceeds
ω(G) ≤ 6, so p = p1 and G has at least two automorphism orbits of p-elements of
order at least p, one in Z(G) and the other in G − Z(G), a contradiction. Therefore
Z(G) = {1}.

2.2. Let N be a minimal characteristic subgroup of G. Then N is elementary
abelian, CG (N ) = N and G/N ∼
= PSL(2, Fq ) with q ∈ {4, 7, 8, 9}.
If we already know that N is elementary abelian then we deduce that G/N is nonsolvable, ω(G/N ) ≤ 5 by Lemma 1 and the minimality of G as a counterexample
implies that G/N is isomorphic to one of the groups listed. In particular G/N
is simple so CG (N ) = N . Since N is characteristically simple, all we need to
show is that N is abelian. Assume N is non-abelian by contradiction. If N is
not simple then N contains non-abelian simple normal subgroups N1 and N2 that
are isomorphic and which commute. By Burnside’s Theorem [2, Theorem 3.3 of
Chapter 4] |N1 | has at least three prime divisors p1 , p2 and p3 . Thus G has elements
of orders 1, p1 , p2 , p3 , p1 p2 , p1 p3 , p2 p3 so ω(G) ≥ 7, a contradiction. So N is a nonabelian simple group. If N CG (N ) 6= G then ω(N CG (N )) ≤ 5 by Lemma 1 and so
CG (N ) = {1} by minimality of G as a counterexample. But then N ≤ G ≤ Aut(N )
and we obtain a contradiction via Lemma 2. Hence G = N CG (N ) ∼
= N × CG (N )
and CG (N ) 6= {1}. Now taking x ∈ CG (N ) of prime order p, and noting that |N |
has at least three prime divisors p1 , p2 and p3 where we choose p1 = p if p divides
|N |, we see that G has elements of orders p, pp2 , pp3 in G − N and so ω(G) ≥ 7, a
contradiction.


4

ALEX CARRAZEDO DANTAS, MARTINO GARONZI, AND RAIMUNDO BASTOS

2.3. N is a 2-group.
Assume N is not a 2-group by contradiction. Then being elementary abelian,
N is a p-group for some odd prime p. Let R be a Sylow 2-subgroup of G. Then
by 2.2, R contains an elementary abelian subgroup A of order 4 (because G/N
does), so [2, 5.3.16] implies hCN (x) : x ∈ A − {1}i = N , in particular there
is x ∈ A such that xN contains elements of order 2p, so Lemma 1 implies 6 ≥
ω(G) > ω(N ) + ω(G/N ) − 1 so ω(G/N ) = 4, therefore G/N ∼
= A5 by minimality
of G as a counterexample. Furthermore, we know that the automorphism orbits
of G are {1}, the non-trivial elements of N , the automorphism conjugates of nontrivial elements of R, 3-elements which project to elements of order 3 in G/N ,
5-elements which project to elements of order 5 in G/N and the aforementioned
elements of order 2p. Suppose that p 6= 3. Then there are no elements of order 3p.
Hence, if x is an element of order 3 then CN (x) = {1}. Choose x of order 3 such
that xN normalizes RN/N . We have NG (RN )/N = NG/N (RN/N ) = XQ ∼
= A4
where X = hxiN/N and Q = RN/N , so since CG (N ) = N [1, 36.2] provides a
contradiction. Therefore p = 3. Let T be a Sylow 3-subgroup of G. Then, as all
the non-trivial elements of N are in the same Aut(G)-orbit, and N is a normal
subgroup of T , every element of N is centralized by a Sylow 3-subgroup of G
(because the center of T intersects N non-trivially). Writing |N | = 3n , since G has
10 Sylow 3-subgroups we then have 10(|CN (T )|− 1) ≥ 3n − 1. As G/N ∼
= A5 can be
generated by two Sylow 3-subgroups, CN (T ) ∩ CN (T g ) ⊆ Z(G) = {1} for T g 6= T
so |CN (T )| ≤ 3n/2 . Hence 10(3n/2 − 1) ≥ 3n − 1 so n ≤ 4. Since CG (N ) = N we
have G/N ≤ Aut(N ) = GL(n, F3 ) and since 5 divides |G/N | we deduce at once
that n = 4 and N is a minimal normal subgroup of G, giving an irreducible action
of A5 on F3 4 . There is only one such action, the natural coordinate permutation
P5
action on the fully deleted module N = {v ∈ F3 5 :
i=1 vi = 0}. But then
S
g
C
(T
)
does
not
equal
N
,
since
there
are
vectors
of
N not centralized by
N
g∈G
3-cycles, for example (1, 2, 1, 2, 0). This is a contradiction.

2.4. G/N ∼
= A5 and G has elements of order 1, 2 in N and 2, 3, 4, 5 outside N .
We know that G/N ∼
= PSL(2, Fq ) with q ∈ {4, 7, 8, 9}. There are at least two
Aut(G)-orbits contained in N and there are at least three Aut(G)-orbits outside
N (at least four if q 6= 4), of the form xN with x of prime power order. If q 6= 4
then ω(G) = 6, in particular equality holds in Lemma 1 so since the cosets of N
are of the form xN with x of prime power order, G does not have elements of order
2r for any odd prime r dividing |G|; let r = 3 if q = 7, r = 7 if q = 8 and r = 5
if q = 9. If q = 4 then since ω(G) ≤ 6, G cannot have elements of order 6 and
elements of order 10, let r ∈ {3, 5} be such that G does not have elements of order
2r in this case. Let R be a Sylow r-subgroup of G and H := NG (R). Note that
H ∩N = {1}, indeed R and H ∩N normalize each other and have trivial intersection,
so if H ∩N 6= {1} then R(H ∩N ) contains elements of order 2r, a contradiction. We
deduce H ∼
= HN/N . Since (|R|, |N |) = 1, a Frattini-type argument
= H/H ∩ N ∼
implies NG (RN ) = HN , and by the choice of r we have that NG/N (RN/N ) is
a dihedral group of order 2r. Therefore H ∼
= NG (RN )/N = NG/N (RN/N ) is a
dihedral group, so since H ∩ N = {1}, there exists an involution x ∈ H − N .
Since x does not centralize N , there exists y ∈ N with xy 6= yx hence xy has
order 4. In particular xN contains elements of orders 2 and 4 so Lemma 1 implies

FINITE GROUPS WITH 6 OR 7 AUTOMORPHISM ORBITS

5

6 ≥ ω(G) > ω(N ) + ω(G/N ) − 1 hence ω(G/N ) = 4 so G/N ∼
= A5 by minimality
of G as a counterexample.

Now let T be a Sylow 2-subgroup of G. Then G = hT, T g i for g ∈ G − NG (T ).
Set |N | = 2n . Then CN (T ) ∩ CN (T g ) ⊆ Z(G) = {1} hence |CN (T )| ≤ 2n/2 .
On the other hand, as all the non-trivial elements of N are Aut(G)-conjugate and
N E T , every element of N is centralized by a Sylow 2-subgroup of G (because the
center of T intersects N non-trivially). Since G has five Sylow 2-subgroups, we
have 5(|CN (T )| − 1) ≥ 2n − 1 hence n ≤ 4. Since CG (N ) = N , G/N ≤ Aut(N ) =
GL(n, F2 ) so since 5 divides |G/N | we have n = 4, |G| = 960 and N is a minimal
normal subgroup of G. In particular G is perfect. By [3] there are only two perfect
groups of order 960, one is ASL(2, F4 ), the other has elements of order 6. This leads
to the final contradiction. The proof of Theorem 1 is completed.
3. Groups without non-trivial abelian normal subgroups
This section gives a generalization of the main result of Kohl’s paper [4]. As in
that paper, we need the classification of the finite simple groups in our proof.
Theorem 2. Let n be a natural number. Then there are only finitely many finite
groups G without non-trivial abelian normal subgroups such that ω(G) ≤ n.
Proof. Let G be a finite group without non-trivial abelian normal subgroups, such
that ω(G) ≤ n, and let N := soc(G), the socle of G, that is, the subgroup of G
generated by the minimal normal subgroups of G. Suppose that the centralizer
CG (N ) (which is a normal subgroup of G) is non-trivial and let M be a minimal
normal subgroup of G contained in CG (N ). By definition of N we have M ⊆ N
hence M centralizes itself, implying that M is abelian, contradicting the fact that
G does not have non-trivial abelian normal subgroups. This shows that CG (N ) =
{1}, hence the conjugation action gives an injective homomorphism G → Aut(N ),
implying that |G| ≤ | Aut(N )| ≤ |N ||N | . This means that it is enough to show that
there are only a finite number of possibilities for N .
N is a direct product of some minimal normal subgroups, write N = S1m1 ×
· · · × Stmt , where each Si is a non-abelian simple group and Si ∼
6 Sj if i 6= j.
=
Observe that each Simi is characteristic in N , hence t ≤ ω(N ) and ω(Simi ) ≤ ω(N ).
+ω(Si )−1
Moreover ω(Simi ) = miω(S
by [8, 3.17], so mi ≤ ω(Simi ), ω(Si ) ≤ ω(Simi ).
i )−1
Since ω(N ) ≤ ω(G) ≤ n being N characteristic in G, we deduce mi ≤ n, ω(Si ) ≤ n
for all i and t ≤ n. By [4], there are only finitely many possibilities for each Si
hence also for N .

4. Infinitely many non-solvable groups with ω(G) = 7
Let F be a field and m a positive integer. Consider the group G := Gm,F :=
SL(2, F ) ⋉ V where SL(2, F ) (the group of 2 × 2 matrices of determinant 1 with coefficients in F ) acts on V := M(2×m, F ) (the F -vector space of 2×m matrices with
coefficients in F ) by multiplication from the left. Observe that G1,F4 = ASL(2, F4 ).
In the following theorem we compute ω(G) when F has characteristic 2.
Theorem 3. Let F be a (possibly infinite) field of characteristic 2 with more than
2 elements. If m ≥ 2 then ω(Gm,F ) = 3 + ω(SL(2, F )).

6

ALEX CARRAZEDO DANTAS, MARTINO GARONZI, AND RAIMUNDO BASTOS

Proof. We identify G with



X
0

Y
1




: X ∈ SL(2, F ), Y ∈ M(2 × m, F ) .

G is a normal subgroup of



A B
Γ :=
: A ∈ GL(2, F ), B ∈ M(2 × m, F ), C ∈ GL(m, F ) .
0 C
Observe that Γ acts on G by conjugation hence every automorphism orbit of G is
a union of Γ-orbits. In what follows we make use of the identity


A
0

B
C

−1 

X
0

Y
1



A B
0 C



=



A−1 XA A−1 (X − 1)B + A−1 Y C
0
1



.





1 Y
: Y ∈ M(2 × m, F ) . Observe that M
0 1
is the unique maximal abelian normal subgroup of G. Indeed, if K is any abelian
normal subgroup then KM/M ∼
= K/K ∩ M is an abelian normal subgroup of
G/M ∼
= SL(2, F ) which is simple since |F | ≥ 4 (note that SL(2, F ) ∼
= PSL(2, F )
being F of characteristic 2). Thus KM/M is trivial, in other words K ≤ M . In
particular M is characteristic in G.
We identify V with M =

We claim that M
at least three
Aut(G)-orbits.
For v, w ∈ M(1 ×
 contains



v
1 Tv,w
m, F ) set Tv,w :=
and gv,w :=
∈ M . Observe that α =
w
0
1


X Y
∈ G centralizes gv,w if and only if (X − 1)Tv,w = 0. Suppose v and
0 1
w are linearly
independent. Then
we easily



 deduce CG (gv,w ) = M . Let J :=
1 1
J Tv,0
. Both gv,w and h =
commute with gv,0 , but gv,w h 6= hgv,w .
0 1
0
1
This implies that CG (gv,0 ) is not abelian. Hence 1, gv,w , gv,0 have non-isomorphic
centralizers, in particular they lie in different Aut(G)-orbits.
We claim that M contains exactly three Aut(G)-orbits. By theabove, it
 is
1 Y
enough to prove that M contains at most three Aut(G)-orbits. Let
∈
0 1
M , e1 = (1, 0, . . . , 0) and e
2 = (0,
 × m, F ). There exists C ∈
 1, 0, . . . , 0)in M(1
e1
e1
according to whether Y has
or Y C =
GL(m, F ) such that Y C =
e2
0
rank 1 or 2. Hence M contains at most three Γ-orbits, so M contains at most three
Aut(G)-orbits.
We claim that any non-trivial element of SL(2, F ) of order a power of
 2 has order

1 1
2, and the elements of order 2 in SL(2, F ) are all conjugated to J :=
in
0 1
s
GL(2, F ). Consider X ∈ SL(2, F ) of order 2s with s ≥ 1. Observe that X 2 = 1
s
implies that the eigenvalues λ of X verify λ2 = 1 so being F of characteristic 2,
s
(λ − 1)2 = 0 thus λ = 1. Since s ≥ 1, X is conjugated to J in GL(2, F ). In
particular s = 1.

FINITE GROUPS WITH 6 OR 7 AUTOMORPHISM ORBITS

7

We claim that ω(G) ≥ 3 + ω(G/M ). M is an elementary abelian 2-group, and
 2


 

0
e1
 J
 =  1
 has order 2. Thus there are elements of
e1
0
0
1
0
1
order 4 in G, and by the discussion above, in M there are two Aut(G)-orbits of
elements of order 2. Since SL(2, F ) has elements of order 2 and no elements of
order 4, by adapting Lemma 1 we obtain ω(G) ≥ 3 + ω(G/M ).




X Y
J 0
Each involution g =
∈ G − M is conjugated to
in Γ.
0 1
0 1
Indeed, since X is conjugated
to J in GL(2, F ), we may assume
= J. Then

X

v
0
2
g = 1 implies Y =
with v ∈ M(1 × m, F ). Setting Z :=
we obtain
0
v

−1 

 

1 Z
J Y
1 Z
J 0
=
.
0 1
0 1
0 1
0 1


X Y
We claim that each element g =
of order 4 is conjugated to the
0 1

 



0
J
v


e1
element
in Γ. Again, we may assume X = J, but Y =
w
0
1
with
∈ GL(m,
 w 6= 0 now.
 F ) with wC = e1 we see that g is conjugated


 Using C 
J Y1
0
x
to
for some x ∈ M(1 × m, F ). Now Z :=
with Y1 =
x
0 1
e1
 




−1 

0
1 Z
1 Z
J Y1
J
.
e1
yields
=
0 1
0 1
0 1
0
1


X Y
We claim that if g =
∈ G with X 2 6= 1 (in other words, the order of g
0 1


X 0
is not 1, 2 or 4) then g is conjugated to
in G. To prove this observe that
0 1
X 2 6= 1 implies that X −1 is invertible, because if not
−1) is non-trivial,
 then ker(X

0 α
hence X − 1 is conjugated to a matrix of the form
, thus X is conjugated
0 β


1
α
to
, and det(X) = 1 implies β = 0 hence X 2 = 1, a contradiction.
0 1+β

−1 

 

1 Z
X Y
1 Z
X 0
Set Z := (1 − X)−1 Y . Then
=
.
0 1
0 1
0 1
0 1


Now being F a field of characteristic 2, the automorphism group of SL(2, F ) is
generated by the automorphisms induced by conjugation in GL(2, F ) and the field
automorphisms (see for example [7, Page 756]). Observe that using conjugation in
Γ and field automorphism action on each matrix entry of elements of G we see that
the set of elements listed so far includes a set of representatives of the automorphism
orbits of G. Therefore ω(G) ≤ 3 + ω(SL(2, F )) and the result follows.


Since ω(SL(2, F4 )) = 4 we obtain that ω(Gm,F4 ) = 7 for all m ≥ 2. In particular
there are infinitely many finite non-solvable groups G with ω(G) = 7.

8

ALEX CARRAZEDO DANTAS, MARTINO GARONZI, AND RAIMUNDO BASTOS

5. Acknowledgements
We are really grateful to the referee and the editors for very carefully reading a
previous version of this paper and for the insightful suggestions that contributed
greatly to improve and simplify the proofs of Theorems 1, 2, 3.
References
[1] M. Aschbacher, Finite Group Theory. Cambridge Studies in Advanced Mathematics, 10.
Cambridge University Press, Cambridge, 2000.
[2] D. Gorenstein; Finite Groups. Second edition. Chelsea Publishing Co., New York, 1980.
[3] D. Holt, W. Plesken; Perfect groups. With an appendix by W. Hanrath. Oxford Mathematical
Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press,
New York, 1989.
[4] S. Kohl; Classifying Finite Simple Groups with Respect to the Number of Orbits Under the
Action of the Automorphism Group. Comm. Algebra 32 (2004), no. 12, 4785–4794.
[5] T. J. Laffey, D. MacHale; Automorphism Orbits of Finite Groups. J. Austral. Math. Soc.
Ser. A 40 (1986), no. 2, 253–260.
[6] E. Landau, Über die Klassenzahl der binaren quadratischen Formen von negativer Diskriminant, Math. Ann. 56 (1903) 671–676.
[7] Loo-Keng Hua, On the automorphisms of the symplectic group over any field. Ann. of Math.
(2) 49, (1948). 739–759.
[8] M. Stroppel; Locally compact groups with many automorphisms. J. Group Theory 4 (2001),
no. 4, 427–455.
[9] M. Stroppel; Locally compact groups with few orbits under automorphisms. Topology Proc.
26 (2001/02), no. 2, 819–842.
[10] J. Zhang; On Finite Groups All of Whose Elements of the Same Order Are Conjugate in
Their Automorphism Groups. J. Algebra 153 (1992), no. 1, 22–36.
(Alex Carrazedo Dantas) Universidade Tecnológica Federal do Paraná, Campus de
Guarapuava, Paraná 85053-525, Brazil
E-mail address: alexcdan@gmail.com
(Martino Garonzi) Departamento de Matemática, Universidade de Brası́lia, Campus
Universitário Darcy Ribeiro, Brası́lia - DF 70910-900, Brazil
E-mail address: mgaronzi@gmail.com
(Raimundo Bastos) Departamento de Matemática, Universidade de Brası́lia, Campus
Universitário Darcy Ribeiro, Brası́lia - DF 70910-900, Brazil
E-mail address: bastos@mat.unb.br

