The transfer homomorphism, or Verlagerung, maps a group \(G\) to the abelianization \(H/H'\) of a finite-index subgroup. It packages local products arising from the coset permutation into a global homomorphism and is a classical tool for normal \(p\)-complements, fusion, focal subgroups, and nonsimplicity. [@isaacs2008]

Definition

Let \(H\leq G\) have finite index \(n\), and choose a right transversal \(T\). For \(t\in T\) and \(g\in G\), write uniquely

\[ tg=h_{t,g}t_g, \qquad h_{t,g}\in H,\quad t_g\in T. \]

The ordering of the factors disappears in \(H/H'\). More importantly, changing the transversal changes the product only by factors that cancel modulo \(H'\), so transfer is independent of \(T\).

Well-definedness and homomorphism property

Transversal independence follows by comparing corresponding representatives; conjugate correction factors have the same image in the abelianization and cancel. [@isaacs2008]

Orbit evaluation

Fix \(g\in G\) and let \(\langle g\rangle\) act on \(H\backslash G\) by right multiplication. Choose one \(t\) from each orbit, and let that orbit have length \(r_t\). Then \(tg^{r_t}t^{-1}\in H\), and

\[ v_{G,H}(g)=\prod_t tg^{r_t}t^{-1}\pmod{H'}. \]

This orbit formula is usually more useful than multiplying over a complete transversal. [@isaacs2008]

Transfer to a Sylow subgroup

For \(P\in\operatorname{Syl}_p(G)\), consider \(v:G\to P/P'\). Its kernel is the smallest normal subgroup \(A^p(G)\) for which the quotient is an abelian \(p\)-group:

\[ \ker v=A^p(G). \]

A nontrivial image therefore detects a nontrivial abelian \(p\)-quotient of \(G\), often ruling out simplicity.

Burnside's normal p-complement theorem

Focal subgroup theorem

Define

\[ \operatorname{Foc}_G(P)= \langle x^{-1}y:x,y\in P,\ x\text{ and }y\text{ are conjugate in }G\rangle. \]

Thus fusion inside \(P\) determines exactly the intersection of the global derived subgroup with \(P\) and the kernel of transfer on \(P\).

Control of fusion and transfer

For \(P\leq H\leq G\), say that \(H\) controls fusion in \(P\) if elements of \(P\) conjugate in \(G\) are already conjugate in \(H\). The focal theorem gives

\[ A^p(H)=H\cap A^p(G), \]

so fusion control implies control of \(p\)-transfer. Consequences include:

  • if \(P\) is abelian, \(N_G(P)\) controls \(p\)-transfer;
  • \(P\) controls its own fusion exactly when \(G\) has a normal \(p\)-complement;
  • Yoshida's theorem provides broader conditions for the Sylow normalizer to control transfer.

Frobenius's normal p-complement criterion

Condition three says that all prime-to-\(p\) parts of local conjugation automorphisms vanish. The difficult direction propagates these local conditions through intersections of Sylow subgroups and fusion. [@isaacs2008]

Example and cautions

Wikipedia's transfer article was used to cross-check the general definition and history. Evaluation, focal, fusion, and normal-complement results were independently organized from Isaacs, Chapters 5 and 10. The cited revision is attributed under CC BY-SA. [@wikipedia-transfer]