Gaschütz Lemma for Compact Groups
arXiv:1709.05151v2 [] 5 Dec 2017

Tal Cohen and Tsachik Gelander∗

Abstract
We prove the Gaschütz Lemma holds for all metrisable compact groups.

1

Introduction

For a group G, denote by d(G) its minimal number of generators. A classic result by Gaschütz
asserts the following:
Lemma 1.1 (The Gaschütz Lemma [Gas]). Let G be a finite group and f : G → H an
epimorphism. If H = hh1 , . . . , hn i for n > d(G), then there are g1 , . . . , gn ∈ G satisfying
f (gi ) = hi for i = 1, . . . , n and G = hg1 , . . . , gn i.
It is known and straightforward that the Gaschütz Lemma holds for profinite groups
as well, where naturally one replaces generation by topological generation and assumes the
epimorphism is continuous. However, it does not hold for arbitrary infinite groups. For
example, even for Z → Z/5Z the generator 2 + 5Z doesn’t admit a generating lift, even
though d(Z) = 1.
We will prove the lemma does hold for first-countable (i.e. metrisable) compact groups.
Moreover, we will give an example that shows the lemma does not hold for general nonmetrisable compact groups.
We assume all groups are Hausdorff, all homomorphisms are continuous and all subgroups
are closed. We make the following definitions:
1. If g1 , . . . , gn are elements of a topological group G, we say they are generators (rather
than topological generators) of G if hg1 , . . . , gn i = G. We denote by d(G) the minimal
number of generators of the group G.
2. An epimorphism f : G → H is Gaschütz if for every h1 , . . . , hn ∈ H with n > d(G)
which generate H there are lifts g1 , . . . , gn (f (gi ) = hi ) which generate G. It is superGaschütz if ker f is locally compact and
{(k1 , . . . , kn ) ∈ (ker f )n |hg1 k1 , . . . , gn kn i = G}
is of full Haar measure in (ker f )n (so that “almost all lifts” of h1 , . . . , hn generate G).
∗

The authors acknowledge the support of the ISF-Moked grant 2095/15.

1

3. G is Gaschütz if every open epimorphism f : G → H is Gaschütz.
4. G is connectedly Gaschütz if every open epimorphism f : G → H with a connected
kernel is Gaschütz.
5. G is connectedly super-Gaschütz if it is locally compact and every open epimorphism
f : G → H with a connected kernel is super-Gaschütz.
In this terminology, the Gaschütz Lemma says all profinite groups are Gaschütz. Observe that the restriction to open epimorphisms is meaningless for compact groups, since all
epimorphisms are open.
We now state our main theorem:
Theorem 1.2 (Main Theorem). Every metrisable compact group is Gaschütz and connectedly super-Gaschütz.

2

Main Theorem

First, let us explain why being connectedly Gaschütz implies being Gaschütz. The following
lemma is proved in the exact same way as the original Gaschütz Lemma, but we repeat the
proof for the convenience of the reader.
Lemma 2.1. Suppose G is a compact group and that f : G → H is an epimorphism with a
finite kernel. Then f is Gaschütz.
Proof. Let G be a compact group and f : G → H an epimorphism with a finite kernel. For
a generating system h ∈ H n and a subgroup F 6 G, denote by ϕFn (h) the (finite) number of
lifts of h to F which generate F . That is,
ϕFn (h) = #{g ∈ F n |hgi = F, f (g) = h}.
Claim. For every F 6 G and n > d(G) the map ϕFn is constant.
We fix some n > d(G) and prove the claim by induction on |F ∩ ker f |, which is finite
by assumption. The case F ∩ ker f = {1} is trivial: ϕFn (h) = 1 regardless of h, since there is
only one lift of h and it generates F (since f is an isomorphism).
Now let F 6 G and assume ϕE
n is constant for all subgroups E 6 G with |E ∩ ker f | <
n
|F ∩ ker f |. Let h ∈ H be a generating system of H; we need to show ϕFn (h) only depends
on F and n. Consider the (possibly empty) set E of all proper subgroups of F which project
onto H,
E := {E < F | f (E) = H} .
Observe there are exactly |F ∩ ker f |n possible lifts of h to F , and clearly each one of them
generates a subgroup which projects onto H (since the projection contains h). Therefore, if
a lift of h to F does not generate F , it must generate a subgroup belonging to E; this implies
X
|ϕE
ϕFn (h) = |F ∩ ker f |n −
n (h)|.
E∈E

