arXiv:1708.07331v1 [] 24 Aug 2017

ON THE ORDERS OF THE NON-FRATTINI ELEMENTS
OF A FINITE GROUP
ANDREA LUCCHINI
Abstract. Let G be a finite group and let p1 , . . . , pn be distinct primes. If
G contains an element of order p1 · · · pn , then there is an element in G which
is not contained in the Frattini subgroup of G and whose order is divisible by
p1 · · · pn .

1. Introduction
Let G be a finite group G. We say that g ∈ G is a non-Frattini element of G if
g∈
/ Frat(G), where Frat(G) denotes the Frattini subgroup of G. Let d(G) be the
smallest cardinality of a generating set of G. In [6] L. G. Kovács, J. Neubüser and
B. H. Neumann proved that the set G \ Frat(G) of the non-Frattini elements of G
coincides with the set κd(G)+1 (G) of those elements g of G that are not omissible
from some family of d(G) + 1 generators of G. In the same paper they noticed that
if a prime p divides |G|, then p divides the order of some element of G \ Frat(G) =
κd(G)+1 (G). This follows immediately from the fact that if a prime p divides |G|,
then p divides also |G/ Frat(G)| [3, III Satz 3.8]. In other words the set π(G) of
the prime divisors of |G| can be deduced from the knowledge of the non-Frattini
elements of G or, equivalently, looking at the elements which appear in the minimal
generating sets of cardinality d(G) + 1. One can ask whether some more elaborated
information about the arithmetical properties of the orders of the elements of G
can be recovered from G \ Frat(G). Looking for results in this direction, we consider
in this note the prime graph of G.
If G is a finite group, its prime graph Γ(G) is defined as follows: its vertices are
the primes dividing the order of G and two vertices p, q are joined by an edge if
p · q divides the order of some element in G. It has been introduced by Gruenberg
and Kegel in the 1970s and studied extensively in recent years (see for examples
[5], [8], [9]). We consider now the subgraph Γ̃(G) of Γ(G) (called the non-Frattini
prime graph) defined by saying that two vertices p and q are joined by an edge if
and only if p · q divides the order of some element of G \ Frat(G). Our main result
is the following.
Theorem 1. Let G be a finite group. Then the prime graph Γ(G) and the nonFrattini prime graph Γ̃(G) coincide.
Notice that, although π(G) = π(G/ Frat(G)), it is not in general true that
Γ(G) = Γ(G/ Frat(G)). Consider for example G = ha, b | a3 = 1, b4 = 1, ab = a−1 i.
We have |G| = 12 and |ab2 | = 6, so Γ(G) is the complete graph on the two vertices
2 and 3. However Frat(G) = hb2 i and G/ Frat(G) ∼
= Sym(3), hence Γ(G/ Frat(G))
consists of two isolated vertices.
1

2

ANDREA LUCCHINI

