arXiv:1802.10427v1 [math.GR] 28 Feb 2018

A few remarks on invariable generation in infinite groups
Gil Goffer

Gennady A.Noskov

The Weizmann Institute of Science

The Sobolev Institute of Mathematics

76100, Rehovot, Israel

644043, Omsk, Russia

∗

February 12, 2018

Abstract
A subset S of a group G invariably generates G if G is generated by {sg (s)|s ∈ S} for any choice
of g(s) ∈ G, s ∈ S. In case G is topological one defines similarly the notion of topological invariable
generation. A topological group G is said to be T IG if it is topologically invariably generated by
some subset S ⊆ G. In this paper we study the problem of (topological) invariable generation for
linear groups and for automorphism groups of trees. Our main results show that the Lie group SL2 (R)
and the automorphism group of a regular tree are T IG , and that the groups P SLm (K), m ≥ 2 are
not IG for certain countable fields of infinite transcendence degree over the prime field.

Contents
1 Introduction

2

2 Preliminary results

3

3 Parabolics and stabilizers as Wiegold subgroups

6

4 Borel versus Wiegold

9

5 Compact Lie groups and their generalizations

10

6 SL2 (R) is T IG

10

6.1

Conjugacy classes in SL2 (R) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

10

6.2

One-parameter subgroups of SL2 (R) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

11

6.3

One-dimensional Lie subgroups of SL2 (R) and their spectra . . . . . . . . . . . . . . . . .

12

∗ The

authors thank the support of Tsachik Gelander and Uri Bader

1

6.4

2-dimensional Lie subgroups of SL2 (R) and their spectra . . . . . . . . . . . . . . . . . . .

13

6.5

Main lemma and theorem 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

7 Aut(T ) is T IG

14

7.1

Elements classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

14

7.2

The local action by permutation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

15

7.3

