arXiv:1710.00582v2 [] 28 Oct 2017

FINITE SOLUBLE GROUPS SATISFYING
THE REPLACEMENT PROPERTY
ANDREA LUCCHINI
Abstract. We investigate the finite soluble groups G with the following property (replacement property): for every irredundant generating set {g1 , . . . , gm }
of maximal size and for any 1 6= g ∈ G there exists an i ∈ {1, . . . , m} so that
hg1 , . . . , gi−1 , g, gi+1 , . . . , gm i = G.

1. Introduction
Let G be a finite group. We say that a subset Ω = {g1 , . . . , gn } of G is irredundant (or independent) if every proper subset of Ω generates a proper subgroup of H.
Let m(G) the largest size of an irredundant generating set. An important aspect of
vector spaces is the elementary fact that any linearly independent set can replace
a segment of a basis. One can try to generalize this notion to arbitrary groups.
Instead of looking at bases, one can consider the irredundant generating sets. Also,
instead of replacing many elements of the generating set, the focus could be on
replacing a single element. This led D. Collins and R. K. Dennis to make the following definitions. A group G satisfies the replacement property for the generating
sequence Ω = {g1 , . . . , gn } if, for any 1 6= g, there exists an i ∈ {1, . . . , n} so that
Ω′ = {g1 , . . . , gi−1 , g, gi+1 , . . . , gn } generates G. A group G is said to satisfy the
replacement property if it satisfies the replacement property for all the irredundant
generating sequences of length m(G).
In this short note we investigate the finite soluble groups satisfying the replacement property, giving some alternative characterizations. Before stating our main
result, we need to recall some definitions.
A group G is called a K-group (a complemented group) if its subgroup lattice
is a complemented lattice, i.e., for a given H ≤ G there exists X ≤ G such that
hH, Xi = G and H ∩ X = 1. We refer to [7, Section 3.1] for an exposition of the
main properties of the K-groups.
The Möbius function µG on the subgroup
P lattice of G is the function defined
inductively by µG (G) = 1 and µG (H) = − K<H µG (K) for any H < G.
Our main result is the following.
Theorem 1. Let G be a finite soluble group. The following are equivalent:
(1) G satisfies the replacement property.
(2) G is a K-group.
(3) µG (1) =
6 0.
1

2

ANDREA LUCCHINI

The previous statement does not remain true if one drops the solubility assumption. In [1] M. Costantini and G. Zacher proved that every finite simple group is
a K-group. However B. Nachman proved that if p 6≡ ±1 mod 10 and p 6= 7 but
p ≡ 1 mod 8, then PSL(2, p) fails the replacement property (see [8, Corollary 4.4]),
so not all the finite K-groups satisfy the replacement property. Whiston and Saxl
[10] noticed that m(PSL(2, 7)) = m(PSL(2, 11)) = 4 and therefore it follows from
[8, Corollary 4.2] that PSL(2, 7) and PSL(2, 11) satisfy the replacement property,
however µPSL(2,7) (1) = 0 while µPSL(2,11) (1) = 660.
We finally introduce a stronger property. A group G is said to satisfy the strong
replacement property if it satisfies the replacement property for all the irredundant
sequences (not only for those of maximal size). We prove that only few finite soluble
groups satisfies this property.
Theorem 2. A finite soluble group G satisfies the strong replacement property if
and only if one of the following occurs.
(1) G is an elementary abelian p-group.
(2) G = V t ⋊ H, where H is a cyclic group of prime order and V is a faithful
irreducible H-module.
2. Proofs of Theorem 1 and Theorem 2
We first recall a result from [5] that will play a relevant role in the proof of
Theorem 1.
Theorem 3. [5, Theorem 2] Let G be a finite soluble group. Then m(G) coincides
with the number of complemented factors in a chief series of G.
Lemma 4. Let G be a finite soluble group. If G is a K-group, then G satisfies the
replacement property.
Proof. We prove the statement by induction on the order. Let Ω = {x1 , . . . , xm }
be an irredundant generating sequence of G, with m = m(G), and let 1 6= g ∈ G. We
have to prove that there exists i ∈ {1, . . . , m} so that hg1 , . . . , gi−1 , g, gi+1 , . . . , gm i =
G. The statement is certainly true if G = 1. So assume G 6= 1 and let N be a minimal normal subgroup of G. Since G is a K-group, N is complemented in G and
it follows from Theorem 3 that m(G) − 1 = m(G/N ). Hence {x1 N, . . . , xm N }
is a redundant generating sequence of G/N , so it is not restrictive to assume,
up to reordering the sequence {x1 , . . . , xm }, that G/N = hx1 N, . . . , xm−1 N i. Let
H = hx1 , . . . , xm−1 i. Since HN = G we have two possibilities.
a) H = G. In this case G = hx1 , . . . , xm−1 i = hx1 , . . . , xm−1 , gi.
b) H is a complement of N in G. Notice that in this case H is a maximal subgroup
of G. If g 6= H, then G = hH, gi = hx1 , . . . , xm−1 , gi. We remain with the case
g ∈ H. By [7, Lemma 3.1.3], H ∼
= G/N is a K-group. By induction, H satisfies
the replacement property so, since m(H) = m(G/N ) = m − 1, we conclude that
there exists i so that H = hx1 , . . . , xi−1 , g, xi+1 , . . . , xm−1 i. It follows that G =
hH, xm i = hx1 , . . . , xi−1 , g, xi+1 , . . . , xm−1 , xm i = G.

