Reidemeister–Schreier theorem

Given a presentation of a group and a Schreier transversal for a subgroup, the Reidemeister–Schreier theorem gives a presentation of the subgroup. Its generators are the Schreier generators $ts{\overline{ts}}^{-1}$, and its relators are rewritten conjugates of the original relators.