Systems of equations over locally \(p\)-indicable groups
type: Item
instance of: scholarly article
title: Systems of equations over locally \(p\)-indicable groups
zbMATH Open document ID: 0575.20033
DOI: 10.1007/BF01389059
author: Sava Krstić
published in: Inventiones Mathematicae
publication date: 1985-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/143261
review text: It is conjectured that any independent system of equations over any group \(G\) has a solution in some group containing \(G\). Howie has shown the conjecture to be true in the case of locally indicable groups. His proof relies on methods from low dimensional topology. The corresponding result in the case of locally \(p\)-indicable groups is due to Gersten. The paper under review provides two new proofs of Gersten's result. The first proof is combinatorial. The main technical tool is the Reidemeister-Schreier rewriting process. Howie's tower construction appears in algebraic disguise. The second proof provides a particular group over \(G\) containing the solutions of any \(p\)-independent system of equations. Let \(N\rightarrowtail F\twoheadrightarrow G\) be a free presentation of a finitely generated locally \(p\)-indicable group \(G\). Let \(\hat F\) denote the pro-\(p\)-completion of \(F\) and \(N^*\) the normal closure of \(N\) in the discrete group \(\hat F\). If \(G\) is locally \(p\)-indicable then \(N=F\cap N^*\) and the quotient \(\hat F/N^*\) is shown to contain the solutions of any \(p\)-independent system of equations over \(G\). This situation is circumscribed by the term ``\(p\)-adic solution'' by the author. However it has to be pointed out that ``\(p\)-adic solutions'' live in a discrete group rather than in the \(p\)-adic completion of \(G\). Moreover the author uses Stallings' notation \(C(p)\), originally referring to a property of free groups, in a different sense. In this paper \(C(p)\) is a property of \(G\) respectively of its free presentation \(G=F/N\). This distinction has to be kept in mind when interpreting the remark: ``Restated in Stallings' terminology, this Theorem says that locally \(p\)-indicable groups satisfy \(C(p)\),..'' Using Stallings' original definition (which refers to free groups only), Howie showed that conjecture \(C(p)\) in the sense of Stallings does not hold.
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 20E25
Mathematics Subject Classification ID: 20E18
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 3918658
zbMATH Keywords: locally \(p\)-indicable groups
zbMATH Keywords: Reidemeister-Schreier rewriting process
zbMATH Keywords: \(p\)-independent system of equations
zbMATH Keywords: free presentation
zbMATH Keywords: finitely generated locally \(p\)-indicable group
zbMATH Keywords: pro-\(p\)-completion
reviewed by: Hans Rudolf Schneebeli
MaRDI profile type: Publication
cites work: A New Proof of a Theorem of W. H. Cockcroft
cites work: Residual nilpotence and relations in free groups
cites work: Conservative groups, indicability, and a conjecture of Howie
cites work: THE SOLUTION OF SETS OF EQUATIONS IN GROUPS
cites work: A topology for free groups and related groups
cites work: On pairs of 2-complexes and systems of equations over groups.
cites work: Homological and topological properties of locally indicable groups
cites work: Q3755641
cites work: Q4145882
cites work: Q5513066
cites work: On the non-triviality of some group extensions given by generators and relations
description: scientific article; zbMATH DE number 3918658