Conjugacy classes in Aut(T ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16

7.3.1

Elements of type (n, P) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16

7.3.2

Spherically-transitive elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

7.4

A set of generators for Aut(T ) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17

7.5

Proof of theorem 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

8 Uncountably many countable non-IG -groups

19

8.1

Laws in groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

8.2

Rational points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

8.3

Building up free tuples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

21

8.4

When is PSLm (K) an IG ?

22

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

9 Open problems

1

23

Introduction

The notion of invariable generation of groups goes back at least as far as Jordan’s paper of 1872.
Theorem 1 ([Jo, Se]) . Assume that a finite group G acts transitively on a set X of cardinality at least
2. Then there exists g ∈ G displacing every element of X, i.e. g has no fixed point in X.
(We define g ∈ G to be active or fixed point free if it satisfies the conclusion of Jordan’s theorem.)
Independently, but more than hundred years later (in 1976), J.Wiegold introduced the class X of groups
G with the property that whenever G acts transitively on a set X of cardinality at least 2, there is an
active element g ∈ G, see [Wi76]. Thus Jordan’s theorem above says that every finite group belongs
to the class X. Not only Wiegold failed to mention Jordan, but also he claims indirectly that Jordan’s
theorem is obvious. “Observe that, in particular, finite groups and soluble groups have III – obvious
facts once noted, though I know of no reference to them in the literature” see [Wi76]. Wiegold gave two
more characterizations of class X. Namely, G ∈ X if and only if for every proper subgroup H ≤ G the
union ∪{H g : g ∈ G} does not cover the whole G. (Here, we use the common notation H g to denote
the conjugate g −1 Hg of H.) Secondly, G ∈ X if and only if
representative of every conjugacy class of G, generates G.
2

every subset, containing at least one

These characterizations lead naturally to the following definitions (of our own, though the concepts
implicitly occurred in above conversation). We call a proper subgroup W of a group G a Wiegold subgroup
of G if G is covered by conjugates of W , i.e. G = ∪g∈G W g . Alternative terms might be “parabolic
subgroup” or “Borel subgroup” but this could lead to confusion. Yet another alternative term might
be “abnormal subgroup” but again it could conflict with existing terminology. A subset S of a group
G is conjugation complete

(in G) if it meets every non-trivial conjugacy class in G. In these terms

it is easy to see that the class X consists of those groups that do not have Wiegold subgroups. Now
Jordan’s theorem becomes really “obvious” (but modulo Wiegold’s characterizations) for finite groups
by counting argument. Indeed, let G be finite and suppose H was a Weigold subgroup. For every g ∈ G
S
S
we have H g = H Hg , hence the union g∈G H g can be written as the union Hg∈H\G H Hg . There are
|G : H| members in the last union, each member is of cardinality |H| and all members contain the identity
element, hence the cardinality of the union is strictly less than |G : H| · |H| = |G|, contradicting the
definition of Wiegold’s subgroup.
Independently of Wiegold, but somewhat later, J.D.Dixon (1992) invented the notion of invariable
generation for finite groups. A subset S of a finite group G invariably generates G if G is generated by
{sg (s)|s ∈ S} for any choice of g(s) ∈ G, s ∈ S. This notion was motivated by Chebotarev’s Density
Theorem [Ch]. In case G is a (Hausdorff) topological group one defines similarly the notion of topological
invariable generation. A topological group G is said to be T IG if it is topologically invariably generated
by some subset S ⊆ G. In this paper we study the problem of (topological) invariable generation for
linear groups and for automorphism groups of trees. Our main results show that the Lie group SL2 (R)
and the group of tree automorphisms Aut(T ) are T IG , and that the groups P SLm (K), m ≥ 2 are not
IG for certain countable fields of infinite transcendence degree over the prime field.

2

Preliminary results

We shall formulate now the invariable generation problem in topological setup. The (left) action G y X
of a topological group G on a topological space X is continuous if the map (g, x) 7→ gx from G × X to
X is continuous. We call a proper subgroup W of a topological group G the Wiegold subgroup of G if G
is covered by conjugates of W i.e. G = ∪g∈G W g . A subset S of G is conjugation complete

(in G) if it

meets every non-trivial conjugacy class in G. A transitive action G y X of a group G on the set X has
fixed-point property (FP) if every g ∈ G has a fixed point.
Lemma 2 The following conditions on a topological group G are equivalent:
I.

Whenever an action G y X of G on a topological space X of cardinality at least 2 is continuous and
transitive, there is an active element g ∈ G (i.e. g has no fixed point in X).

3

II.

There is no closed Wiegold subgroup in G, i.e. G is not covered by the conjugates of every proper
closed subgroup H < G.

III. Every conjugation complete

subset S of G topologically generates G, i.e. the closure of subgroup

hSi generated by S equals G.
IY. There is a family (Ci ) of conjugacy classes of G (not necessarily distinct) invariably and topologically
generating G in the sense that each family (ci ) of elements ci ∈ Ci topologically generate G.
Proof.
I ⇒ II. Suppose that I holds. Arguing by contradiction suppose that there exists a closed Wiegold
−1

subgroup W in G. Fix g ∈ G. Since W is Wiegold we have g ∈ W h

for some h ∈ W which is

equivalent to the equality ghW = hW which in turn means that g has a fixed point hW in the
topological quotient G/W . The natural action G y (G/W ) is transitive and since W is proper,
the cardinality of G/W is at least 2. This contradicts the assumption that condition I holds with
X = G/W .
II ⇒ I. Suppose that II holds. Assume, to get a contradiction, that the action G y X is transitive,
|X| ≥ 2 and every g has a fixed point in X. It follows that for every x ∈ X we have a covering
∪g∈G Ggx = G, since every h ∈ G fixes some gx. But Ggx = gGx g −1 , thus G is covered by conjugates
gGx g −1 and hence Gx is Wiegold. This contradicts the assumption that II holds.
II ⇒ III. Suppose that II holds. Assume, to obtain a contradiction, that there is a conjugation complete subset S of G that S does not topologically generates G, i.e. the closure hSi is proper in G.
Each h ∈ G equals to some sg ∈ S, hence h ∈ S g ⊆ ∪g∈G S g . Then hSi is Wiegold, contradiction
with III.
III ⇒ II. Suppose that III holds. Again arguing by contradiction suppose that there is a conjugation
complete subset S that does not generate G topologically. It follows that hSi < G and S meets every
g

non-trivial conjugacy class, which yields ∪g∈G hSi = G hence W = hSi is an Wiegold subgroup,
contradicting to III.
III ⇒ IY. Suppose that III holds. Let (Ci ) be the family of all nontrivial conjugacy classes of G. Then
every family ci of elements ci ∈ Ci is conjugation complete and hence it topologically generate G.
IY ⇒ III. Suppose that IY holds. Let (Ci ) be a family of conjugacy classes of G that invariably and
topologically generate G in the sense that each family ci of elements ci ∈ Ci topologically generate
G. Let S be an arbitrary conjugation complete

subset of G. For each i there is si ∈ S such that

si ∈ Ci . Hence the family (si ) topologically generates G, and this is true all the more so for the set
S.
4



We say that the topological group G is topologically invariably generated (T IG ) if the equivalent
conditions I-IY are satisfied. In case G is discrete conditions I-III are introduced in [Wi76] and in case G
is finite condition IY is introduced in [Di]. We skip the adverb “topologically” in case the topology on G
is discrete and say about invariable generation property IG . Clearly, if G is IG then G is T IG relative
to every group topology on G. The converse is not true – for instance the free group F2 of rank 2 is
T IG relative to profinite topology but it is non non-IG ([Wi77]).
Example 3 If G is an abelian group then the conjugacy classes are just 1-element subsets of G. So the
conjugacy complete sets are those containing G − {1}. Thus every conjugacy complete set generate G.
Hence G has no Wiegold subgroup and G is IG .
Example 4 Consider the extreme case when G contains precisely two conjugacy classes: {1} and
G − {1}. Let us show that G is IG iff G ' Z/2. Clearly, G = Z/2 is IG . Conversely, suppose that G is
IG . Every 1-element set {g} ⊂ (G − {1}) is conjugacy complete, hence G is generated by g and therefore
G is cyclic. It is easily verified that the only cyclic group that has precisely two conjugacy classes is
Z/2. Thus G = Z/2. We conclude that every group G 6= Z/2 with a single non-trivial conjugacy class is
non-IG . It is proved by D.Osin that any countable torsion free group can be embedded into a finitely
generated group with exactly two conjugacy classes [Os10].
These examples suggest, that intuitively the group G is IG if it contains “many conjugacy classes”.
Lemma 5 ([Wi76, Wi77]) i The class IG is closed under extensions.
ii The class IG is closed under restricted direct products with arbitrarily many factors.
iii The class IG not closed under unrestricted direct products and not closed under passage to subgroups.
iv The class IG contains all finite groups and all solvable groups.
In [Wi77] an IG -group is presented, whose commutator subgroup is outside IG . In the present paper
it is shown that SL2 (R) is T IG , whereas it contains a discrete free group F2 , which is not IG .
Slightly modifying Wiegold’s arguments we obtain the following properties of the class T IG .
Lemma 6 The class T IG contains all profinite groups and all topological solvable groups.

Not so many classes of groups are known to be IG or T IG:
1. Virtually solvable groups (including finite groups) are T IG [Wi76].

5

2. The pro-finite completions of all arithmetic groups with the Congruence Subgroup Property are
T IG , see [KLS2].
This list is extended in the present paper by the group SL2 (R) which is shown to be in T IG .
The list of known non-IG groups is lengthy but rather chaotic:
1. Groups with one single non-trivial conjugacy class, except Z/2.
2. The finite index net subgroups in groups SO(Q, Z) where Q is a rational quadratic form of signature
(2, 2), see [GM].
3. SO(3), and, more generally, every nonabelian connected compact Lie group G since every maximal
abelian subgroup is Wiegold , see [Ge].
4. SLn (R) for n > 2, see [KLS2] .
5. Any non-virtually-solvable linear algebraic group over an algebraically closed field, for instance
SLn (C) for n ≥ 2, see [KLS2].
6. Non-elementary convergence groups (including Gromov hyperbolic groups) [Ge].
7. The Thompson groups T and V , see [GGJ].

3

Parabolics and stabilizers as Wiegold subgroups

Let GLn (K) be a general linear group of degree n ≥ 2 over the (topological) field K. Consider the
standard left action GLn (K) y K n of GLn (K) on K n . Let Gr(n, r) denote the Grassmannian of all
r-dimensional linear subspaces of K n . In the next proposition we give various conditions on the field and
the action of a group G on Grassmanian that provide the Wiegold property for certain stabilizers.
Proposition 7 Let G be a subgroup of GLn (K) and let X ⊆ Gr(n, r), n ≥ r > 1 be a G-invariant subset
with more than one element.
1. Suppose that the action G y X is transitive and satisfies fixed-point property FP. Then every
stabilizer GP (P ∈ X) is a Wiegold subgroup in G.
2. In case of algebraically closed K we can drop the fixed-point assumption at the expense of assuming
that X = Gr(n, r). Namely, let K be an algebraically closed field and suppose a subgroup G ≤
GLn (K) acts transitively on Gr(n, r) (1 ≤ r < n). Then for every r-dimensional linear subspace L
of K n the stabilizer GL is Wiegold. In particular GLn (K) and SLn (K) are not IG .

6

3. Suppose a subgroup G ≤ GLn (R) acts transitively on Grassmanian of planes Gr(n, 2) (n ≥ 3). Then
for every plane L of Rn the stabilizer GL is Wiegold. In particular GLn (R), SLn (R), On (R), SOn (R)
are not IG .
Proof. (1) is just a direct consequence of lemma 2 in terms of action of G on Grassmanian.
(2) Indeed, to apply assertion (1) it is sufficiently to check that every g ∈ GLn (K) fixes some rdimensional linear subspace L of K n . This is true for r = 1 since K is algebraically closed and for
arbitrary r an easy induction does the job.
(3) It is well known, via complexification, that every g ∈ GLn (R) fixes subspace of dimension 1 or 2,
see [Ax, p. 279],[KM, Prop.12.16]. Moreover, to each nonreal eigenvalue corresponds an invariant plane.
It follows that if n ≥ 2 then every g ∈ GLn (R) fixes subspace of dimension 2. Then for every plane L of
Rn the stabilizer GL is Wiegold. Thus GLn (R) is not IG

and moreover every subgroup G ≤ GLn (R)

which acts transitively on Gr(n, 2) turns out to be non-IG .



Symplectic groups. The symplectic group Sp2n (F ) is defined as the set of linear transformations
of a 2n-dimensional vector space F 2n over the field F that preserve a non-degenerate, skew-symmetric,
F -bilinear form ω on F 2n . A subspace L of a symplectic vector space is called Lagrangian if L = L⊥ where
L⊥ is an orthogonal complement of L relative to ω. A subspace L is Lagrangian if and only if dim L = n
and L is isotropic i.e. ω|L is identically zero. The set of Lagrangian subspaces of symplectic space
(F 2n , ω) is called the Lagrangian Grassmannian and denoted L(F 2n ). The group Sp2n (F ) acts transitively
on (F 2n ). Indeed by Witt’s theorem (1937) every linear isomorphism f : L → L0 of Lagrangian subspaces
can be extended to a symplectic automorphism of F 2n . Moreover, the following is true:
Theorem 8 ([Du], Theorem 3.4.3) Let (E, ω) be a symplectic vector space over a field k and let A
be a symplectic mapping f : (E, ω) → (E, ω) such that all its eigenvalues are contained in k. Then there
exists an f −invariant Lagrangian subspace L of (E, ω). Moreover, if k is algebraically closed then every
symplectic automorphism fixes some Lagrangian subspace.
It follows that Sp2n (F )L is Wiegold for every Lagrangian subspace L.
Wiegold subgroups over real closed fields. These fields have the same first-order properties as
R. A field K is said to be real if −1 is not a sum of squares in K, see [La, Corollary 9.3, Chapter VI][La].
A field K said to be real closed if it is real, and if any algebraic extension of K which is real must be
equal to K. By a real closure we shall mean a real closed field L which is algebraic over K. Every real
field admits a real closure. If K is real closed then every polynomial of odd degree in K[X] has a root in
√
K and K := K( −1) is the algebraic closure of K.
Proposition 9 Let K be a real closed field. Suppose a subgroup G ≤ GLn (K) acts transitively on
Grassmanian of planes Gr(n, 2) (n ≥ 3). Then for every plane L of K n the stabilizer GL is Wiegold. In
particular GLn (K), SLn (K), On (K), SOn (K) are not IG .
7

√
Proof. We assert that every g ∈ GLn (K)) (n ≥ 2) has invariant plane in column space K( −1)n . If all
eigenvalues of g are real, i.e. belong to K, then g is triangulizable over K and so has an invariant plane.
√
√
n
Now suppose that there is a non-real eigenvalue a + b −1 ∈ K, (a, b ∈ K)b 6= 0. Let w = u + −1v ∈ K
be an eigenvector corresponding to g. Then
gw = gu +

