arXiv:1604.08896v5 [math.GR] 11 Jun 2017

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN
GROUPS BY CYCLIC GROUPS
LUC GUYOT

Abstract. Let G ≃ M ⋊ C be an n-generator group which is a split extension of an Abelian group M by a cyclic group C. We study the Nielsen
equivalence classes and T-systems of generating n-tuples of G. The subgroup M can be turned into a finitely generated faithful module over a
suitable quotient R of the integral group ring of C. When C is infinite, we
show that the Nielsen equivalence classes of the generating n-tuples of G
correspond bijectively to the orbits of unimodular rows in M n−1 under the
action of a subgroup of GLn−1 (R). Making no assumption on the cardinality of C, we exhibit a complete invariant of Nielsen equivalence in the
case M ≃ R. As an application, we classify Nielsen equivalence classes
and T-systems of soluble Baumslag-Solitar groups, split metacyclic groups
and lamplighter groups. We also exhibit, for every N ≥ 1, a two-generated
Abelian-by-(infinite cyclic) group with exactly N Nielsen equivalence classes
and N T-systems of generating triples.

1. Introduction
Given a finitely generated group G, we denote by rk(G) the minimal number
of its generators. For n ≥ rk(G), we let Vn (G) be the set of generating nvectors of G, i.e., the set of elements in Gn whose components generate G. In
order to classify generating vectors, we can rely on a well-studied equivalence
relation on Vn (G), namely the Nielsen equivalence relation: two generating
n-vectors are said to be Nielsen equivalent if they can be related by a finite
sequence of transformations taken in the set {Lij , Ii ; 1 ≤ i 6= j ≤ n} where
Lij and Ii replace the component gi of g = (g1 , . . . , gn ) ∈ Vn (G) by gj gi and
gi−1 respectively and leave the other components unchanged. We recommend
Date: January 29, 2018.
2010 Mathematics Subject Classification. Primary 20F05, Secondary 20F16, 20F28.
Key words and phrases. Nielsen equivalence; T-systems; Abelian-by-cyclic groups; lamplighter groups; Baumslag-Solitar groups; metacyclic groups; Laurent polynomials; generalized Euclidean rings; quasi-Euclidean rings; special Whitehead group; arithmetic order.
The author thanks the Mathematics Institute of Göettingen and the Max Planck Institute for Mathematics in Bonn for the excellent conditions provided for his stay at these
institutions, during which the paper was written.
1

2

LUC GUYOT

[Lub11, Eva07, Pak01, LM93] to the reader interested in Nielsen equivalence
and its applications. Let Fn be the free group with basis x = (x1 , . . . , xn ). The
Nielsen equivalence relation turns out to be generated by an Aut(Fn )-action.
Indeed, the set Vn (G) identifies with the set Epi(Fn , G) of epimorphisms from
Fn onto G via the bijection g 7→ πg with πg defined by πg (x) = g. Therefore
defining gψ for ψ ∈ Aut(Fn ) through πgψ + πg ◦ ψ yields a right group action
of Aut(Fn ) on Vn (G). Because Aut(Fn ) has a set of generators which induce
the elementary Nielsen transformations Lij and Ii [LS77, Proposition 4.1], this
action generates the Nielsen equivalence relation.
In this article, we are concerned with finitely generated groups G containing
an Abelian normal subgroup M and a cyclic subgroup C such that G = MC
and M ∩ C = 1. Denoting by σ the natural map G ։ G/M ≃ C, such a group
G fits into the split exact sequence
(1)

σ

0 −→ M −→ G −→ C −→ 1

where the arrow from M to G is the inclusion M ⊂ G. The cyclic group
C = hai is finite or infinite and is given together with a generator a. The action
of Aut(Fn ) on Vn (G) is known to be transitive if n > rk(G)+2 [Eva93, Theorem
4.9]. Our goal is to describe the Aut(Fn )-orbits for the three exceptional values
of n, namely rk(G), rk(G)+1 and rk(G)+2. To this end, we relate the problem
of classifying Nielsen equivalence classes to a pure module-theoretic problem
involving M. The conjugacy action of C on M defined by c m + cmc−1 , with
m ∈ M and c ∈ C extends linearily to Z[C], turning M into a module over
Z[C]. Let ann(M) be the annihilator of M. Then M is a faithful module over
R + Z[C]/ ann(M).
Let rkR (M) be the minimal number of generators of M considered as an
R-module. For n ≥ rkR (M), we denote by Umn (M) the set of elements in M n
whose components generate M as an R-module. The group GLn (R) acts on
Umn (M) by matrix right-multiplication. There are two subgroups of GLn (R)
which are relevant to us. The first is En (R), the subgroup generated by the
elementary matrices, i.e., the matrices that differ from the identity by a single
off-diagonal element (agreeing that E1 (R) = {1}). The second is Dn (T ), the
subgroup of diagonal matrices whose diagonal coefficients belong to T , the
group of trivial units. We call a unit in R× + GL1 (R) a trivial unit, if it lies in
the image of ±C by the natural map Z[C] ։ R. Our first result establishes a
connection between the Aut(Fn )-orbits of generating n-vectors and the orbits
of unimodular rows in M with size n − 1 under the action of
Γn−1 (R) + Dn−1 (T )En−1 (R).

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS3

Additional definitions are needed to state this result. Denoting by |C| the
cardinal of C, we define the norm element of Z[C] by 0 if C is infinite, and by
1+a+· · ·+a|C|−1 otherwise. Let ν(G) be the image in R of the norm element of
Z[C] via the natural map. Let πab : G ։ Gab be the abelianization homomorphism of G and let MC be the largest quotient of M with a trivial C-action. We
assume throughout this paper that n ≥ max(rk(G), 2) whenever the integer n
refers to the size of generating vectors of G. Let ϕa : Umn−1 (M) → Vn (G)
be defined by ϕa (m) = (m, a). This is elementary to check that ϕa induces a
map
Φa : Umn−1 (M)/Γn−1 (R) → Vn (G)/Aut(Fn )
If ν(G) = 0, e.g, C is infinite, then Lemma 3.3 below shows that n > rkR (M)
holds true and Φa is surjective. Our first result fully characterizes the latter
two conditions.
Theorem A (Theorems 3.6 and 3.12). The inequality n > rkR (M) holds and
the map Φa is surjective if, and only if, at least one of the following holds:
(i) n > rk(Gab ).
(ii) C is infinite.
(iii) rk(MC ) < rk(G) and MC is not isomorphic to Zrk(G)−1 .
(iv) |C| ∈ {2, 3, 4, 6} and MC is isomorphic to Zrk(G)−1 .
In addition, the map Φa is bijective if C is infinite.
Evidently, Theorem A has no bearing on the case n = rk(G) = rkR (M).
Proposition 3.15 below handles this situation only when M is a free module
and most of our results assume that n > rkR (M). Combined with various
assumptions on C, M or R (e.g., C is infinite and R is Euclidean), Theorem
A provides a complete description of Nielsen equivalence classes of generating
n-vectors for all n > rkR (M). All applications to groups with arbitrary ranks
are gathered in Corollaries 3.14 and 3.16 below. We present now a specific
example that will help understand to which groups Theorem A can apply. For
n ≥ 2, let us denote by nn (G) the cardinality of the set of Nielsen equivalence
classes of generating n-vectors of G.
Corollary B (Corollaries 3.14 and 3.16). Let p be a prime and let d ≥ 1. Let
G = Fdp ⋊A Z where Fp denotes the field with p elements and where the canonical
generator of Z acts on Fdp as a matrix A ∈ GLd (Fp ). Then nrk(G) (G) = |R× /T |
where R = Fp [X ±1 ]/(P (X)), P (X) ∈ Fp [X] is the first invariant factor of A
and T is the subgroup of R× generated by the images of −1 and X. Moreover,
nn (G) = 1 if n > rk(G).
In the above example, the polynomial P (X) can be computed by means of
the Smith Normal Form algorithm [DF04, Section 12.2] and, from there, an

4

LUC GUYOT

explicit formula can be derived for nrk(G) (G). Indeed, if P (X) is of degree k and
Q
has l irreducible factors with degrees d1 , . . . , dl , then |R× | = pk li=1 (1 − pdi −k )
(use for instance Lemma 5.4) while |T | can be deduced from the computation
of the order in GLk (Fp ) of the companion matrix of P .
For the next results, we make no assumption on the cardinality of C but
suppose that M ≃ R. Therefore G ≃ R ⋊ C is generated by a and the identity
b of the ring R. At this stage, few more examples may help understand the
kind of two-generated groups we want to address. Assume that C is the cyclic
subgroup of GL2 (Z) generated by an invertible matrix a. Let b denote the
2-by-2 identity matrix and let G be the semi-direct product Z2 ⋊a C where
a acts on Z2 via matrix multiplication. It is readily checked that rk(G) = 2
if and only if M + Z2 is a cyclic Z[C]-module. If this holds, then M naturally identifies with the subring R = Za + Zb of the ring of 2-by-2 matrices
over Z and we can certainly write G ≃ R ⋊a C. If the minimal polynomial
of a is moreover irreducible and if α ∈ C is one of its roots, then G identifies in turn with the semi-direct product G(α) = Z[α±1 ] ⋊α hαi where α acts
on Z[α±1 ] ⊂ C via complex multiplication. For arbitrary choices of α ∈ C,
the family G(α) provides us with countably many interesting non-isomorphic
examples. For instance, if α ∈ Z \ {0}, then G(α) is the Baumslag-Solitar
group a, b aba−1 = bα , which is handled in Corollary G below. If α is transcendental over Q, then Z[α±1 ] is isomorphic to the ring Z[X ±1 ] of univariate
Laurent polynomials over Z. In this case, the group G(α) is isomorphic to the
restricted wreath product Z ≀ Z, the subject of Corollary J below.
Let us return to the presentation of our results. Under the assumption M ≃
R, we shall exhibit a complete invariant of Nielsen equivalence for generating
pairs. In addition, if n = 3 and C is finite, or if n = 4, we prove that Aut(Fn )
acts transitively on Vn (G). Note that if n = 3 and C is infinite, then Theorem
A reduces the study of the Nielsen equivalent triples to the description of the
orbit set Um2 (R)/E2 (R). Our invariant is based on a map D defined as follows.
If ν(G) = 0, there is a unique derivation d ∈ Der(C, R) satisfying d(a) = 1
(see Section 3.4). For g = (rc, r ′ c′ ) ∈ G2 with (r, r ′ ) ∈ R2 and (c, c′ ) ∈ C 2 , we
set then
(2)

D(g) + r ′ d(c) − rd(c′) ∈ R.

If ν(G) 6= 0, we set furthermore
(3)

D(g) + D(πν(G)R (g)) ∈ R/ν(G)R,

where πν(G)R stands for the natural map R ⋊C ։ R/ν(G)R ⋊C and the righthand side of (3) is defined as in (2). The following observations will enable us
to construct the desired invariant.

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS5

Proposition C (Lemma 4.1 and Proposition 4.7). Let G ≃ R ⋊α C and let
g ∈ G2 .
(i) If g ∈ V2 (G), then D(g) ∈ (R/ν(G)R)× .
(ii) Assume ν(G) is nilpotent. Then g generates G if and only if σ(g)
generates C and D(g) ∈ (R/ν(G)R)× .
Setting
Λ = R/ν(G)R,

TΛ = πν(G)R (T ),

we define the map
∆ : V2 (G) → Λ× /TΛ
g
7→ TΛ D(g)
The map ∆ is the invariant we need and we are now in position to describe the
Nielsen equivalence classes of generating n-vectors of G ≃ R ⋊ C for n = 2, 3
and 4.
Theorem D (Theorems 4.6 and 4.10). Let G ≃ R ⋊α C. Let nn (G) (n = 2, 3
and 4) be defined as in Corollary B. Then the following hold:
(i) Two generating pairs g, g′ of G are Nielsen equivalent if and only if
πab (g) and πab (g′) are Nielsen equivalent and ∆(g) = ∆(g′ ).
(ii) If C is infinite or Gab is finite, then ∆ induces a bijection from
V2 (G)/Aut(F2 ) onto Λ× /TΛ . In particular n2 (G) = |Λ× /TΛ |.
(iii) If SL2 (R) = E2 (R), e.g., C is finite, then n3 (G) = 1.
(iv) n4 (G) = 1.
Assertion (i) of Theorem D provides us with an algorithm which decides
whether or not two generating pairs of G are Nielsen equivalent. Indeed, the
first condition in (i) can be determined by means of the Diaconis-Graham
determinant [DG99] while the second condition can be reduced to the ideal
membership problem in Z[X ±1 ] which is solvable [PU99, Asc04].
Consider now the left group action of Aut(G) on Vn (G) where we define
φg for φ ∈ Aut(G) by πφg + φ ◦ πg , using the identification of Vn (G) with
Epi(Fn , G). This action clearly commutes with the right Aut(Fn )-action introduced earlier so that (φ, ψ)g + φgψ −1 is an action of Aut(G) × Aut(Fn ) on
Vn (G). Following B.H. Neumann and H. Neumann [NN51], we call the orbits
of this action the T-systems of generating n-vectors of G, or concisely, the
Tn -systems of G. We denote by tn (G) the cardinality of the Tn -systems of G.
Theorem E. Let G ≃ R ⋊α C. Let A(C) be set of the automorphisms of
C which are induced by automorphisms of G preserving M. Let A′ (C) be the
subgroup of Aut(C) generated by A(C) and the involution c 7→ c−1 . Then the
following hold.

