Asymptotic freedom

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 Issai Schur and rediscovered by Emil Artin.

Construction

The construction of the map proceeds as follows: Let [G:H] = n and select coset representatives, say

$x_1,\dots ,x_n,$

for H in G, so G can be written (disjoint union)

$G=\dot{\cup }{x}_{i}H.$

Given y in G, each yx_i is in some coset x_jH and so

$y{x}_i=x_{j}h$

for some index j and some element h of H, Then in general

$y{x}_i=x_{iA}{h}_i$

where A=A(y) is some mapping of {1,2,…,n} to itself and each h_i=h_i(y) is an element of H.

The value of the transfer for y is defined to be the product in H/H′

${\prod }_{i=1}^n{h}_i{H}^{\prime }$

where H′ is the commutator subgroup of H. Note that the order of the factors is irrelevant since H/H′ is abelian.

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

Example

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 {1, −1}. 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 cohomology (strictly, group homology), providing a more abstract definition. 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 H is the commutator subgroup G′ of 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. See the Emil Artin-John Tate Class Field Theory notes.

See also

• Focal subgroup theorem, an important application of transfer

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534