zbMATH — the first resource for mathematics

The relative hyperbolicity of one-relator relative presentations. (English) Zbl 1219.20030
The author continues Klyachko’s study of groups defined by one-relator relative presentations \(\widetilde G=\langle G,t\mid w^k\rangle\) where \(w=g_1t^{\varepsilon_1}\cdots g_nt^{\varepsilon_n}\) (\(\varepsilon_i=\pm 1\)) is unimodular (i.e. \(\sum_{i=1}^n\varepsilon_i=1\)) and \(G\) is torsion-free. Here it is shown that if \(k\geq 2\) then \(\widetilde G\) is relatively hyperbolic with respect to \(G\). The proof involves Howie diagrams, Klyachko’s method of multiple motions on diagrams, and a version of his car crash lemma. Corollaries give that \(\widetilde G\) is SQ-universal when \(G\) is non-trivial and that the word problem is solvable in \(\widetilde G\) if it is solvable in \(G\).

20F67 Hyperbolic groups and nonpositively curved groups
20F05 Generators, relations, and presentations of groups
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20F06 Cancellation theory of groups; application of van Kampen diagrams
20E06 Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20F70 Algebraic geometry over groups; equations over groups
Full Text: DOI arXiv
[1] DOI: 10.1016/j.jalgebra.2007.04.029 · Zbl 1132.20022
[2] DOI: 10.1017/S0013091500028108 · Zbl 0499.20017
[3] Howie J., Proc. London Math. Soc. 62 pp 590– (3) · Zbl 0693.20035
[4] DOI: 10.1142/S0218196706002925 · Zbl 1093.20017
[5] DOI: 10.1080/00927879308824692 · Zbl 0788.20017
[6] DOI: 10.1007/s10469-005-0023-y · Zbl 1104.20032
[7] DOI: 10.1007/s10469-007-0015-1 · Zbl 1155.20031
[8] DOI: 10.1090/S0002-9904-1968-12012-9 · Zbl 0174.04603
[9] Osin D. V., Mem. Amer. Math. Soc. 179 pp 843– (2006)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.