Definition
Suppose
is a finite group, and
is an abelian group, and
is a homomorphism of groups, making
into a
-module (i.e.,
acts on
).
The Tate cohomology groups
are a collection of groups for
varying over all integers (both positive and negative) that combine information about the cohomology groups and homology groups.
They are defined as follows:
Value of  |
Definition of
|
 |
Same as the cohomology group
|
 |
Same as the homology group where .
|
 |
Cokernel of the map that is obtained by passing to homology/cohomology classes the following map at the level of cycles and cocycles: an element (a 0-cycle) is sent to (a 0-cocycle).
|
 |
Kernel of the map defined for the case.
|