| Group Cohomology |
Article Index for Group |
Website Links For Group |
Information AboutGroup Cohomology |
| CATEGORIES ABOUT GROUP COHOMOLOGY | |
| group theory | |
| algebraic number theory | |
| homological algebra | |
|
MOTIVATION A general paradigm in group theory is that a group ''G'' should be studied via its ''M'' together with a Group Action of ''G'' on ''M'', with every element of ''G'' acting as an endomorphism of ''M''. In the sequel we will write ''G'' multiplicatively and ''M'' additively. Given such a ''G''-module ''M'', it is natural to consider the subgroup of ''G''-invariant elements: MG Now, if ''N'' is a submodule of ''M'' (i.e. a subgroup of ''M'' mapped to itself by the action of ''G''), it isn't in general true that the invariants in ''M''/''N'' are found as the quotient of the invariants in ''M'' by the invariants in ''N'': being invariant 'up to something in N' is broader. The first group cohomology ''H''1(''G'',''N'') precisely measures the difference. The group cohomology functors ''H''''n'' in general measure the extent to which taking invariants doesn't respect Exact Sequence s. This is expressed by a Long Exact Sequence . FORMAL CONSTRUCTIONS The collection of all ''G''-modules is a Category (the morphisms are group homomorphisms ''f'' with the property ''f''(''gx'') = ''g''(''f''(''x'')) for all ''g'' in ''G'' and ''x'' in ''M''). This category of ''G''-modules is an abelian category with enough injectives (since it is isomorphic to the category of all Modules over the Group Ring ZG). Sending each module ''M'' to the group of invariants ''M''''G'' yields a Functor from this category to the category Ab of abelian groups. This functor is Left Exact . We may therefore form its Derived Functor s; their values are abelian groups and they are denoted by ''H'' ''n''(''G'',''M''), "the ''n''-th cohomology group of ''G'' with coefficients in ''M''". ''H''0(''G'',''M'') is identified with ''M''''G''. In practice, one often computes the cohomology groups using the following fact: if : is a Short Exact Sequence of ''G''-modules, then a long exact sequence : is induced. Rather than using the machinery of derived functors, we can also define the cohomology groups more concretely, as follows. For ''n''≥0, we let ''C''''n''(''G'',''M'') be the set of all Function s from ''G''''n'' to ''M'': C This is an abelian group; its elements are called the ''n-cochains''. We further define group homomorphisms d n by : :: :: These are known as the ''coboundary homomorphisms''. The crucial thing to check here is d thus we have a Chain Complex and we can compute cohomology: define the group of ''n-cocycles'' as Zn and the group of ''n-coboundaries'' as B and H n Yet another approach is to treat ''G''-modules as modules over the Group Ring ZG and use Ext Functor s: Hn Here Z is treated as the trivial ''G''-module: every element of ''G'' acts as the identity. These Ext groups can also be computed via a projective resolution of Z, the advantage being that such a resolution only depends on ''G'' and not on ''M''. Finally, group cohomology can be related to topological cohomology theories: to the group ''G'' we construct the Eilenberg-MacLane Space K(''G'', 1) (whose Fundamental Group is ''G'' and whose higher Homotopy Group s vanish); the ''n''-th cohomology of this space with coefficients in ''M'' (in the topological sense) is the same as the group cohomology of ''G'' with coefficients in ''M''. PROPERTIES Group cohomology depends contravariantly on the group ''G'', in the following sense: if ''f'' : ''G'' → ''H'' is a Group Homomorphism and ''M'' is an ''H''-module, then we have a naturally induced morphism ''Hn''(''H'',''M'') → ''Hn''(''G'',''M'') (where in the latter case, ''M'' is treated as a ''G''-module via ''f''). If M is a trivial G-module (i.e. the action of G on M is trivial), the second cohomology group is in one-to-one correspondence with the set of Central Extensions of G by M (up to a natural equivalence relation). HISTORY AND RELATION TO OTHER FIELDS Early recognition of group cohomology came in the '' Noether 's equations'' of Galois Theory (an appearance of cocycles for ''H''1), and the ''factor sets'' of the Extension Problem for groups ( Issai Schur 's Multiplicator ) and in Simple Algebra s ( Richard Brauer , the Brauer Group ), both of these latter being connected with ''H''2. The first theorem of the subject can be identified as Hilbert's Theorem 90 . Some general theory was supplied by Mac Lane and Lyndon; from a module-theoretic point of view this was integrated into the Cartan - Eilenberg theory, and topologically into an aspect of the construction of the Classifying Space ''BG'' for ''G''- Bundles . The application in Algebraic Number Theory to Class Field Theory provided theorems valid for general Galois Extension s (not just Abelian Extension s). The cohomological part of class field theory was axiomatized as the theory of Class Formation s. Galois Cohomology is a large field, and now basic in the theories of Algebraic Group s and étale Cohomology (which builds on it). Some refinements in the theory post-1960 have been made (continuous cocycles, Tate's redefinition) but the basic outlines remain the same. The analogous theory for Lie Algebra s, called Lie Algebra Cohomology and largely developed after early papers in the late 1940s, by Jean-Louis Koszul , is formally similar, starting with the corresponding definition of ''invariant''. It is much applied in Representation Theory , and is closely connected with the BRST Quantization of Theoretical Physics . EXTERNAL LINKS
|
|
|