Finitely presented subgroups of a product of two free groups

DOI10.1093/QJMATH/52.1.127MaRDI QIDQ2716952zbMATH OpenOpenAlexFDO

Authors Hamish Short

Publication date 29 January 2002

Published in The Quarterly Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/qjmath/52.1.127

zbMATH Keywords

defining relationsdiagrams of groupsfinitely presented groupsfree groupssubgroups of finite indexvan Kampen diagrams

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Review text

The paper gives a new proof for the following theorem of \textit{G. Baumslag} and \textit{J. E. Roseblade}: let \(H\) be a finitely presented subgroup of a direct product \(A\times B\) of two free groups \(A\) and \(B\). If \(H\) is not free, then \(H\) contains a subgroup \(A'\times B'\) of finite index, where \(A'\) (respectively \(B'\)) is a subgroup of \(A\) (respectively of \(B\)) [J. Lond. Math. Soc., II. Ser. 30, 44-52 (1984; Zbl 0559.20018)]. The new proof offered is based on the combinatorial geometric method of the van Kampen diagrams [for background information on the topic see \textit{R. C. Lyndon} and \textit{P. E. Schupp}, Combinatorial group theory (1977; Zbl 0368.20023) or \textit{A. Yu. Ol'shanskij}, Geometry of defining relations in groups (1989; Zbl 0676.20014)]. The original proof of this theorem is based on group homology and special sequences. There is another geometric proof of the theorem considered given by \textit{M. R. Bridson} and \textit{D. T. Wise} and based on \({\mathcal V}H\)-complexes [Math. Proc. Camb. Philos. Soc. 126, No. 3, 481-497 (1999; Zbl 0942.20009)]. The paper reviewed also contains a brief outline of the van Kampen diagrams and two examples showing that the parts ``finitely presented of the theorem and ``finite index are necessary.

Recommendations

• Subgroups of direct products with a free group
• ℋ complexes, towers and subgroups of F×F
• The subgroups of direct products of surface groups.
• Subgroups of Direct Products of Free Groups
• Finitely presented normal subgroups of a product of Fuchsian groups

Cited in

(8)

• Finitely presented normal subgroups of a product of Fuchsian groups
• Knit products of some groups and their applications.
• Orbit decidability and the conjugacy problem for some extensions of groups.
• ℋ complexes, towers and subgroups of F×F
• scientific article; zbMATH DE number 1563330 (Why is no real title available?)
• Subgroups of direct products with a free group
• Subgroups of Direct Products of Free Groups
• A recursive presentation for Mihailova's subgroup.

This page was built for publication: Finitely presented subgroups of a product of two free groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2716952)