Método de Reidemeister–Schreier

Un procedimiento constructivo para obtener una presentación (generadores y relaciones) de un subgrupo H de un grupo G dada una presentación de G; usando un transverso de Schreier se calculan generadores de Schreier para H y se derivan relaciones reescribiendo los relators de G en términos de esos generadores.

Un procedimiento constructivo que, dado un grupo G con presentación finita y un transversal elegido de cosets para un subgrupo H ≤ G, produce una presentación de H reescribiendo generadores y relaciones de G en relación con el transversal.