Reidemeister–Schreier-Verfahren

Ein konstruktives Verfahren zur Bestimmung einer Präsentation (Erzeuger und Relationen) eines Untergruppes H einer Gruppe G aus einer Präsentation von G; mit einer Schreier-Transversalberechnung bestimmt man Schreier-Erzeuger für H und leitet Relationen her, indem man die Relatoren von G in diese Erzeuger umschreibt.

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.