Clearly if p · q divides the order of some elements of G, then G contains an
element of order p · q . This is no more true for G \ Frat(G). For example all the
elements of order p · q in a cyclic group G of order p2 · q 2 are contained in Frat(G).
A question that is not easy to be answered is, in the case when G \ Frat G contains
an element of order divisible by p · q, whether this element could be chosen so that
p and q are the unique prime divisors of its order. We prove that this is true for
soluble groups and we provide a reduction to this question to a problem concerning
the finite nonabelian simple groups and their representations.
2. Proofs and remarks
Given an element g in a finite group G, we will denote by π(g) the set of the
prime divisors of |g|. Theorem 1 is a consequence of the following stronger result.
Theorem 2. Let G be a finite group and suppose that π = {p1 , . . . pn } is a subset
of the set π(G) of the prime divisors of |G|. Set π ∗ = π if G is soluble, π ∗ = π ∪ {2}
otherwise. If G contains an element g of order p1 · · · pn , then there exists an element
γ in G \ Frat(G) such that π ⊆ π(γ) ⊆ π ∗ .
Proof. Choose g ∈ G with |g| = p1 · · · pn . We may assume g ∈ Frat(G), otherwise
we have done. Let N be a minimal normal subgroup of G. Consider the element
ḡ = gN of the factor group Ḡ = G/N and let M/N = Frat(G/N ). If |ḡ| = |g|, then
by induction there exists x ∈ G such that x̄ = xN 6∈ M/N and π ⊆ π(x̄) ⊆ π ∗ .
We may choose x such that π(x) = π(x̄). Since x ∈
/ M and, by [7, 5.2.13 (iii)],
N Frat(G) ≤ M , we have that x ∈
/ Frat(G) and we are done. So we may assume that
there exists i ∈ {1, . . . , n} with 1 6= g pi ∈ N . If N 6≤ Frat(G), then N ∩Frat(G) = 1,
/ Frat(G). This implies g ∈
/ Frat(G), a contradiction.
hence g pi ∈
We remain with the case in which for every minimal normal subgroup N of G, we
have that N is contained in Frat(G) and hgi ∩ N 6= 1. Since Frat(G) is nilpotent, we
deduce that π(Frat(G)) ⊆ π. On the other hand we must have that π ⊆ π(Frat(G)),
otherwise g ∈
/ Frat(G). So π(Frat(G)) = π and Frat(G) = P1 × · · · × Pn , where for
each i ∈ {1, . . . , n}, Pi is a pi -group. Let i ∈ {1, . . . , n} and N a minimal normal
subgroup of G with N ≤ Pi . Assume N 6= Pi . In this case, choose x ∈ Pi \ N, and
take y = xg pi . The element ȳ = yN of the factor group G/N has order divisible by
p1 · · · pn and, as in the first paragraph of this proof, this allows us to conclude that
G \ Frat(G) contains an element of order divisible by p1 · · · pn . So we may assume
N = Pi . In particular Pi is an irreducible G-module, for every i ∈ {1, . . . , n}.
First assume that G/ Frat(G) contains an abelian minimal normal subgroup
M/ Frat(G). There exists a prime p such that M/ Frat(G) is a p-group. If p ∈
/ π,
then Frat(G) is a normal π-Hall subgroup of M and therefore, by the SchurZassenhaus Theorem, Frat(G) has a complement, say K, in M and all these complements are conjugate in M . By the Frattini’s Argument, G = Frat(G)NG (K),
hence G = NG (K), so K is a nontrivial normal subgroup of G. However all the
minimal normal subgroups of G are contained in Frat(G) andQ
Frat(G) ∩ K = 1,
a contradiction. So p = pi for some i ∈ {1, . . . , n}. Let Qi = j6=i Pj and let Ti
be a Sylow pi -subgroup of M. Again by the Frattini Argument, G = M NG (Ti ) =
Qi Ti NG (Ti ) = Qi Pi NG (Ti ) = Frat(G)NG (Ti ), so NG (Ti ) = G and M = Qi × Ti .
Take x ∈ Ti \ Pi and consider γ = xg pi . Since g pi ∈ Qi , we have |γ| = |x||g pi | and
consequently π(γ) = π.

THE ORDER OF THE NON-FRATTINI ELEMENTS

3

Finally assume that M/ Frat(G) is a nonabelian minimal normal subgroup of
G/ Frat(G) and let x = z Frat(G) be an element of M/ Frat(G) of order 2. We may
assume |z| = 2c for some c > 0. Let I be the subset of i ∈ {1, . . . , n} consisting of
the indices i such that pi is odd. If i ∈ I and M ≤ CG (Pi ), let xi be an arbitrarily
chosen nontrivial element of Pi . Assume that i ∈ I and that M 6≤ CG (Pi ). In this
case M/ Frat(G) is isomorphic to a subgroup of GL(Pi ). It can be easily seen that
if y ∈ GL(Pi ) has order 2, then either 1 is an eigenvalue of y or y is the scalar
multiplication by -1. Since Z(M/ Frat(G))
= 1, we deduce that z fixes a non-trivial
Q
Q
element of xi of Pi . Now let x = i∈I xi and take γ = zx. Since |γ| = 2c i∈I pi ,
we conclude π(γ) = π ∗ .

Given a pair (p, q) of distinct prime divisors of the order of a finite group G, let
Ωp·q (G) = {g ∈ G | p · q divides |g|},

Ω∗p·q (G) = Ωp·q (G) \ Frat(G).

∗
Moreover, denote by Ω∗∗
p,q (G) the set of the elements g ∈ Ωp,q (G) whose order is not
divisible by any prime different from p and q. One can ask the following question.

