Finite presentation of fibre products of metabelian groups
type: Item
instance of: scholarly article
title: Finite presentation of fibre products of metabelian groups
zbMATH Open document ID: 1024.20028
DOI: 10.1016/S0022-4049(02)00307-9
author: Gilbert Baumslag
author: Martin R. Bridson
author: Charles F. III Miller
author: Derek F. Holt
published in: Journal of Pure and Applied Algebra
publication date: 2003-05-25T00:00:00Z
review text: Associated to each pair of short exact sequences of groups \(1\to N_i\to\Gamma_i@>p_i>>Q\to 1\), \(i=1,2\), one has the fibre product \(P=\{(\gamma_1,\gamma_2)\in\Gamma_1\times\Gamma_2\mid p_1(\gamma_1)=p_2(\gamma_2)\}\). The paper under review concerns entirely the case \(\Gamma_1=\Gamma_2=\Gamma\), \(N_1=N_2=N\) and for the most part it is focused on the case where \(p_1=p_2\), where in this case the fibre product is called `untwisted'. The main problem of the paper under review is when such fibre products are finitely presented. There are several results in this direction. If \(\Gamma\) is free or a surface group and both \(Q\) and \(N\) are infinite, then \(P\) is never finitely presented [see \textit{G. Baumslag, J. E. Roseblade}, J. Lond. Math. Soc., II. Ser. 30, 44-52 (1984; Zbl 0559.20018), \textit{F. J. Grunewald}, J. Lond. Math. Soc., II. Ser. 17, 427-436 (1978; Zbl 0385.20020) and \textit{M. R. Bridson, J. Howie, C. F. Miller, III} and \textit{H. Short}, Geom. Dedicata 92, 95-103 (2002; Zbl 1048.20009)]. Here the authors prove in Theorem 1 that if \(\Gamma\) is a finitely presented metabelian group, then the untwisted fibre product associated to any short exact sequence \(1\to N\to\Gamma\to Q\to 1\) is finitely presented. Theorem 9 of the paper under review is about a certain twisted case as follows: Let \(1\to N\to\Gamma@>p>>Q\to 1\) be a short exact sequence with \(Q\) and \(N\) Abelian. Consider the twisted fibre product \(P=\{(\gamma,\gamma')\mid p(\gamma)=-p(\gamma')\}\) associated to this sequence. Then \(P\) is finitely presented if and only if \(\Gamma\) is polycyclic. The main tools for the proof of Theorem 1 and Theorem 9 are a fundamental theorem of \textit{R. Bieri} and \textit{R. Strebel} which gives a necessary and sufficient condition for \(\Gamma\) to be finitely presented and also their characterization of when \(\Gamma\) is polycyclic [see Proc. Lond. Math. Soc., III. Ser. 41, 439-464 (1980; Zbl 0448.20029)]. A number of examples are als…
reviewed by: Alireza Abdollahi
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 20F16
Mathematics Subject Classification ID: 20E22
zbMATH DE Number: 1915688
zbMATH Keywords: fibre products
zbMATH Keywords: metabelian groups
zbMATH Keywords: finitely presented groups
zbMATH Keywords: short exact sequences
zbMATH Keywords: polycyclic groups
MaRDI profile type: Publication
cites work: Fibre products, non-positive curvature, and decision problems
cites work: Subgroups of Direct Products of Free Groups
cites work: Valuations and Finitely Presented Metabelian Groups
cites work: Q3894098
cites work: The subgroups of direct products of surface groups.
cites work: Q4143495
cites work: On Some Groups which cannot be Finitely Presented
Recommended article: Q3689356
Recommended article: On the finite presentation of subdirect products and the nature of residually free groups.
Recommended article: Coherence, subgroup separability, and metacyclic structures for a class of cyclically presented groups
Recommended article: Lectures on Finitely Generated Solvable Groups
Recommended article: Structure and finiteness properties of subdirect products of groups
Recommended article: A geometric invariant of discrete groups
Recommended article: On the profinite topology on solvable groups
Recommended article: Presentability by products for some classes of groups
Recommended article: Q4400386
Recommended article: Some Properties of Finitely Presented Groups with Topological Viewpoints
description: scientific article; zbMATH DE number 1915688