arXiv:2006.15523v2 [math.GR] 27 Jul 2020 aigaslto in solution a having qiaett t nt usse) hnteagbaccoens is closedness algebraic the then subsystem), finite its to equivalent l ufc rusaelna Nw5;adallna rusaeequat are groups follows. linear as all stated be and can [New85]; result linear sole) are (and groups surface All aigaslto in solution a having nmn ae.Agroup A cases. many in h nrgiguiu osbeecpinaoea follows: as arose exception possible unique intriguing The Mz1] Bg8,[o1] Mz1] R1] fayeuto fteform the of equation any if [RT19]) [Mazh19], [Bog19], [Bog18], [Mazh18], subgroup A Introduction 0. exception: H sa btatgoppoet.Tecaso togyvral close that verbally proven was strongly it of [Mazh18], class in The instance, property. For above. abstract an is eoti aua diint ahg’ theorem: Mazhuga’s to addition natural a obtain We D 1.4.2+512.544.33 + 512.543.72 UDC hswr a upre yteRsinFudto o ai Resea Basic for Foundation Russian the by supported was work This iia fcus.W s hssmlrt,apytersl f[M1] and [KMM18], of property. similar result very the a apply has similarity, closed, verbally this strongly use not We though course. of similar fagopntbigsrnl eblycoe [KlMa18]). closed verbally strongly grou being e this is not whether property group this decide a disproving to of nor difficult easy, gen is be closedness mentioned likely verbal above would strong particular it the some then takes than group), reader difficult finite the if more Generally, was method. result “industrial” humble this b and cannot subgroups normal finite of absence of condition the (and l o-ierlvrulyfe ruscnann onniett fin non-identity no containing groups free virtually non-dihedral all h udmna ru faycnetdsrae osbyexce possibly surface, connected any of group fundamental the h eann eea rusaeeither are groups several remaining the - lotalsraegop r iia ofe rusi es;for sense; a in groups free to similar are groups surface all almost - savral lsdsbru.Tu,tevra lsdesi sub a is closedness verbal the Thus, subgroup. closed verbally a as H LI OTEGOPI O TOGYVRAL LSD THOU CLOSED, VERBALLY STRONGLY NOT IS GROUP BOTTLE KLEIN THE ehdge akt h eyfis ae M1]o hssbetan subject this on [MR14] paper first analogues; very their the or to back goes method leri lsdesi togrpoet hnvra closedne verbal than property stronger a is closedness Algebraic iia iuto perdsm ieao n[la8,i a rvnage a proven was it [KlMa18], in ago: time some appeared situation similar A fagroup a If h li otegroup bottle Klein The { rti xetoa li otegroup bottle Klein exceptional this or w 1 bla n,hne togyvral lsd(yavr ipereason simple very a (by closed verbally strongly hence, and, abelian ( ,y . . . y, x, H w ( fagroup a of ,y . . . y, x, H ugop epoeta h li otegopi neda ex an indeed is group bottle Klein the that prove We subgroup. o h li ote sartato ahfiieygnrtdg generated finitely each of retract a is bottle, Klein the for codn oMzuasterm h udmna group fundamental the theorem, Mazhuga’s to According 1 = ) is G G h udmna ru fteKenbtl sntsrnl eblyclo verbally strongly not is bottle Klein the of group fundamental the qainlyNoetherian equationally w , . . . , = ) a ouinin solution a has a ouinin solution a has lsdin closed neutoal oteinsubgroup Noetherian equationally an phism of H G G scalled is aut fMcaisadMteaiso ocwSaeUniver State Moscow of Mathematics and Mechanics of Faculty h, scalled is ie ugopo h form the of subgroup a (i.e. K m h nnt ierlgopi togyvral lsdtoo, closed verbally strongly is group dihedral infinite the ρ ( where = ,y . . . y, x, uhthat such G

togyvral closed verbally strongly ,b a, fadol if only and if eblyclosed verbally w 1 = ) ( a ,y . . . y, x, H H ocw199,Lnnkegr,MSU gory, Leninskie 119991, Moscow b ρ fec nt ytmo qain ihcecetfrom coefficient with equations of system finite each If . then , = ◦ } ρ K [email protected] a , ie n ytmo qain over equations of system any (i.e. − = = sa lmn ftefe group free the of element an is ) 1 where

ρ H no .Klyachko A. Anton H

) M1](e lo[o1] Rh3,[ah7,[la8,[KMM18], [KlMa18], [Mazh17], [RKh13], [Rom12], also (see [MR14] n h nnt ierlgroup dihedral infinite the and ,b a, fec ntl eeae over generated finitely each of saretract a is scalled is w h a i H b Mz1]i ti lerial lsdi n ru containing group any in closed algebraically is it if [Mazh18] 1 ∈ = ∪ H lerial closed algebraically a X H − ∗ s atal,i snttoes vnt iea example an give to even easy too not is it (actually, asy ie h mg fa endomor- an of image the (i.e. i 1 H where , tfrteKenbtl,i togyvral closed. verbally strongly is bottle, Klein the for pt F fagroup a of

hc snihrfe-ienrabelian. nor free-like neither is which , eoe) ae,i undot[M1]that [KMM18] out turned it later, removed); e ( faycnetdsrae osbyexcept possibly surface, connected any of i aoiennbla ru,frfo re(.. a (e.g., free from far group, nonabelian favorite his rusi arywd,seteppr mentioned papers the see wide, fairly is groups d qiaett h lclrtates [KMM18]: retractness” “local the to equivalent ,y . . . y, x, opcontaining roup t omlsbrusaesrnl eblyclosed verbally strongly are subgroups normal ite ru rpry hl h togvra closedness verbal strong the while property, group s u hs rpristr u ob equivalent be to out turn properties these but ss; eto u a eycoeproperty. close very a has but ception c,poetn.19-01-00591. no. project rch, uhgop,a idsra”mto ok;this works; method “industrial” an groups, such oal otein[M9] hs u main our Thus, [BMR99]. Noetherian ionally sbsdo h s fteLewrs[Lee02] words Lie the of use the on based is d X ssrnl eblycoe:nihrproving neither closed: verbally strongly is p rltermotie n[la8 ythe by [KlMa18] in obtained theorem eral (and ) ⊆ G G [Mazh18], ) ocueta h li otegroup, bottle Klein the that conclude salgebraically is HAFLYCOET EN SO BEING TO CLOSE AWFULLY GH safiieset). finite a is in ea hoe ihauiu possible unique a with theorem neral F ∗ H H H D ( G ,y . . . y, x, tnsfrtefe product), free the for stands savral closed verbally a as ∞ subgroup . ihfiieymn nnwsis unknowns many finitely with sity = S:2F0 03,20F16 20F34, 20F70, MSC:

and ) ,b a, sed. a b h = ∈ H a H − , 1 b , 2 1 =

are Theorem. The fundamental group K of the Klein bottle (unlike all other surface groups) embeds into a finitely generated group G as a verbally closed subgroup that is not a retract of G. However, any such G has an index-two subgroup containing K as its retract. In the next section, we give an example proving the first assertion of the theorem (i.e. that K is not strongly verbally closed). Section 2 contains auxiliary lemmata. In the last section, we prove the second assertion of the theorem. The author expresses his deep gratitude to Veronika Miroshnichenko; we have spent a long time trying together to solve this problem that seemed to be hard. I also thank Andrey Mazhuga for reading a draft of this text. Our notation is fairly standard. Note only that, if x and y are elements of a group, then xy denotes y−1xy, The −1 −1 commutator [x, y] is x y xy. If X is a subset of a group, then hXi, hhXii, and CH (X) stand for the subgroup generated by X, the normal closure of X, and the centraliser of X in H (where H is a subgroup). The symbol hxik denotes the cyclic group of order k generated by x. The with a basis x1,...,xn is denoted as F (x1,...,xn).

1. An example Let V4 = {1, d1, d2, d3} be the Klein four-group (i.e. the noncyclic group of order four). Consider the semidirect product

−1 −1 ⋌ b di dj G = V4 × hbi∞ ha1i∞ × ha2i∞ × ha3i∞ , where the action is ai = ai , ai = ai, ai = ai for all i 6= j.     Proposition. The subgroup K = ha,bi ⊂ G, where a = a1a2a3, (isomorphic to the Klein bottle group) is verbally closed in G, but not a retract.

Proof. The subgroup K is not a retract, because, a hypothetical retraction G → K should map finite-order elements di dj −1 to 1 (as K is torsion-free); then, the relation ai = ai would show that the images of ai are also of finite order and, hence, are 1 too; therefore, the image of a = a1a2a3 ∈ K is also 1 that contradicts the fixedness of elements of K under the retraction. It remains to show that K is verbally closed in G, i.e. any equation of the form w(x, y, . . .)= h, where h ∈ K and w(x, y, . . .) is an element of the free group F (x, y, . . .), solvable in G, is solvable in K. It is known that, by a change of variables, any such equation can be transformed into the form xmu(x, y, . . .)= h, where h ∈ K and u(x, y, . . .) lies in the of the free group F (x, y, . . .). (1)

Suppose that equation (1) has a solution (x, y, . . .) in G. Since there is no principal difference between di, we can assume that ε l k1 k2 k3 Z x = de1bea1 a2 a3 , where ε,l,ki ∈ . (2) We have a homomorphism the first coordinate: ′ ′ e ′ ′ f: G → D∞ = hb i2 ⋌ ha i∞ , where f(a1)= a , f(a2)= f(a3)= f(d1) = 1, f(b)= f(d2)= f(d3)= b , and the natural homomorphism degree:

deg: G → Z, where deg(ai) = deg(di)=0, deg(b) = 1, Applying these homomorphisms to the given equality xmu(x, y, . . .)= h, we obtain

f xmu(x, y, . . .) = f(x)mu(f(x),f(y),...)= f(h), and deg xmu(x, y, . . .) = m · deg(x) = deg(h). (3) e e e Now, consider the elements x, y, . . . ∈ K obtained from x, y, . . . ∈ G by the changes  e e e e e e e e e e a1 7→ a = a1a2a3, a2 7→ 1, a3 7→ 1, d1 7→ 1, d2 7→ b, d3 7→ b (and b 7→ b), (4) b b which preservee e the first coordinate of any element. For instance, the element x, given by expression (2), turns into

l k1 l k1 k1 k1 x = b a = b a1 a2 a3 . (5) e We claim that the tuple (x, y, . . .) is a solution to equation (1) in K. Indeed, - the first coordinates of xmu(x, y, . . .) and hb are the same: (4) (3) f xmu(x, y, . . .) = bf(bx)mu(f(x),f(y),...) = f(x)mu(f(x),f(y),...) = f(h) (where (4) and (3) imply the corresponding equalities); b b b (5) (2) (3) - andb the degreesb b of xmu(x,b y, . . .) andb h bare the same:e deg xmue(x, y,e . . .) = m·deg(x) = ml = m·deg(x) = deg(h), It remains to note that an element of K ⊂ G is uniquely determined by its first coordinate and degree. Thus, xmu(x, y, . . .)= h, we haveb foundb b a solution to equation (1) inb K,b andb this completesb the proof. e b b b 2 2. Two lemmata on quotient groups

Lawfication lemma ([RKh13], Lemma 1.1). If V (G) is a verbal subgroup of a group G, and H is a verbally closed subgroup of G, then H ∩ V (G) = V (H) (i.e. the verbal subgroup of H corresponding to the same variety), and the image H/V (H) ⊆ G/V (G) of H under the natural homomorphism G → G/V (G) is verbally closed in G/V (G).

Dihedral-quotient lemma. If the Klein bottle group K = a,b ab = a−1 is a verbally closed subgroup of a group G, then

1) b2 ∩ K = b2 , where b2 is the normal closure of b2 in G; 2 2 2 the subgroup ∞ is verbally closed in . 2) D = K/ b ⊆ G/ b G/ b Proof. We can assume that G satisfies the law [x2,y2] = 1, (because this law holds in K, and, therefore, the lawfication lemma allows us to replace G with its quotient group by the corresponding verbal subgroup). For groups with such a law, as well as for all metabelian groups, assertion 1) is a general fact:

if A is a normal abelian subgroup of a group G, and the quotient group G/A is also abelian, then the intersection CA(X) of A and the centraliser of any subset X ⊆ G is normal in G.

g g Indeed, CA(X) = CA(X ) ⊇ CA(XA)= CA(X). 2 To obtain assertion 1), we put A = {g | g ∈ G} and X = K; we even get more than 1):

the subgroups b2 and K commute in G.

Let us prove 2) now. Suppose that an equation

w(x, y, . . .)= h b2 , where h ∈ K and w(x, y, . . .) ∈ F (x, y, . . .), (∗)

2 2 2 is solvable in G/ b . We have to show that this equation is solvable in D∞ = K/ b ⊆ G/ b . Case 1: h = 1. In this case, equation (∗) has the trivial solution (1, 1,...) in D∞.

Case 2: h = b. In this case, the exponent sum of one of unknowns (say, x) in the w has to be odd, because otherwise the solvability of equation (∗) in G/ b2 would imply a decomposition of b into a product of squares in G, that contradicts the verbal closedness of K (because b is not a product of squares in K, even modulo hai). An equation with odd exponent sum of x and the right-hand side b has in D∞ an obvious solution: x = b, y =1, z =1,.... Case 3: h = bak. This case is the same as the preceding one, because the dihedral group has an automorphism mapping bak to b. Case 4 (the last case modulo b2 ): h = ak, where k 6= 0. Suppose that x b2 , y b2 ,... is a solution to equation (∗) in G/ b2 . Then the equation  e e 2 [t, w(x, y, . . .) ] = [b,h2]= a4k (where t is a new unknown)  has a solution (t = b, x, y, . . .) in G, because b2 commutes with K as noted above. The verbal closedness of K in G implies that this equation has a solution in K, i.e.

e e e 2 [t, w(x, y, . . .) ]= a4k for some t, x, y, . . . ∈ K. (∗∗)  This means that b b b b b b - t ∈ b a,b2 , because all other elements of K commute with squares; we can even assume that t = b, since a and b2 commute with all squares and do not affect commutator (∗∗); 2 - bw(x, y, . . .) ∈ b2 ∪ a2,b4 , because only these elements are squares in K; b 2 2k 4 2 2 4 4k - w(x, y, . . .) ∈ a b , because, only for such elements of b ∪ a ,b , the commutator with t = b gives a ; b b k 2 2k 4 - w(x, y, . . .) ∈ a b , because each element of the coset a b has a unique square root in K. b b 2 2 2 b We have found a solution (x b , y b ,...) to equation (∗) in D ∞ = K/ b ; this completes the proof. b b

b b 3 3. Proof of the second assertion of the theorem Suppose that the fundamental group K of the Klein bottle is a verbally closed subgroup of a finitely generated group G. We have to construct a retraction onto K from an index-at-most-two subgroup of G containing K. The group G has two normal subgroups:

′ 2 2 N1 = G — the commutator subgroup, and N2 = b — the normal closure of b .

Taking the quotients transforms K into

′ 2 K/K = hai2 × hbi∞ ⊆ G/N1 and K/ b = D∞ ⊆ G/N2

(by the lawfication lemma and dihedral-quotient lemma); these images of K in G/Ni remain verbally closed in G/Ni ′ 2 (by the same lemmata). Therefore, K/K and K/ b are retracts of G/Ni, because all abelian groups [Mazh18] and the infinite dihedral group [KMM18] are strongly verbally closed.

Thus, we obtain the epimorphisms

′ ′ ≃ 2 2 deg: G → G/G → K/K = hai2 × hbi∞ → hbi∞ −→ Z and f: G → G/ b → K/ b = D∞

2 2 such that deg(b) = 1, f(b)= b b , f(a)= a b . Combining these two “pseudo-retractions”, we construct the homomorphism

Φ: G → Z × D∞, g 7→ deg(g), f(g) .

The restriction ϕ of Φ to K is injective, and the image of this restriction is so-called fibered product:

j k 2 ϕ(K)=Φ(K)= i, b a b i ≡ j (mod 2) — an index-two subgroup of Z × D∞. ( )  

−1 Therefore, the subgroup Φ (Φ(K)) ⊆ G has index at most two in G and admits a retraction onto K:

− − Φ ϕ 1 G ⊇ Φ 1(Φ(K)) −→ Φ(K) −→ K.

REFERENCES [KlMa18] A. A. Klyachko, A. M. Mazhuga, Verbally closed virtually free subgroups, Sbornik: Mathematics, 209:6 (2018), 850-856. See also arXiv:1702.07761. [Mazh19] A. M. Mazhuga, Free products of groups are strongly verbally closed, Sbornik: Mathematics, 210:10 (2019), 1456-1492. See also arXiv:1803.10634. [RT19] V. A. Roman’kov, E. I. Timoshenko, On verbally closed subgroups of free solvable groups, Vestnik Omskogo Universiteta, 24:1 (2019), 9-16 (in Russian). See also arXiv:1906.11689. [RKh13] V. A. Roman’kov and N. G. Khisamiev. Verbally and existentially closed subgroups of free nilpotent groups, Algebra and Logic, 52:4 (2013), 336-351. [BMR99] G. Baumslag, A. Myasnikov, V. Remeslennikov, Algebraic geometry over groups I. Algebraic sets and ideal theory, J. Algebra, 219:1 (1999), 16-79. [Bog18] O. Bogopolski, Equations in acylindrically hyperbolic groups and verbal closedness, arXiv:1805.08071. [Bog19] O. Bogopolski, On finite systems of equations in acylindrically hyperbolic groups, arXiv:1903.10906. [KMM18] A. A. Klyachko, A. M. Mazhuga, V. Yu. Miroshnichenko, Virtually free finite-normal-subgroup-free groups are strongly verbally closed, J. Algebra, 510 (2018), 319-330. See also arXiv:1712.03406. [Lee02] D. Lee, On certain C-test words for free groups, J. Algebra, 247:2 (2002), 509-540. See also arXiv:math/0103108. [Mazh17] A. M. Mazhuga, On free decompositions of verbally closed subgroups of free products of finite groups, J. , 20:5 (2017), 971-986. See also arXiv:1605.01766. [Mazh18] A. M. Mazhuga, Strongly verbally closed groups, J. Algebra, 493 (2018), 171-184. See also arXiv:1707.02464. [MR14] A. Myasnikov, V. Roman’kov, Verbally closed subgroups of free groups, J. Group Theory, 17:1 (2014), 29-40. See also arXiv:1201.0497. [New85] M. Newman, A note on Fuchsian groups, Illinois J. Math., 29:4 (1985), 682-686. [Rom12] V. A. Roman’kov, Equations over groups, Groups Complexity Cryptology, 4:2 (2012), 191-239.

4