√

√
√
√
−1gv = (a + b −1)(u + −1v) = (au − bv) + −1(av + bu)

(1)

from which it follows that the space Ku + Kv is g-invariant. In fact this space is 2-dimensional. Indeed,
let say u = cv, 0 6= c ∈ K, then substituting u to equation 1 we obtain that c2 = −1 contradicting to
assumption that K is real. To complete the proof we apply now lemma 7 and obtain that the action
G y Gr(n, 2) satisfies F P and is transitive by assumption so GL is Wiegold.



In attempt to generalize proposition 1 to the subspaces of arbitrary dimension r we came to
Lemma 10 Let K be an algebraically closed field of degree d ≥ 2 over its subfield k and suppose that
the extension K|k is separable. Then every g ∈ GLn (k) fixes linear subspace in k n of dimension smaller
than or equal d.
Proof. By Primitive Element Theorem there exists a primitive element ζ ∈ K i.e. K = k(ζ). It follows
from finiteness assumption that ζ is algebraic over k. Then K = k(ζ) = k[ζ], and k(ζ)) is finite over
k [La, Proposition 1.4., Chapter V]. Moreover, the degree d = [k(ζ) : k] is equal to the degree of the
irreducible polynomial p(X) of ζ over k (loc.cit). The proof of [La, Proposition 1.4., Chapter V] shows
that the powers 1, ζ, . . . , ζ d−1 form a basis the space K over k. Let V = K ⊗k k n be an extension of
scalars from k to K. This is an n-dimensional space over K. The action of g ∈ GLn (k) on k n extends
naturally to the action on K ⊗k k n . Since K is algebraically closed there is an eigenvector v ∈ V with
P
P
eigenvalue λ ∈ K. Write uniquely λ = i li ζ i , v = j ζ j ⊗ vj , where li ∈ k, vi ∈ k n . We assert that g
P
fixes the space i kvi (whose dimension is clearly at most r). Since gv = λv we have
gv =

X

X
X
X
ζ j ⊗ gvj = λv = (
li ζ i )(
ζ j ⊗ vj ) =
li ζ i+j ⊗ vj .

j

i

j

i,j

Rewriting ζ i+j as a k-linear combinations of 1, ζ, . . . , ζ r−1 we obtain that
X

li ζ i+j ⊗ vj =

i,j

X

ζ k ⊗ vk0

k

where vk0 are k-linear combinations of vj . It follows from above that gvj = vj0 , and the lemma follows.



Unfortunately, the applicability of the above lemma is very much restricted by the Artin-Schreier
theorem which asserts that if a field K is algebraically closed with k a subfield such that 1 < [K : k] < ∞
then K = k(i) where i2 = −1, and k has characteristic 0 [La, Corollary 9.3, Chapter VI].

8

4

Borel versus Wiegold

The following is a slight variation on the result in [KLS2].
Theorem 11 Let G be a linear algebraic group over an algebraically closed field k and let B be its
Borel subgroup (=maximal connected closed solvable subgroup). 1) If G is not virtually solvable then the
normalizer NG (B) is a Wiegold subgroup of G. 2) If furthermore G is connected then B is itself Wiegold.
Proof. Firstly let us prove that NG (B) is a proper subgroup of G. Suppose to the contrary that
NG (B) = G, i.e. B is normal in G. Note that, being connected, B is contained in the connected
component G0 of G. Since B is normal in G, it also normal in G0 . Note that B is proper in G0 since
otherwise G would be a finite extension of B = G0 , i.e. virtually solvable. Finally by Chevalley result
[Bo2, theorem 11.16] B is self-normalizing in G0 , contradicting the normality of B. Hence NG (B) is a
proper subgroup of G.
By a theorem of Steinberg (see Theorem 7.2 of [St]), every automorphism of G fixes some Borel
subgroup of G. This implies that if g is any element of G, then g −1 B 0 g = B 0 for some Borel subgroup
B 0 of G. Thus the union of the normalizers NG (B 0 ) over the Borel subgroups B 0 of G equals G. Since
the Borel subgroups are all conjugate, it follows that ∪g (NG (B))g = G, thus NG (B) is Wiegold.
2) In this case we make use Grothendiecks Covering Theorem [Co, Theorem 4.11]: Let G be a
connected linear algebraic group over algebraically closed field k and let B ≤ G be a Borel subgroup then
[
G(k) =
g −1 B(k)g
g∈G

.
This immediately implies that B is Wiegold.


2-dimensional case. The standard Borel subgroup B of GL2 (K) is the group of all invertible up
per triangle matrices a0 db . For the Borel subgroup of SL2 (K) we require in addition that ad = 1.
The following exercise provides a supply of Wiegold subgroups in 2-dimensional case, cf. [La, Exercise
23,p.547].
Exercise 12 Let K be a field in which every quadratic polynomial has a root. Let B be the Borel subgroup
of GL2 (K) or of SL2 (K). Show that B is Wiegold.

Solution. We have to show that every matrix A = ac db ∈ GL2 (K) is conjugate to a matrix in

0 1
X
B. If b = 0 we conjugate A by −1
by the matrix X = ( x1 10 ) gives
0 . If b 6= 0 the conjugation A
(AX )2,1 = bx2 + (d − a)x − c which can be made zero by assumption. We conclude that B is a Wiegold
subgroup (and so GL2 (K) is not IG ).
An example of countable K satisfying condition of the above exercise is the ”quadratic closure” of Q
in C. How many such fields are there?
9

5

Compact Lie groups and their generalizations

As we mentioned above every nonabelian connected compact Lie group is not IG . Here we generalize
this remark to definably compact groups according to [Be].
We consider groups definable in an o-minimal expansion M = (R, <, +, . . .) of a real closed field
(R, <, +, . . .). Classical examples of such groups are the (real) algebraic subgroups of the general linear
group GLn (R), for instance the orthogonal group SOn (R). Less classical examples of definable groups
can be found in [PS] or in [Str].
Theorem 13 If G is a nonabelian definably connected definably compact group in an o-minimal expansion
R of a real closed field R, then for any maximal definable abelian subgroup T of G, G is the union of the
conjugates of T i.e. T is Wiegold subgroup in G. In particular, G is not IG .
This is immediately follows from the main result of [Be].

SL2 (R) is T IG

6

Theorem 14 The group SL2 (R) satisfies the topological invariable generation property relative to Euclidean topology.
Structure of the proof: The theorem will immediately follow from the key lemma 19 in which we prove
that if a closed subgroup G of SL2 (R) is conjugation complete then G = SL2 (R). To prove this lemma we
calculate the eigen-spectrum of SL2 (R) in section 6.1, relying on the description of conjugacy classes of
SL2 (R) given in [Co]. Then we describe the 1-parameter subgroups of SL2 (R) in section 6.2. In section 6.3
we describe spectra of 1-dimensional closed subgroups of SL2 (R) and show that their spectra are (much)
smaller than that of SL2 (R). In section 6.4 we do the same in case of 2-dimensional subgroups. In section
6.5 we prove the main lemma and theorem 14.

6.1

Conjugacy classes in SL2 (R)

Following to [Co] we remark that the conjugacy in SL2 (R) should not be confused with conjugacy in the
larger group GL2 (R).
Theorem 15 ([Co]) Let g ∈ SL2 (R).
1. If (Trg)2 > 4 then g is conjugate to a unique matrix of the form


λ
0


0 1/λ
with |λ| > 1.
10

2. If (Trg)2 = 4 then g is conjugate to exactly one of

1
± I2 , ± 
0

1
1





,±

−1
0

1



.
−1

(2)

3. If (Trg)2 < 4 then g is conjugate to a unique matrix of the form


cos θ − sin θ


sin θ cos θ
other than ±I2 .
For a set of (complex) matrices M let Sp(M ) to denote the eigenvalue spectrum of M , i.e. the set
of all eigenvalues of all matrices in M (counting without multiplicity). The following is an immediate
consequence of the above result.
Corollary 16 Sp (SL2 (R)) = R× ∪ S, where R× = R − {0} and S = {z ∈ C : |z| = 1}.

6.2

One-parameter subgroups of SL2 (R)

Recall that a one-parameter subgroup in GLn (R) is a homomorphism R → GLn (R) and it is necessarily of
the form f (t) = eAt where A is the matrix f 0 (0). We describe here the conjugacy classes of one-parameter
subgroups in SL2 (R). For that we need to know the orbits of SL2 (R)-action on its Lie algebra. We set
b : a, b, c ∈ R}
sl2 (R) = {X ∈ M2 (R) | TrX = 0} = { ac −a
b ) ∈ sl (R)
to denote the Lie algebra of the Lie group SL2 (R). For a nonzero 2 × 2 real matrix X = ( ac −a
2

there are three cases:
1) X has nonzero real eigenvalues ±t.
0
Then X is conjugate by some g ∈ GL2 (R) to diagonal matrix ( 0t −t
.) To see that X is also conjugate


