A recursive presentation for Mihailova's subgroup.

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

Authors: Oleg Bogopolski, Enric Ventura Capell 

Publication date: 1 September 2010

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

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)$.

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

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

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)

Cites Work

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

Cited In (2)

• Groups With Two Generators Having Unsolvable Word Problem and Presentations of Mihailova Subgroups of Braid Groups
• A Higman embedding preserving asphericity.

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)