A short tutorial on Tietze transformations
Here is a little tutorial on how to use Tietze transformations. They were named after Austrian mathematician Heinrich Franz Friedrich Tietze. A presentation is a set of generators and relations given by the notation $$\langle~ S~|~W~\rangle$$ where $S$ is set and $W$ is a set of words in the symbols of $S$. $S$ is called […]