Transfer to an abelian group
here is the unique element such that for some .
We need to quotient out by so that the product on the right side is independent of the order of terms in the transversal.
The transfer is a homomorphism of groups from to .
Independence of choice of transversal
The transfer map does not depend on the choice of transversal .