6

LUC GUYOT

(i) The cardinality t2 (G) is finite and we have t2 (G) ≤ |Aut(C)/A′ (C)|,
with equality if R is a characteristic subgroup of G. If C is infinite or
Gab is finite, then t2 (G) = 1.
(ii) If C is infinite and R is characteristic in G, then we have
– |A(C)| ≤ 2,
– n3 (G) ≤ |A(C)|n2 (G)t3 (G),
– |A(C)|t3 (G) ≥ | SK1 (R)|,
where n2 (G) and n3 (G) are as in Corollary B and SK1 (R) denotes the
special Whitehead group of R.
Note that assertion (i) of Theorem E generalizes Brunner’s theorem [Bru74,
Theorem 2.4] according to which 2-generated Abelian-by-(infinite cyclic) groups
have only one T2 -system; another kind of generalization is given in Theorem
3.19 below. The next theorem shows that there is no upper bound for t2 (G) and
t3 (G) when G ranges in the class of two-generated Abelian-by-cyclic groups.
Theorem F (Corollary 4.11, Theorem 4.14 and Example 4.16). For every
integer N ≥ 1, there exist
(i) a group GN of the form R ⋊α C with C finite such that t2 (GN ) ≥ N,
(ii) a two-generated Abelian-by-(infinite cyclic) group HN such that
n3 (HN ) = t3 (HN ) = N,
where t2 , n3 and t3 are defined as in Corollary B and Theorem E.
For comparison, Dunwoody constructed for every N ≥ 1 a two-step nilpotent
2-group DN on two generators such that t2 (DN ) ≥ N [Dun63]. Note that
assertion (ii) of Theorem F contrasts with the results of Evans [Eva93, Lemma
4.3.ii] and Dunwoody [Dun70] according to which nn (G) = 1 holds if G is a
finitely generated nilpotent group or a finite solvable group and n > rk(G).
We know by Theorem E that t2 (G) is finite whenever G is of the form R ⋊α C,
but we were not able to settle the question as to whether t3 (G) can be infinite
for such a group G.
We now turn to applications of Theorems D and E for three different classes
of two-generated groups, namely the soluble Baumslag-Solitar groups, the split
metacyclic groups and the lamplighter groups. A Baumslag-Solitar group is a
group with a presentation of the form
BS(k, l) = a, b abk a−1 = bl
for k, l ∈ Z\{0}. Brunner proved that BS(2, 3) has infinitely many T2 -systems
whereas its largest metabelian quotient, namely G(2/3) = Z[1/6] ⋊2/3 Z, has
only one T2 -system [Bru74, Theorem 3.2] . The group BS(k, l) is soluble
if and only if |k| = 1 or |l| = 1. As a result, a soluble Baumslag-Solitar

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS7

group is isomorphic to BS(1, l) for some l ∈ Z \ {0} and hence admits a semidirect decomposition Z[1/l] ⋊l Z where the canonical generator of Z acts as
the multiplication by l on Z[1/l] = { lzi ; z ∈ Z, i ∈ N}.
Corollary G. Let G = BS(1, l) with l ∈ Z \ {0} and let nn , tn (n = 2, 3) be
defined as in Corollary B and Theorem E. Then the following hold:
(i) n2 (G) is finite if and only if l = ±pd for some prime number p ∈ N
and some non-negative integer d. In this case, n2 (G) = max(d, 1).
(ii) t2 (G) = n3 (G) = 1.
Define Zd = Z/dZ for d ≥ 0 (thus Z0 = Z) and let ϕ(d) be the cardinal of
A split metacyclic group is a semi-direct product of the form Zk ⋊α Zl
with k, l ≥ 0. Here the canonical generator of Zl is denoted by a and acts on
Zk as the multiplication by α ∈ Z×
k.
Z×
d.

Corollary H. Let G = Zk ⋊α Zl (k, l ≥ 0) and let nn , tn (n = 2, 3) be defined
as in Corollary B and Theorem E.. Then the following hold.
(i) n2 (G) = ϕ(λ)
, where λ ≥ 0 is such that Zλ ≃ Zk /ν(G)Zk and ω is the
ω
order of the subgroup of Z×
λ generated by −1 and the image of α.
(ii) t2 (G) = n3 (G) = 1.
(iii) If G is finite, then |V2 (G)| = kϕ(k)
|V2 (Ze × Zl )|, where e ≥ 1 is such
eϕ(e)
that Ze ≃ Zk /(1 − α)Zk . In addition, every Nielsen equivalence class
of generating pairs has the same number of elements.
In assertion (iii) above, the cardinality |V2 (Ze × Zl )| of the set of generating
pairs of the abelianization Gab ≃ Ze × Zl of G can be computed using the
formulas of [DG99, Remark 1]. Our Corollary H applies for instance to dihedral
groups and also to almost all p-groups with a cyclic subgroup of index p [Bro82,
Theorem IV.4.1].
A two-generated lamplighter group is a restricted wreath product of the form
Zk ≀ Zl with k, l ≥ 0. Such a group reads also as R ⋊a C with C = Zl and
R = Zk [C], the integral group ring of C over Zk . We are able to determine
the number of Nielsen classes and T-systems of any two-generated lamplighter
groups with the exception of Z ≀ Z.
Corollary I (Corollaries 5.2 and 5.6). Let G = Zk ≀ Zl (k, l ≥ 0 and k, l 6= 1)
and let nn and tn (n = 2, 3) be defined as in Corollary B and Theorem E. Then
the following hold.
(i) t2 (G) = 1.
(ii) If Zk or Zl is finite, then n3 (G) = 1.
(iii) Assume that Zk is finite and Zl is infinite. Then n2 (G) is finite if and
only if k is prime; in this case n2 (G) = max( k−1
, 1).
2

8

LUC GUYOT

(iv) Assume that Zk is infinite and Zl is finite. Then n2 (G) is finite if and
only if l ∈ {2, 3, 4, 6}; in this case n2 (G) = 1.
The case of finite two-generated lamplighter groups is addressed by Corollary
5.3 below and a formula for |V2 (Zk ≀ Zl )| is derived. For the restricted wreath
product Z ≀ Z, we show that classifying Nielsen equivalence classes and Tsystems of generating triples tightly relates to an open problem in ring theory.
Corollary J. Let G = Z ≀ Z and let n2 , n3 and t3 be defined as in Corollary B
and Theorem E. Then we have n2 (G) = 1 and n3 (G) ≤ 2t3 (G). In addition,
the following are equivalent:
(i) n3 (G) = 1.
(ii) t3 (G) = 1.
(iii) The ring R of univariate Laurent polynomials over Z satisfies SL2 (R) =
E2 (R) (cf. [Abr08, Conjecture 5.3], [BMS02, Open Problem MA1],
[BM82, Open problem]).
The paper is organized as follows. Section 2 deals with notation and gathers
known facts on rings which are ubiquitous in our presentation: the generalized
Euclidean rings and the quotients of the ring of univariate Laurent polynomials
over Z. Section 3 is dedicated to the proof of Theorem A. In Section 3.1 we
determine the conditions under which the map Φa of Theorem A is surjective
while Section 3.2 addresses the case C ≃ Z for which it is shown that Φa is bijective. Section 4 is dedicated to the proofs of Theorems D, E and F. Section 5
presents applications to Baumslag-Solitar groups, split metacyclic groups and
lamplighter groups.
Acknowledgments. The author is grateful to Pierre de la Harpe, Tatiana
Smirnova-Nagnibeda and Laurent Bartholdi for encouragements, useful references and comments made on preliminary versions of this paper.
2. Preliminary results
2.1. Notation and definitions. We set in this section the notation and the
definitions used throughout the article. A parallel is drawn between generating
vectors of a group and unimodular rows of a module.
Rings. All considered rings are commutative rings with identity. Given a
ring R, we denote by J (R) its Jacobson radical, i.e., the intersection of all its
maximal ideals. We denote by nil(R) the nilradical of R, i.e., the intersection of
all its prime ideals. The nilradical coincides with the set of nilpotent elements
[Mat89, Theorem 1.2]. Let M be a finitely generated R-module. Then an
R-epimorphism of M is an R-automorphism [Mat89, Theorem 2.4], a fact

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS9

that we will use without further notice. Let N ⊂ M be finitely generated Rmodules and I ⊂ J (R) an ideal of R. Then the identity N + IM = M implies
N = M. We refer to the latter fact as Nakayama’s lemma [Mat89, Theorem
2.2’s corollary]. Apart from Section 2.2, the ring R will always be a quotient
of Z[X ±1 ], the ring of univariate Laurent polynomials over Z. In this case, we
have nil(R) = J (R) [Eis95, Theorem 4.19] and we shall consistently denote
by α the image of X by the quotient map. We set Zd + Z/dZ for d ≥ 0. Thus
the additive group of Zd is the cyclic group with d elements if d > 0 whereas
Z0 = Z. We denote by ϕ the Euler totient function, so that ϕ(d) = |Z×
d | if
d > 0. We set furthermore ϕ(0) + 2.
Orbits of generating vectors. Let G, H be groups and let f ∈ Hom(G, H).
We denote by 1G the trivial element of G. For g = (gi ) ∈ Gn , we set f (g) +
(f (gi )). Thus the component-wise left action of Aut(G) on Vn (G) reads as
φg = φ(g) for (φ, g) ∈ Aut(G) × Vn (G). This action clearly coincides with
the Aut(G)-action introduced earlier. Let us examine the component-wise
counterpart of the Aut(Fn )-action we previously defined via the identification
of Vn (G) with Epi(Fn , G). For ψ ∈ Aut(Fn ), set wi (x) + ψ(xi ) ∈ Fn , with
i = 1, . . . , n. Then the Aut(Fn )-action also reads as gψ = (wi (g)).
Orbits of unimodular rows. For r ∈ R and i 6= j, we denote by Eij (r) ∈
GLn (R) the elementary matrix with ones on the diagonal and whose (i, j)-entry
is r, all other entries being 0. For u ∈ R× , we denote by Di (u) ∈ GLn (R) the
diagonal matrix with ones on the diagonal except at the (i, i)-entry, which is set
to u. Recall that En (R) is the subgroup of GLn (R) generated by elementary
matrices. Given a subgroup U of R× , we define Dn (U) as the subgroup of
GLn (R) generated by the matrices Di (u) with u ∈ U. Following P.M. Cohn
[Coh66], we denote by GEn (R) the subgroup generated by En (R) and Dn (R× ).
Let Γ be a subgroup of GLn (R) and let M be an R-module. Two rows r, r′ ∈
M n are said to be Γ-equivalent if there is γ ∈ Γ such that r′ = rγ. A a
row is termed unimodular if its components generate M as an R-module. By
definition, Umn (M) is the set of unimodular rows of M.
Elementary rank and stable rank. We say that n ≥ 1 belongs to the
elementary range of R if En+1 (R) acts transitively on Umn+1 (R). The elementary rank of R is the least integer er(R) such that n lies in the elementary
range of R for every n ≥ er(R). We say that k lies in the stable range of R
if for every n ≥ k and every (ri ) ∈ Umn+1 (R) there is (si ) ∈ Rn such that
(r1 + s1 rn+1 , r2 + s2 rn+1 , . . . , rn + sn rn+1 ) ∈ Umn (M). The stable rank of R is
the least integer sr(M) lying in the stable range of M. By [MR87, Proposition
11.3.11] we have:
(4)

1 ≤ er(R) ≤ sr(R).

10

LUC GUYOT

If R is moreover Noetherian, the Bass Cancellation Theorem asserts [MR87,
Corollary 6.7.4] that
(5)

sr(R) ≤ dimKrull (R) + 1.

2.2. GE-rings. Our study of Nielsen equivalence is significantly simplified
when restricting to a class of rings R which are similar to Euclidean rings
in a specific sense. This is why we introduce the following definitions and
elementary results. A ring R is termed a GEn -ring if GEn (R) = GLn (R),
which is equivalent to say that SLn (R) = En (R). Indeed, we have GEn (R) =
Dn (R× )En (R) and a matrix D ∈ Dn (R× ) lies in SLn (R) if and only if it lies in
En (R) by Whitehead’s lemma [Wei13, Lemma 1.3.3]. Thus the latter equality
implies the former, the converse being obvious. A ring R is called a generalized
Euclidean ring in the sense of P. M. Cohn [Coh66], or a GE-ring for brevity,
if it is a GEn -ring for every n ≥ 1. Euclidean rings are known to satisfy
this property [HO89, Theorem 4.3.9]. The reader is invited to check the two
following elementary lemmas.
Lemma 2.1. The following assertions hold:
(i) R is a GE2 -ring if and only if 1 lies in the elementary range of R, i.e,
E2 (R) acts transitively on Um2 (R).
(ii) If er(R) = 1 then R is a GE-ring. In particular, R is a GE-ring if its
stable rank is 1.
A semilocal ring, i.e., a ring with only finitely many maximal ideals, has
stable rank 1 [Bas64, Corollary 6.5]. As a result, semilocal rings, and Artinian
rings in particular, are GE-rings.
Lemma 2.2. The following assertions hold:
(i) Let J be an ideal contained in J (R). Then R is a GE-ring if and only
if R/J is a GE-ring [Gel77, Proposition 5].
(ii) Assume R is a direct sum of rings. Then R is a GE-ring if and only if
each of its direct factors is a GE-ring. [Coh66, Theorem 3.1]
Lemma 2.3. Let R be an Artinian ring. Then every homomorphic image of
R[X ±1 ] is a GE-ring.
Proof of Lemma 2.3. Since J (R) = nil(R), we have J (R)[X ±1 ] ⊂ J (R[X ±1 ]).
As the factor ring P + R[X ±1 ]/J (R)[X ±1 ] is isomorphic to a direct sum of
Euclidean rings we deduce from Lemma 2.3 that R[X ±1 ] is a GE-ring. Let
us consider a quotient Q of R[X ±1 ]. Then Q/J (Q) is a quotient of P and is
therefore a direct sum whose factors are Euclidean or Artinian. As a result Q
is a GE-ring.


GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS11

Remark 2.4. If sr(R) = r < ∞, then it easy to prove that
 any matrix
 in
A 0
GLn (R) for n > r can be reduced to a matrix of the form
with
0 In−r
A ∈ GLr (R) by elementary row transformations. Thus R is a GE-ring if it is
a GEn -ring for every n ≤ r.
2.3. The ring of univariate Laurent polynomials and its quotients.
Because the structure of the R-module M fully determines G, and because R
is a quotient of Z[Z] ≃ Z[X ±1 ], the ring of univariate Laurent polynomials over
Z, this ring plays a prominent role in the article. In this section, we collect
preliminary facts about Z[X ±1 ] and its quotients. These facts relate to row
reduction of matrices over R and unit group description; they impact directly
the count of Nielsen equivalence classes in our applications.
A ring R is said to be completable if every unimodular row over R can be
completed into an invertible square matrix over R, or equivalently, if GLn (R)
acts transitively on Umn (R) for every n ≥ 1.
Lemma 2.5. Every homomorphic image of Z[X ±1 ] is completable.
Proof. If R is isomorphic to Z[X ±1 ], then R is completable by [Sus77, Theorem
7.2]. So we can assume that dimKrull(R) ≤ 1. Let n ≥ 2 and r ∈ Umn (R).
Since sr(R) ≤ 2, we can find E ∈ En (R) such that rE =(r1 , r2 , 0,. . . , 0). Let
A 0
A ∈ SL2 (R) be such that (r1 , r2 )A = (1, 0) and set B =
. Then we
0 In−2
have rEB = (1, 0, . . . , 0).

The following is at the core of Theorem D.iii.
Theorem 2.6. [Guy, Theorem A] Let C be a finite cyclic group. Then every
homomorphic image of Z[C] is a GE-ring.
The last lemma of this section will come in handy in Section 5 when scrutinizing lamplighter groups. Before we can state this lemma, we need to introduce
2iπ
some notation. Given a rational integer d > 0 we set ζd + e d and let
λd : Z[X] → Z[ζd ]
be the ring homomorphism induced by the map X 7→ ζd . Given a set D of
positive rational integers, we define
Y
λD : Z[X] →
Z[ζd ]
d∈D

by λD + d∈D λd and set O(D) + λD (Z[X ±1 ]). Let α + λD (X) ∈ O(D).
Recall that a unit in O(D)× is said to be trivial if it lies in T , the subgroup
generated by −1 and α.
Q

12

LUC GUYOT

Lemma 2.7. Let D be a non-empty set of positive rational integers.
P
(1) The torsion-free rank of O(D)× is d∈D, d>2 ( ϕ(d)
− 1).
2
(2) Assume D is the set of divisors of l, with l ≥ 2.
(i) Any non-trivial
 unit of finite order in O(D \ {1}) is of the form
P
i
u 1 + i∈E α for some trivial unit u and some non-empty subset
E ⊂ {1, 2, . . . , l − 1}.
(ii) If l ∈ {2, 3, 4, 6}, then the units of O(D \ {1}) are trivial.
Proof. The proofs of 1 and 2.i essentially adapts [AA69, Theorems 3 and 4] to
the rings O(D) under consideration; we Q
provide them for completeness.
(1). Since the additive groups
P of R = d∈D Z[ζd ] and O(D) are free Abelian
groups of the same rank r = d∈O(D) ϕ(d), the latter group is of finite index
k in the former for some k ≥ 1. By Dirichlet’s Unit Theorem, the group R× is
P
finitely generated and its torsion-free rank is d∈D, d>2 ( ϕ(d)
− 1). Therefore, it
2
is sufficient to prove that O(D)× is of finite index in R× . This certainly holds
if every unit u ∈ Z[ζd ] for d ∈ D is of finite order modulo O(D). To see this,
consider the principal ideal I of Z[ζd ] generated by k. Since Z[ζd ]/I is finite,
′
′
there is k ′ ≥ 1 such that uk ≡ 1 mod I. Therefore uk = 1 + kζ for some
′
ζ ∈ Z[ζd ]. As kζ ∈ O(D), we deduce that uk ∈ O(D), which completes the
proof.
(2).i. Let g ∈ O(D) such that the projection pr1 : O(D) ։ O(D \ {1})
maps g to a unit
Pof finite order. Identifying O(D) with Z[C] for C = Z/lZ, we
can write g = c∈C ac c with ac ∈ Z. For d dividing n, let πd be
P the natural
projection of O(D) onto Z[ζd ], let χd = πd|C and ρd = πd (g) = c∈C ac χd (c).
Since pr1 (g) is of finite order, ρd is a root of unity for every divisor d > 1. The
characters χd form a complete set of inequivalent characters of C by [AA69,
Lemma 2]. Therefore, we have
X
ac χ(c) = ρχ
c∈C

for every χ ∈ Ĉ, the character group of C, where ρχ is a root of unity if χ 6= 1.
Using the orthogonality relation of characters, we obtain
X
nac =
ρχ χ(c)
χ∈Ĝ

for every c ∈ P
C. Hence |ac − ac′ | ≤ 2(l−1)
< 2 for every c, c′ ∈ C. Replacing
n
g by ε(g − k c∈C c) for a suitable choice of ε ∈ {±1} and k ∈ Z, we can
assume that ac ∈ {0, 1} for every c. Replacing g by cg for some suitable choice
of c ∈ C, we can assume that a1C = 1. This ensures eventually that the image
of g in O(D \ {1}) has the desired form.

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS13

(2).ii. If l ∈ {2, 3}, then O(D \ {1}) = Z[ζl ] and this ring has only trivial
units. Assume now l = 4. Since R = O({2, 4}) embeds into Z × Z[i], it
has at most 8 units. It is easily checked that there are exactly 8 trivial units
in R. Therefore all units are trivial. Assume eventually that l = 6. Since
R = O({2, 3, 6}) embeds into Z × Z[ζ3 ] × Z[ζ3 ], it has only units of finite
orders. Considering projections on each
three factors, it is routine to
P of the
i
check that no element of the form 1 + i∈E α with ∅ =
6 E ⊂ {1, 2, 3, 4, 5} is a
unit in R. This proves that R has only trivial units by 2.i.

2.4. Nielsen equivalence in finitely generated Abelian groups. We
present in this section the classification of generating tuples modulo Nielsen
equivalence in finitely generated Abelian groups. This result is instrumental
in Section 3.1 when reducing generating vectors to a standard form. Different
parts of the aforementioned classification were obtained by different authors:
[NN51, Satz 7.5], [Dun63, Section 2’s lemmas], [Eva93, Lemma 4.2] [LM93,
Example 1.6] [DG99]. The classification reaches its complete form with
Theorem 2.8. [Oan11, Theorem 1.1] Let G be a finitely generated Abelian
group whose invariant factor decomposition is
Zd1 × · · · × Zdk ,

1 6= d1 | d2 | · · · | dk , di ≥ 0

Then every generating n-vector g with n ≥ k = rk(G) is Nielsen equivalent
k
to (δe1 , e2 , . . . , ek , 0, . . . , 0) for some δ ∈ Z×
d1 and where e = (ei ) ∈ G is defined
by (ei )i = 1 ∈ Zdi and (ei )j = 0 for j 6= i.
• If n > k, then we can take δ = 1.
• If n = k, then δ is unique, up to multiplication by −1.
In particular, G has only one Nielsen equivalence class of generating nvectors for n > k and only one Tk -system while it has max(ϕ(d1 )/2, 1) Nielsen
equivalence classes of generating k-vectors where ϕ denotes the Euler totient
function extended by ϕ(0) = 2.
In the remainder of this section, we consider decompositions with cyclic
factors which might differ from the invariant factor decomposition of G.
Corollary 2.9. [Guy17, Corollary C] Let G = Zd1 × · · · × Zdk with di ≥ 0
for i = 1, . . . , k. Let d be the greatest common divisors of the integers di . For
g ∈ Vk (G), denote by det(g) the determinant of the matrix whose coefficients
are the images in Zd of the (gi )j ’s via the natural maps Zdj ։ Zd . Then
g, g′ ∈ Vk (G) are Nielsen equivalent if and only if det(g) = ± det(g′ ).
Let Zd1 × · · · × Zdk be a decomposition of G in cyclic factors such that
k = rk(G). The identity elements of each factor ring in such decomposition
form a generating vector of G. We refer to this vector as the generating vector

14

LUC GUYOT

naturally associated to the given decomposition. If e is such a vector, we define
dete as the determinant function of Corollary 2.9.
Remark 2.10. In the case k = rk(G), Corollary 2.9 shows in particular that
g ∈ Vk (G) is Nielsen equivalent to (dete (g)e1 , e2 , . . . , ek ) where e = (ei ) is the
generating vector naturally associated to the given decomposition of G in cyclic
factors.
3. Nielsen equivalence classes and T-systems of M ⋊α C
Throughout this section, we assume that G is a group which fits in the
exact sequence (1) and n ≥ max(rk(G), 2). Recall that α denotes the image of
a favored generator a of C via the natural map Z[C] ։ R. Computing with
powers of group elements in G shall be facilitated by the following notation.
For u ∈ R× and l ∈ Z ∪ {∞}, let

if l > 0,
 1 + u + · · · + ul−1
0
if l = 0, ∞,
∂u (l) =

if l < 0.
−u−1 ∂u−1 (−l)

For every l ∈ Z we have then (1−u)∂u (l) = 1−ul . In particular (1−α)ν(G) = 0
for ν(G) = ∂α (|C|). If C is infinite then ∂α is the composition of the Fox
derivative over C [Fox53] with the natural embedding of C into R = Z[C]. For
k, l ∈ Z and m ∈ M, we have the identity (mak )l = (∂αk (l)m) akl .
The description of Bachmuth’s IA automorphisms will considerably ease off
the study of Nielsen equivalence in G ≃ M ⋊α C. Recall that Fn denotes
the free group on x = (x1 , . . . , xn ). For ψ ∈ Aut(Fn ), let ψ be the automorphism of Zn induced by ψ. We denote by e = (ei ) the image of x by the
abelianization homomorphism Fn ։ (Fn )ab = Zn . The map ψ 7→ ψ is an epimorphism from Aut(Fn ) onto GLn (Z) [LS77, Proposition I.4.4] whose kernel is
denoted by IA(Fn ). This group clearly contains the isomorphisms εij defined
by εij (xi ) = x−1
j xi xj and εij (xk ) = xk if k 6= i. In turn, IA(Fn ) is generated
by the automorphisms εijk defined by εijk (xi ) = xi [xj , xk ] and εijk (xl ) = xl for
l 6= i [LS77, Chapter I.4] where [x, y] + xyx−1 y −1 .
3.1. Reduction to an a-row. We discuss here circumstances under which a
generating n-vector g of G can be Nielsen reduced to an a-row, i.e., a generating
n-vector of the form (m, a) with m ∈ Umn−1 (R) and a a favored generator of
C fixed beforehand. We first observe that any generating n-vector g is Nielsen
equivalent to (m, ma) for some m ∈ M n−1 and some m ∈ M. Indeed, we
can find ψ ∈ Aut(Fn ) such that σ(g)ψ = (1C n−1 , a) using Theorem 2.8. This
proves the claim. We shall establish conditions under which the element m
can be cancelled by a subsequent Nielsen transformation.

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS15

Lemma 3.1. Let g = (m, ma) ∈ Gn with m ∈ M n−1 and m ∈ M. Then g
generates G if and only if (m, ν(G)m) generates M as an R-module.
Proof. Assume first that g ∈ Vn (G). Given m′ ∈ M there exists w ∈ Fn
such that m′ = w(m, ma). We can write w = vxsn with v lying in the normal
closure of {x1 , . . . , xn−1 } in Fn and s ∈ Z. Since conjugation by ma induces
multiplication by α on M, v(g) lies in the R-submodule of M generated by m.
As (ma)s = ∂α (s)mas , we deduce that s = 0 if C is infinite or s ≡ 0 mod |C|
if C is finite. Therefore (ma)s belongs to Zν(G)m = Rν(G)m in both cases,
which completes the proof of the ’only if’ part.
Assume now that (m, ν(G)m) generates M as an R-module. Let H be
the subgroup of G generated by g and write m = (mi ). The subgroup H
contains the conjugates of the elements mi by powers of a, hence it contains
the submodule of M generated by m. It also contains the powers of ma, hence
the submodule of M generated by ν(G)m. Thus it contains both M and a, so
that it is equal to G.