−1
t 0
det(g)
0
to ( 0 −t ) by the smaller group SL2 (R) we replace g by
g.
0
1
0
0
Matrices of the form ( 0t −t
) constitute a 1-dimensional Lie subalgebra a = R( 10 −1
) of sl2 (R) called

the split Cartan subalgebra. Exponentiating elements of a we obtain the split Cartan subgroup



 et

0
:t∈R ,
A= 
 0 e−t

which is a 1-parameter subgroup of SL2 (R) corresponding to subalgebra a.
2) X has zero eigenvalue of multiplicity 2.
Then X is conjugate by some g ∈ GL2 (R) to nilpotent matrix of the form ( 00 d0 ), 0 6= d ∈ R. Again we


−1
0 .
can make g to be in SL2 (R) replacing g by matrix det(g)
0
1
11

Matrices of the form ( 00 0t ) constitute a 1-dimensional Lie subalgebra n = R( 00 10 ) of sl2 (R) called
nilpotent subalgebra n. Exponentiating elements of n we obtain the unipotent subgroup


1 R

U =
0 1
which is a 1-parameter subgroup of SL2 (R) corresponding to subalgebra n.
3) X has nonzero purely imaginary conjugate eigenvalues ±θi (θ > 0).
√
This happens if and only if a2 + bc < 0 and then easy calculation shows that θ = −a2 − bc. We

0 1
claim that X is conjugate to θ −1
by a matrix from SL2 (R). There are real linearly independent
0
column vectors u, v such that X(u + iv) = θi(u + iv) = θ(−v + iu) = Xu + iXv, from what we obtain
Xu = −θv, Xv = θu. It follows that a 2-by-2 matrix (u, v) ∈ M2 (R) with columns u, v is invertible. We

0 1
have X(u, v) = (Xu, Xv) = θ(−v, b) = θ(u, v) −1
0 .
It follows that


(u, v)−1 X(u, v) = 

0
−1


1
.
0

(3)

We wish to modify g = (u, v) so that it became unimodular. For this purpose we first multiply g by
p

−1

|g|

– then 6.2 remains true; so we may as well assume det(u, v) = ±1. If det(u, v) = −1 then we

0
.
replace g by g 10 −1
0 t
0 t
Matrices of the form ( −t
0 ) constitute a 1-dimensional Lie subalgebra k = R( −t 0 ) of sl2 (R) called

non-split Cartan subalgebra. Exponentiating elements of k we obtain a 1-parameter subgroup K = SO2 (R)
of rotations called the non-split Cartan subgroup:



 cos t sin t

:t∈R .
K= 
 − sin t cos t

Clearly SO2 (R) is a compact subgroup of SL2 (R). In fact, it is a maximal closed subgroup of SL2 (R)
[Gl, Ch.VI, section 1].

6.3

One-dimensional Lie subgroups of SL2 (R) and their spectra

Lemma 17 The eigen-spectrum of every closed 1-dimensional subgroup in SL2 (R) is a proper subset in
Sp(SL2 (R)).
Proof.
Suppose that G is a Lie subgroup of SL2 (R) such that its component G0 is 1-dimensional, so is a
1-parameter subgroup of one of the above types A, U, K.

12

1) In case G0 = A we have
A = G0 E G E N (A),
0 1
where N (A) is the normalizer of A in SL2 (R) and w = ( −1
0 ) is the Weyl element. By Bruhat

decomposition N (A) = A ∪ wA, see [La, p.539]. We conclude that
Sp (G) ≤ Sp (N (A)) = Sp(A) ∪ Sp(wA).
Note that (surprisingly but luckily) Sp(wA) equals



−t
 0

e
 , t ∈ R = {±i}
Sp 
 −et

0
and indeed Sp(G) = R0 ∪ {i} is a proper subset of Sp(SL2 (R)).
2) If G0 = U is unipotent, then as easy to see N (U ) = B, where B =

n t
± e0

s

e

−t

o
; t, s ∈ R . Hence

G0 E G E N (U ) = B and clearly Sp (G) ≤ Sp (B) = R0 .
3) Finally, in case G0 = K we have N (K) = K [Gl, Ch.VI, sec. 1] hence Sp (G) ≤ Sp (K) = S.


6.4

2-dimensional Lie subgroups of SL2 (R) and their spectra

Two-dimensional Lie algebra over R is either abelian or solvable. Furthermore a solvable Lie algebra s2
has generators e, f and defining relation [ef ] = e, see [Ja]. Using the above classification of 1-dimensional
subalgebras it is easy to conclude that there no two-dimensional abelian subalgebras in sl2 (R). On the
other hand there is only one (up to conjugacy) subalgebra isomorphic to s2 , namely the Borel subalgebra


o
n t s
 ; t, s ∈ R .
b= 
0 −t
The (connected) component B 0 of the Borel subgroup
 




et
s
 ; t, s ∈ R .
B = ±


0 e−t
has b as its Lie algebra. It follows that B 0 is the only (up to conjugacy) 2-dimensional connected subgroup
of SL2 (R). We conclude with
Lemma 18 Let G be a Lie subgroup of SL2 (R) such that its component G0 is a component B 0 of the
Borel subgroup B. Then G ≤ B and Sp (G) = R0 .

13

6.5

Main lemma and theorem 14

Lemma 19 If a closed subgroup G of SL2 (R) is conjugation complete then G = SL2 (R).
Proof. Suppose, on the contrary, that there exists a proper closed and conjugacy complete subgroup G
in SL2 (R). It follows from conjugation completeness that Sp(G) = Sp(SL2 (R)).
By Cartan’s theorem any closed subgroup of GLn (R) is a Lie group. (A short elegant proof can be
found in [Ad], pages 17-19). Hence G is a Lie subgroup of SL2 (R). The connected component G0 of G is
a proper closed normal Lie subgroup of G. Since G is a proper subgroup of 3-dimensional connected Lie
group SL2 (R), we conclude that dim G0 = 0, 1 or 2.
If dim G0 = 0 then G is at most countable discrete subgroup of SL2 (R) and thus its spectrum is at
most countable, so Sp (G) is properly contained in R× ∪ S = Sp (SL2 (R)). Contradiction.
If dim G0 = 1 then G0 is a 1-parameter subgroup of SL2 (R) and by lemma 17 the eigen-spectrum of
G is a proper subset in Sp(SL2 (R)). Contradiction.
Finally if dim G0 = 2 then G0 is the connected component of the Borel subgroup and by lemma 18
the eigen-spectrum of G is a proper subset in Sp(SL2 (R)). Contradiction.
The lemma and thereby theorem 14 are proved.