Lemma 5. Let G be a finite soluble group. If G satisfes the replacement property,
then G is a K-group.

FINITE SOLUBE GROUPS SATISFYING THE REPLACEMENT PROPERTY

3

Proof. We prove this statement by induction on the order of G. Assume that G
satisfies the replacement properties. The Frattini subgroup Frat(G) of G must be
trivial, since a nontrivial element of the Frat(G) cannot replace any element of a
generating sequence. This implies that the Fitting subgroup F = N1 × · · · × Nt of
G is a direct of t minimal normal subgroups of G and has a complement, say H, in
G (see for example [9, 5.2.15]). We claim that H satisfies the replacement property.
Let µ = m(G/N ), {x1 , . . . , xµ } an irredundant generating sequence of H and h a
nontrivial element of H. It can be easily seen that Ω := {y1 , . . . , yt , x1 , . . . , xµ } is an
irredundant generating sequence of G. Moreover, by Theorem 3, m(G) = µ+t. Since
G satisfies the replacement properties for Ω, one of elements of Ω can be replaced
by h still obtaining a generating set. On the other hand, for every j ∈ {1, . . . , t},
the subgroup
hy1 , . . . , yj−1 , h, yj+1 , . . . , yt , x1 , . . . , xµ i = hy1 , . . . , yj−1 , yj+1 , . . . , yµ iH
is a complement for Ni in G. So there exists i ∈ {1, . . . , µ} with
G = hy1 , . . . , yt , x1 , . . . , xi−1 , h, xi+1 , . . . , xµ i.
But this implies hx1 , . . . , xi−1 , h, xi+1 , . . . , xµ i = H. We have so proved that H
satisfies the replacement property, but then by induction H is a K-group. By [7,
Theorem 3.1.10], G = F H is a K-group.

Proof of Theorem 1. By Lemma 4 and 5, (1) and (2) are equivalent. Moreover if
follows easily from [7, Theorem 3.1.12] that a finite soluble group G is a K-group
if and only if all the chief factors of G are complemented in G. On the other hand,
by [3, Corollary 3.4], if H0 = 1 < · · · < Hn = G is a chief series of a finite
soluble G and ki denotes the number of complements to Hi /Hi−i in G/Hi−i , then
µG (1) = (−1)n k1 k2 · · · kn . So µG (1) 6= 0 if and only if all the chief factors of G are
complemented, i.e. if and only if G is a K-group.

