Verbally closed virtually free subgroups

arXiv:1702.07761v4 [] 5 Jul 2017

Anton A. Klyachko

Andrey M. Mazhuga

Faculty of Mechanics and Mathematics
Moscow State University
Moscow 119991, Leninskie gory, MSU
klyachko@mech.math.msu.su mazhuga.andrew@yandex.ru
A theorem of Myasnikov and Roman’kov says that any verbally closed subgroup of a
finitely generated free group is a retract. We prove that all free (and many virtually
free) verbally closed subgroups are retracts in any finitely generated group.

1

Introduction

A subgroup H of a group G is called verbally closed [10] (see also [11], [4], [9]) if any equation of the form
w(x1 , x2 , . . .) = h,

where w is an element of the free group F (x1 , x2 , . . .) and h ∈ H,

having a solution in G has a solution in H. If each finite system of equations with coefficients from H
{w1 (x1 , x2 , . . .) = 1, . . . , wm (x1 , x2 , . . .) = 1} ,

where wi ∈ H ∗ F (x1 , x2 , . . .),

having a solution in G has a solution in H, then the subgroup H is called algebraically closed in G.
Clearly, any retract (i.e. the image of an endomorphism ρ such that ρ ◦ ρ = ρ) is an algebraically closed
subgroup. It is easy to show [10] that for finitely presented groups the converse is also true:
A finitely generated subgroup of a finitely presented group is algebraically closed if and only if it is a retract.
For the (wider) class of verbally closed subgroups, no similar structural description is known. However, in
free groups, the situation is simple: verbally closed subgroups, algebraically closed subgroups, and retracts
are the same things.
Myasnikov–Roman’kov Theorem [10]. Verbally closed subgroups of finitely generated free groups are
retracts.
A similar fact is valid for free nilpotent groups [4]. We generalise the Myasnikov–Roman’kov theorem in
two directions: first, we study subgroups of arbitrary groups; and secondly, we study not only free subgroups
but also virtually free subgroups H, i.e. containing free subgroups of finite index (in H).
Main Theorem. Let G be any group and let H be its verbally closed virtually free infinite non-dihedral
subgroup containing no infinite abelian noncyclic subgroups. Then
1) H is algebraically closed in G;
2) if G is finitely generated over H (i.e. G = hH, Xi for some finite subset X ⊆ G), then H is a retract
of G;
in particular, H is finitely generated if G is finitely generated.
(For an infinite group, non-dihedral means non-isomorphic to the free product of two groups of order two.)
Note that each nontrivial free subgroup H satisfies all conditions of the theorem and, therefore, is a retract
of any finitely generated group containing H as a verbally closed subgroup. Even this corollary seems to be
nontrivial. The following corollary strengthens Theorem 1(1) of [9].
This work was supported by the Russian Foundation for Basic Research, project no. 15-01-05823.

1

Corollary 1. In a free product of finitely many finite groups, any verbally closed infinite non-dihedral subgroup
is a retract.
In Section 2, we discuss examples showing that the main theorem cannot be improved in some sense (there
are open questions remaining though). Section 3 contains the proof of the theorem. Our argument is slightly
tricker than that in [10] but is also based on the use of Lee words [8].
Let us fix the notation. If k ∈ Z, x and y are elements of a group, then xy , xky , and x−y denote y −1 xy,
−1 k
y x y, and y −1 x−1 y, respectively. The commutator subgroup of a group G is denoted by G′ . If X is a
subset of a group, then |X|, hXi, and C(X) mean the cardinality of X, the subgroup generated by X, and
the centraliser of X. The index of a subgroup H of a group G is denoted by |G:H|. The symbol A ∗ B denotes
the free product of groups A and B. F (x1 , . . . , xn ) or Fn is the free group (with a basis x1 , . . . , xn ).

2

Examples

Let us see whether it is possible to omit some conditions of the Main Theorem.
The subgroup H is infinite. This condition cannot be removed. Let G be the central product of two copies
of the quaternion group (of order eight). Clearly, the factors of this product are not retracts (and, therefore,
they are not algebraically closed because, for finitely generated subgroups of finitely presented groups, this is
the same thing). Indeed, the kernel of such hypothetical retraction must be a nontrivial normal subgroup and
the group G is nilpotent. Therefore, this nontrivial normal subgroup must nontrivially intersect the centre
of G (see, e.g., [2]). This leads immediately to a contradiction because the centre in this case is contained in
both factors.
Let us show that (for instance) the second factor H of G = Q8 × Q8 (where C = {±1}) is verbally closed
C

in G. Suppose that an equation
w(x1 , . . . , xn ) = (1, h′ ),