7



Aut(T ) is T IG

A (simplicial) graph Γ consists of a set of vertices V and a family E of edges which are 2-element subsets
of V . A (simple) path from vertex x to vertex y is a sequence of vertices πx = x0 , x1 , . . . , . . . , xn = y such
that every subset xi , xi+1 is an edge and every two subsequent edges are distinct. The number n ≥ 0 is
the length of π. Define the distance d(x, y) between vertices x and y to be the minimum of the lengths of
simple paths joining them. A loop is a path of positive length such that x0 = xn . A tree is a (simplicial)
graph without loops. The valence or degree of a vertex in a tree T is the number of edges that contain
it. A regular m-tree is a tree where every vertex has fixed valence m. Consider the group Aut(T ) of
automorphisms (=isometries) of T , equipped with the standard pointwise convergence topology. then
Aut(T ) turns into a totally disconnected, locally compact, unimodular topological group. In this section
we prove the following theorem:
Theorem 20 The automorphism group Aut(T ) of an m-regular tree is T IG for every m ≥ 2.

7.1

Elements classification

Let us begin by classifying a single automorphism g of a m-regular tree T . According to [Ti] there are
three disjoint cases to consider:

14

• g is elliptic, i.e. g has a fixed point in V (T ),
• g is inversion, i.e. there is an edge which is flipped by g,
• g is hyperbolic with an axis Ag ; that is to say Ag is a subtree with all vertices of degree 2 and g acts
on Ag by translation by a positive amount |g|. The number |g| is called the translation length of G.
We will denote by E , I , H the classes of elliptics, inversions and hyperbolics, respectively. It is easy
to see that they are all nonempty and pairwise disjoint. Moreover each of these classes is invariant
under conjugation. A useful remark is that conjugation transfers the minimal displacement set, i.e. if
g, h ∈ Aut(T ) and h is hyperbolic with axis Ah then Ag−1 hg = g.Ah . If h is elliptic fixing v ∈ V (T ) then
g −1 hg fixes g.v, and if h is an inversion flipping the edge e ∈ E(T ) then g −1 hg flips g.e.

7.2

The local action by permutation

We denote the pointwise stabilizer in Aut(T ) of a subset M ⊂ T by StabAut(T ) (M ), or simply by Stab(M ).
When v ∈ V (T ), we may simply write Stab(v) to mean Stab({v}). When K ≤ Aut(T ) is a subgroup,
we denote by StabK (M ) the stabilizer of M inside K. For a vertex v ∈ V (T ) and n ≥ 0 we denote by
B(v, n), S(v, n) ⊂ T the ball and the sphere of radius n about v in T respectively.
Let T be a regular tree. Following Burger and Mozes (see [BM]), in order to be able to talk about the
action of Aut(T ) locally, we present the following maps, that take elements in Aut(T ) to permutations
in the groups Sd and Sd−1 , representing the local action of an element g on a given set of vertices
that is preserved by g. Fix a legal coloring c of the edges of T by d colors, that is, c is a function
c : E(T ) → {1, . . . , d} satisfying the condition that for every vertex v ∈ T the colors of the edges adjacent
to v are distinct. For every i ∈ {1 . . . d} fix an isomorphism ψi between the subgroup StabSd (i) ≤ Sd and
the group Sd−1 .
Let n = 1 and let v ∈ V (T ) be any vertex. We define ϕv,1 to be the homomorphism ϕv,1 : Stab(v) → Sd
sending an element g ∈ Stab(v) to the permutation it induces on the colors of the d edges adjacent to v.
Observe that ϕv,1 is onto, and that ker(ϕv,1 ) = Stab(B(v, 1)).
For n > 1, v ∈ V (T ) and u ∈ S(v, n − 1) we define ϕv,n,u : Stab(B(v, n − 1)) → Sd to be the
homomorphism sending g to the permutation it induces on the colors of the edges adjacent to u. Let
e be the edge connecting u to the sphere S(v, n − 2) and let i = c(e). Since e is stabilized by any g ∈
Stab(B(v, n − 1)), the image of ϕv,n,u is the subgroup StabSd (i) ≤ Sd . Composing with the isomorphism
ψi : StabSd (i) → Sd−1 , we can think of ϕv,n,u as a surjective map ϕv,n,u : Stab(B(v, n − 1)) → Sd−1 .
Q
Let ϕv,n : Stab(B(v, n − 1)) → S(v,n−1) Sd−1 be the map g 7→ (ϕv,n,u (g))u∈S(v,n−1) . Observe that
ϕv,n is onto, and that ker(ϕv,n ) = Stab(B(v, n)).

15

7.3

Conjugacy classes in Aut(T )

Let T be a d-regular tree. We follow [GNS] for the description of the conjugacy classes of Aut(T ). For
g ∈ Aut(T ) we define the orbital type of g to be the marked graph of orbits. That is: the orbits space
hgi\T together with a function on the vertices m : V (hgi\T ) → N∪{∞} giving to any orbit its cardinality.
For elliptic elements and inversions, the orbital type is always a marked tree. Two such orbital types are
called equivalent if they are isomorphic as marked trees.
Any automorphisms conjugate to an elliptic element (inversion, hyperbolic) is clearly elliptic (resp.
inversion, hyperbolic) as well. Therefore, conjugacy classes in Aut(T ) can be described separately in each
of these cases.
Lemma 21 Elliptic elements g, g 0 ∈ Aut(T ) are conjugate to each other iff their orbital types are equivalent;
Inversions i, i0 ∈ Aut(T ) are conjugate to each other iff their orbital types are equivalent;
Hyperbolic elements h, h0 ∈ Aut(T ) are conjugate to each other iff they have equal translation length
|h| = |h0 |.
For the full proof of this lemma see [GNS].
7.3.1

Elements of type (n, P)

A partition P is called non-trivial if it contains a set of size larger than 1. Let n = 1 and let P =
{P1 , . . . , Pk } be a non-trivial partition of {1, . . . , d}. We say an elliptic element g ∈ Aut(T ) has type
(1, P) about v ∈ V (T ) if g stabilizes v, and acts on the neighbors {u1 , . . . , ud } of v with orbits sizes
correspond to the partition P.
Let n > 1 and let P = {P1 , . . . , Pk } be a non-trivial partition of {1, . . . , d − 1}. We say an elliptic
element g ∈ Aut(T ) has type (n, P) about v ∈ V (T ) if g stabilizes v, and there exits a vertex u ∈ S(v, n−1)
with neighbors {u1 , . . . , ud−1 } ∈ S(v, n) such that:
• g stabilizes (pointwise) all vertices in B(v, n)\{u1 , . . . , ud−1 }
• g acts on {u1 , . . . , ud−1 } with orbits sizes correspond to the partition P.
An elliptic element g ∈ Aut(T ) is said to be of type (n, P) if it is of type (n, P) about v for some
vertex v ∈ V (T ).
In particular, being of type (n, P) is determined by the existence of a radius-n marked ball in the orbital
type, suitable for n and P. Therefore if type(g) = (n, P) and g, g 0 are conjugate, then type(g 0 ) = (n, P).
Notice further that for any choice of n ≥ 1 and a partition P of {1, . . . , d} (if n = 1) or {1, . . . d − 1} (if
n > 1) there exists an elliptic element g ∈ Aut(T ) of type (n, P).

16

Figure 1: (1, {1, 2, 2})-type element (left); (2, {1, 3})-type element (right)
We will denote by P1 , Pn the automorphisms of type (1, P) for any non-trivial partition P of
{1, . . . , d}, and, respectively, the automorphisms of type (n, P) for any n > 1 and any non-trivial partition
P of {1, . . . , d − 1}.
7.3.2

Spherically-transitive elements

