group cohomology
Let be a group and let be a (left) -module. The cohomology group of the -module is
which is the set of elements of which are -invariant, also denoted by .
A map is said to be a crossed homomorphism (or 1-cocycle) if
for all . If we fix , the map defined by
is clearly a crossed homomorphism, said to be principal (or 1-coboundary). We define the following groups:
Finally, the cohomology group of the -module is defined to be the quotient group:
The following proposition is very useful when trying to compute cohomology groups:
Proposition 1.
Let be a group and let be -modules related by an exact sequence:
Then there is a long exact sequence in cohomology:
In general, the cohomology groups can be defined as follows:
Definition 1.
Define and for define the additive group:
The elements of are called -cochains. Also, for define the coboundary homomorphism :
Let for , the set of
-cocyles. Also, let and for let
, the set of
-coboundaries.
Finally we define the -cohomology group of with coefficients in to be
References
- 1 J.P. Serre, Galois Cohomology, Springer-Verlag, New York.
- 2 James Milne, Elliptic Curves.
- 3 Joseph H. Silverman, The Arithmetic of Elliptic Curves. Springer-Verlag, New York, 1986.
Title | group cohomology |
Canonical name | GroupCohomology |
Date of creation | 2013-03-22 13:50:07 |
Last modified on | 2013-03-22 13:50:07 |
Owner | alozano (2414) |
Last modified by | alozano (2414) |
Numerical id | 11 |
Author | alozano (2414) |
Entry type | Definition |
Classification | msc 20J06 |
Synonym | cohomology |
Related topic | SelmerGroup |
Related topic | CohomologyGroupTheorem |
Related topic | ProofOfCohomologyGroupTheorem |
Related topic | OmegaSpectrum |
Related topic | NaturalEquivalenceOfC_GAndC_MCategories |
Defines | group cohomology |
Defines | coboundary |
Defines | cocycle |
Defines | crossed homomorphism |