For a subgroup of a group generated by a set , choose representatives of right cosets . If represents , then lies in . These Schreier generators generate : inserting successive coset representatives along a word telescopes the word into such factors. Lifted relators can be rewritten in the same factors.
New to topics? Read the docs here!