Fully residually free pro-\(p\) groups.
type: Item
instance of: scholarly article
title: Fully residually free pro-\(p\) groups.
zbMATH Open document ID: 1225.20027
published in: Journal of Algebra
publication date: 2010-09-17T00:00:00Z
review text: The aim of the paper under review is to initiate the study of fully residually free pro-\(p\) groups. A pro-\(p\) group \(G\) is said to be fully residually free pro-\(p\) if for every finite subset \(X\subseteq G\) there exists a continuous homomorphism \(G\to F\) to a free pro-\(p\) group \(F\) which is injective on~\(X\). One says that \(G\) is residually free pro-\(p\) if the above condition holds for \(|X|=2\). The study of abstract (fully) residually free groups goes back to \textit{G.~Baumslag} [Math.\ Z.\ 78, 423-438 (1962; Zbl 0104.24402), Proc.\ Lond.\ Math.\ Soc., III. Ser. 17, 402-418 (1967; Zbl 0166.01502)]. More recently it was shown that, in the setting of abstract groups, the class of finitely generated, fully residually free groups coincides with the class of so-called limit groups. The latter have important applications, for instance, in Sela's solution of Tarski's problem about equivalence of first order theories of finitely generated non-Abelian free groups. A class of pro-\(p\) groups which can be regarded as analogues of limit groups via extensions of centralisers was considered by \textit{D.~H.~Kochloukova} and \textit{P.~A.~Zalesskii} in a separate paper [Math.\ Z.\ 267, No. 1-2, 109-128 (2011; Zbl 1216.20024)]. The core contribution of the paper under review is a technical theorem which embeds a particular type of amalgamated free pro-\(p\) product into a direct product of free pro-\(p\) groups, in analogy to a result of G.~Baumslag [loc.\ cit.] for abstract groups. The proof uses the pro-\(p\) version of the Kurosh Subgroup Theorem, Fox calculus and certain relation modules. The authors then deduce that every orientable surface pro-\(p\) group \[ G_d=\langle x_1,\dots,x_{2d}\mid [x_1,x_2]\cdots [x_{2d-1},x_{2d}]=1\rangle \] of even genus \(d\) is residually free pro-\(p\). In the special case \(p=2\), they can extend their result also to odd genera, by passing to suitable open subgroups. Subsequently it is observed that a collection of equi…
reviewed by: Benjamin Klopsch
Mathematics Subject Classification ID: 20E18
Mathematics Subject Classification ID: 20E26
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20E06
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20F70
Mathematics Subject Classification ID: 20F65
zbMATH DE Number: 5787073
zbMATH Keywords: fully residually free pro-\(p\) groups
zbMATH Keywords: Demushkin groups
zbMATH Keywords: amalgamated free pro-\(p\) products
author: Dessislava H. Kochloukova
author: Pavel Zalesskij
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2010.04.019
OpenAlex ID: W2089007544
cites work: Residually Free Groups
cites work: On generalised free products
cites work: Subgroups of direct products of limit groups.
cites work: Algebraic geometry over groups. I: Algebraic sets and ideal theory
cites work: On pro-p-groups with a single defining relator
cites work: On pro-\(p\) analogues of limit groups via extensions of centralizers.
cites work: Q4047720
cites work: SUBGROUPS AND HOMOLOGY OF FREE PRODUCTS OF PROFINITE GROUPS
cites work: Elementary theory of free non-abelian groups.
cites work: Q4935965
cites work: On amalgamated products of profinite groups
cites work: Diophantine geometry over groups. VI: The elementary theory of a free group.
DOI: 10.1016/J.JALGEBRA.2010.04.019
description: scientific article; zbMATH DE number 5787073