Lemma 3.1 implies the following inequalities:
rk(G) − 1 ≤ rkR (M) ≤ rk(G)
When every generating n-vector of G can be Nielsen reduced to an a-row, we
say that G enjoys property Nn (a). If Nn (a) holds for n = rk(G), then the
equality rkR (M) = rk(G) − 1 must be satisfied. The converse does not hold,
as the latter is equivalent to the weaker property Nn (C) according to which
every generating n-vector can be Nielsen reduced to a c-row with c ranging
among generators of C, see Theorem 3.6 below.
Lemma 3.2. Let g = (m, ma) ∈ Vn (G) with m ∈ M n−1 and m ∈ M. Then
the following hold:
(i) If m ∈ (1 − α)M then m generates M as an R-module.
(ii) If ν(G) is nilpotent then m generates M as an R-module.
(iii) If m generates M as an R-module then g is Nielsen equivalent to
(m, a).
Proof. We know that (m, ν(G)m) generates M as an R-module by Lemma
3.1. If m ∈ (1 − α)M then ν(G)m = 0. Hence m generates M as an Rmodule, which proves (i). If ν(G) ∈ J (R), the same conclusion follows from
Nakayama’s lemma, which proves (ii). Let us prove (iii). If m = (mi ) generates M as an R-module then m is a sum of elements of the form kαl m′
with k, l ∈ Z and m′ ∈ {m1 , . . . , mn−1 }. We can subtract each of these terms
from m in the last entry of g by applying transformations of the form εli,n and
L−k

n,i .

16

LUC GUYOT

Combining assertions (ii) and (iii) of Lemma 3.2 yields:
Lemma 3.3. If ν(G) is nilpotent then Nn (a) holds for every n ≥ rk(G).
Let πab : G ։ Gab be the abelianization homomorphism of G. Let πC be
the natural map M ։ MC + M/(1 − α)M. Then we have Gab = MC × C and
πab = πC × σ.
Proposition 3.4. Let g ∈ Vn (G) and assume that at least one of the following
holds:
(i) n > rk(Gab ),
(ii) n > rk(MC ) and MC is not free over Z.
Then g is Nielsen equivalent to a vector (m, a) with m ∈ Umn−1 (M).
Proof. Let k = rk(MC ). Observe first that both assumptions imply n > k.
Let Zd1 × · · · × Zdk be the invariant factor decomposition of MC . Let then
Zd1 × · · · × Zdn−1 × C be the decomposition of Gab where di = 1 if i > k. Define
n−1
e = (ei ) ∈ Gab
by ei = 1 ∈ Zdi if i ≤ k, ei = 0 otherwise. Set g = πab (g).
Suppose now that (ii) holds so that Zd1 must be finite. Let δ̃ ∈ Z×
d1 be a lift of
δ + dete (g) and let g̃ = (δ̃e1 , e2 , . . . , en−1 , a). Since dete (g̃) = δ = dete (g), the
vectors g and g̃ are Nielsen equivalent by Corollary 2.9. By Theorem 2.8 this
is also true if we assume (i) and set δ̃ = 1 ∈ Zd1 . Hence under assumption (i)
or (ii) there is ψ ∈ Aut(Fn ) such that g̃ = gψ. Then g′ + gψ is of the form
(m, ma) with m = (m1 , . . . , mn−1 ) ∈ M n−1 and m ∈ M such that πC (m) = 0.
Applying Lemma 3.2 gives the result for any of the two hypotheses.

Proposition 3.5. Assume C is finite and let n = rk(G). Suppose moreover
that MC is isomorphic to Zn−1 . Let g ∈ Vn (G). Then g is Nielsen equivalent to
a vector (m, ak ) with m ∈ Umn−1 (M) and k = ± det(e,a) (g) where g = πab (g)
and e is any basis of MC . In particular, rkR (M) = rk(G) − 1.
Proof. Let e be a basis of MC over Z. By Theorem 2.8, we can assume that
g = (e, ak ) for some k such that k = ± dete (g). Hence g = (m, mak ) for some
m ∈ M n−1 and m ∈ (1 − α)M. Then g is Nielsen equivalent to (m, ak ) by
Lemma 3.2.

Eventually, we present a characterization of property Nn (a) which establishes the first part of Theorem D.
Theorem 3.6. Property Nn (a) holds if and only if at least one of the following
does:
(i) n > rk(Gab ).
(ii) C is infinite.
(iii) rk(G) > rk(MC ) and MC is not isomorphic to Zrk(G)−1 .

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS17

(iv) |C| ∈ {2, 3, 4, 6} and MC is isomorphic to Zrk(G)−1 .
Proof. Let us show first that any of the assertions (i) to (iv) implies that
property Nn (a) holds. For assertion (i), it is Proposition 3.4. For assertion
(ii), it follows from Lemma 3.3. For the remaining assertions, we can assume
that assertion (i) doesn’t hold, so that n = rk(G). Then assertion (iii) implies
Nn (a), by Proposition 3.4. So does assertion (iv) by Proposition 3.5.
Let us assume now that none of the assertions (i) to (iv) hold. We shall
prove that property Nn (a) doesn’t hold. Since assertion (i) is assumed not to
hold, we infer that n = rk(G). We can assume moreover that rkR (M) = n − 1,
since otherwise Nn (a) would fail to be true. Because none of the assertions
(ii), (iii) and (iv) hold, the group MC is isomorphic to Zrk(G)−1 and C is finite
and such that ϕ(|C|) > 2. By Proposition 3.5, we can find m ∈ Umn−1 (M)
and k > 1 coprime with |C| such that (m, ak ) generates G and cannot be
Nielsen reduced to an a-row.

Corollary 3.7. Property Nn (C) holds if and only if n > rkR (M).
Proof. If Nn (C) holds, the inequality rkR (M) ≤ n − 1 is satisfied by definition.
Let us assume now that Nn (C) doesn’t hold. Reasonning by contradiction, we
assume furthermore that n > rkR (M). Since property Nn (a) cannot hold it
follows from Theorem 3.6 that n = rk(G), C is finite and MC is isomorphic
to Zrk(G)−1 . The latter three conditions implie Nn (C) by Proposition 3.5, a
contradiction.

Corollary 3.8. Property Nn (c) holds for some generator c of C if and only if
it holds for all generators c of C.

3.2. Nielsen equivalence related to Γn−1 (R)-equivalence. In this section
we scrutinize the relation between Nielsen equivalence of generating n-vectors
and Γn−1 (R)-equivalence of unimodular rows. We prove there another part of
Theorem A, namely Proposition 3.11 below.
Recall that we denote by T the subgroup of R× generated by −1 and α and
that Γn (R) is the subgroup generated by En (R) and Dn (T ). Since Dn (R× )
normalizes En (R), we have Γn (R) = Dn (T )En (R).
Lemma 3.9. For every n ≥ 2, the group Γn (R) is generated by Dn (T ) together
with the elementary matrices Eij (1) with 1 ≤ i 6= j ≤ n.
Proof. For 1 ≤ i 6= j ≤ n and (r, r ′ ) ∈ R2 , β ∈ {α±1 }, we have the following
identities: Di (β)Eij (r)Di (β)−1 = Eij (βr) and Eij (r)Eij (r ′ ) = Eij (r+r ′ ). Since
R is generated as a ring by α and α−1 , the result follows.


18

LUC GUYOT

Lemma 3.10. If m, m′ ∈ Umn−1 (M) are Γn−1 (R)-equivalent, then (m, a),
(m′ , a) ∈ Vn (G) are Nielsen equivalent.
Proof. Since (mEij (1), a) = (m, a)Lij for 1 ≤ i 6= j ≤ n−1 and (mDi (α), a) =
(m, a)εi,n for 1 ≤ i 6= j ≤ n − 1, we deduce from Lemma 3.9 that (m, a) and
(m′ , a) are Nielsen equivalent.

We establish now a partial converse to Lemma 3.10.
Proposition 3.11. Assume C is infinite. If (m, a), (m′ , a) ∈ Vn (G) are
Nielsen equivalent then m, m′ ∈ Umn−1 (M) are Γn−1 (R)-equivalent.
Proof. Suppose that (m′ , a) = (m, a)ψ for some ψ ∈ Aut(Fn ). We claim that
ψ is of the form ψ0 ψ1 L where
• ψ0 ∈ IA(Fn ),
• ψ1 ∈ Aut(Fn−1 ), i.e., ψ1 (xn ) = xn and ψ1 leaves Fn−1 = F (x1 , . . . , xn−1 )
invariant,
• L belongs to the group generated by the automorphisms Ln,j .
To see this, consider the automorphism ψ ∈ GLn (Z) induced by ψ. Since
ψ(en ) = en , we can find a product of lower elementary matrices
L + En,1 (µ1 ) · · · En,n−1 (µn−1 )
with µi ∈ Z such that ψ · L ∈ GLn−1 (Z). Let ψ1 ∈ Aut(Fn−1 ) be an automorµ
phism inducing ψ · L on Zn−1 . Let L be the product of automorphisms Ln,jj
with µj ∈ Z. Then L induces L and by construction we have Lψ1−1 ∈ IA(Fn ),
which proves the claim.
The action of every IA-automorphism εijk on (m, a) leaves σ(m, a) invariant
and induces a transformation on m which lies in Γn−1 (R). The same holds for
every automorphism in Aut(Fn−1 ) and every automorphism Lij with i > j.
Let g + (m, a)ψ0 ψ1 . Then we can write g = (n, ma) with m ∈ M and where
n is Γn−1 (R)-equivalent to m. As σ(gL) = σ(m′ , a) = (1C n−1 , a) we deduce
that µj = 0 for every j, i.e., L = 1. Hence m′ = n which yields the result. 
3.3. Nielsen equivalence classes. In this section, we complete the proof
of Theorem A by establishing Theorem 3.12 below. We subsequently discuss
assumptions under which the latter theorem enables us to enumerate efficiently
Nielsen equivalence classes. Recall that the map ϕa : Umn−1 (M) → Vn (G) is
defined by ϕa (m) = (m, a).
Theorem 3.12. The map ϕa induces a map
Φa : Umn−1 (M)/Γn−1 (R) → Vn (G)/Aut(Fn )
(i) Property Nn (a) holds if and only if n > rkR (M) and Φa surjective.

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS19

(ii) If C is infinite then Φa is bijective.
Proof. It follows from Lemma 3.10 that Φa is well-defined. Assertion (i) is
trivial while assertion (ii) results from Lemma 3.2.ii and Proposition 3.11. 
Corollary 3.13. Assume that M ≃ R. If n > sr(R) + 1, then G = M ⋊α C
has only one Nielsen equivalence class of generating n-vectors.
Proof. The result follows from Theorem A and the inequality (4).



We consider now several hypotheses under which the problem of counting
Nielsen equivalence classes is particularly tractable. One of these hypotheses is
that R be quasi-Euclidean, i.e., R enjoys the following row reduction property
shared by Euclidean rings: for every n ≥ 2 and every r = (r1 , . . . , rn ) ∈ Rn ,
there exist E ∈ En (R) and d ∈ R such that (d, 0, . . . , 0) = rE (see [AJLL14]
for a comprehensive survey on quasi-Euclidean rings). If R is a Noetherian
quasi-Euclidean ring, then M admits an invariant factor decomposition, i.e.,
a decomposition of the form R/a1 × R/a2 × · · · × R/an with R 6= a1 ⊃ a2 ⊃
· · · ⊃ an where the ideals ai are referred to as the invariant factors of M (see
[Guy17, Lemma 1]).
Corollary 3.14. Let G = M ⋊α C and n = rk(G). Then the following hold:
(i) If M is free over R, C is infinite and R is a GEn−1 -ring, then
nn (G) = |R× /T |.
(ii) If C is infinite and R is quasi-Euclidean, then nn (G) = |Λ× /TΛ | where
Λ = R/a1 , a1 is the first invariant factor of M and TΛ is the image of
T in Λ by the natural map.
Proof. (i). As C is infinite, it follows from Theorem A that M ≃ Rn−1 . For
m ∈ Umn−1 (M), let Mat(m) ∈ GLn−1 (R) be the matrix whose columns are the
components of m. For every E ∈ Γn−1 (R) the identity Mat(mE) = Mat(m)E
holds. As R is a GEn−1 -ring, we have Γn−1 (R) = Dn−1 (T )SLn−1 (R). We
deduce from Whitehead’s lemma that Mat(m) can be reduced to Dn−1 (u) via
right multiplication by some E ∈ Γn−1 (R), where u is a member of a transversal
of R× /T . Therefore nn (G) ≤ |R× /T |. Since uT = det(Mat(m)E)T , we
conclude that nn (G) = |R× /T |.
(ii). By [Guy17, Theorem A and Corollary C], we have Umn (M)/Γn (R) ≃
Λ× /TΛ . Theorem A implies nn (G) = |Λ× /TΛ |.

We examine in the next proposition the structural implication of M being
free over R with R-rank equal to rk(G).
Proposition 3.15. Assume that rkR (M) = n = rk(G) and M is the direct
sum of n cyclic factors, i.e.,
M = R/a1 × · · · × R/an

20

LUC GUYOT

