Proof. We shall begin by using Andrews-Curtis (AC) moves to modify the. ... relators rn1 = an1,. , rnr = anr to P1, to get an AC-equivalent presentationfor G1 for which the corresponding presentation matrix for G.
Proof. We shall begin by using Andrews-Curtis (AC) moves to modify the. ... αnr | ρ1,. , ρnr⟩ for G2 which is AC-equivalent to P2 and for whichthe corresponding presentation matrix for Gab2 is the block diagonal matrix D2 =(Ctr 00 Ir.