## You are here

HomeTietze transform

## Primary tabs

# Tietze transform

*Tietze transforms* are the following four transformations whereby one
can transform a presentation of a group into another presentation of
the same group:

1. If a relation $W=V$, where $W$ and $V$ are some word in the generators of the group, can be derived from the defining relations of a group, add $W=V$ to the list of relations.

2. If a relation $W=V$ can be derived from the remaining generators, remove $W=V$ fronm the list of relations.

3. If $W$ is a word in the generators and $W=x$, then add $x$ to the list of generators and $W=x$ to the list of relations.

4. If a relation takes the form $W=x$, where $x$ is a generator and $W$ is a word in generators other than $x$, then remove $W=x$ from the list of relations, replace all occurences of $x$ in the remaining relations by $W$ and remove $x$ from the list of generators.

Note that transforms 1 and 2 are inverse to each other and likewise 3
and 4 are inverses. More generally, the term “Tietze transform”
referes to a transform which can be expressed as the compositon of a
finite number of the four transforms listed above. By way of
contrast, the term “*elementary Tietze transformation*” is used
to denote the four transformations given above and the term
“*general Tietze transform*” could be used to indicate a member
of the larger class.

Tieze showed that any two presentations of the same finitely presented group differ by a general Tietze transform.

## Mathematics Subject Classification

20F10*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier