Cohomology group for trivial group action
The cohomology groups for trivial group action , also denoted () are abelian groups defined in the following equivalent ways.
Definition in terms of classifying space
can be defined as the cohomology group , where is the classifying space of and the cohomology group is understood to be in the topological sense (singular cohomology or cellular cohomology, or any of the equivalent cohomology theories satisfying the axioms).
Definitions as cohomology group for an action taken as the trivial action
The cohomology groups for trivial group action are defined as the cohomology groups where is the trivial map. In other words, we treat as a -module with trivial action of on (i.e., every element of fixes every element of . We thus also treat as a trivial -module, where is a group ring of over the ring of integers .
The definitions below are basically adaptations of the general definitions of cohomology group to the case where the action is trivial.
|No.||Shorthand||Detailed description of , the cohomology group|
|1||Explicit, using the bar resolution||is defined as the quotient where is the group of cocycles for the trivial group action for the action and is the group of coboundaries for the trivial action.|
|1'||Explicit, using the normalized bar resolution||Same as definition (1), but we use normalized cocycles and normalized coboundaries instead of arbitrary cocycles and coboundaries.|
|2||Complex based on arbitrary projective resolution||Let be a projective resolution for as a -module with the trivial action. Let be the complex . The cohomology group is defined as the cohomology group for this complex.|
|3||Complex based on arbitrary injective resolution (works if category of -modules has enough injectives!)||Let be an injective resolution for as a -module with the trivial group action. Let be the complex where has the structure of a trivial action -module. The cohomology group is defined as the cohomology group for this complex.|
|4||As an functor||where and are both treated as trivial -modules.|
|5||As a right derived functor||, i.e., it is the right derived functor of the invariants functor for (denoted ) evaluated at viewed as a trivial -module. The invariants functor sends a -module to its submodule of elements fixed by all elements of .|
Equivalence of definitions
To show the equivalence of definitions between the topological and algebraic definitions, we can proceed as follows:
- Prove the equivalence of definitions of homology groups with coefficients in the integers.
- Note that the dual universal coefficients theorem holds in both cases, and can be used to get natural isomorphisms.