Given H is a subgroup of G and that H has finite index n, prove that there is a normal subgroup K of G such that and . Don't assume that G is finite.
Follow Math Help Forum on Facebook and Google+
Note that acts on the cosets of by left multiplication. Since there are cosets, this induces a homomorphism . Then we know that is a normal subgroup of . Try working with this.