A note on doubles of groups

DOI10.1016/S0022-4049(99)00176-0MaRDI QIDQ5928851zbMATH OpenFDO

Authors Nadia Benakli, Oliver T. Dasbach, Yair Glasner, Brian S. Mangum

Publication date 25 October 2001

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9809137

zbMATH Keywords

coherent groupsfinitely generated subgroupsfree productsfree subgroupsgeneralized word problemLERF groupslocally extended residually finite groupssubgroups of finite index

Mathematics Subject Classification ID

Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Subgroup theorems; subgroup growth (20E07) Residual properties and generalizations; residually finite groups (20E26) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65)

Abstract: Recently, Rips produced an example of a double of two free groups which has unsolvable generalized word problem. In this paper, we show that Rips's example fits into a large class of doubles of groups, each member of which contains F_2 x F_2 and therefore has unsolvable generalized word problem and is incoherent.

Review text

A group \(G\) is called coherent if every finitely generated subgroup is finitely presented. A group \(G\) is called locally extended residually finite (LERF) if for every finitely generated subgroup \(H\) and every element \(g\in G\setminus H\) there is a subgroup \(L\) of finite index such that \(H\leq L\) and \(g\notin L\). A group \(G\) admits a solution to the generalized word problem if there is an algorithm that decides for every element \(g\in G\) and every finitely generated subgroup \(L\) whether \(g\) is in \(L\) or not. The main result of this paper is the following Theorem 1.4. Let a group \(G\) contain a proper subgroup \(H\) such that \(|G:H|\geq 3\). 1. Assume that \(H\) contains a proper subgroup \(N\) with the following properties: (a) \(N\) contains a non-Abelian free subgroup; (b) \(N\) is normal in \(G\). Then the double \(L=G*_HG\) contains \(F_2\times F_2\) and is thus neither coherent nor LERF nor does it admit a solution to the generalized word problem. 2. Assume that \(G\) is a finitely generated virtually (non-Abelian) free group and \(H\) has finite index in \(G\). The double \(L=G*_HG\) is virtually the direct product \(F_r\times F_s\) of two non-Abelian free groups of finite rank. Moreover, \(F_2\times F_2\) and \(G*_HG\) are commensurable.

Recommendations

• On a double of a free group
• ON SEPARABILITY PROPERTIES OF GROUPS
• Doubles of residually solvable groups.
• On surface subgroups of doubles of free groups
• Doubles, finiteness properties of groups, and quadratic isoperimetric inequalities

Cites work

• Coherence in doubled groups
• Covering theory for graphs of groups
• Finitely presented simple groups and products of trees
• scientific article; zbMATH DE number 3873585 (Why is no real title available?)
• scientific article; zbMATH DE number 3257446 (Why is no real title available?)
• Incoherent negatively curved groups
• On a double of a free group
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• On Some Groups which cannot be Finitely Presented
• Subgroups of small Cancellation Groups

Cited in

(6)

• Doubles of groups and hyperbolic LERF \(3\)-manifolds
• Residual finiteness of certain 2-dimensional Artin groups
• Doubles of residually solvable groups.
• ON SEPARABILITY PROPERTIES OF GROUPS
• On a double of a free group
• Three amalgams with remarkable normal subgroup structures.

This page was built for publication: A note on doubles of groups

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