Malnormality is undecidable in hyperbolic groups

DOI10.1007/BF02772626MaRDI QIDQ5951497zbMATH OpenFDO

Authors Martin R. Bridson, Daniel T. Wise

Publication date 24 April 2003

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02772626

zbMATH Keywords

algorithmsfinitely generated subgroupshyperbolic groupsmalnormal subgroups

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Fundamental groups and their automorphisms (group-theoretic aspects) (20F34) Hyperbolic groups and nonpositively curved groups (20F67)

Review text

A subgroup \(H\) of a group \(G\) is malnormal if for every \(g\in G\setminus H\) it is the case that \(g^{-1}Hg\cap H=1\). The authors answer a question of Myasnikov by proving among other things that there exists a torsion-free hyperbolic group \(G\) for which there is no algorithm to decide which finitely generated subgroups are malnormal. The group \(G\) can be arranged to be the fundamental group of a compact 2-dimensional complex that is negatively curved (in the sense of Alexandrov). The result is obtained using a construction due to \textit{E. Rips} [Bull. Lond. Math. Soc. 14, 45-47 (1982; Zbl 0481.20020)].

Recommendations

• Recognition of subgroups of direct products of hyperbolic groups
• The residual finiteness of negatively curved polygons of finite groups.
• Immutability is not uniformly decidable in hyperbolic groups
• Conjugacy in normal subgroups of hyperbolic groups.

Cites work

• A RESIDUALLY FINITE VERSION OF RIPS'S CONSTRUCTION
• scientific article; zbMATH DE number 67424 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 1385418 (Why is no real title available?)
• scientific article; zbMATH DE number 1421182 (Why is no real title available?)
• Incoherent negatively curved groups
• MALNORMALITY IS DECIDABLE IN FREE GROUPS
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• On Some Groups which cannot be Finitely Presented
• Subgroups of small Cancellation Groups
• Unsolvable Problems About Small Cancellation and Word Hyperbolic Groups
• Widths of Subgroups

Cited in

(15)

• Algorithms detecting stability and Morseness for finitely generated groups
• The complexity of solution sets to equations in hyperbolic groups
• Malnormal subgroups and Frobenius groups: basics and examples. With an appendix by Denis Osin.
• Stallings graphs for quasi-convex subgroups
• Double cosets in free groups.
• Generic properties of subgroups of free groups and finite presentations
• RANDOM GENERATION OF FINITELY GENERATED SUBGROUPS OF A FREE GROUP
• On restricted gromov groups
• Incoherent negatively curved groups
• Recognition of subgroups of direct products of hyperbolic groups
• MALNORMAL SUBGROUPS OF FREE GROUPS
• On intersections of conjugate subgroups
• Groups acting on hyperbolic spaces -- a survey
• Immutability is not uniformly decidable in hyperbolic groups
• Exponentially generic subsets of groups

This page was built for publication: Malnormality is undecidable in hyperbolic groups

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