Abstract:
|
We give an explicit recursive presentation for Mihailova's sub-
group M(H) of Fn Fn corresponding to a nite, concise and Pei er aspherical
presentation H = hx1; : : : ; xn jR1; : : : ;Rmi. This partially answers a question
of R.I. Grigorchuk, [8, Problem 4.14]. As a corollary, we construct a nitely
generated recursively presented orbit undecidable subgroup of Aut(F3) |