Let s ∈ Aut(T ) be an elliptic element stabilizing a vertex v ∈ V (T ) and assume that the action of hsi
is transitive on all spheres about v. We call such an element v-spherically transitive. An elliptic element
s ∈ Aut(T ) is called spherically transitive if it is v-spherically transitive for some v.
For any v ∈ V (T ) there exists a v-spherically transitive element in Aut(T ). If s is v-spherically
transitive, it follows that the orbital type of s is an infinite ray (x0 , x1 , x2 , . . . ) with marks f (x0 ) = 1,
f (xn ) = d(d − 1)n−1 , n ≥ 1 (that is, the size of the nth -sphere about v). Hence, all spherically transitive
elements in Aut(T ) are conjugate. We will denote by T the set of all spherically transitive automorphisms
of T .
Corollary 22 The sets T , H , P1 , Pn , n ≥ 2 are pairwise disjoint and are invariant under conjugation
in Aut(T ). Let H ≤ Aut(T ) be a conjugation complete subgroup, then H meets each of the following sets
T , H , P1 , Pn . Moreover, H ∩ H contains at least one hyperbolic automorphism of displacement length
1.

7.4

A set of generators for Aut(T )

Lemma 23 Let h be a hyperbolic element of length |h| = 1 and let s be a spherically transitive element.
Then hh, si acts transitively on the vertices of T .
Proof. Let v ∈ V (T ) be a vertex such that s is v-spherically transitive. Denote by Ah the axis stabilized
2

by h, and let d = d(v, Ah ). The elements sh , sh are both spherically transitive. Let v1 , v2 ∈ V (T ) be
2

the fixed points of sh , sh respectively. Notice that v1 = h.v, v2 = h2 .v, hence d(v, v2 ) = 2d + 2 and

17

Figure 2: Vertex transitivity via spherical one.
d(v1 , v2 ) = 2d + 1. Denote by u the neighbor of v having d(u, v2 ) = 2d + 1, then since both u, v1 are of
2

same distance from v2 , there exists a power n such that (sh )n .v1 = u. Denote by s0 the conjugation of
2

s by (sh )n .
It follows that s0 ∈ hs, hi is u-spherically transitive. Let e = (v, u) and denote by Tv , Tu the connected
components in T \{e} of v, u respectively. Next, we show that hs, s0 , hi = hh, si acts transitively on the
vertices of T . Let x ∈ V (T ), it is enough to show that ∃g ∈ hs, s0 , hi such that g.v = x. Denote by
dx = d(x, v). Without loss of generality, can assume that dx is even, otherwise replace x by h.x. We
construct by induction a sequence {gn }n≥0 ∈ hs, hi such that gn .v ∈ Tv and d(v, gn .v) = 2n, see Figure
2. Clearly we need g0 = e. Given gn−1 , observe that d(u, gn−1 .v) = 2n − 1. Use u-sphere transitivity
of s0 to get a power m such that (s0 )m gn−1 .v is in Tu . Since d(u, (s0 )m gn−1 .v) = 2n − 1, we have that
d(v, (s0 )m gn−1 .v) = 2n. Now use v-sphere transitivity of s to get a power k such that sk (s0 )m gn−1 .v is
again in Tv . Notice sk didn’t change the distance of (s0 )m gn−1 .v from v, so we have d(v, sk (s0 )m gn−1 .v) =
2n. Set gn = sk (s0 )m gn−1 . In order to get g.v = x, choose n such that d(v, gn .v) = d(v, x), and use
v-sphere transitivity of s to find a power l such that sl gn .v = x.



Lemma 24 Let v ∈ V (T ) and let K ≤ Stab(v) be a closed subgroup. Suppose that K contains an
element gn,P of type (n, P) about v for every pair (n, P) ∈ {1} × {partitions of {1, . . . d − 1}} ∪ N>1 ×
{partitions of {1, . . . d}}. Then K = Stab(v).
Proof. Let k ∈ Stab(v), we use the fact that the finite permutation group Sd is IG

in order to

construct by induction a sequence kn ∈ H converging to k. Since K is closed, the result will follow. As
S
T = n B(v, n), it is enough to show that for all n kn B(v,n) = k B(v,n) .
Let n = 1, and denote by {v1 , . . . vd } the elements in S(v, 1) (that is, neighbors of v). Since K contains
g1,P for all partitions P of {1, . . . , d}, the subgroup Γ ≤ Sym{v1 , . . . vd } = Sd which is the image of K
under the map ϕv,1 is conjugation complete. As the permutations group Sd is finite, it is in particular
IG , therefore Γ = Sd , so K contains an element acting like k on S(v, 1). Take k1 to be this element.

18

Let n > 1. By induction hypothesis kn−1 ∈ K has that kn−1 B(v,n−1) = k B(v,n−1) .
Enumerate the vertices on the sphere S(v, n − 1) by u1 , . . . um (m = |S(v, n − 1)|). Recall that
each element gn,P of type (n, P) about v in K, stabilizes the entire sphere S(v, n) except the neighbors
{uj1 , . . . , ujd−1 } of some uj ∈ S(v, n − 1). Conjugating by powers of s, which is v-spherically transitive,
j
j
we can get elements gn,P
∈ K (j = 1, . . . m) such that gn,P
is of type (n, P), it stabilizes the entire

sphere S(v, n) except the neighbors of uj , and its orbits among the neighbors of uj have sizes according
j
to P. Let uj ∈ S(v, n − 1), since K contains an element gn,P
for every partition P of {1, . . . , d − 1},

we have that the subgroup Γ ≤ Sd−1 which is the image of K under the map ϕv,n,uj is conjugation
complete. Again, as the permutation group Sd−1 is finite, it is IG and therefore Γ = Sd−1 . In particular,
we can find {gj }j=1...m in K such that g j stabilizes the entire ball B(v, n) except the neighbors of uj ,
and g j {uj ...uj
1

d−1 }

−1
= kn−1
k {uj ...uj
1

d−1 }

. Observe that {g j } pairwise commute. Define kn be the product

kn = kn−1 g 1 g 2 . . . g m , then kn B(v,n) = k B(v,n) .

7.5



Proof of theorem 20

We prove the following rephrasement of theorem 20, based on lemma 23 and lemma 24
Theorem 25 Every closed conjugation complete

subgroup H of the automorphism group Aut(T ) of an

m-regular tree T , (m ≥ 2), coincides with Aut(T ).
Proof. Suppose the assertion of the theorem is false and let H < Aut(T ) be a closed Wiegold subgroup.
By corollary 22, H contains at least one hyperbolic element h of translation length |h| = 1, and at least
one elliptic element s which is v-spherically transitive element for a vertex v ∈ V (T ). Therefore by lemma
23 H is vertex-transitive. Using again corollary 22, we conclude that H contains elliptic elements gn,P of
all possible types (n, P). Using the transitivity of H, we can conjugate each element gn,P in H such that
it becomes of type (n, P) about v. We will denote StabH (v) ≤ StabAut (T )(v) briefly by K. The subgroup
K is closed, since it is equal to the intersection H ∩ StabAut(T ) (v). Hence K satisfies the assumptions of
lemma 24 and therefore K = StabAut(T ) (v). We have got that H is vertex transitive and contains the
full vertex-stabilizer group StabAut(T ) (v). It follows that H = Aut(T ).

8
8.1



Uncountably many countable non-IG -groups
Laws in groups

±1
A non-empty word w = w (x1 , . . . , xn ) (= string of symbols in alphabet x±1
1 , . . . , xn ) is reduced if it

does not contain adjacent symbols of the form xεi x−ε
i , ε = ±1. A non-empty word w = w (x1 , . . . , xn )
is reduced on the tuple of elements (g1 , . . . , gn ) of a group G if w is reduced and every word of the form

19

