Cochain complex for a group action
This article gives a basic definition in the following area: group cohomology
View other basic definitions in group cohomology |View terms related to group cohomology |View facts related to group cohomology
Given a group acting as automorphisms on an Abelian group , the cochain complex for this group action is defined as follows:
- The cochain group is the group of all maps from to (by maps here is meant set-theoretic maps)
- The boundary map, or derivation, from the cochain group to the cochain group, is defined as follows:
The lack of a left-right interchange symmetry is because the group is acting from the left side. If the group were acting on the left as well as the right, we would have a acting on the right in the last term.
The fact that this is a cochain complex follows from the (not-too-hard) fact that:
The cohomology of this cochain complex is defined as the cohomology of the group action.
The cocycle group, denoted as , is defined as the kernel of the map . In other words, it is the additive group of those functions such that:
for all tuples
The coboundary group, , is defined as the image of the map .
Note that is a subgroup of , by the fact that this is a complex.
Further information: cohomology groups for a group action
The cohomology group, is defined as the quotient . It is in other words the homology of the cochain complex.
Particular cohomology groups ,specially the first ,second and third ones, are of direct significance even in finite group theory. These are discussed in separate articles.