2

By the induction hypothesis ϕE
n is constant, so the right hand side depends only on F and
n, as needed.
The lemma easily follows: we know there is some generating system g ∈ Gn of G, which
G
means f (g) is a generating system of H such that ϕG
n (f (g)) > 0, and thus ϕn (h) > 0 for
every generating system h ∈ H n .
Corollary 2.2. Suppose G is a compact group and that f : G → H is an epimorphism with
a profinite kernel. Then f is Gaschütz.
Proof. Denote K = ker f , where K is profinite. Using the Peter-Weyl theorem one can see
G is an inverse limit of Lie groups, G = lim (Gα )α∈A .1 Moreover, H ∼
(G /K )
= lim
←−
←− α α α∈A
for Kα := pα (K) (where pα : G → Gα is the projection) and modulo this isomorphism
f : G → H is given by
(gα )α∈A 7→ (gα Kα )α∈A .
The groups Kα = pα (K) are profinite subgroups of Lie groups and hence are finite. Therefore
by Lemma 2.1 the maps Gα → Gα /Kα are Gaschütz.
Let h ∈ (G/K)n be a generating system of G/K with n > d(G), and pick an arbitrary
lift g ∈ Gn . Denoting by πα : G/K → Gα /Kα the quotient map, we get the following
commutative diagram:
pα
/ Gα
G
fα

f




G/K

πα

/

Gα /Kα

Therefore, pα (g) is a lift of π α (h) via Gα → Gα /Kα . Thus, there is some k ∈ Kα n such that
pα (g) · k generates Gα . In other words, the set
n
o
L̃α := k ∈ Kα n hpα (g)ki = Gα

is nonempty for every α ∈ A, and hence

Lα := (pα ↾K n )−1 (L̃α )
is nonempty. It is moreover closed as an inverse image of a finite set. We show the collection
{Lα }α∈A satisfies the finite intersection property, which means it has a nonempty intersection.
If S ⊆ A is finite, take β > S and some k ∈ Lβ . Then pβ (k) ∈ L̃β , which means
hpβ (g · k)i = Gβ , so also
hpα (g · k)i = hpβα (pβ (g · k))i = Gα ,
T
i.e. k ∈ Lα for every α ∈ S. So α∈S Lα 6= ∅, as needed. Therefore the set
\
L :=
Lα
α∈A

1

A convenient reference for the metric case (which is all we will eventually need) is [MZ, 4.7].

3

is also nonempty. Pick k ∈ L; by definition pα (g · k) generates Gα for every α ∈ A, so g · k
generates G.
Corollary 2.3. A compact group is Gaschütz if and only if it is connectedly Gaschütz.
Proof. Obviously if a group is Gaschütz it is connectedly Gaschütz. Suppose now G is
compact and connectedly Gaschütz, and let f : G → H be some epimorphism. Denote
K = ker f ; by the third isomorphism theorem, the diagram
G


G/K

/

∼

G/K ◦


/ (G/K ◦ ) / (K/K ◦ )

