Eine Menge elementarer Operationen (Tietze-Züge) an Gruppenpräsentationen, die eine endliche Präsentation in eine andere überführen, dabei aber die Isomorphieklasse der dargestellten Gruppe erhalten. Übliche Züge sind Hinzufügen/Entfernen eines Erzeugers zusammen mit einem Relator, der ihn ausdrückt, Hinzufügen/Entfernen folgerichtiger Relatoren sowie Ersetzen von Relatoren durch ihre Produkte oder Konjugate.

Prinzip

Präsentationen kodieren Gruppen durch Erzeuger und Relatoren; Tietze-Transformationen sind die lokalen, umkehrbaren Manipulationen an der Präsentation, die die dargestellte Gruppe unverändert lassen. Sie definieren die Äquivalenzrelation auf Präsentationen, die von elementaren Änderungen erzeugt wird.

Demonstration

Aus der Präsentation des abelschen Produkts Z×Z kann man einen Erzeuger c mit Relator c = a b^{-1} hinzufügen und anschließend b mittels b = a c^{-1} entfernen. So erhält man eine andere endliche Präsentation mit abweichenden Erzeugern, aber derselben Gruppe. Die Sequenz verwendet Hinzufügen, Ersetzen und Entfernen von Erzeugern/Relatoren.

Fehlanwendung

Das Entfernen eines Erzeugers ohne Relator, der ihn als Wort in den verbleibenden Erzeugern ausdrückt, kann die dargestellte Gruppe ändern; ebenso ist die Anwendung der Züge auf unendliche oder nicht wohlgegründete Präsentationen fehleranfällig. Tietze-Züge als beliebige Umformungen zu behandeln, ohne Umkehrbarkeit zu prüfen, ist eine typische Fehlanwendung.

Konsequenz

Korrekt angewandt führen Tietze-Transformationen zu einfacheren oder standardisierten Präsentationen, zeigen Äquivalenz von Präsentationen, erleichtern algorithmische Reduktionen und Berechnung von Invarianten und erlauben die Konstruktion geeigneter endlicher Präsentationen für weitere algebraische Konstruktionen.

Umkehrung

Die Umkehrperspektive fragt, welche Änderungen einer Präsentation notwendigerweise die Gruppe verändern; die Inversion von Tietze-Zügen charakterisiert zulässige 'Erweiterungen' von Präsentationen. Im Gegensatz dazu erzeugen nicht mit Tietze kompatible Änderungen tatsächlich andere Gruppen.

Abgrenzung

Gilt für Gruppenpräsentationen (typischerweise endliche) und setzt wohldefinierte Relatoren und Wörter voraus. Sie löst nicht das Isomorphieproblem für präsentierte Gruppen und ist kein Allheilmittel für das Wortproblem. Bei unendlichen Präsentationen, in anderen algebraischen Kategorien ohne analoges Zugsystem oder bei unbeschränkter Zahl von Schritten ist Vorsicht geboten.

Semantische Spannung

Tietze-Transformationen stehen in Spannung zu Nielsen-Transformationen und zu Umformungen durch Rewriting-Systeme: Nielsen wirkt auf Erzeuger-Tupel (Automorphismen der freien Gruppe), Tietze auf die ganze Präsentation inklusive Relatoren. Die Frage ist, ob man Generatoren oder Generatoren plus Relatoren als primär ansieht.

Synthese

Tietze-Transformationen sind die elementaren, umkehrbaren Operationen auf endlichen Gruppenpräsentationen, mit denen dieselbe Gruppe in verschiedenen Darstellungen realisiert wird; sie erlauben kontrolliertes Hinzufügen, Entfernen und Ersetzen von Erzeugern und Relatoren, um Struktur zu bewahren und Präsentationen zweckmäßig zu vereinfachen oder zu vergleichen.