where the ai are ideals of R. Let a = a1 + · · · + an . Then ν(G) is invertible
rk(G)
modulo a. In addition, C is finite and G/aM = Zd
× C where d = |R/a| <
∞ is prime to |C|.
Proof. We can assume without loss of generality that a = {0}. Let e = (ei ) be
a basis of M over R and let g ∈ Vn (G) for n = rk(G). We can also suppose
that g = (m, ma) with m ∈ M n−1 and m ∈ M. By Lemma 3.1, the vector
(m, ν(G)m) generates M as an R-module. Therefore the map e 7→ (m, ν(G)m)
induces an R-automorphism of M. This shows that en = ν(G)m′ for some
Pn−1
ri ei + (ν(G)rn − 1)en = 0, with
m′ ∈ M. Hence a relation of the form i=1
ri ∈ R holds in M. It follows that ν(G) is invertible. Thus M = ν(G)M is
C-invariant so that G = MC × C. As a result M = MC is a free Zd -module
with d = |R| or d = 0. Since rk(M) = rk(G), the group C must be finite, d
must be non-zero and prime to |C|.

Corollary 3.16. Let G = M ⋊α C. Assume that at least one of the following
holds:
(i) R is quasi-Euclidean.
(ii) M is free over R and R is a GE-ring
Then nn (G) = 1 for every n > rk(G).
Proof. Suppose first that (i) holds. By [Guy17, Corollary B], the set
Umn−1 (M)/Γn−1 (R) is reduced to one element and Theorem A implies nn (G) =
1. Suppose now that (ii) holds. If rkR (M) = rk(G), then G is Abelian by
Proposition 3.15 and the result follows from Theorem 2.8. Assume now that
M ≃ Rrk(G)−1 , let k = rk(G) and n > k. As the result certainly holds if G is
cyclic, we assume moreover that k ≥ 2. Let us show that Umn−1 (M)/En−1 (R)
is made of a single orbit. For m ∈ Umn−1 (M), let Mat(m) be the (k − 1)-by(n − 1) matrix whose columns are the components of m. Since R is a GE-ring,
there is E ∈ En−1 (R) such that


1 0
(6)
Mat(m)E =
A B
where A is an (k − 2)-by-1 matrix and B is a (k − 2)-by-(n − 2). If k = 2,
then m has been reduced to a standard unimodular row. Otherwise,
let


v1
m′ = mE. Since m′ generates M, we can find a column vector V =  ... 
vn−1
 
1
such that Mat(m′ )V =
. Combining the latter identity with (6), we
0


1 0
′
where P =
deduce that v1 = 1 and subsequently Mat(m )P =
0 B

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS21

E12 (v2 ) ·· · E1 n−1 (vn−1 ). By iterating this procedure, we reduce Mat(m) to
Ik−1 0 through elementary column reduction operations. Consequently,
Umn−1 (M)/En−1 contains a single orbit. Theorem A eventually implies nn (G) =
1.

3.4. T-systems. In this section, we prove results on the T-systems of G =
M ⋊α C under the assumption that M is free over R. These results will
be specialized in Section 4.3 so as to prove Theorem E. We present first all
the definitions needed for describing Aut(G). Let c 7→ c be the restriction
to C of the natural map Z[C] ։ R. We call d : C −→ M a derivation if
d(cc′ ) = d(c) + cd(c′ ) holds for every (c, c′ ) ∈ C 2 . Given a derivation d, we
denote by Xd the automorphism of G defined by
mc 7→ md(c)c
For t ∈ AutR (M), denote by Yt the automorphism of G defined by
mc 7→ t(m)c
The following lemma underlines the link between Der(C, M), the R-module
of derivations, and the automorphisms of G which leave M point-wise invariant.
Lemma 3.17. Let m ∈ M. Then the following are equivalent:
(i) ν(G)m = 0.
(ii) There exists d ∈ Der(C, M) such that d(a) = m.
(iii) There exists φ ∈ Aut(G) such that φ(a) = ma.
If one of the above holds, then the derivation d in (ii) is uniquely defined
by d(ak ) = ∂α (k)m for every k ∈ Z. If in addition the restriction to M of
the automorphism φ in (iii) is the identity, then φ(mc) = md(c)c for every
(m, c) ∈ M × C.

We denote by A(C) the subgroup of the automorphisms of C induced by automorphisms of G preserving M. The following result is referred to in [Guy12,
Proposition 4] where it is a key preliminary to the study of 2-generated G-limits
in the space of marked groups.
Proposition 3.18. Assume M is a free R-module and ν(G) = 0. Let n =
rk(G) and let g, g′ ∈ Vn (G). Then the following are equivalent:
(i) g and g′ are related by an automorphism of G preserving M,
(ii) σ(g) and σ(g′ ) are related by an automorphism in A(C).
Proof. Clearly, assertion (i) implies (ii). Let us prove the converse. Replacing,
if needed, g by φg for some automorphism φ of G that preserves M, we can

22

LUC GUYOT

assume without loss of generality that σ(g) = σ(g′). Replacing g and g′
by gψ and gψ respectively for some ψ ∈ Aut(Fn ), we can also assume that
σ(g) = σ(g′) = (1C n−1 , a) and hence write g = (m, ma) and g′ = (m′ , m′ a)
with m, m′ ∈ M n−1 and m, m′ ∈ M. By Lemma 3.2, the rows m and m′ are
bases of M. By Lemma 3.17, there is d′ ∈ Der(C, M) such that d′ (a) = m−m′ .
Let t ∈ AutR (M) be defined by t(m) = m′ . Then we have g = Yt Xd′ g′, which
proves the result.

Recall that G is said to have property Nn (a) if every of its generating nvectors can be Nielsen reduced to an a-row, i.e., a vector of the form (m, a)
with m ∈ Umn−1 (M).
Theorem 3.19. Let n = rk(G) and assume that M is free over R. If moreover
Nn (a) holds or rkR (M) = n, then G has only one Tn -system.
Proof. Assume Nn (a) holds. Given an R-basis e of M, we shall prove that any
g ∈ Vn (G) is in the same Tn -system as (e, a). By Theorem A, we can assume
without loss of generality that g is of the form (m, a) with m ∈ Umn−1 (M).
The R-endomorphism t mapping e to m is an R-isomorphism. Thus (m, a) =
Yt (e, a). Let us assume now that rkR (M) = n holds. The group G is then a
finite Abelian group by Proposition 3.15. Thus the result follows from Theorem
2.8.

We denote by A′ (C) the subgroup of Aut(C) generated by A(C) and the
automorphism of C which maps a to a−1 . Here is the most general result we
obtain regarding the count of T-systems.
Theorem 3.20. Let n = rk(G) and assume that M is free over R. Then
tn (G) ≤ |Aut(C)/A′(C)|, with equality if M is a characteristic subgroup of G
and MC is isomorphic to Zn−1 .
In order to prove the above theorem, we will use this simple variation on
results found in [Sze04].
Lemma 3.21. Let AutZ (M) be the group of Z-automorphisms of M.
(i) Let (τ, θ) ∈ AutZ (M) × Aut(C) such that θ(a) = ak and
τ (cmc−1 ) = θ(c)τ (m)θ(c)−1 for all m ∈ M, c ∈ C.
Then Yτ,θ : mc →
7 τ (m)θ(c) is an automorphism of G and the map
k
α 7→ α induces a ring automorphism θ of R which satisfies
τ (rm) = θ(r)τ (m) for all m ∈ M, r ∈ R.
(ii) Let d ∈ Der(C, M), t ∈ AutR (M) and (τ, θ) as in (i). Then we have
τ −1 ◦ d ◦ θ ∈ Der(C, M), τ −1 ◦ t ◦ τ ∈ AutR (M) and
−1
Yτ,θ Xd Yτ,θ
= Xτ −1 ◦d◦θ ,

−1
Yτ,θ Yt Yτ,θ
= Yτ −1 ◦t◦τ .

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS23

(iii) Let φ ∈ Aut(G) such that φ(M) = M. Then there is d ∈ Der(C, M)
and (τ, θ) as in (i), such that φ = Xd Yτ,θ . In particular, every automorphism in A(C) is induced by some Yτ,θ ∈ Aut(G).
Proof. The proofs of assertions (i) and (ii) are straightforward verifications.
(iii). Let τ be the restriction of φ to M and let θ the automorphism of C
induced by φ. It is easy to check that (τ, θ) satisfy the conditions of (i). Let
−1
φ′ = φYτ,θ
. Then the restriction of φ′ to M is the identity and there is m ∈ M
such that φ′ (a) = ma. By Lemma 3.17, there is d ∈ Der(C, M) such that
φ ′ = Xd .

Proof of Theorem 3.20. If the property Na (n) holds, or if rkR (M) = n, then
Theorem 3.19 implies that tn (G) = 1 ≤ |Aut(C)/A′ (C)|. Therefore we can
assume, without loss of generality that Na (n) does not hold and rkR (M) < n.
By Theorem A, the group C is finite and MC is isomorphic to Zn−1 . Using
Proposition 3.5 and reasoning with a basis e of M as in the proof of Theorem 3.19.i, we see that every generating n-vector falls into the Tn -system
of (e, ak ) for some k coprime with |C|. It follows from Lemma 3.21.ii that
(e, θ(ak )) lies the Tn -system of (e, ak ) for every θ ∈ A′ (C). Therefore tn (G) ≤
|Aut(C)/A′ (C)|. Assume now that M is a characteristic subgroup of G. If
(e, a) lies in the Tn -system of (e, ak ) for some k coprime with |C|, then we
can find φ ∈ Aut(G) such that φ(e, a) is Nielsen equivalent to (e, ak ). By
Lemma 3.21.ii, we have φ(e, a) = (e′ , mθ(a)) for some basis e′ of M and
some (m, θ) ∈ M × A(C). By Lemma 3.2.iii, the vector (e′ , θ(a)) is Nielsen
equivalent to (e, ak ). Proposition 3.5 implies that θ(a) = a±k , hence there is
θ′ ∈ A′ (C) such that θ′ (a) = ak .

4. Nielsen equivalence classes and T-systems of R ⋊ C
In this section, we assume that M ≃ R, i.e., G = ha, bi is a split extension
of the form R ⋊α C with C = hai, while b is the identity of the ring R and a
acts on R as the multiplication by α ∈ R× .
4.1. Nielsen equivalence of generating pairs. We prove here the first two
assertions of Theorem D. We begin with the definition of an invariant of Nielsen
equivalence named ∆a . If ν(G) = 0 there is a unique derivation da ∈ Der(C, R)
satisfying da (a) = 1. For g = (g, g ′) = (rc, r ′c′ ) ∈ G2 with (r, r ′ ) ∈ R2 and
(c, c′ ) ∈ C 2 , we set
(7)

Da (g) = rda (c′ ) − r ′ da (c) ∈ R

It is easily checked that [g, g ′] = (1 − α)Da (g). If ν(G) 6= 0, we set further
Da (g) = Da (πν(G)R (g)) ∈ R/ν(G)R

24

LUC GUYOT

where the right-hand side is defined as in (7).
Lemma 4.1. We have Da (g) ∈ (R/ν(G)R)× for every g ∈ V2 (G).
Proof. We can assume without loss of generality that ν(G) = 0.
′
Let g = (rak , r ′ ak ) ∈ V2 (G) with r, r ′ ∈ R and k, k ′ ∈ Z. We first observe
that
′
Da (gL12 ) = αk Da (g)
Da (gL21 ) = αk Da (g)
Da (gI1 ) = −α−k Da (g)
Thus Da (gAut(F2 )) = T Da (g). We know from Lemma 3.2 that g is Nielsen
equivalent to (r, a) for some r ∈ R× . Therefore Da (g) ∈ rT which shows that
Da (g) is invertible.

Remark 4.2. Assume ν(G) = 0. Let c be a generator of C and let dc ∈
Der(C, R) such that dc (c) = 1. It is easily checked that dc = dc (a)da and the
identity dc (c) = 1 implies that dc (a) ∈ R× . For such elements c there is thus
only one map Dc up to multiplication by a unit of R.
We set
Λ = R/ν(G)R,

TΛ = πν(G)R (T ),

and define the map
∆a : V2 (G) → Λ× /TΛ
g
7→ TΛ D(g)
In the course of Lemma 4.1’s proof we actually showed
Lemma 4.3. The map ∆a is Aut(F2 )-invariant.
The last stepping stone to the theorem of this section is the crucial
Lemma 4.4. Let g = (r, a), g′ = (r ′ , a) with r, r ′ ∈ R× . Then the following
are equivalent:
(i) g and g′ are Nielsen equivalent.
(ii) πν(G)R (g) and πν(G)R (g′ ) are Nielsen equivalent.
(iii) ∆a (g) = ∆a (g′ ).
Proof. (i) ⇒ (ii). This follows from the Aut(F2 )-equivariance of πν(G)R .
(ii) ⇒ (iii). This follows from Lemma 4.3.
(iii) ⇒ (i). The result is trivial if ν(G) = 0, thus we can assume that C
is finite. By hypothesis, there exist k ∈ Z, rν ∈ R and ǫ ∈ {±1} such that
r ′ = ǫαk r + rν ν(G). Replacing g′ by a conjugate if needed, we can assume
that k = 0. Taking the inverse of the first component of g if needed, we can
moreover assume that ǫ = 1, so that r ′ = r + ν(G)rν . Since r ′ is a unit,
we can argue as in the proof of Lemma 3.1.iii to get ψ ∈ Aut(F2 ) such that

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS25

−|C|

(r ′ , a)ψ = (r ′ , rν a). We have then (r ′ , a)ψL1,2 = (r, rν a). Since r is a unit, we
can cancel rν using another automorphism of F2 .

