Tate cohomology group

From Groupprops

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.