xm
i does not occur as a subword in w when |m| ≥ |gi |, where |gi | denotes the order of gi ( we of course
assume that |gi | = ∞ when giZ is infinite cyclic). A tuple of elements (g1 , . . . , gn ) of a group G is free
if the group hg1 , . . . , gn i generated by them is a free product of cyclics giZ , i.e. the group hg1 , . . . , gn i,
generated by g1 , . . . , gn , is isomorphic to the free product g1Z ∗ · · · ∗ gnZ under the natural homomorphism
from g1Z ∗ · · · ∗ gnZ to hg1 , . . . , gn i. A word w is said to be a law in a group G if w becomes trivial whatever
values the arguments xi are assigned from G; i.e. w (g1 , . . . , gn ) = 1 for all gi ∈ G.
The proof of the following lemma is routine and is left to the reader.

±1
Lemma 26 A tuple (g1 , . . . , gn ) over a group G is free iff every non-empty word w x±1
1 , . . . , xn , which
is reduced over the tuple (g1 , . . . , gn ), does not vanish on (g1 , . . . , gn ), i.e. w (g1 , . . . , gn ) 6= e. In other
words a tuple (g1 , . . . , gn ) is free iff there are no of non-trivial relations between the elements g1 , . . . , gn .
More generally, consider a free product G[x] = G ∗ xZ of G and the infinite cyclic group xZ . An
element w ∈ G[x] will be called a monomial in variable x over the group G. In case w 6∈ G we say that w is
non-constant. A monomial w induces a map w : G → G, where w(g) is the image of w under the natural
group homomorphism
G[x] → G,
taking x to g and fixing G pointwise.

