An explicit recursive presentation for Mihailova’s subgroup M(H) of Fn × Fn corresponding to a finite, concise and Peiffer aspherical presentation H = < x1, ... , xn | R1, ... , Rm > is given. This partially answers a question of R. I. Grigorchuk. As a corollary, we construct a finitely generated recursively presented orbit undecidable subgroup of Aut(F3).
Oleg Bogopolski; Enric Ventura. A recursive presentation for Mihailova’s subgroup. Groups, geometry, and dynamics, Tome 4 (2010) no. 3, pp. 407-417. doi: 10.4171/ggd/88
@article{10_4171_ggd_88,
author = {Oleg Bogopolski and Enric Ventura},
title = {A recursive presentation for {Mihailova{\textquoteright}s} subgroup},
journal = {Groups, geometry, and dynamics},
pages = {407--417},
year = {2010},
volume = {4},
number = {3},
doi = {10.4171/ggd/88},
url = {http://geodesic.mathdoc.fr/articles/10.4171/ggd/88/}
}
TY - JOUR
AU - Oleg Bogopolski
AU - Enric Ventura
TI - A recursive presentation for Mihailova’s subgroup
JO - Groups, geometry, and dynamics
PY - 2010
SP - 407
EP - 417
VL - 4
IS - 3
UR - http://geodesic.mathdoc.fr/articles/10.4171/ggd/88/
DO - 10.4171/ggd/88
ID - 10_4171_ggd_88
ER -