Group cohomology

from Wikipedia, the free encyclopedia

Group cohomology is a technical mathematical tool that originally served to study groups , but later also found applications in topology and number theory in particular . The group cohomology of Galois groups is also known as Galois cohomology and plays an important role in number theory. In the topology, group cohomology plays an important role as the cohomology of Eilenberg-MacLane spaces .

Definition as a derived functor


It is a group . The functor from the category of the modules into the category of the Abelian groups , which assigns the subgroup of the invariant elements to a module , is exact left . Its n th right derivative is the n th cohomology group of with coefficients in a module .

Relationship to Ext

The group cohomology can also be defined using the Ext functor :

It is the group ring of and with the trivial provided operation.

Definition of coquette

From the description with the aid of the Ext functor it can be seen that the group cohomology can be calculated with the aid of a projective resolution of the trivial module once selected . It can be specified as explicit:

is there

d. H. Index is omitted.

The group cohomology is then the cohomology of the complex with


The elements of this complex are called homogeneous coquettes .

Inhomogeneous coquettes

The condition of the -invariance of the coquettes allows the number of copies to be reduced by one: the group homology can also be defined via the complex of inhomogeneous coquettes :


For example is

The inhomogeneous 1-coccycles

are called entangled homomorphisms .

Definition of classifying spaces

The group cohomology can be defined equivalently as the cohomology of the Eilenberg-MacLane space , i.e. the classifying space of the group provided with the discrete topology :


This definition is often more useful than other definitions for practical calculations.

See also

Web links


  • David J. Benson: Representations and cohomology (=  Cambridge studies in advanced mathematics . Volume 31 ). 2nd Edition. II: Cohomology of groups and modules . Cambridge University Press, Cambridge 1998, ISBN 0-521-63652-3 .
  • Kenneth S. Brown: Cohomology of groups (= Graduate Texts in Mathematics 87). Corrected 2nd printing. Springer, New York a. a. 1994, ISBN 0-387-90688-6 .
  • George Janelidze, Bodo Pareigis, Walter Tholen (Eds.): Galois Theory, Hopf Algebras, and Semiabelian Categories (= Fields Institute Communications 43). American Mathematical Society, Providence RI 2004, ISBN 0-8218-3290-5 .
  • Jürgen Neukirch : class field theory . BI university scripts, 713 / 713a *. Bibliographisches Institut, Mannheim / Vienna / Zurich 1969, ISBN 978-3-642-17324-0 , x + 308 pp.