The subset V (w) = {(g∈ G : w(g) = 1} is called the prin-

cipal algebraic set of G corresponding to w. Every monomial w ∈ G[x] can be written as a word
w = a0 xl1 a1 xl2 · · · am−1 xlm am with ai -s in G. We say that this word expression is reduced over G if
it does not contain a subword x±1 ax∓1 with a in the center of G. If a is central then replacing x±1 ax∓1
by a does not change the principal algebraic set V (w). After finitely many such replacements any word w
can be brought to reduced form (which, of course, could occur to be empty or constant). A (non-empty)
reduced non-constant word w (x) = a0 xl1 a1 xl2 · · · am−1 xlm am over G is said to be a generalized law in a
group G if w becomes trivial whatever values the arguments x are assigned from G; i.e. w (g) = 1 for all
g ∈ G.
The following is the simplified version of the result by Mikhalev and Golubchik, showing that there
is no generalized law in GLm (K) , (m ≥ 2) in case of infinite field K.
Theorem 27 ([GM]) Let K be an infinite field and w (x) = g0 xi0 g1 xi1 · · · gm xim gm+1 be a monomial
over the group GLm (K) , (m ≥ 2). If g1 , . . . , gm are all non-central in GLm (K) then the principal algebraic set V (w) = {g ∈ GLm (K) : w (g) = 1} is a proper subset of GLm (K).
The same result (with the same proof) is true for the groups SLm (K) and PSLm (K).

20

8.2

Rational points

As in [Bo1] we identify implicitly an algebraic group G with the group G (Ω) of its points in a ”universal
domain” Ω, i.e. an algebraically closed extension of infinite transcendence degree over a prime field
(recall that the prime field is either the rational number field Q, or a finite field of prime order Fp ).
Assume now that G is defined over a field K of infinite transcendence degree over a prime field k.
We shall need the following lemma which guaranties that, under some natural conditions, given a family
of proper algebraic subsets Vi (i ∈ N) of G, the set of K-rational points outside of a countable union
∪Vi (i ∈ N) is nonempty. (This is kind of an algebraic analog of Baire category theorem).
Lemma 28 ([Bo1], §2,Lemma 2) Let K be a field of infinite transcendence degree over a prime field.
Let X be an irreducible unirational K-variety. Let L be a finitely generated subfield of K containing a
field of definition of X, and Vi (i ∈ N) a family of proper algebraic subsets of X defined over an algebraic
closure L of L. Then X (K) is not contained in the union of the Vi (i ∈ N).

8.3

Building up free tuples

Lemma 29 (main) Let K be a field of infinite transcendence degree over a prime field k. Let C1 , . . . , Cn
be non-trivial distinct conjugacy classes in the group G = PSLm (K) , where n, m ≥ 2. Suppose that
c1 ∈ C1 , . . . , cn−1 ∈ Cn−1 are such that (c1 , . . . , cn−1 ) is a free tuple. Then there is a representative
cn ∈ Cn such that the tuple (c1 , . . . , cn ) is free.
Proof.

Suppose that c1 , . . . , cn−1 are given and we have to construct cn . Fix some c ∈ Cn . We

seek g ∈ PSLm (K) such that the n-tuple (c1 , . . . , cn ) is free with cn = g −1 cg. We will first find out g
in a larger group G (Ω) = PSLm (Ω) and then apply Borel’s lemma. Let W be the set of all non-empty
words w (x1 , . . . , xn ) which are reduced on the tuple (c1 , . . . , cn−1 , c). Thus W = {w = w (x1 , . . . , xn ) :
m
w is reduced, xm
i does not occur in w when |m| ≥ |ci | and xn does not occur in w when |m| ≥ |c| }.

Let w = w (x1 , . . . , xn ) ∈ W . The replacement x1 7→ c1 , . . . , xn−1 →
7 cn−1 , xn 7→ x−1 cx gives rise

to the monomial w c1 , . . . , cn−1 , x−1 cx over G in variable x, which is not necessarily reduced over G.
−1
Indeed, for every maximal occurrence of xm
cx contains a
n in w the result of substitution xn 7→ x


m
m
monomial x−1 cx
which is clearly not reduced. The replacement x−1 cx
by x−1 cm x is a non-empty

monomial w c1 , . . . , cn−1 , x−1 cx red with variable x over G and this monomial reduced over G. The set

G(w)


g ∈ G (Ω) : w c1 , . . . , cn−1 , g −1 cg = 1


=
g ∈ G (Ω) : w c1 , . . . , cn−1 , g −1 cg red = 1
=



(4)
(5)


is an algebraic subset of G (Ω) given by w c1 , . . . , cn−1 , x−1 cx red = 1. It is defined over the field L =
k (c1 , . . . , cn−1 , c) which is finitely generated over the prime subfield k and contains the field of definition
21

k of G. The irreducible components G (w)1 , . . . , G (w)nw of G (w) are defined over the separable closure

Ls [Bo1, §12.3]. Each G (w) is a proper subset of G (Ω) since otherwise w c1 , . . . , cn−1 , x−1 cx red = 1 is
a non-empty generalized law on G = PSLm (Ω), which contradicts Theorem 27. The family of algebraic
subsets {G (w)i : w ∈ W } is countable. Finally, the group G, being reductive, is unirational over k [Bo2,
section 18.2]. All above means that we can apply Borel’s lemma 28 with X = G, L = k (c1 , . . . , cn−1 , c)
and (Vi ) the family of all irreducible components of all G (w) , w ∈ W .
We conclude that G (K) is not contained in the union ∪w∈W G (w). The complement
G (Ω) − ∪ G(w)
w∈W

(6)


consists of g ∈ G (Ω) such that the n-tuple c1 , . . . , cn−1 , g −1 cg is free. Hence G (K) contains a point g

outside of union ∪w∈W G (w), so the corresponding tuple c1 , . . . , cn−1 , g −1 cg is free and K-rational. 

8.4

When is PSLm (K) an IG ?

Theorem 30 If a field K is a countable and has infinite transcendence degree over the prime field, then
the group PSLm (K) is not IG for m ≥ 2.
Proof. The group G = PSLm (K) is countable. Then G − {e} = ∪Ci , (i ∈ N) , where Ci are all nontrivial distinct conjugacy classes. Inductively applying Lemma 29, we find out representatives ci so that

the subgroup hci : i ∈ Ni is isomorphic to the free product C = ∗ cZ
i : i ∈ N . By construction, C meets
all conjugacy classes and is non-trivial. The set S = {ci } is conjugacy complete. Moreover, hci : i ∈ Ni is
Q
N
a proper subgroup of G because its abelianization is C ab = i (Z/ |ci |) (where |ci | = 0 if ci is of infinite
order ) is non-trivial whereas G is a perfect group, even simple.



Theorem 31 There are uncountably many isomorphism types of non-IG groups of the form PSLm (K),
where m ≥ 2 and K is a countable field of infinite transcendence degree over Q.
Proof. Let P denote the set of all primes in N and let R ⊆ P be any subset. Consider the fields Q

√ 
R

generated by square roots of all the primes in R. Each of these fields is countable, and it’s not too hard to
√ 
see that they are pairwise non-isomorphic. Now adjoin to each Q
R countably many indeterminates
√

X = {Xi : i ∈ N} , i.e. consider the field of rational functions Q
R, X in indeterminates X. The fields
√

Q
R, X are all countable, pairwise non-isomorphic and have infinite transcendence degree over the
prime field Q.
By the result of Schreier and van der Waerden [SW] the groups PSLm (K) , PSLm0 (K 0 ) , (m, m0 ≥ 2)
can be isomorphic only when m = m0 , excluding the case of PSL2 (F7 ) ' PSL3 (F2 ). Furthermore,
if m = m0 > 2, the isomorphism is possible only when the fields K, K 0 are isomorphic. The same

22

is true when m = m0 = 2 , excluding the case {K, K 0 } = {F4 , F5 }. We conclude that the groups

 √
R, X ,m ≥ 2, R ⊆ P , are pairwise non-isomorphic.
PSLm Q
Similar construction can be carried over when the prime field is finite.

9



Open problems

There are several open problems, concerning IG .
1. Conjecture: A real semi-simple Lie group G is T IG when it is of rank 1 and G is not T IG otherwise.
2. : Is an infinite compact group T IG if and only if it is connected abelian by profinite [KLS2]?
3. : Is SLn (Z), (n ≥ 3) IG [KLS2]?
4. : Is SLn (Q), (n ≥ 2) IG [KLS2]?
5. : Is SL2 (R) IG (T.Gelander)?
6. : Is every IG -linear group virtually solvable [KLS2]?
7. Is a finite index subgroup of an IG group necessarily IG (Wiegold)?
8. “I think it is worth noting that every group outside IG that I know satisfies no non-trivial law,
and it would be nice to have an example with a non-trivial law. For example, can a Tarski like
group of finite exponent be outside IG ?” [Wi77].

References
[Ad] J.F. Adams. Lectures on Lie groups. Benjamin, 1969. Also available as Midway reprint, University
of Chicago, 1982.
[Ax] Sheldon Axler, Linear Algebra Done Right, Springer, 2015.
[Be]

A.Berarducci, Zero-Groups And Maximal Tori, Logic Colloquium 2004, Lecture Notes in Logic 29,
pages 33–47, Edited By A. Andretta, K.Kearnes, and D. Zambella, Cambridge University Press
City: Year: 2008.

[BM] Mark Burger and Shahar Mozes, Groups acting on trees: from local to global structure, Publications
mathematiques de l’I.H.E.S, tome 92 (2000), p.113-150.
[Bo1] Borel A., On free subgroups of semisimple groups, Enseign. Math. (2) 29 (1983), 151–164.

23

[Bo2] Borel, Armand (1991) [1969], Linear algebraic groups, Graduate Texts in Mathematics, 126 (2nd
ed.), Berlin, New York: Springer-Verlag.
[Ch] N. Chebotarev, Die Bestimmung der Dichtigkeit einer Menge von Primzahlen, welche zu einer
gegebenen Substitutionsklasse gehören, Math. Ann. 95, 1926, 191 228.
[Co] Keith

Conrad,

Decomposing

SL2 (R),

http://www.math.uconn.edu/kconrad/blurbs/

grouptheory/SL(2,R).pdf.
[Co] Brian Conrad, Reductive groups over fields (version of august 11, 2017), Lectures by Brian Conrad,
notes by Tony Feng, http://math.stanford.edu/~conrad/249BW16Page/handouts/249B_2016.
pdf.
[Di]

J.D. Dixon, Random sets which invariably generate the symmetric group, Discrete Math. 105 (1992)
25–39.

[Du] J. J. Duistermaat, Fourier integral operators, Modern Birkhäuser Classics, Birkhäuser/Springer,
New York, 1996.
[Ge] T. Gelander, Convergence groups are not invariably generated, Int. Math. Res. Not. 2015, no. 19,
9806–9814.
[GM] T. Gelander, C. Meiri, The Congruence Subgroup Property does not imply Invariable Generation,
Int. Math. Res. Not., to appear arXiv:1505.06881.
[GGJ] Tsachik Gelander, Gili Golan, and Kate Ushchenko Invariable generation of Thompson groups,
arXiv:1611.08264v2 [math.GR], 28 Nov 2016.
[Gl]

Shmuel Glasner, Proximal flows, (Lecture notes in mathematics, 517) Springer, 1976.

[GNS] P. Gawron, V. V. Nekrashevich, and V. I. Sushchanskii, Mathematical Notes, Vol. 65, No. 6, 1999.
[GM] I. Z. Golubchik and A. V. Mikhalev, Generalized group identities in classical groups, Journal of
Soviet Mathematics, 1984, 27:4, 2904–2918.
[Ja]

Nathan Jacobson, Lie algebras, Interscience Tracts on Pure and. Applied Mathematics, no. 10.
Interscience Publishers, New York, 1962. 9+331 pp.

[Jo]

C. Jordan, Recherches sur les substitutions, J. Liouville 17 (1872), 351–367 (= Oe. I. 52).

[KLS21] William M.Kantor, Alexander Lubotzky and Aner Shalev, Invariable generation and the Chebotarev invariant of a finite group, Journal of Algebra, Volume 348, Issue 1, 15 December 2011,
Pages 302–314.
24

[KLS2] William M.Kantor, Alexander Lubotzky and Aner Shalev,

Invariable generation of infinite

groups. J. of Algebra 421(2015), 296–310.
[KM] Alexei I. Kostrikin, Yu. I. Manin, Linear Algebra and Geometry, (Algebra, Logic and Applications),
CRC Press, 1989.
[KZ] Emmanuel Kowalski and David Zywina, The Chebotarev Invariant of a Finite Group, Experimental
Mathematics, 21(1):38–56, 2012, DOI: 10.1080/10586458.2011.565261
[Lu]

A. Lucchini, The Chebotarev invariant of a finite group: A conjecture of Kowalski and Zywina,
arXiv:1509.05859v2.

[Lu]

Andrea Lucchini and Gareth Tracey, An upper bound on the Chebotarev invariant of a finite group
Israel Journal of Mathematics, April 2017, Volume 219, Issue 1, pp 449–467.

[La]

Serge Lang, Algebra, revised third edition, Springer, New York, 2002.

[Os10] Osin, Denis, Small cancellations over relatively hyperbolic groups and embedding theorems, Annals
of Mathematics, 172 (2010), 1–39.
[PS] Y. Peterzil and C. Steinhorn, Definable compactness and definable subgroups of O-minimal groups,
J. London Math. Soc 59 (1999), 769–786.
[Se]

Jean-Pierre Serre, On a Theorem Of Jordan, BULLETIN (New Series) Of The American Mathematical Society Volume 40, Number 4, Pages 429–440, (2003).

[SW] Schreier O., van der Waerden B. L., Die Automorphismen der projektiven Gruppen, Abh. Math.
Sem. Hamburg Univ., B (1928), 303–322.
[St]

R. Steinberg, Endomorphisms of Linear Algebraic Groups, Mem. Amer. Math. Soc., vol.80, Amer.
Math. Soc., Providence, RI, 1968.

[Str] A. Strzebonski, Euler characteristic in semialgebraic and other O-minimal structures, J. Pure and
Applked Algebra, 86 (1994), 173–201.
[Ti]

J. Tits, Sur le groupe d’automorphismes d’un arbre, in ”Essays on Topology and Related Topics“,
Springer Berlin Heidelberg (1970), 188211.

[Wi76] J. Wiegold, Transitive groups with fixed-point-free permutations, Arch. Math. (Basel), 27, (1976)
473–475.
[Wi77] J. Wiegold, Transitive groups with fixed-point-free permutations.II, Arch. Math. (Basel) 29 (1977)
571–573.

25

