Transformaciones de Tietze

Un conjunto de operaciones elementales (movimientos de Tietze) sobre presentaciones de grupos que transforman una presentación finita en otra conservando la clase de isomorfismo del grupo presentado. Movimientos típicos son añadir o quitar un generador con un relador que lo expresa, añadir o eliminar un relator consecuencia, y sustituir reladores por sus productos o conjugados.