Question 1. Is it true that if Ωp,q (G) 6= ∅, then Ω∗∗
p,q (G) 6= ∅ ?
By Theorem 2, Question 1 has an affirmative answer if 2 ∈ {p, q}.
Definition 3. Let S be a finite nonabelian simple group, P a faithful irreduble Smodule of p-power order and Q a faithful irreduble S-module of q-power order. We
say that (S, P, Q) is a (p, q)-Frattini triple if the following conditions are satisfied:
(1) Ωp·q (S) = ∅;
(2) H2 (S, P ) 6= 0;
(3) H2 (S, Q) 6= 0;
(4) CP (s) = 0 for every nontrivial element s of S with q-power order;
(5) CQ (s) = 0 for every nontrivial element s of S with p-power order.
Notice that if (S, P, Q) is a (p, q)-Frattini triple then we may construct a Frattini
extension G of P × Q by S.
Lemma 4. If (S, P, Q) is a (p, q)-Frattini triple and G is a Frattini extension G of
P × Q by S, then Ω∗∗
p,q (G) = ∅.
Proof. Let F = Frat(G) = P ×Q. Assume that g is an element of G with |g| = pa ·q b ,
for some positive integers a and b. We can write g as g = xy where x has order pa ,
y has order q b and x and y commute. By (1), S ∼
= G/F does not contain elements
of order p · q , hence either x ∈ P or y ∈ Q. It is not restrictive to assume x ∈ P.
But then y is a q-element element of CG (x), i.e. CP (yF ) 6= 0. By (4), this implies
y ∈ Q and consequently g = xy ∈ F.

Proposition 5. Let p and q be two odd primes. Assume that G is a finite group
of minimal order with respect to the property that Ωp,q (G) 6= ∅ but Ω∗∗
p,q (G) = ∅.
Then there exists a (p, q)-Frattini triple (S, P, Q) such that G is a Frattini extension
G of by P × Q by S.
Proof. Let X = G/ Frat(G). As in the proof of Theorem 2, Frat(G) = P × Q,
where P and Q are, respectively, the Sylow p-subgroup and the Sylow q-subgroup
of Frat(G). Moreover P and Q are the unique minimal normal subgroups of G.
Now let C = CG (P ). Clearly Q ≤ C. Let x ∈ C such that |x| is a nontrivial
q-power and let 1 6= y ∈ P. The order of xy is divisible by p · q so xy ∈ Frat(G) i.e.

4

ANDREA LUCCHINI

x ∈ Q. Hence Q is a normal q-Sylow subgroup of C and therefore, by the SchurZassenhaus Theorem, Q has a complement, say K, in C and all these complements
are conjugate in C. By the Frattini’s Argument, G = QNG (K) = Frat(G)NG (K),
hence G = NG (K) and C = Q × K. In particular K ≤ CG (Q), and, repeating
the same argument as before, we deduce that P is a normal Sylow subgroup of
K. Again by the Schur-Zassenhaus Theorem, P is complemented in K: so we
have C = (P × Q) ⋊ T = Frat(G) ⋊ T for a suitable subgroup T whose order
is coprime with p · q. By the Frattini’s Argument, G = Frat(G)NG (T ) hence
G = NG (T ) so T is normal in G. However all the minimal normal subgroups of
G are contained in Frat(G) = P × Q and Frat(G) ∩ T = 1. So it must be T = 1,
i.e. CG (P ) = Frat(G). With a similar argument we deduce that CG (Q) = Frat(G)
so P and Q are faithful nontrivial irreducible X-module, setting X = G/ Frat(G).
By [7, 5.2.13 (iii)], Frat(G/P ) = Frat(G)/P ∼
= Q, so G/P is a non-split extension
of Q by X and consequently H2 (X, Q) 6= 0 and, similarly, H2 (X, P ) 6= 0. Let Y
be a non-trivial normal subgroup of X. Since CP (Y ) is X-invariant and P is an
irreducible and faithful X-module, it must be CP (Y ) = 0, hence, by [2, Corollary
3.12 (2)], if p would not divide |S|, then H2 (X, P ) = 0, so p (and similarly q) must
divide |Y |. Let T be a Sylow p-subgroup of G. If there exists t ∈ T \ P commuting
with a non-trivial element y in Q, then ty ∈ G \ Frat(G) and |ty| = |t||y| = pa q
for some a ∈ N, against our assumption. But then T /P ∼
= T Frat(G)/ Frat(G)
is a fixed-point-free group of automorphisms of Q, and therefore, by [7, 10.5.5],
T / Frat(G) is a cyclic group. Similarly, a Sylow q-subgroup of G/ Frat(G) is cyclic.
Now let S = soc X. Since p divides the order of every minimal normal subgroup of
X, S = S1 × · · ·× St , where, for each 1 ≤ i ≤ t, Si is a simple group whose order is a
multiple of p. However a Sylow p-subgroup of S is cyclic, hence we must have t = 1,
i.e. S is a simple group. Moreover by [2, Lemma 5.2], S is nonabelian. Let now U
be a Sylow p-subgroup of X. Since U is cyclic, if U 6≤ S, then U ∩ S ≤ Frat(U ).
By a theorem of Tate (see for instance [3, p. 431]), S would be p-nilpotent, a
contradiction. Hence U ≤ S and therefore, by [2, Lemma 3.6], the restriction map
H2 (X, P ) → H2 (S, P ) is an injection. So in particular H2 (S, P ) 6= 0 and similarly
H2 (S, Q) 6= 0. This implies that there exist an irreducible S-submodule P ∗ of P and
an irreducible S-submodule Q∗ of Q such that H 2 (S, P ∗ ) 6= 0 and H 2 (S, Q∗ ) 6= 0.
We have that (S, P ∗ , Q∗ ) is a (p, q)-Frattini triple.

Let Sp,q be the set of the nonabelian simple groups S for which there exist P
and Q such that (S, P, Q) is a a (p, q)-Frattini triple. From Proposition 5 and its
proof, the following can be easily deduced.
Theorem 6. Let p and q be two distinct odd primes. Assume that G is a finite
group with Ωp·q (G) 6= ∅. If no composition factor of G is in Sp,q , then Ω∗∗
p,q (G) 6= ∅.
It seems a difficult problem to determine whether Sp,q is non empty. The following remark can give some help in dealing with this question. Following [1] and
[4], we say that a subset {g1 , . . . , gd } of a finite group G invariably generates G if
{g1x1 , . . . , gdxd } generates G for every choice of xi ∈ G.
Proposition 7. Assume that S ∈ Sp,q . If no proper subgroup of S is isomorphic
to a group in Sp,q , then there exist x and y in S such that:
(1) hxi is a Sylow p-subgroup of S;
(2) hyi is a Sylow q-subgroup of S;

THE ORDER OF THE NON-FRATTINI ELEMENTS

5

(3) {x, y} invariably generates S.
Proof. Let (S, P, Q) be a (p, q)-Frattini triple and let X and Y be, respectively,
a Sylow p-subgroup and a the Sylow q-subgroup of of S. The subgroup X is a
fixed-point-free group of automorphisms of Q, and therefore, by [7, 10.5.5], X
is a cyclic group. Similarly Y is a cyclic group. Let X = hxi and Y = hyi.
Assume, by contradiction, that {x, y} does not invariably generate S. Then there
exist s, t ∈ S such that H = hxs , y t i is a proper subgroup of S. Since H contains
both a Sylow p-subgroup and a Sylow q-subgroup of G, by [2, Lemma 3.6] the
restriction maps H2 (S, P ) → H2 (H, P ) and H2 (S, Q) → H2 (H, Q) are injective.
Hence H2 (H, P ) 6= 0 and H2 (H, Q) 6= 0. Arguing as in the proof of Proposition 5,
we deduce that T = soc H is a finite nonabelian simple group and T ∈ Sp,q , against
our assumption.

References
1. J. D. Dixon, Random sets which invariably generate the symmetric group, Discrete Math 105
(1992) 25-39.
2. R. Guralnick, W. Kantor, M. Kassabov and A. Lubotzky, Presentations of finite simple groups:
profinite and cohomological approaches, Groups Geom. Dyn. 1 (2007), no. 4, 469-523.
3. B. Huppert, Endliche Gruppen, Die Grundlehren der Mathematischen Wissenschaften, Band
134 Springer-Verlag, Berlin-New York 1967.
4. W. M. Kantor, A. Lubotzky, A. Shalev, Invariable generation and the Chebotarev invariant
of a finite group, J. Algebra 348 (2011), 302-314.
5. A.S. Kondrat’ev, On prime graph components of finite simple groups, Math. USSR-Sb. 67
(1990), 235-247.
6. L. G. Kovács, J. Neubüser and B. H. Neumann, On finite groups with “hidden” primes, J.
Austral. Math. Soc. 12 (1971), 287-300.
7. D. Robinson, A course in the theory of groups, Graduate Texts in Mathematics, 80 SpringerVerlag, New York, 1993.
8. J.S. Williams, Prime graph components of finite groups, J. Algebra 69 (1981), 487-513.
9. A.V. Zavarnitsine, On the recognition of finite groups by the prime graph, Algebra and Logic
45 (2006), 220-231.
Andrea Lucchini, Università degli Studi di Padova, Dipartimento di Matematica
“Tullio Levi-Civita”, email: lucchini@math.unipd.it

