A recursive presentation for Mihailova's subgroup

O. Bogopolski, E. Ventura

We 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,...,…