This is Exercise 1.5.2 of "Combinatorial Group Theory: Presentations of Groups in Terms of Generators and Relations," by W. Magnus et al.
The Details:
A Tietze transformation of one presentation $$\langle a, b, c\mid P, Q, R, \dots\rangle\tag{1}$$ of a group $G$ into another presentation of $G$ is one of the following:
(T1) Adding relators. If the words $S, T, \dots$ are derivable from $P, Q, R, \dots$ then add $S, T, \dots$ to the defining relators in $(1)$.
(T2) Removing relators. If some of the relators, say, $S, T, \dots$, listed among the defining relators $P, Q, R, \dots$ are derivable from the others, delete $S, T, \dots$ from the defining relators in $(1)$.
(T3) Adding generators. If $K, M, \dots$ are any words in $a, b, c, \dots$, then adjoin the symbols $x, y, \dots$ to the generating symbols in $(1)$ and adjoin the relations $x=K, y=M, \dots$ to the defining relators in $(1)$.
(T4) Removing generators. If some of the defining relations in $(1)$ take the form $p=V, q=W, \dots$, where $p, q, \dots$ are generators in $(1)$ and $V, W, \dots$ are words in the generators other than $p, q, \dots$, then delete $p, q, \dots$ from the generators, delete $p=V, q=W, \dots$ from the defining relations, and replace $p, q, \dots$ by $V, W, \dots,$ respectively, in the remaining defining relators in $(1)$.
Theorem 1: If a presentation can be transformed into another by Tietze transformations, then the two are isomorphic.
The Question:
Show by means of Tietze transformations that the presentations $$\langle a, b, c\mid b^2, (bc)^2\rangle\tag{A}$$ and $$\langle x, y, z\mid y^2, z^2\rangle\tag{B}$$ define isomorphic groups.
My Attempt:
This is an application of Theorem 1.
By (T3), $(A)$ is $$\langle a, b, c, x\mid b^2, (bc)^2, a=x\rangle,$$ which is $$\langle x, b, c\mid b^2, (bc)^2\rangle$$ by (T4).
Now what?
I guess I could let $y=b$ and $z=bc$ somehow - by (T3)? - but I don't know how to do this explicitly, using (T1) - (T4) to get $(B)$ from $(A)$.
Please help :)
