Méthode de Reidemeister–Schreier

Procédure constructive pour obtenir une présentation (générateurs et relations) d'un sous-groupe H d'un groupe G à partir d'une présentation de G ; en choisissant un transversale de Schreier on calcule des générateurs de Schreier pour H et on déduit les relations en réécrivant les relateurs de G en termes de ces générateurs.

Une procédure constructive qui, à partir d'un groupe G à présentation finie et d'un transversal choisi des classes à gauche pour un sous-groupe H ≤ G, produit une présentation de H en réécrivant les générateurs et les relations de G par rapport au transversal.