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.

Principio

Las presentaciones representan un grupo por generadores y reladores; las transformaciones de Tietze son manipulaciones locales y reversibles de la presentación que no alteran el grupo representado. Organizan la relación de equivalencia entre presentaciones mediante cambios elementales.

Demostración

Dada la presentación del grupo abeliano Z×Z, se puede añadir un generador c con relador c = a b^{-1} y luego eliminar b usando b = a c^{-1}, obteniendo otra presentación finita con distintos generadores pero el mismo grupo. La secuencia emplea añadir generador, reemplazar relador y quitar generador.

Aplicación incorrecta

Quitar un generador sin un relador que lo exprese como palabra en los generadores restantes puede cambiar el grupo presentado; de igual modo, aplicar los movimientos a presentaciones infinitas o mal definidas puede llevar a conclusiones inválidas. Tratar los movimientos de Tietze como reescrituras arbitrarias sin comprobar la reversibilidad es un uso indebido común.

Consecuencia

Usadas correctamente, permiten obtener presentaciones más simples o canónicas, probar equivalencia de presentaciones, facilitar reducciones algorítmicas y cálculos de invariantes, y construir presentaciones finitas adecuadas para construcciones posteriores (extensiones, cocientes). También fundamentan pruebas de que ciertas operaciones no alteran el grupo.

Inversión

La inversión de la idea consiste en preguntar qué alteraciones de una presentación cambian necesariamente el grupo; invertir movimientos de Tietze describe la clase de 'expansiones' admitidas. En contraste, ediciones no compatibles con Tietze producen grupos distintos.

Límite

Se aplica a presentaciones de grupos (normalmente finitas) y requiere reladores y palabras bien definidos. No decide por sí misma la isomorfía de los grupos presentados ni resuelve el problema de la palabra de forma general. Hay que tener cuidado con presentaciones infinitas, en otras categorías algebraicas sin movimientos análogos o cuando se necesita una sucesión no acotada de movimientos.

Tensión semántica

Existe tensión entre las transformaciones de Tietze y las transformaciones de Nielsen o los sistemas de reescritura: Nielsen actúa sobre tuplas de generadores (automorfismos del grupo libre), mientras que Tietze actúa sobre la presentación completa con reladores. La tensión es si se considera primario al generador o tanto a generadores como a reladores.

Síntesis

Las transformaciones de Tietze constituyen el conjunto de operaciones elementales reversibles sobre presentaciones finitas que realizan la equivalencia de presentar el mismo grupo; permiten añadir, quitar y reemplazar generadores y reladores de manera controlada para preservar la estructura algebraica y posibilitar simplificación y comparación constructiva de presentaciones.