Factor system

In mathematics, a factor system (sometimes called factor set) is a fundamental tool of Otto Schreier’s classical theory for group extension problem.[1][2] It consists of a set of automorphisms and a binary function on a group satisfing certain condition (so-called cocycle condition). In fact, a factor system constitutes a realisation of the cocycles in the second cohomology group in group cohomology.[3]

Introduction

Suppose G is a group and A is an abelian group. For a group extension

there exists a factor system which consists of a function f : G × GA and homomorphism σ: G → Aut(A) such that it makes the cartesian product G × A a group X as

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "/mathoid/local/v1/":): {\displaystyle (g,a)*(h,b) := (gh, f(g,h)a^{\sigma(h)}b).}

So f must be a "group 2-cocycle" (symbolically, Ext(G, A) H2(G, A)). In fact, A does not have to abelian, but more complicated [4]

If f is trivial and σ gives inner automorphisms, then that group extension is split, so X become semi-direct product of G with A.

If a group algebra is given, then a factor system f modifies that algebra to skew-group algebra by group operation xy modifying to f(x, y)xy.

Application: for Abelian field extensions

Let G be a group and L a field on which G acts as automorphisms. A cocycle or factor system is a map c:G × GL* satisfying

Cocycles are equivalent if there exists some system of elements a : GL* with

Cocycles of the form

are called split. Cocycles under multiplication modulo split cocycles form a group, the second cohomology group H2(G,L*).

Crossed product algebras

Let us take the case that G is the Galois group of a field extension L/K. A factor system c in H2(G,L*) gives rise to a crossed product algebra A, which is a K-algebra containing L as a subfield, generated by the elements λ in L and ug with multiplication

Equivalent factor systems correspond to a change of basis in A over K. We may write

Every central simple algebra over K that splits over L arises in this way.[5] The tensor product of algebras corresponds to multiplication of the corresponding elements in H2. We thus obtain an identification of the Brauer group, where the elements are classes of CSAs over K, with H2.[6][7]

Cyclic algebra

Let us further restrict to the case that L/K is cyclic with Galois group G of order n generated by t. Let A be a crossed product (L,G,c) with factor set c. Let u = ut be the generator in A corresponding to t. We can define the other generators

and then we have un = a in K. This element a specifies a cocycle c by

It thus makes sense to denote A simply by (L,t,a). However a is not uniquely specified by A since we can multiply u by any element λ of L* and then a is multiplied by the product of the conjugates of λ. Hence A corresponds to an element of the norm residue group K*/NL/KL*. We obtain the isomorphisms

References

  1. group extension in nLab
  2. Saunders MacLane, Homology, p. 103, at Google Books
  3. group cohomology in nLab
  4. for non-abelian: nonabelian group cohomology in nLab
  5. Jacobson (1996) p.57
  6. Saltman (1999) p.44
  7. Jacobson (1996) p.59
This article is issued from Wikipedia - version of the 8/6/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.