Ein konstruktives Verfahren, das aus einer endlich präsentierten Gruppe G und einem gewählten Schieber (Transversal) der Nebenklassen eines Untergruppes H ≤ G eine Präsentation von H erzeugt, indem Erzeuger und Relationen relativ zum Transversal umgeschrieben werden.

Prinzip

Relatoren des Ganzen entlang eines Nebenklassen-Transversals umschreiben, sodass Untergruppenelemente als Worte in einer neuen Erzeugermenge ausgedrückt werden; Vorkommen der ursprünglichen Erzeuger systematisch durch nach Nebenklassen indizierte Konjugate ersetzen, um Relationen für die Untergruppe zu erhalten.

Demonstration

Man beginnt mit G = ⟨S | R⟩ und einem Untergruppenkernel H des Homomorphismus nach C2; wählt Vertreter {1, t} der Nebenklassen, bildet Schreier-Erzeuger {t s t^{-1} oder s} für s ∈ S und schreibt jedes r ∈ R in Wörtern dieser Erzeuger um, um eine Präsentation von H zu gewinnen.

Fehlanwendung

Die Prozedur blind auf einen Untergrupp ohne festes Transversal oder in Fällen anzuwenden, in denen G nicht endlich präsentiert ist, kann zu unhandlichen oder unendlichen Erzeugermengen führen und fälschliche Aussagen über endliche Präsentierbarkeit rechtfertigen.

Konsequenz

Bei Anwendung auf einen Untergrupp von endlichem Index in einer endlich präsentierten Gruppe liefert die Methode explizit eine endliche Erzeuger- und Relatorenzahl für den Untergrupp und weist so die endliche Präsentierbarkeit nach; sie gewährt außerdem algorithmischen Zugriff auf die Struktur.

Umkehrung

Anstatt von einer Präsentation der Übergruppe eine Präsentation der Untergruppe abzuleiten, versucht man umgekehrt, aus einer Untergrupppräsentation und Daten zur Wirkung auf Nebenklassen eine Präsentation der Übergruppe zu rekonstruieren; dies kehrt die Richtung der Umschreibung um und benötigt Erweiterungsdaten statt Einschränkungsdaten.

Abgrenzung

Die Methode setzt eine Präsentation der umgebenden Gruppe und die Wahl eines Nebenklassen-Transversals voraus; sie garantiert keine endlichen Ergebnisse für beliebige Untergruppen (Untergruppen unendlichen Index können unendlich viele Schreier-Erzeuger erzeugen) und ersetzt keine Existenzresultate, wenn kein Transversal oder keine endliche Präsentation vorliegt.

Semantische Spannung

Die semantische Spannung liegt zwischen diesem explizit-kombinatorischen Umschreibungsansatz und abstrakten Existenzsätzen (etwa aus der Kohomologie oder Kategorientheorie), die strukturelle Eigenschaften benennen, ohne Erzeuger und Relationen zu konstruieren.

Synthese

Die Reidemeister–Schreier-Methode ist ein konkreter Umschreibungsalgorithmus, der eine Präsentation einer endlich präsentierten Gruppe zusammen mit einem Nebenklassen-Transversal in eine Präsentation eines Untergruppes umwandelt, indem globale Relatoren in lokal indizierte Schreier-Erzeuger und -Relatoren überführt werden.