Online Encyclopedia Search Tool

Your Online Encyclopedia

 

Online Encylopedia and Dictionary Research Site

Online Encyclopedia Free Search Online Encyclopedia Search    Online Encyclopedia Browse    welcome to our free dictionary for your research of every kind

Online Encyclopedia



Group cohomology


In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well as in applications to group theory proper, group cohomology is a way to study groups using a sequence of functors H n.

Contents

Motivation

A general paradigm in group theory is that a group G should be studied via its group representations. A slight generalization of those representations are the G-modules: a G-module is an abelian group M together with a group action of G on M, with every element of G acting as an automorphisms 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 = { x in M : gx = x for all g in G }

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 H1(G,N) precisely measures the difference. The group cohomology functors Hn in general measure the extent to which taking invariants doesn't respect exact sequences. 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 MG yields a functor from this category to the category Ab of abelian groups. This functor is left exact. We may therefore form its derived functors; 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". H0(G,M) is identified with MG.

In practice, one often computes the cohomology groups using the following fact: if

0\to L \to M \to N \to 0

is a short exact sequence of G-modules, then a long exact sequence

0\to L^G\to M^G\to N^G\to H^1(G,L) \to H^1(G,M) \to H^1(G,N)\to H^2(G,L)\to \cdots

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 Cn(G,M) be the set of all functions from Gn to M:

Cn(G,M) = { φ : GnM }

This is an abelian group; its elements are called the n-cochains. We further define group homomorphisms

d n : Cn(G,M) → Cn+1(G,M)

by

d^n(\phi)(g_1,...,g_{n+1}) = g_1\cdot \phi(g_2,...,g_{n+1})
+ \sum_{i=1}^n (-1)^i \phi(g_1,...,g_{i-1},g_ig_{i+1},g_{i+2}, ...,g_{n+1})
+ (-1)^{n+1} \phi(g_1,...,g_n)\;

These are known as the coboundary homomorphisms. The crucial thing to check here is

d n+1 o d n = 0

thus we have a chain complex and we can compute cohomology: define the group of n-cocycles as

Zn(G,M) = ker(dn)    for n≥ 0

and the group of n-coboundaries as

B0(G,M) = {0}  and   Bn(G,M)= image(d n-1)    for n≥ 1

and

H n(G,M) = Zn(G,M) / Bn(G,M).

Yet another approach is to treat G-modules as modules over the group ring ZG and use Ext functors:

Hn(G,M) = ExtnZG(Z,M).

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 groups 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 : GH 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).

mention identification of H2(G,M) with the set of extensions of G by M.

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 H1), and the factor sets of the extension problem for groups (Schur's multiplicator) and in simple algebras (Brauer), both of these latter being connected with H2. 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 to class field theory provided theorems for general Galois extensions (not just abelian extensions).

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 algebras is formally similar, starting with the corresponding definition of invariant. It is much applied in representation theory.

External links

  • Turkelli, Szilágyi, Lukács: Cohomology of Groups http://www.math.uu.nl/people/crainic/chapter2.pdf , PDF file.
Last updated: 02-06-2005 01:06:08
Last updated: 03-18-2005 11:16:12