The next lemma will help us determine when ∆a is a complete invariant of
Nielsen equivalence.
Lemma 4.5 ([zh]). Let I ⊂ R be an ideal which is contained in all but finitely
many maximal ideals of R. Then the natural map R× → (R/I)× is surjective.
Proof.TLet m1 , . . . , mk be the maximal ideals of R not containing I and let
J = ( i mi ) ∩ I. By the Chinese Remainder Theorem, the map
ρ : r + J 7→ (r + I, r + m1 , . . . , r + mk )

is a ring isomorphism from R/J onto R/I × R/m1 × · · · × R/mk . Given u ∈
(R/I)× we can find v = ũ+J ∈ (R/J)× such that ρ(v) = (u, 1+m1, . . . , 1+mk ).
Hence we have u = ũ + I. As J ⊂ J (R), we also have ũ ∈ R× .

Before we can state the main result of this section, we need to introduce
some notation. Given an ideal I of R, we denote by πI the natural group
epimorphism R ⋊α C ։ R/I ⋊α+I C.
Theorem 4.6. Let g, g′ ∈ V2 (G), e + πab (b, a) and RC + R/(1 − α)R.
(1) The following are equivalent:
(i) The pairs g and g′ are Nielsen equivalent.
(ii) The pairs πI (g) and πI (g′ ) are Nielsen equivalent for every
I ∈ {(1 − α)R, ν(G)R}.
(iii) dete ◦πab (g) = ± dete ◦πab (g′ ) and ∆a (g) = ∆a (g′).
(2) If C is infinite or RC is finite then ∆a is surjective and the above conditions are equivalent to ∆a (g) = ∆a (g′ ). In this case ∆a is a complete
invariant of Nielsen equivalence for generating pairs.
Proof. 1.(i) ⇒ (ii). This follows from the Aut(F2 )-equivariance of πI .
1.(ii) ⇒ (iii). We deduce the identity dete ◦πab (g) = ± dete ◦πab (g′ ) from
Theorem 2.8 and the identity ∆a (g) = ∆a (g′ ) from Lemma 4.3.
1.(iii) ⇒ (i). Suppose first that C is infinite or RC is finite. By Theorem
A, we know that g and g′ can be Nielsen reduced to (r, a) and (r ′ , a) for some
r, r ′ ∈ R× . By Lemma 4.4 the pairs g and g′ are Nielsen equivalent. Suppose
now that C is finite and RC is infinite. By Proposition 3.5, we know that g
′
and g′ can be Nielsen reduced to (r, ak ) and (r ′ , ak ) for some r, r ′ ∈ R× and
k, k ′ ∈ Z such that k ≡ ± dete ◦πab (g) and k ′ ≡ ± dete ◦πab (g′ ) modulo |C|.
We deduce from Theorem 2.8 that k ′ ≡ ±k mod |C|. Replacing g by gI2 if
′
needed, we can assume that ak = ak . Thanks to Remark 4.2, we can argue
as in the first part of the proof where a is replaced by ak , which proves the
Nielsen equivalence of g and g′ .

26

LUC GUYOT

2. We already showed in the proof of (1) that ∆a is injective if C is infinite
or RC is finite. Thus we are left with the proof of ∆a ’s surjectivity. Clearly, it
suffices to show that the natural map R× → (R/ν(G)R)× is surjective. This is
trivial if C is infinite since ν(G) = 0 in this case. So let us assume that RC is
finite. Since we have (1 − α)ν(G) = 0, the ring element ν(G) belongs to every
maximal ideal of R which doesn’t contain 1 − α. Hence it belongs to all but
finitely many maximal ideals of R. Now Lemma 4.5 yields the conclusion. 
We end this section with an algorithmic characterization of generating pairs.
Proposition 4.7. Assume ν(G) is nilpotent and let g ∈ G2 . Then the following are equivalent:
(i) g generates G.
(ii) σ(g) generates C and Da (g) ∈ (R/ν(G)R)× .
Proof. (i) ⇒ (ii). This follows from σ’s surjectivity and Lemma 4.1.
(ii) ⇒ (i). Since σ(g) generates C there is ψ ∈ Aut(F2 ) such that σ(g)ψ =
(1C , a). Replacing g by gψ, we can then assume that g = (r, r ′ a) for some
r, r ′ ∈ R. Since ∆a (g) = r + ν(G)R ∈ (R/ν(G)R)× and ν(G) ∈ J (R) we
deduce that r ∈ R× . Therefore g generates G.

4.2. Nielsen equivalence of generating triples and quadruples. In this
section we prove the last two assertions of Theorem D. Since rk(G) = 2 and
dimKrull (R) ≤ 2, Corollary 3.13 ensures that G has only one Nielsen class
of generating n-vectors for n > 4. Using Theorem A in combination with a
theorem of Suslin [Sus77, Theorem 7.2], we show in Theorem 4.10 below that
this remains true if n > 3. Recall that the map
Φa : rΓn−1 (R) 7→ (r, a)Aut(Fn )
defined in Theorem A is a bijection from Umn−1 (R)/Γn−1 (R) onto
Vn (G)/Aut(Fn ) provided that C is infinite.
Lemma 4.8. Let n ≥ 3. If R is a GEn−1 -ring, then nn (G) = 1.
Proof. Let g ∈ Vn (G). We shall show that g is Nielsen equivalent to g1 +
(r1 , a) with r1 = (1, 0, . . . , 0) ∈ Umn−1 (R). As n > rk(G), the property Nn (a)
holds by Theorem A. Therefore g can be Nielsen reduced to a vector of the
form (r, a) with r ∈ Umn−1 (R). Since R is a GEn−1 -ring and R is completable
by Lemma 2.5, the group En−1 (R) acts transitively on Umn−1 (R). Hence r
can be transitioned to r1 under the action of En−1 (R). Lemma 3.10 implies
that g is Nielsen equivalent to g1 .

Our forthcoming result on generating triples involves the following defini
A 0
tions from algebraic K-theory. For every n ≥ 1, the map A 7→
0 1

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS27

defines an embedding from SLn (R) into SLn+1 (R), respectively from En (R)
into En+1 (R). Denote by SL(R) and E(R) the respective ascending unions.
Then E(R) is normal in SL(R) and the group SK1 (R), the special Whitehead
group of R, is the quotient SL(R)/E(R). The next lemma shows in particular
that the image in SK1 (R) of a matrix in SL2 (R) depends only on its first row.
Lemma 4.9. Let R be any commutative ring with identity. Denote by Ê2 (R)
thenormal
 closure of E2 (R) in SL2 (R). Let ρ : SL2 (R) → Um2 (R) be defined
a b
by
7→ (a, b). Then the map ρ induces a bijection from SL2 (R)/Ê2 (R)
c d
onto Um2 (R)/Ê2 (R).
Proof. For every A, B ∈ SL2 (R) the identity ρ(AB) = ρ(A)B holds. Therefore
the map ρ̂ : AÊ2 (R) 7→ ρ(A)Ê2 (R) is well defined. Let 
(a, b) ∈ Um
 2 (R) and
a
b
let a′ , b′ ∈ R be such that aa′ + bb′ = 1. Then A +
∈ SL2 (R)
−b′ a′
and (a, b) = ρ(A), so that ρ, and hence ρ̂ is surjective. Let us prove that ρ̂ is
injective. Consider for this A, B ∈ SL2 (R) such that ρ̂(A) = ρ̂(B). Multiplying
A on the right by a matrix in Ê2 (R) if needed, we can assume that ρ(A) =
ρ(B). Thus ρ(AB −1 ) = ρ(A)B −1 = ρ(B)B −1 = (1, 0), which shows that
AB −1 ∈ E2 (R). The result follows.

The Mennicke symbol [r] of r ∈ Um2 (R) is the image in SK1 (R) of any
matrix of SL2 (R) whose first row is r. We are now in position to prove
Theorem 4.10. The following hold:
(i) If C is infinite then V3 (G)/Aut(F3 ) surjects onto SK1 (R).
(ii) If R is a GE2 -ring, e.g., C is finite, then n3 (G) = 1.
(iii) n4 (G) = 1.
Proof. (i). By Theorem A, we can identify the two orbit sets V3 (G)/Aut(F3 )
and Um2 (R)/Γ2 (R). The classical properties of the Mennicke symbol [Lam06,
Proposition 3.4] imply that the map [·] : Um2 (R) → SK1 (R) is Γ2 (R)-invariant.
This yields a map Um2 (R)/Γ2 (R) → SK1 (R). By Remark 2.4, the latter map
is surjective.
(ii). This is Lemma 4.8 for n = 3.
(iii). We can assume that C is infinite since Lemma 4.8 applies otherwise. If
dimKrull (R) ≤ 1, then n4 (G) = 1 by Corollary 3.13. Thus, we can also suppose
that R = Z[X ±1 ]. Since V4 (G)/Aut(F4 ) identifies with Um3 (R)/Γ3 (R) by
Theorem A and since E3 (R) acts transitively on Um3 (R) by [Sus77, Theorem
7.2], we deduce that n4 (G) = 1.


28

LUC GUYOT

4.3. T-systems of generating pairs and triples. This section is dedicated
to the proofs of Theorem E and F. Recall that we denote by nn (G) the number
of Nielsen equivalence classes of generating n-vectors of G and by tn the number
its Tn -systems of G, both numbers may be infinite.
Proof of Theorem E. (i). Combine Theorems A and 3.19.
(ii). This is a specialization of Theorem 3.20 to G = R ⋊α C.
(iii). Consider the action of Aut(G) on V3 (G)/Aut(F3 ) defined by
φ · (gAut(F3 )) = (φg)Aut(F3 ),

g ∈ V3 (G), φ ∈ Aut(G).

Regarding the first inequality, it suffices to show that the stabilizer Sg of
gAut(F3 ) has index at most |A(C)|n2 (G) in Aut(G) for every g ∈ V3 (G). By
Theorem A.i, such a triple g is Nielsen equivalent to (r, s, a) for some r, s ∈ R.
Since R = sR + tR = Z[α±1 ], we easily see that every automorphism Xd stabilizes gAut(F3 ). For an automorphism Yτ,1 of G, we observe that τ ∈ AutZ (R)
is actually an R-automorphism, so that τ is the multiplication some unit of
R. If uτ is a trivial unit, we see that Yτ = Yτ,1 stabilizes gAut(F3 ) considering
conjugates of the first two components of g. If A(C) contains an automorphisms θ which maps a to a−1 , we let φ−1 be an automorphism of the form
Yτ,θ whose image is θ through the natural map Aut(G) ։ A(C). Otherwise
we set φ−1 = 1. Let V be a transversal of R× /T . It follows from Lemma
3.21, that {Yτ φǫ ; ǫ ∈ {0, 1}, τ (b) ∈ V } is a transversal of Aut(G)/Sg . Since
n2 (G) = |R× /T | by Theorem D.2, we deduce that |Aut(G)/Sg | ≤ |A(C)|n2 (G),
which completes the proof of the first inequality.
In order to prove the second inequality, consider the action of Aut(G) on
SK1 (R) defined by φ · [r] = [φ(r)] for (φ, r) ∈ Aut(G) × Um2 (R) and where
[r] denotes the Mennicke symbol of r. The map (r, a)Aut(F3 ) 7→ [r] induces
an Aut(G)-equivariant map µ from V3 (G)/Aut(F3 ) onto SK1 (R). Every automorphism φ ∈ {Xd , Yt | d ∈ Der(C, R), τ ∈ AutR (R)} fixes every symbol [r]. It
follows from Lemma 3.21 that the Aut(G)-action on SK1 (R) factors through
an A(C)-action and we have Aut(G)\ SK1 (R) ≃ A(C)\ SK1 (R). Therefore µ
induces a surjective map from Aut(G)\ V3 (G)/Aut(F3 ) onto A(C)\ SK1 (R),
which yields the result.

By Theorem E, we have t2 (G) = 1 if C is infinite or Gab is finite. With
Corollary 4.11 below, we prove the first part of Theorem F, that is, G can
have arbitrarily many T2 -systems when C is finite but Gab isn’t.
Corollary 4.11. Let q = pd and N = q − 1, with p a prime integer and d ≥ 2
an even integer. Let ΦN,p (X) be the N-th cyclotomic polynomial over the
field with p elements and let P ∈ Z[X] a monic polynomial of degree d whose
reduction modulo p is an irreducible factor of ΦN,p (X). Let R = Z[X]/(X −1)I

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS29

where I = (p, P (X)) is the ideal generated by p and P (X). Then the image α
of X in R is invertible. It generates a subgroup C ⊂ R× with N elements and
the number of T2 -systems of G = R ⋊α C is t2 (G) = ϕ(N)/d.
We will use the following straightforward consequence of Lemma 3.21:
Lemma 4.12. Let k ∈ Z. The following are equivalent:
(i) There is θ ∈ A(C) such that θ(a) = ak .
(ii) The map α 7→ αk induces a ring automorphism of R.

Lemma 4.13. The two following hold:
(i) Let g = rak ∈ G with r ∈ R, k ∈ Z. Then g centralizes its conjugacy
class if and only if (1 − αk )2 = 0 = (1 − α)(1 − αk )r.
(ii) Let ω be the order of α in R× . Assume that ω = |C| and for every k ∈
Z, we have (1 − αk )2 6= 0 whenever αk 6= 1. Then R is a characteristic
subgroup of G.
Proof. Assertion (i) is a direct consequence of the identity


