A Reidemeister-Schreier theorem for finitely -presented groups
arXiv:1108.2403
Abstract
We prove a variant of the well-known Reidemeister-Schreier theorem for finitely -presented groups. More precisely, we prove that each finite index subgroup of a finitely -presented group is itself finitely -presented. Our proof is constructive and it yields a finite -presentation for the subgroup. We further study conditions on a finite index subgroup of an invariantly finitely -presented group to be invariantly -presented itself.