where (1, h′ ) ∈ H has a solution xi = (hi , h′i ) in G. Let us show that this equation has a solution in H too.
Suppose that the sum k of powers of a variable xi in w(x1 , . . . , xn ) is odd. In this case, the equation xk = h′
has a solution q in Q8 and the substitution xi = (1, q) and xj = (1, 1) for j 6= i is a solution to the initial
equation in H.
Now, suppose that all variables occur in w(x1 , . . . , xn ) with even total powers. In this case, h′ = 1 or
′
h = −1 (otherwise the equation has no solutions in G). If h′ = 1, then the substitution xi = (1, 1) for all i is
a solution belonging to H. If h′ = −1, then either xi = (1, hi ) or x′i = (1, h′i ) is a solution (lying in H).
The subgroup H is non-dihedral. We do not know whether this condition may be omitted and leave it
as an open question.
Any infinite abelian subgroup of H is cyclic. A slight modification of the central product considered
above shows that this condition may not be omitted. Put G = Q8 × Q8 × F , where F is a nontrivial free
C

group. Consider the product of the second and third factors as the subgroup H. The above argument implies
that H is verbally closed but not a retract (because a retract of a retract is a retract and the second factor is
not a retract of G and even of Q8 × Q8 as proved above).
C

The subgroup H is virtually free. This condition may not be omitted. Indeed, it is known that the free
Burnside group B(m, n) of rank m > 2 and odd exponent n > 665 is infinite while all its abelian subgroups
are finite (see, e.g, Theorems 1.5 and 3.3 in [1]). Put G = Q8 × Q8 × B(2, 2017) and let H be the product
C

of the second and third factors. Similarly to the above example, we see that H is verbally closed but not a
retract.
The group G is finitely generated over H in assertion 2). The following example shows that this
condition may not be omitted. Take the subgroup H = h1i of integers in the additive group G of p-adic
integers. Clearly, H is verbally closed (in abelian groups verbally closed subgroups are the same thing as
algebraically closed subgroup, and the same as serving (pure) subgroups). On the other hand, G admits no
nontrivial decompositions into a direct sum (see, e.g., [3]), hence, H is not a retract.

3

Proof of the Main Theorem

Note that any virtually free group H is linear (even over Z if H is countable) because the free group (of any
cardinality) is linear (over a field) (see, e.g., [2]), and virtually linear group is also linear. Therefore, H is
2

equationally Noetherian [5], i.e. any system of equations with coefficients from H and finitely many unknowns
is equivalent to its finite subsystem.1 This, in turn, means that H is a retract of any finitely generated over
H group containing H as an algebraically closed subgroup [10]. Therefore, it suffices to prove assertion 1) of
the theorem.
First, suppose that H is cyclic. Recall that any integer matrix can be reduced to a diagonal matrix by
integer elementary transformations. This means that any finite system of equations over H
{w1 (x1 , x2 , . . .) = 1, . . . , wm (x1 , x2 , . . .) = 1} ,

where wi ∈ H ∗ F (x1 , x2 , . . .),

can be reduced to the form
{xn1 1 u1 (x1 , x2 , . . .) = h1 , . . . , xnmm um (x1 , x2 , . . .) = hm } , where ui ∈ (H ∗ F (x1 , x2 , . . .))′ , ni ∈ Z, hi ∈ H,
by means of a finite sequence of transformations of the form wi → wi wj±1 and xi → xi x±1
j . The obtained
system has the same number of solutions (in G or in H) as the initial one. Suppose that this system has a
solution in G and suppose also that each word ui is a product of s commutators in H ∗ F (x1 , x2 , . . .). Then
each single equation xni i [y
 1 , z1 ] . . . [ys , zs ]= hi (where yj and zj are new variables) has a solution in G and,
(i)

(i)

therefore, has a solution x
bi , yb1 , zb1 , . . . in H (because the subgroup H is verbally closed). Then, obviously,

(b
x1 , x
b2 , . . .) is a solution to the entire system (since the commutator subgroup of H is trivial).
The case of virtually cyclic subgroup H can be easily reduced to the case of cyclic H by virtue of the
following observation:
an infinite virtually cyclic group containing no infinite noncyclic abelian subgroups is either cyclic or dihedral.