′
′
[g, hgh−1] = (1 − αk ) (1 − αk )r − (1 − αk )r ′ , where h = r ′ ak .

In order to prove (ii), consider φ ∈ Aut(G) and write φ(b) = rak where b is
the identity of the ring R. Since b centralizes its conjugacy class, so does φ(b).
By (i), we have (1 − αk )2 = 0, which yields αk = 1. As ω = |C|, we deduce
that φ(b) = r and hence φ(R) = R.

Proof of Corollary 4.11. The existence of the polynomial P (X) is guaranteed
by [LN97, Theorem 2.47]. Let P (X) ∈ Zp [X] be the reduction of P (X) modulo
p. By the Chinese Remainder Theorem, the ring R identifies with Z×Fq where
Fq = Zp [X]/(P (X)) is the field with q elements. As a result, the element α
identifies with (1, x) where x ∈ F×
q is an N-th primitive root of unity. Thus
×
C ≃ Fq and the ring automorphisms of R induced by maps of the form α 7→ αk
correspond bijectively to powers of the Frobenius endomorphism of Fq . Lemma
4.13’s hypotheses are easily checked so that R is a characteristic subgroup of
G. By Lemma 4.12, we have then |A(C)| = d and hence |A′ (C)| = d for d is
even. By Theorem E, we obtain t2 (G) = |Aut(C)/A′(C)| = ϕ(N)/d.

Using the K-theory of orders of arithmetic type, we establish now the second
part of Theorem F.
Theorem 4.14. Let N ≥ 3, ζN = e2iπ/N and α = 1 + N 2 ζN . Define the
ring S as the localization Z[ζN ]α of Z[ζN ] at α and let R = Z[α±1 ] ⊂ S. Let
G = R ⋊α Z where the canonical generator of Z acts on R as the multiplication
by α. Then we have n3 (G) = t3 (G) = N.

30

LUC GUYOT

We first need to show
Proposition 4.15. Let R be as in Theorem 4.14. Then E2 (R) is normal in
SL2 (R) and we have SL2 (R)/E2 (R) ≃ SK1 (R) ≃ ZN .
We redirect the reader to [Mag02] for the definitions of the relative special
Whitehead group and quadratic residue symbols.
Proof. Since R contains N 2 S and S is a Dedekind ring of arithmetic type, the
ring R is an order of arithmetic type in the sense of B. Liehl [Lie81]. It has
moreover infinitely many units. By [Lie81, Formulas (5) and (19)], the group
E2 (R) is normal in SL2 (R) and SL2 (R)/E2 (R) is a quotient of SK1 (S, f2 ) where
f = {x ∈ R | xS ⊂ R} is the conductor of R in S. Let us show that f = N 2 S,
ϕ(N )−1
i.e., the exponent of the Abelian group S/R is N 2 . As {1, ζN , . . . , ζN
} is a
basis of Z[ζN ] over Z, the exponent of Z[ζN ]/(Z + N 2 Z[ζN ]) is N 2 . Setting α +
α + N 2 Z[ζN ] = 1 + N 2 Z[ζN ], we observe that S/R = Z[ζN ]α /(Z + N 2 Z[ζN ])α =
(Z[ζN ]/(Z + N 2 Z[ζN ]))α ≃ Z[ζN ]/(Z + N 2 Z[ζN ]). Therefore the exponent of
S/R is also N 2 , which proves the claim.
We shall establish
(8)

SK1 (R) ≃ SK1 (R, f)

The inclusion map from R into S induces an epimorphism SK1 (R, f) ։ SK1 (S, f).
If (8) holds, then SK1 (R) maps homomorphically onto SK1 (S, f), which is in
turn isomorphic to both SK1 (S, f2 ) and ZN by the Bass-Milnor-Serre theorem
[Mag02, Theorem 11.33]. Using [Lie81, Formula (19)], we see that there is
an epimorphism from SK1 (R) onto SL2 (R)/E2 (R). By Remark 2.4, there is
also an epimorphism from SL2 (R)/E2 (R) onto SK1 (R). Since both groups are
finite, there are isomorphic.
It only remains to prove (8). To do so, we first observe that R/f ≃ ZN 2 .
Indeed, setting Q = (Z+ N 2 Z[ζN ])/N 2 Z[ζN ], it is straightforward to show that
Q ≃ ZN 2 and subsequently R/f = (Z + N 2 Z[ζN ])α /(N 2 Z[ζN ])α ≃ Qα ≃ ZN 2 .
In the exact sequence (see, e.g., [Mag02, Theorem 13.20 and Example 13.22])
K2 (R/f) → SK1 (R, f) → SK1 (R) → SK1 (R/f)
the last term, namely SK1 (R/f), is trivial since R/f is finite. In addition, the
image of K2 (R/f) in SK1 (R, f) is also trivial. Indeed K2 (R/f) is generated by
the Steinberg symbol {−1 + f, −1 + f}R/f because R/f ≃ ZN 2 (see [Mag02,
Exercises 13A.10 and 15C.10]). As {−1, −1}R is a lift of the previous symbol
in K2 (R) our claim follows and the proof is now complete.

Proof of Theorem 4.14. By Theorem 3.12, the set V3 (G)/Aut(F3 ) identifies
with Um2 (R)/Γ2 (R) via (r, a)Aut(F3 ) 7→ rΓ2 (R) . Since E2 (R) is normal in
SL2 (R) by Proposition 4.15, the set Um2 (R)/E2 (R) identifies in turn with

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS31

SL2 (R)/E2 (R) ≃ SK1 (R) by Lemma 4.9 and the identification is given by
r 7→ [r]. Consequently Um2 (R)/E2 (R) ≃ Um2 (R)/Γ2 (R) and it follows that
n3 (G) = | SK1 (R)|. Since R is a domain, Lemma 4.13.ii applies so that R
is a characteristic subgroup of G. As the complex modulus of α ∈ Z[ζN ] is
greater than 1, the integer α is not a unit of Z[ζN ]. Therefore α and α−1
have distinct minimal polynomials over Q and hence α 7→ α−1 doesn’t induce a ring endomorphism of R. By Lemma 4.12, the group A(C) is trivial
and reasoning as in the proof of Theorem E.iii, we obtain a bijective map
Aut(G)\ V3 (G)/Aut(F3 ) → SK1 (R). In particular, t3 (G) = | SK1 (R)|. We
eventually observe that | SK1 (R)| = N by Proposition 4.15, which completes
the proof.

Example 4.16. Let α = 1 + 3ζ3 and R = Z[α±1 ]. Reasoning as in the
proof of Theorem 4.14, we can show that E2 (R) is normal in SL2 (R) and
SL2 (R)/E2 (R) ≃ SK1 (R) ≃ Z2 . As the quadratic residue


3 √
1 + 3+92 −3 2
√

is −1, the Mennicke symbol [3, 1 + 3+92 −3 ] generates SK1 (R). Therefore G =
R ⋊α Z has exactly two Nielsen equivalence classes of generating triples√which
coincide with the distinct T3 -systems of (r, a) for r ∈ {(1, 0), (3, 1 + 3+92 −3 )}.
In contrast G, has only one Nielsen class of generating pairs since the units of
R are easily seen to be generated by −1 and α.
5. Baumslag-Solitar groups, split metacyclic groups and
lamplighter groups
This section is dedicated to the proofs of the Corollaries G, H, I and J.
Proof of Corollary G. (i). Let G = BS(1, l). By Theorem D.ii, we have
n2 (G) = |R× /h±αi| with R = Z[1/l] and α = l. The prime divisors of l
form a basis of a free Abelian subgroup of R× of index 2. Thus n2 (G) is finite
if only if l = ±pd for some prime p and some d ≥ 0. If d = 0, then R = Z and
clearly n2 (G) = 1. Otherwise, n2 (G) = h±pi/h±pd i = d.
(ii). By Theorem E.i (equivalently Brunner’s theorem [Bru74]) we have
t2 (G) = 1. Since Z[1/l] is Euclidean, it follows from Theorem D.iii that
n3 (G) = 1.

The following lemma will be used for counting generating pairs in the proofs
of Corollary H and I.
Lemma 5.1. Let G = R ⋊α C be as in Section 4. Assume that the natural
map R× ։ RC× is surjective and that C is infinite or RC + R/(1 − α)R is

32

LUC GUYOT

finite. Then Aut(G) × Aut(F2 ) acts transitively on V2 (Gab ) where the action
of Aut(G) is the action induced by the natural homomorphism Aut(G) →
Aut(Gab ).
Proof. Let us assume first that C is infinite. By Theorem 2.8, every generating
pair of Gab = RC × C is Nielsen equivalent to (u, a) for some u ∈ RC× . Let
t be the multiplication by u−1 on RC . By hypothesis, we can find a lift ũ of
u in R which is moreover a unit. Let τ be the multiplication by ũ−1 on R.
Then the automorphism Yt ∈ Aut(Gab ) is induced by Yτ ∈ Aut(G) and we have
Yt (u, a) = (b, a) where b denotes the identity of RC . Therefore every generating
pair of G is in the orbit of (b, a) under the action of Aut(G) × Aut(F2 ).
Assume now that both C and RC are finite and let d be the greatest common
divisor of |C| and |RC |. For g ∈ Gab , we define det(g) as in Corollary 2.9. The
latter corollary implies that generating pairs with the same determinant are
Nielsen equivalent. Hence it suffices to prove that the orbit of an arbitrary
generating pair (x, y) ∈ V2 (Gab ) contains a pair of determinant 1 ∈ Zd . By
Lemma 4.5, there is a lift u of det(g) in RC× and by hypothesis, there is in turn
a lift ũ of u in R× . Reusing the notation of the previous paragraph, we see that
Yt (x, y) is a generating pair of determinant 1. The proof is then complete. 
We consider now split metacyclic groups, i.e., semi-direct products of the
form G = Zk ⋊α Zl with k, l ≥ 0 and α ∈ Z×
k.
Proof of Corollary H. (i). By Theorem D.ii, we have
n2 (G) = (R/ν(G)R)× /h±αν(G)Ri
with R = Zk . Thus n2 (G) = ϕ(λ)
follows from the definitions of λ and ω.
ω
(ii). By Theorem E.i we have t2 (G) = 1. Since Zk is a GE-ring, it follows
from Theorem D.iii that n3 (G) = 1.
(iii). Since by definition Zk /(1 − α)Zk ≃ Ze , with have Gab ≃ Ze × Zl . Let
g ∈ V2 (Gab ). Since Aut(G) × Aut(F2 ) acts transitively on V2 (Gab ) by Lemma
5.1, the number of preimages of g in V2 (G) with respect to the abelianization
homomorphism πab does not depend on g. Hence it suffices to compute this
number for g = (b, a) where b denotes the image of b, the canonical generator
of Zk , in Gab . A generating pair g ∈ V2 (G) which maps to (b, a) via πab is of
the form (r, sa) with r ∈ 1 + (1 − α)Zk and s ∈ (1 − α)Zk . It follows from
Lemma 3.2.i that a pair of this form generates G if and only if r is, in addition,
a unit. By Lemma 4.5, the natural map Zk ։ Zk /(1 − α)Zk ≃ Ze induces an
kϕ(k)
×
epimorphism Z×
k ։ Ze . Therefore the number of preimages of g is eϕ(e) . As a
result, we obtain |V2 (G)| = kϕ(k)
|V2 (Gab )|. Since t2 (G) = 1, the group Aut(G)
eϕ(e)
acts transitively on the set V2 (G)/Aut(F2 ). Therefore the Nielsen equivalence
classes of generating pairs have the same number of elements.


GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS33

We consider eventually the two-generated lamplighter groups, i.e., the restricted wreath products of the form G = Zk ≀ Zl with k, l ≥ 0 and k, l 6= 1.
Such a group G reads also as G = R⋊a C with C = Zk = hai and R = Zk [C] ≃
Zk [X]/(X l − 1). As before, we denote by T the subgroup of R× generated by
−1 and a. We also set Λ + R/ν(G)R and TΛ + πν(G)R (T ), like in Section 4.1.
Corollary 5.2. Let k, l ≥ 0 with k, l 6= 1 and let G = Zk ≀ Zl . Then the
following hold.
(i) t2 (G) = 1.
(ii) If Zk is finite or Zl is infinite, then n2 (G) = |Λ× /TΛ | .
(iii) If Zk or Zl is finite, then n3 (G) = 1.
Proof. (i). If Zk is finite, or Zl is infinite, then t2 (G) = 1 by Theorem E.i.
Otherwise, Theorem E.ii applies and t2 (G) ≤ |Aut(C)/A′ (C)|. It is easy to
see that the map a 7→ ai induces a ring automorphism of R for every i coprime
with l. Thus A′ (C) = Aut(C) by Lemma 4.12, which implies t2 (G) = 1.
(ii). This is an immediate consequence of Theorem D.ii.
(iii). If Zk is finite then R is a GE-ring by Lemma 2.3. If Zl is finite then
R is GE-ring by Theorem 2.6. Therefore n3 (G) = 1 by Theorem 4.10.ii.