commutes. Thus G → G/K is the composition G → G/K ◦ → (G/K ◦ ) / (K/K ◦ ). The first
map is Gaschütz since G is connectedly Gaschütz, and the second map is Gaschütz since it
has a profinite kernel (Corollary 2.2), so G → H is also Gaschütz.
We will use the following well known fact. Since we couldn’t find a convenient reference
for its proof, we include it here.
Proposition 2.4. A compact Lie group has only countably many conjugacy classes of subgroups.2
Proof. Let G be a compact Lie group. Obviously, it is enough to prove that for each n there
are countably many conjugacy classes of subgroups of dimension n. Fix some n.
Recall that the space Sub(G) of subgroups of G, equipped with the Chabauty topology,
is a compact metric space (see [Bir, Gel]). It is in particular second countable, and therefore
the subset Subn (G) of n-dimensional subgroups is also second countable. Thus, every open
cover of Subn (G) has a countable subcover.
By [MZ, Theorem 5.3], for every n-dimensional subgroup F 6 G there is an open subset
UF ⊆ G such that F ⊆ UF and such that every subgroup of G contained in UF can be
conjugated to a subgroup of F . For each such F , let UF ⊆ Subn (G) be the open set of
subgroups contained in UF . Since {UF } is an open cover of Subn (G), there is a countable
subcover {UFi }i∈N . Moreover, since each Fi is an n-dimensional compact Lie group, it has
only finitely many subgroups of dimension n. Since every n-dimensional subgroup of G is
conjugated to a (necessarily n-dimensional subgroup) of Fi for some i ∈ N, it follows G has
only countably many conjugacy classes of n-dimensional subgroups.
The following result is a folklore, yet we will provide a proof for completeness.
Lemma 2.5. If G is a Lie group and P 6 G is a subgroup, then there is an immersed
submanifold A ⊆ G such that P A = G and dim P + dim A = dim G.
2

Recall that by “subgroups” we mean closed subgroups.

4

Proof. Denote by π : G → G/P the quotient map. For every gP ∈ G/P take an open
neighbourhood UgP ∋ gP such that π −1 (UgP ) is diffeomorphic to UgP × P and such that
modulo this diffeomorphism π is given by the projection onto the first coordinate. Since
{UgP }gP ∈G/P is an open cover of the manifold G/P , we can take a countable subcover
{Ui }i∈N . By construction, for every i ∈ N we can take a submanifold Ûi ⊆ G of dimension
dim G − dim P such that π ↾Ûi : Ûi → Ui is a diffeomorphism. Therefore, the countable
S
union A := i∈N Ûi is an immersed submanifold of dimension dim G − dim P such that
π(A) = G/P , and therefore P A = G.
We can now complete the proof of the main theorem.
Proof of the Main Theorem. We will prove all first-countable compact groups are connectedly super-Gaschütz, and in particular Gaschütz. First we will assume G is a compact Lie
group, and then the general case will follow by a standard argument of inverse limits.
Let G, H be compact Lie groups, f : G → H an epimorphism with a connected kernel
K, and h1 , . . . , hn ∈ H generators of H with n > d(G).
First we consider the special case n = 1. Observe that in this case G must be abelian.
Pick some lift g of h1 and denote by F the set of proper subgroups of G projecting onto
H. Now, we need to show the set of k ∈ K such that gk doesn’t generate G is null. First
observe that K ∩ F is null in K for every F ∈ F since K is connected. For each F ∈ F pick
a lift rF ∈ F of h1 , and observe that the set {k ∈ K|hrF ki = F } is null since it is contained
in K ∩ F . Since F is countable (e.g. by Proposition 2.4), we see by left invariance that
X
µ ({k ∈ K|hgki =
6 G}) 6
µ ({k ∈ K|hgki = F })
F ∈F

=

X

µ ({k ∈ K|hrF ki = F }) = 0

F ∈F

