A recursive presentation for Mihailova's subgroup.

DOI10.4171/GGD/88zbMATH Open1202.20039MaRDI QIDQ990726FDOQ990726

Authors Oleg Bogopolski, Enric Ventura Capell 

Publication date 1 September 2010

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

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

zbMATH Keywords

conjugacy problemfree groupsasphericityextensions of groupsrecursive presentationsMihailova subgrouporbit undecidability

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Generators, relations, and presentations of groups (20F05) Automorphism groups of groups (20F28) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We give an explicit recursive presentation for Mihailova's subgroup $M(H)$ of $F_{n}imes{F}_n$ corresponding to a finite, concise and Peiffer aspherical presentation $H=<x_1,\mathrm{...},x_{n}mid{R}_1,\mathrm{...},R_m>$. This partially answers a question of R.I. Grigorchuk, [8, Problem 4.14]. As a corollary, we construct a finitely generated recursively presented orbit undecidable subgroup of $Aut(F_3)$.

Recommendations

• Orbit decidability and the conjugacy problem for some extensions of groups.
• Automorphic orbits in free groups: words versus subgroups.
• Recognition of subgroups of direct products of hyperbolic groups
• scientific article; zbMATH DE number 1202098
• The problem of conjugacy of automorphisms of free groups

Cites Work

• scientific article; zbMATH DE number 5152179 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 1284162 (Why is no real title available?)
• Aspherical group presentations
• Finitely presented subgroups of a product of two free groups
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• On Some Groups which cannot be Finitely Presented
• On the algorithmic insolvability of the word problem in group theory
• Orbit decidability and the conjugacy problem for some extensions of groups.
• Rigidity results for groups with radical cohomology of finite groups and arithmeticity problems
• Simple examples of groups with unsolvable word problem
• Subgroups of Direct Products of Free Groups
• The word problem
• ℋ complexes, towers and subgroups of F×F

Cited In (2)

• A Higman embedding preserving asphericity.
• Groups with two generators having unsolvable word problem and presentations of Mihailova subgroups of braid groups

This page was built for publication: A recursive presentation for Mihailova's subgroup.

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