# 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

## Definition

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.

## Related notions

### Cocycle groups

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

See also: 1-cocycle for a group action, 2-cocycle for a group action, 3-cocycle for a group action

### Coboundary groups

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.

### Cohomology groups

`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.

See also: