Defines, given a group G and a subgroup of finite index H, a group homomorphism from G to the abelianization of H