Corollary 5.3. Assume that both Zk and Zl are finite and non-trivial. Given
a prime divisor p of k, we denote by νl (p, d) the number of distinct irreducible
factors of
1 + X + · · · + X l−1
in Zp [X] which are monic of degree d. Let l′ = 2l if k 6= 2, l′ = l otherwise.
Then we have
k l−1 Y
1
n2 (Zk ≀ Zl ) = ′
(1 − d )νl (p,d)
l p,d
p
where p ranges over the prime divisors of k and d over the positive integers.
The following lemma makes easy the task of computing the cardinality of
the unit group in each finite ring under consideration.
Lemma 5.4. [Ste12, Exercise 44] Let R be a finite ring. Then
Y
1
|R× | = |R| (1 −
)
|R/m|
m
where m ranges over the maximal ideals of R.
Proof of Corollary 5.3. Since ν(G)R = Zk ν(G), the ring Λ has k l−1 elements.
Each maximal ideal m is generated by a prime divisor p of k and the image
in Λ of a polynomial P ∈ Zk [X] whose reduction modulo p is an irreducible
monic factor of 1 + X + · · · + X l−1 . Hence Λ/m = Fpd where d is the degree

34

LUC GUYOT

Q
of P . Thus |Λ× | = k l−1 p,d (1 −
proof in observing that l′ = |TΛ |.

1 νl (p,d)
)
pd

by Lemma 5.4 and we conclude the


Given a prime divisor p of k, we denote by µl (p, d) the number of distinct
irreducible factors of 1 − X l in Zp [X] which are monic of degree d. Reasoning
as above, it is straightforward to establish the formula
Y
1
(Zk [Zl ])× = k l (1 − d )µl (p,d) .
p
p,d

where p ranges over the prime divisors of k.
Corollary 5.5. Assume that both Zk and Zl are finite and non-trivial. Then
we have
k l−1
|V2 (Zk ≀ Zl )| =
(Zk [Zl ])× |V2 (Zk × Zl )|
ϕ(k)
and the number of elements in a Nielsen equivalence class of generating pairs
is
l′ k l−1 |V2 (Zk × Zl )| .
where l′ is as in Corollary 5.3.
Proof. Let G = Zk ≀ Zl . As Zk [Zl ]/(1 − α) ≃ Zk , we have Gab ≃ Zk × Zl .
Let g ∈ V2 (Gab ). By Lemma 5.1, the number of preimages of g in V2 (G)
with respect to the abelianization homomorphism πab does not depend on g.
Let us compute this number for g = (b, a) where b denotes the image of b
in Gab . Using Lemma 3.2.i we see that a lift g ∈ G2 of (b, a) generates G if
and only if it is of the form (r, sa) with r ∈ (1 + (1 − α)Zk [Zl ]) ∩ (Zk [Zl ])×
and s ∈ (1 − α)Zk [Zl ]. By Lemma 4.5, the natural map Zk [Zl ] ։ Zk induces
an epimorphism (Zk [Zl ])× ։ Z×
k . Therefore the number of preimages of g
|(Zk [Zl ])× | l−1
is
k , which proves the first formula. Since t2 (G) = 1, the group
|Z×k |
Aut(G) acts transitively on the set V2 (G)/Aut(F2 ). Therefore the Nielsen
equivalence classes of generating pairs have the same number of elements, that
is
1
l′ k l Y
|V2 (G)|
(1 − d )µl (p,d)−νl (p,d) |V2 (Gab )|
=
n2 (G)
ϕ(k) p,d
p
where p ranges over the prime divisors of k. The integer µl (p, d)−νl (p, d) is the
number of monic irreducible polynomials in Zp [X] of degree d which divides
1 − X l but not 1 + X + · · · + X l−1 . Therefore µl (p, d) − νl (p, d) = 1 if d = 1 and
Q
Q
it cancels otherwise. Thus we have p,d(1− p1d )µl (p,d)−νl (p,d) = p (1− 1p ) = ϕ(k)
,
k
which gives the result

Corollary 5.6. Let k, l ≥ 0 and k, l 6= 1.

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS35

(i) Assume that Zk is finite and Zl is infinite. Then n2 (G) is finite if and
only if k is prime; in this case n2 (G) = max( k−1
, 1).
2
(ii) Assume that Zk is infinite and Zl is finite. Then n2 (G) is finite if and
only if l ∈ {2, 3, 4, 6}; in this case n2 (G) = 1.
Proof. (i). The result follows from Corollary 5.2.ii and the isomorphisms
(Zk [X ±1 ])× ≃ Z×
× UX × UX −1 × Zρ .
k
T
≃ {±1} × {1} × {1}
× Z.
where ρ is the number of prime divisors of k and UY = 1 + Y nil(Zk )[Y ] with
Y ∈ {X ±1 } (see e.g., [Lam06, Exercise 3.17] where the units in the ring of
Laurent polynomials are determined).
(ii). As Λ = Z[X]/(1 + X + · · ·+ X l−1 ), the ring Λ identifies with O(D \ {1})
as defined in Lemma 2.7 and where D is the set of divisors of l. By Lemma
2.7, the group Λ× is finite if and only if l ∈ {2, 3, 4, 6}; in this case the equality
Λ× = TΛ holds. Since n2 (G) = max(ϕ(l)/2, 1) |Λ× /TΛ | by Theorem D, the
result follows.

We conclude with the group G = Z ≀ Z, which isomorphic to Z[X ±1 ] ⋊X Z.
Proof of Corollary J. It follows from Lemma 4.13 that R = Z[X ±1 ] is characteristic in G. The inequality n3 (G) ≤ 2t3 (G) is then a consequence of Theorem
E.ii. The implication (i) ⇒ (ii) is obvious while the equivalence (i) ⇔ (iii)
results from Theorem A and Lemma 2.1.i. In order to prove (ii) ⇒ (i), we
assume that (ii) holds true, fix g0 ∈ V2 (G) and let g be an arbitrary generating triples of G. As t3 (G) = 1 by hypothesis, we deduce that g is Nielsen
equivalent to a triple of the form (1G , g1 ) with g1 ∈ V2 (G). By Corollary 5.2.ii,
we have n2 (G) = 1, so that (1G , g1 ) is Nielsen equivalent (1G , g0 ). Therefore
n3 (G) = 1.

References
[AA69]

R. G. Ayoub and C. Ayoub. On the group ring of a finite abelian group. Bull.
Austral. Math. Soc., 1:245–261, 1969.
[Abr08] P. Abramenko. On the finite and elementary generation of SL2 (R).
arXiv:0808.1095 [math.GR], August 2008.
[AJLL14] A. Alahmadi, S. K. Jain, T. Y. Lam, and A. Leroy. Euclidean pairs and quasiEuclidean rings. J. Algebra, 406:154–170, 2014.
[Asc04] M. Aschenbrenner. Ideal membership in polynomial rings over the integers. J.
Amer. Math. Soc., 17(2):407–441 (electronic), 2004.
[Bas64] H. Bass. K-theory and stable algebra. Inst. Hautes Études Sci. Publ. Math.,
(22):5–60, 1964.
[BM82] S. Bachmuth and H. Y. Mochizuki. E2 6= SL2 for most Laurent polynomial rings.
Amer. J. Math., 104(6):1181–1189, 1982.

36

LUC GUYOT

[BMS02] G. Baumslag, A. G. Myasnikov, and V. Shpilrain. Open problems in combinatorial
group theory. Second edition. In Combinatorial and geometric group theory (New
York, 2000/Hoboken, NJ, 2001), volume 296 of Contemp. Math., pages 1–38.
Amer. Math. Soc., Providence, RI, 2002.
[Bro82] K. S. Brown. Cohomology of groups, volume 87 of Graduate Texts in Mathematics.
Springer-Verlag, New York-Berlin, 1982.
[Bru74] A. M. Brunner. Transitivity-systems of certain one-relator groups. In Proceedings
of the Second International Conference on Theory of Groups (Australian Nat.
Univ., Canberra, 1973), pages 131–140. Lecture Notes in Math., Vol. 372, Berlin,
1974. Springer.
[Coh66] P. M. Cohn. On the structure of the GL2 of a ring. Inst. Hautes Études Sci. Publ.
Math., (30):5–53, 1966.
[DF04]
D. S. Dummit and R. M. Foote. Abstract algebra. John Wiley & Sons, Inc., Hoboken, NJ, third edition, 2004.
[DG99] P. Diaconis and R. Graham. The graph of generating sets of an abelian group.
Colloq. Math., 80(1):31–38, 1999.
[Dun63] M. Dunwoody. On T -systems of groups. J. Austral. Math. Soc., 3:172–179, 1963.
[Dun70] M. Dunwoody. Nielsen transformations. In Computational Problems in Abstract
Algebra (Proc. Conf., Oxford, 1967), pages 45–46. Pergamon, Oxford, 1970.
[Eis95]
D. Eisenbud. Commutative algebra, volume 150 of Graduate Texts in Mathematics.
Springer-Verlag, New York, 1995. With a view toward algebraic geometry.
[Eva93] M. J. Evans. Presentations of groups involving more generators than are necessary.
Proc. London Math. Soc. (3), 67(1):106–126, 1993.
[Eva07] M. J. Evans. Nielsen equivalence classes and stability graphs of finitely generated
groups. In Ischia group theory 2006, pages 103–119. World Sci. Publ., Hackensack,
NJ, 2007.
[Fox53] R. H. Fox. Free differential calculus. I. Derivation in the free group ring. Ann. of
Math. (2), 57:547–560, 1953.
[Gel77] S. C. Geller. On the GEn of a ring. Illinois J. Math., 21(1):109–112, 1977.
[Guy]
L. Guyot. On quotient of generalized Euclidean group rings. To appear in Communications in Algebra. Preprint, arXiv:1604.08639 [math.AC].
[Guy12] L. Guyot. Limits of metabelian groups. Internat. J. Algebra Comput.,
22(4):1250031, 30, 2012.
[Guy17] L. Guyot. On finitely generated modules over quasi-Euclidean rings. Arch. Math.
(Basel), 108(4):357–363, 2017.
[HO89] A. J. Hahn and O. T. O’Meara. The classical groups and K-theory, volume 291
of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of
Mathematical Sciences]. Springer-Verlag, Berlin, 1989. With a foreword by J.
Dieudonné.
[Lam06] T. Y. Lam. Serre’s problem on projective modules. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2006.
[Lie81]
B. Liehl. On the group SL2 over orders of arithmetic type. J. Reine Angew. Math.,
323:153–171, 1981.
[LM93] M. Lustig and Y. Moriah. Generating systems of groups and ReidemeisterWhitehead torsion. J. Algebra, 157(1):170–198, 1993.

GENERATORS OF SPLIT EXTENSIONS OF ABELIAN GROUPS BY CYCLIC GROUPS37

[LN97]

[LS77]
[Lub11]

[Mag02]

[Mat89]

[MR87]

[NN51]
[Oan11]
[Pak01]

[PU99]

[Ste12]
[Sus77]
[Sze04]

[Wei13]

[zh]

R. Lidl and H. Niederreiter. Finite fields, volume 20 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, second edition,
1997. With a foreword by P. M. Cohn.
R. C. Lyndon and P. E. Schupp. Combinatorial group theory. Springer-Verlag,
Berlin, 1977. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 89.
A. Lubotzky. Dynamics of Aut(FN ) actions on group presentations and representations. In Geometry, rigidity, and group actions, Chicago Lectures in Math.,
pages 609–643. Univ. Chicago Press, Chicago, IL, 2011.
B. A. Magurn. An algebraic introduction to K-theory, volume 87 of Encyclopedia
of Mathematics and its Applications. Cambridge University Press, Cambridge,
2002.
H. Matsumura. Commutative ring theory, volume 8 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, second edition,
1989. Translated from the Japanese by M. Reid.
J. C. McConnell and J. C. Robson. Noncommutative Noetherian rings. Pure and
Applied Mathematics (New York). John Wiley & Sons, Ltd., Chichester, 1987.
With the cooperation of L. W. Small, A Wiley-Interscience Publication.
B. H. Neumann and H. Neumann. Zwei Klassen charakteristischer Untergruppen
und ihre Faktorgruppen. Math. Nachr., 4:106–125, 1951.
D. Oancea. A note on Nielsen equivalence in finitely generated abelian groups.
Bull. Aust. Math. Soc., 84(1):127–136, 2011.
I. Pak. What do we know about the product replacement algorithm? In Groups
and computation, III (Columbus, OH, 1999), volume 8 of Ohio State Univ. Math.
Res. Inst. Publ., pages 301–347. de Gruyter, Berlin, 2001.
F. Pauer and A. Unterkircher. Gröbner bases for ideals in Laurent polynomial
rings and their application to systems of difference equations. Appl. Algebra Engrg.
Comm. Comput., 9(4):271–291, 1999.
P. Stevenhagen. Number rings. Mastermath course, Leiden University, September
2012.
A. A. Suslin. The structure of the special linear group over rings of polynomials.
Izv. Akad. Nauk SSSR Ser. Mat., 41(2):235–252, 477, 1977.
F. Szechtman. The group of outer automorphisms of the semidirect product of
the additive group of a ring by a group of units. Comm. Algebra, 32(1):19–31,
2004.
C. A. Weibel. The K-book, volume 145 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2013. An introduction to algebraic
K-theory.
zcn (http://mathoverflow.net/users/44201/zcn). When does a ring surjection imply a surjection of the group of units?
MathOverflow.
URL:http://mathoverflow.net/q/153526 (version: 2014-01-03).

EPFL ENT CBS BBP/HBP. Campus Biotech. B1 Building, Chemin des mines,
9, Geneva 1202, Switzerland
E-mail address: luc.guyot@epfl.ch

