Group cohomology of Klein four-group
This article gives specific information, namely, group cohomology, about a particular group, namely: Klein four-group.
View group cohomology of particular groups | View other specific information about Klein four-group
Classifying space and corresponding chain complex
The classifying space of the Klein four-group is the product space , where
is infinite-dimensional real projective space.
A chain complex that can be used to compute the homology of this space is given as follows:
- The
chain group is a sum of
copies of
, indexed by ordered pairs
where
. In other words, the
chain group is:
- The boundary map is (up to some sign issues that need to be fixed!) given by adding up the following maps:
- The map
is multiplication by zero if
is odd and is multiplication by two if
is even.
- The map
is multiplication by zero if
is odd and multiplication by two if
is even.
- The map
Homology groups
Over the integers
The homology groups with coefficients in the ring of integers are given as follows:
The first few homology groups are given below:
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
---|---|---|---|---|---|---|
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
rank of ![]() |
-- | 2 | 1 | 3 | 2 | 4 |
These homology groups can be obtained from the knowledge of the homology groups of cyclic group:Z2 (see group cohomology of cyclic group:Z2) using the Kunneth formula for group homology. They can also be computed explicitly using the chain complex description above.
Here is the computation using the Kunneth formula for group homology: [SHOW MORE]Over an abelian group
The homology groups with coefficients in an abelian group are given as follows:
Here, is the quotient of
by
and
.
These homology groups can be computed in terms of the homology groups over integers using the universal coefficients theorem for group homology.
Important case types for abelian groups
Case on ![]() ![]() |
Conclusion about odd-indexed homology groups, i.e., ![]() |
Conclusion about even-indexed homology groups, i.e., ![]() |
---|---|---|
![]() ![]() ![]() |
all zero groups | all zero groups |
![]() ![]() |
![]() |
![]() |
![]() ![]() |
![]() |
![]() |
![]() ![]() |
![]() |
![]() |
![]() |
isomorphic to ![]() ![]() ![]() |
isomorphic to ![]() ![]() ![]() |
![]() |
all isomorphic to ![]() ![]() ![]() ![]() ![]() |
all isomorphic to ![]() ![]() ![]() ![]() ![]() |
Cohomology groups for trivial group action
Over the integers
The cohomology groups with coefficients in the integers are given as below:
The first few cohomology groups are given below:
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
---|---|---|---|---|---|---|
![]() |
![]() |
0 | ![]() |
![]() |
![]() |
![]() |
rank of ![]() |
-- | 0 | 2 | 1 | 3 | 2 |
Over an abelian group
The cohomology groups with coefficients in an abelian group are given as follows:
Failed to parse (syntax error): H^p(\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z};M) = \left\lbrace \begin{array}{rl} (\operatorname{Ann}_M(2))^{(p+3)/2} \oplus (M/2M)^{(p-1)/2}, & p = 1,3,5,\dots \\ (\operatorname{Ann}_M(2))^{p/2} \oplus (M/2M})^{(p+2)/2}, & p = 2,4,6,\dots \\ M, & p = 0 \\\end{array}\right.
Here, is the quotient of
by
and
.
These can be deduced from the homology groups with coefficients in the integers using the dual universal coefficients theorem.
Important case types for abelian groups
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]Cohomology ring
Second cohomology groups and extensions
Schur multiplier
The Schur multiplier, defined as the second cohomology group for trivial group action and also as the second homology group
, is isomorphic to cyclic group:Z2.
See also the projective representation theory of Klein four-group.