(where µ is the Haar measure of K), as needed.
We can now assume n > 2. For every subgroup P 6 G such that f (P ) = H, denote
KP = K ∩ P = ker(f ↾P ),
and for i = 1, . . . , n denote
LiP = {p ∈ P |f (p) = hi } .
Observe LiP is a shift of KP (by an arbitrary lift of hi to P ), and hence has a well defined
measure (induced from the Haar measure of KP ). It is moreover a submanifold of dimension
dim KP , which is strictly smaller than dim KQif P < G (since K is connected).
We need to show the subset of tuples in ni=1 LiG generating a proper subgroup of G is
null. By Proposition 2.4, we can take a countable set P containing
of the
Qn a representative
i
conjugacy class of each proper subgroup P < G. Thus a tuple in i=1 LG not generating G
must generate a subgroup of the form xP x−1 for some P ∈ P and some x ∈ G. That is,
(
)
)
(
n
n
[
Y
Y
g∈
g∈
LiG g 6= G =
LiG g = xP x−1 for some x ∈ G .
i=1

P ∈P

i=1

5

Since this is a countable union, it is enough to show that
)
(
n
Y
LiG g = xP x−1 for some x ∈ G
g∈
i=1

is null for each P ∈ P.
Thus let P ∈ P, and pick some lifts p1 , . . . , pn of h1 , . . . , hn to P . Take a submanifold
A ⊆ K such that AKP = K and dim A + dim KP = dim K. Observe that since
AP = AKP P = KP = G,
all subgroups conjugated to P are of the form aP a−1 for some a ∈ A, and hence all lifts
of (h1 , . . . , hn ) to a subgroup conjugated to P are of the form (ak1 p1 a−1 , . . . , akn pn a−1 ) for
some k1 , . . . , kn ∈ KP and a ∈ A. In other words, they are all in the image of the map
A × KP n → L1G × · · · × LnG
(a, k1 , . . . , kn ) → (ak1 p1 a−1 , . . . , akn pn a−1 ).
Since this is a smooth map and
dim(A × KP n ) = dim A + n dim KP = dim K + (n − 1) dim KP

< n dim K = dim L1G × · · · × LnG ,

its image is null by Sard’s theorem [Lie, Theorem 10.5]. The proof for Lie groups is completed.
Since every first-countable compact group is an inverse limit of a sequence of Lie groups
(see e.g. [MZ, 4.7]), we now just need to show an inverse limit of a sequence of connectedly
super-Gaschütz compact groups is connectedly super-Gaschütz.
Let G = lim (Gm )m∈N be an inverse limit of connectedly super-Gaschütz compact groups,
←−
let f : G → H be an epimorphism with a connected kernel and let h ∈ H n be a generating
system such that n > d(G). We need to prove almost every lift of h to G generates G.
Denote K = ker f , Km = pm (K) (where pm : G → Gm is the projection). Then H ∼
=
lim (Gm /Km )m∈N and modulo this isomorphism f is defined by (gm )m∈N 7→ (gm Km )m∈N . For
←−
every m ∈ N the map Gm → Gm /Km is super-Gaschütz (since Km = pm (K) is connected).
Pick some lift g of h, and denote
L = {k ∈ K n |hg · ki =
6 G},
which we need to show is null in K n . Since g m := pm (g) is a lift of a generating system of
Gm /Km (namely the image of h), the set
6 Gm }
Lm := {km ∈ Km n |hg m · k m i =
is null, and therefore L̃m := (pm ↾K n )−1 (Lm ) is null in K n . It follows that
Since the latter set contains L, we are done.
6

S

m∈N

L̃m is null.

3

An Example

In this section we show that the assumption of first-countability (or equivalently, metrisability) cannot be omitted.
Example 3.1. A torus of dimension 2ℵ0 is not Gaschütz.
ℵ

Observe that by Kronecker’s theorem (R/Z)2 0 is of topological rank 1, so it makes sense
ℵ
to ask whether it is Gaschütz. We will in fact prove that in a sense, (R/Z)2 0 is as not
Gaschütz as a group can be.
Proposition 3.2. If I ( J are index sets with |I| = |J| = 2ℵ0 then for every n ∈ N there
are h1 , . . . , hn ∈ (R/Z)I which generate (R/Z)I but do not admit generating lifts to (R/Z)J .
ℵ
In particular, (R/Z)2 0 is not Gaschütz.
Before we get to the proof, let us recall Kronecker’s theorem.
i
Theorem 3.3 (Kronecker’s theorem). For any index set I, the elements (α1i +Z)i∈I , . . . , (αm
+
I
I
Z)i∈I in (R/Z) generate (R/Z) if and only if the following implication holds: if i1 , . . . , in ∈ I
and λ1 , . . . , λn ∈ Q are such that

λ1 α1i1 + · · · + λn α1in ∈ Q
..
.
i1
in
∈Q
λ 1 αm
+ · · · + λ n αm

then λj = 0 for every j = 1, . . . , n.
The theorem was proved in [Kro] for finite index sets I. The general case follows easily;
i
if (α1i + Z)i∈I , . . . , (αm
+ Z)i∈I are elements in (R/Z)I and Γ is the group they abstractly
generate, then the condition of the theorem is satisfied if and only if for any finite subset
S ⊆ I the projection of Γ in (R/Z)S is dense. By definition of the product topology, this is
equivalent to Γ being dense.
S
Proof of the Proposition. Let n ∈ N. Take disjoint I1 , . . . , In ⊆ I such that nℓ=1 Iℓ = I and
|I1 | = · · · = |In | = 2ℵ0 . Take
h1 = (hi1 + Z)i∈I , . . . , hn = (hin + Z)i∈I ∈ (R/Z)I
such that for each ℓ = 1, . . . , n the tuple (hiℓ )i∈Iℓ ∪{0} , where h0 := 1, is a basis of R over Q, and
hiℓ = 0 for all i ∈
/ Iℓ ∪ {0}. By Kronecker’s theorem, h1 , . . . , hn ∈ (R/Z)I generate (R/Z)I .
However, by the same theorem the following computation shows no lifts of h1 , . . . , hn to G
could ever generate it.
Let g1 , . . . , gn ∈ (R/Z)J be lifts of h1 , . . . , hn ∈ (R/Z)I , and pick j0 ∈ J\I. Then for each
ℓ = 1, . . . , n there are iℓ1 , . . . , iℓdℓ ∈ Iℓ and λℓ , λℓ1 , . . . , λℓdℓ ∈ Q such that
!
dℓ
X
ℓ
i
λℓj hℓj = λℓ − gℓj0
j=1

7

(since {1} ∪ {hiℓ }i∈Iℓ is a basis of R over Q for each ℓ). Since for each ℓ = 1, . . . , n we have
gℓi = hiℓ = 0 for every i ∈ I \Iℓ , we will have for each ℓ = 1, . . . , n and k 6= ℓ that
dk
X

ik

λkj gℓj = 0.

j=1

Therefore we have for each ℓ = 1, . . . , n:
!
dk
n X
X
k
i
λkj gℓj + gℓj0 =

dℓ
X
j=1

k=1 j=1

iℓ
λℓj gℓj

!

+ gℓj0


= λℓ − gℓj0 + gℓj0 = λℓ ∈ Q.

Thus, by Kronecker’s theorem, g1 , . . . , gn do not generate (R/Z)J .

Remark 3.4. This result suggests the following definition: the Gaschütz rank of a group
G, denoted by (G), is the minimal m such that every open epimorphism f : G → H
and every finite tuple of generators (h1 , . . . , hn ) ∈ H n with n > m admit a generating lift
ℵ
(g1 , . . . , gn ) ∈ G. Then (R/Z)2 0 is not only not Gaschütz, but is of infinite Gaschütz rank.
It is not too hard to show (Rn × Tm ) = 2n + m if n > 0, so if in addition n > 2 or m > 1
then Rn × Tm is not Gaschütz (because d(Rn × Tm ) = n + 1) but is still of finite Gaschütz
rank.

References
[Bir] I. Biringer, Metrizing the Chabauty topology, arXiv:1610.07396
[Gas] W. Gaschütz, Zu einem von B.H. und H. Neumann gestellten Problem, Math. Nachr.
14 (1956), 249-252. MR 18:790b
[Gel] T. Gelander, A lecture on Invariant Random Subgroups, arXiv:1503.08402
[Kro] L. Kronecker, Näherungsweise ganzzahlige Auflösung linearer Gleichungen, Werke, 3,
Chelsea, reprint (1968) pp. 47-109
[Lie] John M. Lie, Introduction to smooth manifolds. Second edition. Graduate Texts in
Mathematics, 218. Springer, New York, 2013. xvi+708 pp. ISBN: 978-1-4419-9981-8
58-01
[MZ] D. Montgomery, L. Zippin, Topological transformation groups. Reprint of the 1955
original. Robert E. Krieger Publishing Co., Huntington, N.Y., 1974. xi+289 pp.

8