Indeed, any virtually cyclic group contains a finite normal subgroup such that the quotient group is either
cyclic or dihedral (see, e.g., [13]). This finite normal subgroup must be trivial because otherwise we can find
in its centraliser (which is of finite index) an element of infinite order and obtain an infinite noncyclic abelian
subgroup.
Now, consider the more difficult case of non-virtually-cyclic group H.
Lemma 1. In a virtually free group which is not virtually cyclic, any element decomposes into a product of
two infinite-order elements.
Proof. Clearly, it suffices to prove this assertion for finitely generated groups. Recall, that a finitely generated
virtually free group admits an action on a (directed) tree such that the stabilisers of vertices are finite [7].
Recall also that any fixed-point-free automorphism of a tree has a unique invariant line (the axis) [12].
Consider such an action of a group H on a tree T . Let h ∈ H be an element we want to decompose and let
Th ⊆ T be the fixed point set for h. If the order of h is infinite, then h = h2 h−1 is the required decomposition;
therefore, we assume that the order of h is finite and Th is nonempty (and, hence, connected).
Take some element g ∈ H of infinite order with an axis lg . If g −1 h has no fixed points, then its order
is infinite and h = g · (g −1 h) is a required decomposition. Let a ∈ T be a fixed point for g −1 h. Then
h(a) = g(a) = b.
The equality h(a) = b shows that the path joining a and b must intersect the subtree Th in a unique
point c, and c is the midpoint of this path. The equality g(a) = b shows that the line lg passes through c
and intersects the segments [a, c] and [c, b] in segments of the same nonzero length δ (otherwise, the distances
from lg to a and to b are different and, hence, g(a) 6= b). The element g must act as a translation by 2δ on its
axis lg . However, we only need the equality Th ∩ lg = {c} now.
Take another infinite-order element g ′ ∈ H with another axis lg′ 6= lg (such an element exists because
the group H is not virtually cyclic). A similar argument shows that either h = g ′ · ((g ′ )−1 h) is the required
decomposition or Th ∩ lg′ = {c′ } for some point c′ . In the latter case, take the element g ′′ = g k g ′ g −k . Its axis
is g k (lg′ ) obviously; and we see that this line does not intersect the subtree Th if the number k is chosen large
enough (positive or negative). Therefore, in this last case, h = g ′′ · ((g ′′ )−1 h) is the required decomposition.
(More precisely, if c′ 6= c, then k can be chosen equal to 1 or any other nonzero number; if c′ = c, then k
should be choose in such a way that |2kδ| is larger than the distance from c to the endpoint of the segment
or half-line lg ∩ lg′ .)
Lemma 2. If h1 and h2 are infinite-order elements of a virtually free group all whose infinite abelian subgroup
are cyclic and hk1 = hk2 for some nonzero integer k, then h1 = h2 .
1 Note

also that a group containing an equationally Noetherian subgroup of finite index, is equationally Noetherian [6].

3

Proof. The roots of an element lie in its centraliser, therefore, it suffices to show that the centraliser of an
infinite-order element h is cyclic. This centraliser C(h) is a virtually free group (as a subgroup of a virtually
free group) with infinite centre. This implies immediately that C(h) is virtually cyclic. It remains to refer to
the fact mentioned in the beginning of this section: a virtually cyclic group without infinite abelian noncyclic
subgroups is either cyclic or dihedral. In the case under consideration, the group cannot be dihedral because
the centre of the centraliser is nontrivial.
The following lemma is well known.
Lemma 3. If a subgroup H of a group G is such that any finite system of equations of the form
{w1 (x1 , . . . , xn ) = h1 , . . . , wm (x1 , . . . , xn ) = hm } ,

where wi ∈ F (x1 , . . . , xn ) and hi ∈ H,

(1)

having a solution in G has a solution in H too, then H is algebraically closed.
Proof. Just denote the coefficients by new letters and interpret them as variables. For example, the solvability
of the equation xyh1 [x2017 , h2 ]y −1 = 1 is equivalent to the solvability of the system

xyz[x2017 , t]y −1 = 1, z = h1 , t = h2 .
Now, we need a useful tool. Recall that a Lee word in m variables for the free group of rank r is an element
L(z1 , . . . , zm ) of the free group of rank m such that
′
1) if L(v1 , . . . , vm ) = L(v1′ , . . . , vm
) 6= 1 in Fr , then vi′ ∈ Fr are obtained from vi ∈ Fr by simultaneous
conjugation, i.e., there exists w ∈ Fr such that vi′ = viw for all i = 1, . . . , m;