Proof of Theorem 2. Given a finite group X, denote by d(X) be the smallest size
of an irredundant generating sequence of X.
Assume that G satisfies the strong replacement property. Let d = d(G) and
assume G = hg1 , . . . , gd i. Let 1 6= N be a normal subgroup of G and let 1 6=
n ∈ N. Since G satisfies the replacement property for the sequence {x1 , . . . , xd },
there exists i so that {g1 , . . . , gi−1 , n, gi+1 , . . . , gd } = G. This implies d(G/N ) ≤
d − 1. So G has the property that every proper quotient can be generated by d − 1
elements, but G cannot. The groups with this property have been studied in [2].
By [2, Theorem 1.4 and Theorem 2.7] either G is an elementary abelian p-group
of rank d or there exist a finite vector space V and a nontrivial irreducible soluble
subgroup H of Aut(V ) such that d(H) < d and G = (V1 × · · · × Vt ) ⋊ H, where
t = r(d − 2) + 1, r is the dimension of V over F = EndH (V ) and each Vi is Hisomorphic to V. We claim that in the latter case r = 1 and H is a cyclic group.
If d = 2, then H is cyclic and V is an absolutely irreducible F H-module, and
this implies r = 1. So assume d > 2. In this case t = r(d − 2) + 1 > r. By [4,
Lemma 7.12] W = Vr(d−3)+2 × · · · × Vt ∼
=H V r is a cyclic F H-module. Let w be an
element of W generating W as an H-module, for 1 ≤ i ≤ r(d − 3) + 1 let vi be a
nontrivial element of Vi and let {h1 , . . . , hn } be an irredundant generating sequence
of H. Clearly Ω := {v1 , . . . , vr(d−3)+1 , w, h1 , . . . , hn } is an irredundant generating
sequence of G. Let now z be a nontrivial element of Vt . Since G satisfies the
replacement property for Ω, we may replace an element of Ω with z still obtaining a

4

ANDREA LUCCHINI

generating sequence. However if we replace hi by w we generate the proper subgroup
(V1 × · · · × Vt ) ⋊ hh1 , . . . , hi−1 , hi+1 , . . . , ht i and if we replace vj by w we generate a
complement of Vj in G. So it must be G = hv1 , . . . , vr(d−3)+1 , z, h1 , . . . , hn i, but this
implies W = Vt and r = 1. In particular V is a faithful absolutely irreducible F Hmodule and consequently H is a subgroup of the multiplicative group of the field F.
So H is a cyclic group. Let h by a generator of H and, for each 1 ≤ i ≤ t, let vi be
a nontrivial element of Vi . The group G satisfies the replacement property for the
irredundant generating sequence {v1 , . . . , vt , h}. This implies that if 1 6= h∗ ∈ H,
then hv1 , . . . , vt , h∗ i = G and consequently hh∗ i = H. But then H must be of prime
order.
Conversely assume that either G is an elementary abelian p-group of rank d
or G = V t ⋊ H, where H is a cyclic group of prime order and V is a faithful
irreducible H-module. We have d(G) = d in the first case, d(G) = t + 1 in the
second one (see for example [6, Theorem 2.2]). But then we deduce from Theorem
3 that d(G) = m(G), so G satisfies the strong replacement property if and only
if it satisfies the replacement property. Moreover all the chief factors of G are
complemented, hence, by [7, Theorem 3.1.12], G is a K-group. We conclude from
Theorem 1 that G satisfies the replacement property.

References
1. M. Costantini and G. Zacher, The finite simple groups have complemented subgroup lattices,
Pacific J. Math. 213 (2004), no. 2, 245-251.
2. F. Dalla Volta and A. Lucchini, Finite groups that need more generators than any proper
quotient, J. Austral. Math. Soc. Ser. A 64 (1998), no. 1, 82–91.
3. T. Hawkes, I. Isaacs and M. Özaydin, On the Möbius function of a finite group, Rocky
Mountain Journal of Mathematics 19 (1989), 1003–1034.
4. K. Gruenberg, Relation Modules of Finite Groups, Conference Board of the Mathematical
Sciences Regional Conference Series in Mathematics, No. 25, American Mathematical Society,
Providence, RI, 1976.
5. A. Lucchini, The largest size of a minimal generating set of a finite group, Arch. Math. (Basel)
101 (2013), no. 1, 1-8.
6. A. Lucchini, M. Morigi and P. Shumyatsky, Boundedly generated subgroups of finite groups,
Forum Math. 24 (2012), no. 4, 875-887.
7. R. Schmidt, Subgroup lattices of groups, De Gruyter Expositions in Mathematics, 14. Walter
de Gruyter & Co., Berlin, 1994.
8. B. Nachman, Generating sequences of PSL(2, p), J. Group Theory 17 (2014), no. 6, 925–945.
9. D. Robinson, A course in the theory of groups, Graduate Texts in Mathematics, 80 SpringerVerlag, New York-Berlin, 1982.
10. J. Whiston and J. Saxl, On the maximal size of independent generating sets of PSL(2, q), J.
Algebra 258 (2002), 651–657.
Andrea Lucchini, Università degli Studi di Padova, Dipartimento di Matematica
“Tullio Levi-Civita”, email: lucchini@math.unipd.it

