Transfer to an abelian group

Definition

Let $G$ be a finite group and $H$ and $K$ are subgroups such that $K◃H$ and $H/K$ is Abelian. Let $T$ be a left transversal of $H$ in $G$. Then define the following mapping $V:G\to H/K$

$V(x)={\prod }_{t\in T}{h}_x^T(t)K$

here $h_x^T(t)$ is the unique element $h\in H$ such that $xt=t^{\prime }h$ for some $t^{\prime }\in T$.

We need to quotient out by $K$ so that the product on the right side is independent of the order of terms in the transversal.

Facts

Homomorphism

The trasnfer is a homomorphism of groups from $G$ to $H/K$.

Independence of choice of transversal

The transfer map does not depend on the choice of transversal $T$.