Tietze Transformations Example 2

# Tietze Transformations Example 2

On the Tietze Transformations page we defined Tietze transformations for getting alternative group presentations of a group. We will now look at another example of a Tietze transformation. Another example can be found on the page below:

**Tietze Transformations Example 1**

## Example 2

**Use Tietze transformations to transform the group presentation $\langle a, b : a^2 = 1, (ab)^2 = 1 \rangle$ into the group presentation $\langle x, y : x^2 = 1, y^2 = 1 \rangle$.**

Start with the first group:

(1)\begin{align} \quad \langle a, b : a^2 = 1, (ab)^2 = 1 \rangle \end{align}

Introduce a new variable $y$ with the relation that $y = ab$:

(2)\begin{align} \quad \langle a, b, y: a^2 = 1, (ab)^2 = 1, y = ab \rangle \end{align}

(3)
\begin{align} \quad \langle a, b, y : a^2 = 1, y^2 = 1, b = a^{-1}y \rangle \end{align}

Delete the variable $b$:

(4)\begin{align} \quad \langle a, y : a^2 = 1, y^2 = 1 \rangle \end{align}

Introduce a new variable $x$ with the relation that $x = a$:

(5)\begin{align} \quad \langle a, x, y : a^2 = 1, y^2 = 1, x = a \rangle \end{align}

(6)
\begin{align} \quad \langle a, x, y : x^2 = 1, y^2 = 1, x = a \rangle \end{align}

Delete the variable $a$:

(7)\begin{align} \quad \langle x, y : x^2 = 1, y^2 = 1\rangle \end{align}