A recursive presentation for Mihailova's subgroup

Simple item page
dc.creatorBogopolski, O.
dc.creatorVentura, E.
dc.date2008-10-03
dc.date.accessioned2026-07-07T10:07:31Z
dc.date.available2026-07-07T10:07:31Z
dc.descriptionWe give an explicit recursive presentation for Mihailova's subgroup $M(H)$ of $F_n \times F_n$ corresponding to a finite, concise and Peiffer aspherical presentation $H=< x_1,..., x_n \mid R_1,..., 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)$.
dc.description9 pages
dc.identifierhttps://arxiv.org/abs/0810.0690
dc.identifierhttp://arxiv.org/abs/0810.0690
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/170667
dc.subjectGroup Theory
dc.subject20F05; 20F10
dc.titleA recursive presentation for Mihailova's subgroup
dc.typetext

Files

Collections

arXiv