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 satisfying 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
- [math]\displaystyle{ 1 \to A \to X \to G \to 1, }[/math]
there exists a factor system which consists of a function f : G × G → A and homomorphism σ: G → Aut(A) such that it makes the cartesian product G × A a group X as
- [math]\displaystyle{ (g,a)*(h,b) := (gh, f(g,h)a^{\sigma(h)}b). }[/math]
So f must be a "group 2-cocycle" (and thus define an element in H2(G, A), as studied in group cohomology). In fact, A does not have to be abelian, but the situation is more complicated for non-abelian groups[4]
If f is trivial, then X splits over A, so that X is the semidirect product of G with A.
If a group algebra is given, then a factor system f modifies that algebra to a skew-group algebra by modifying the group operation xy 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 (Noether) factor system[5]:31 is a map c: G × G → L* satisfying
- [math]\displaystyle{ c(h,k)^g c(hk,g) = c(h,kg) c(k,g) . }[/math]
Cocycles are equivalent if there exists some system of elements a : G → L* with
- [math]\displaystyle{ c'(g,h) = c(g,h) (a_g^h a_h a_{gh}^{-1}) . }[/math]
Cocycles of the form
- [math]\displaystyle{ c(g,h) = a_g^h a_h a_{gh}^{-1} }[/math]
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[5]:31 A, which is a K-algebra containing L as a subfield, generated by the elements λ in L and ug with multiplication
- [math]\displaystyle{ \lambda u_g = u_g \lambda^g , }[/math]
- [math]\displaystyle{ u_g u_h = u_{gh} c(g,h) . }[/math]
Equivalent factor systems correspond to a change of basis in A over K. We may write
- [math]\displaystyle{ A = (L,G,c) . }[/math]
The crossed product algebra A is a central simple algebra (CSA) of degree equal to [L : K].[6] The converse holds: every central simple algebra over K that splits over L and such that deg A = [L : K] arises in this way.[6] 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.[7][8]
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
- [math]\displaystyle{ u_{t^i} = u^i \, }[/math]
and then we have un = a in K. This element a specifies a cocycle c by[5]:33
- [math]\displaystyle{ c(t^i,t^j) = \begin{cases} 1 & \text{if } i+j \lt n, \\ a & \text{if } i+j \ge n. \end{cases} }[/math]
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
- [math]\displaystyle{ \operatorname{Br}(L/K) \equiv K^*/N_{L/K} L^* \equiv H^2(G,L^*) . }[/math]
References
- ↑ group extension in nLab
- ↑ Saunders MacLane, Homology, p. 103, at Google Books
- ↑ group cohomology in nLab
- ↑ nonabelian group cohomology in nLab
- ↑ 5.0 5.1 5.2 Kostrikin, A.I.; Shafarevich, I.R., eds (1991). "Noncommutative Rings". Algebra II. Encyclopaedia of Mathematical Sciences. 18. Berlin Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-72899-0. ISBN 9783642728990.
- ↑ 6.0 6.1 Jacobson (1996) p.57
- ↑ Saltman (1999) p.44
- ↑ Jacobson (1996) p.59
- Lorenz, Falko (2008). Algebra. Volume II: Fields with Structure, Algebras and Advanced Topics. Universitext. Translated from the German by Silvio Levy. With the collaboration of the translator. Springer-Verlag. ISBN 978-0-387-72487-4.
- Jacobson, Nathan (1996). Finite-dimensional division algebras over fields. Berlin: Springer-Verlag. ISBN 3-540-57029-2.
- Reiner, I. (2003). Maximal Orders. London Mathematical Society Monographs. New Series. 28. Oxford University Press. ISBN 0-19-852673-3.
- Saltman, David J. (1999). Lectures on division algebras. Regional Conference Series in Mathematics. 94. Providence, RI: American Mathematical Society. ISBN 0-8218-0979-2.
 |  |