2) L(v1 , . . . , vm ) = 1 if and only if the elements v1 , . . . , vm of Fr generate a cyclic subgroup.
In [8], such words were constructed for all integers r, m > 2. Actually, it is easy to see that Lee’s result
implies the existence of a universal Lee word in m variables.
Lemma 4. For any positive integer m, there exists an element L(z1 , . . . , zm ) ∈ Fm such that properties 1)
and 2) hold in all free groups Fr and even in F∞ .
Proof. This assertion follows immediately from Lee’s result and the following simple fact:
F∞ embeds into F2 as a malnormal subgroup,
i.e. a subgroup S ⊂ F2 such that S f ∩ S = {1} for all f ∈ F2 \ S. This fact follows, e.g., from a result of [14]:
in a free group, any set satisfying small-cancellation
condition C(5) freely generates a malnormal subgroup.
Thus, a Lee word for F2 is universal, i.e. it is suitable also for F∞ .
Let us proceed with the proof of the Main Theorem. Thus, we assume that a verbally closed subgroup H
of a group G is virtually free, does not contain infinite noncyclic abelian subgroups, and contains a normal
(in H) non-abelian free subgroup F of index N (in H). Applying Lemma 3, we can assume that system (1)
has a solution in G and we have to show that this system has a solution in H.
Let L(z1 , . . . , z2m+2 ) be a universal Lee word in 2m + 2 variables. By Lemma 1, for each element hi , we
find an infinite-order element fi ∈ H such that the order of hi fi is also infinite. Take two noncommuting
element u1 , u2 ∈ F and consider the equation


N
L (w1 (x1 , . . . , xn )y1 )N , . . . , (wm (x1 , . . . , xn )ym )N , y1N , . . . , ym
, z1N , z2N = f,


N
N
∈ F . This equation has a solution in G by conwhere f = L (h1 f1 )N , . . . , (hm fm )N , f1N , . . . , fm
, uN
1 , u2
struction (just take the following: a solution to system (1) as xi , elements fi as yi , and ui as zi ).
The subgroup H is verbally closed in G and f ∈ H; thus, the last equation has a solution x
bi , ybj , zbk in H.
The right-hand side of the equation is a value of a Lee word on some elements of the free group F (because
N
hN ∈ F for all h ∈ H); the elements uN
1 and u2 do not commute (because the elements u1 and u2 of a free
4

group are chosen non-commuting), so they do not lie in the same cyclic subgroup and, therefore, Property 2)
of Lee words implies that f 6= 1. According to Property 1), we have
(wi (b
x1 , . . . , x
bn )b
yi )N w = (hi fi )N ,

By Lemma 2, we obtain the equalities

ybiN w = fiN

(wi (b
x1 , . . . , x
bn )b
yi )w = hi fi ,

i.e. x
bw
i ∈ H is a solution to system (1) in H as required.

and zbiN w = uN
i

ybiw = fi ,

for some w ∈ F .

and zbiw = ui ,

References
[1] S. I. Adian, The Burnside problem and identities in groups. Translated from the Russian by John Lennox
and James Wiegold. Ergebnisse der Mathematik und ihrer Grenzgebiete, 95. Springer-Verlag, Berlin-New
York. 1979.
[2] M. I. Kargapolov, Yu. I. Merzlyakov, Fundamentals of group theory. Moscow: “Nauka”, 1982.
[3] A. G. Kurosh, Group theory. Chelsea; 1979.
[4] V. A. Roman’kov, N. G. Khisamiev, Verbally and existentially closed subgroups of free nilpotent groups.
Algebra and Logic 52 (2013), 336-351.
[5] G. Baumslag, A. Myasnikov, V. Remeslennikov, Algebraic geometry over groups I. Algebraic sets and
ideal theory. J. Algebra. 219 (1999), 16-79.
[6] G. Baumslag, A. Myasnikov, V. Roman’kov, Two theorems about equationally noetherian groups. J.
Algebra. 194 (1997), 654-664.
[7] A. Karrass, A. Pietrowski, D. Solitar, Finitely generated groups with a free subgroup of finite index, J.
Austral. Math. Soc. 16 (1973), 458-466.
[8] D. Lee, On certain C-test words for free groups. J. Algebra. 247 (2002), 509-540.
[9] A. M. Mazhuga, On free decompositions of verbally closed subgroups of free products of finite groups,
Journal of Group Theory (to appear). See also arXiv:1605.01766
[10] A. Myasnikov, V. Roman’kov, Verbally closed subgroups of free groups, Journal of Group Theory 17
(2014), 29-40. See also arXiv:1201.0497.
[11] V. A. Roman’kov, Equations over groups, Groups Complexity Cryptology 4:2 (2012), 191-239.
[12] J.-P. Serre, Arbres, amalgames, SL2 , Rédigé avec la collaboration de Hyman Bass. Astérisque, No. 46.
Sociéte Mathématique de France, Paris, 1977. (English translation: Trees. Springer-Verlag, 1980).
[13] J. Stallings, Group theory and three-dimensional manifolds, Yale Math. Monographs (1971).
[14] D. T. Wise, The residual finiteness of positive one-relator groups, Comment. Math. Helv. 76 (2001),
314-338.

5

