Transfer (group theory)

In the mathematical field of group theory, the transfer defines, given a group ''G'' and a subgroup of finite index ''H'', a group homomorphism from ''G'' to the abelianization of ''H''. It can be used in conjunction with the Sylow theorems to obtain certain numerical results on the existence of finite simple groups.

The transfer was defined by and rediscovered by .

Construction

The construction of the map proceeds as follows:Following Scott 3.5 Let 'G'':''H''= ''n'' and select coset representatives, say
:$x_1, \dots, x_n,\,$
for ''H'' in ''G'', so ''G'' can be written as a disjoint union
:$G = \bigcup\ x_i H.$
Given ''y'' in ''G'', each ''yx_i'' is in some coset ''x_jH'' and so
:$yx_i = x_jh_i$
for some index ''j'' and some element ''h''_''i'' of ''H''.
The value of the transfer for ''y'' is defined to be the image of the product
:$\textstyle \prod_^n h_i$
in ''H''/''H''′, where ''H''′ is the commutator subgroup of ''H''. The order of the factors is irrelevant since ''H''/''H''′ is abelian.

It is straightforward to show that, though the individual ''h_i'' depends on the choice of coset representatives, the value of the transfer does not. It is also straightforward to show that the mapping defined this way is a homomorphism.

Example

If ''G'' is cyclic then the transfer takes any element ''y'' of ''G'' to ''y'' ^{'G'':''H''/sup>.}

A simple case is that seen in the Gauss lemma on quadratic residues, which in effect computes the transfer for the multiplicative group of non-zero residue classes modulo a prime number ''p'', with respect to the subgroup . One advantage of looking at it that way is the ease with which the correct generalisation can be found, for example for cubic residues in the case that ''p'' − 1 is divisible by three.

Homological interpretation

This homomorphism may be set in the context of group homology. In general, given any subgroup ''H'' of ''G'' and any ''G''-module ''A'', there is a corestriction map of homology groups $\mathrm : H_n(H,A) \to H_n(G,A)$ induced by the inclusion map $i: H \to G$, but if we have that ''H'' is of finite index in ''G'', there are also restriction maps $\mathrm : H_n(G,A) \to H_n(H,A)$. In the case of ''n ='' 1 and $A=\mathbb$ with the trivial ''G''-module structure, we have the map $\mathrm : H_1(G,\mathbb) \to H_1(H,\mathbb)$. Noting that $H_1(G,\mathbb)$ may be identified with $G/G'$ where $G'$ is the commutator subgroup, this gives the transfer map via $G \xrightarrow G/G' \xrightarrow H/H'$, with $\pi$ denoting the natural projection.Serre (1979) p.120 The transfer is also seen in algebraic topology, when it is defined between classifying spaces of groups.

Terminology

The name ''transfer'' translates the German ''Verlagerung'', which was coined by Helmut Hasse.

Commutator subgroup

If ''G'' is finitely generated, the commutator subgroup ''G''′ of ''G'' has finite index in ''G'' and ''H=G''′, then the corresponding transfer map is trivial. In other words, the map sends ''G'' to 0 in the abelianization of ''G''′. This is important in proving the principal ideal theorem in class field theory.Serre (1979) p.122 See the Emil Artin-John Tate ''Class Field Theory'' notes.

See also

* Focal subgroup theorem, an important application of transfer
* By Artin's reciprocity law, the Artin transfer describes the principalization of ideal classes in extensions of algebraic number fields.

References

*
*
*
*{{cite book , last=Serre , first=Jean-Pierre , author-link=Jean-Pierre Serre , title=Local Fields , translator-link1=Marvin Greenberg , translator-first1=Marvin Jay , translator-last1=Greenberg , series= Graduate Texts in Mathematics , volume=67 , publisher= Springer-Verlag , year=1979 , isbn=0-387-90424-7 , zbl=0423.12016 , pages=120–122

Group theory