# Difference between revisions of "Group cohomology of elementary abelian group of prime-square order"

(→Over an abelian group) |
(→Over the integers) |
||

(14 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

+ | {{group family-specific information| | ||

+ | group family = elementary abelian group of prime-square order| | ||

+ | information type = group cohomology| | ||

+ | connective = of}} | ||

+ | |||

Suppose <math>p</math> is a [[prime number]]. We are interested in the [[elementary abelian group of prime-square order]] <math>E_{p^2} = (\mathbb{Z}/p\mathbb{Z})^2 = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}</math>. | Suppose <math>p</math> is a [[prime number]]. We are interested in the [[elementary abelian group of prime-square order]] <math>E_{p^2} = (\mathbb{Z}/p\mathbb{Z})^2 = \mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z}</math>. | ||

Line 13: | Line 18: | ||

|} | |} | ||

− | ==Homology groups== | + | ==Homology groups for trivial group action== |

+ | |||

+ | {{homology groups for trivial group action facts to check against}} | ||

===Over the integers=== | ===Over the integers=== | ||

− | <math>H_q(\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z};\mathbb{Z}) = \left\lbrace \begin{array}{rl} (\mathbb{Z}/p\mathbb{Z})^{(q + 3)/2} & \qquad q = 1,3,5,\dots \\ (\mathbb{Z}/p\mathbb{Z})^{q/2}, & q = 2,4,6,\dots \\ \mathbb{Z}, & \qquad q = 0 \\\end{array}\right.</math> | + | The homology groups below can be computed using the homology groups for the [[group of prime order]] (see [[group cohomology of finite cyclic groups]]) and combining it with the [[Kunneth formula for group homology]]. |

+ | |||

+ | <math>H_q(\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z};\mathbb{Z}) = \left\lbrace \begin{array}{rl} (\mathbb{Z}/p\mathbb{Z})^{(q + 3)/2} & \qquad q = 1,3,5,\dots \\ (\mathbb{Z}/p\mathbb{Z})^{q/2}, & \qquad q = 2,4,6,\dots \\ \mathbb{Z}, & \qquad q = 0 \\\end{array}\right.</math> | ||

+ | |||

+ | The even and odd cases can be combined giving the following alternative description: | ||

+ | |||

+ | <math>H_q(\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z};\mathbb{Z}) = \left\lbrace \begin{array}{rl} (\mathbb{Z}/p\mathbb{Z})^{q/2 + 3(1 - (-1)^q)/4}, & \qquad q > 0 \\ \mathbb{Z}, & \qquad q = 0 \\\end{array}\right.</math> | ||

The first few homology groups are given below: | The first few homology groups are given below: | ||

Line 56: | Line 69: | ||

| <math>M</math> is a finitely generated abelian group || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + s(q + 3)/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of the torsion part of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + sq/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> | | <math>M</math> is a finitely generated abelian group || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + s(q + 3)/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of the torsion part of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + sq/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> | ||

|} | |} | ||

+ | |||

==Cohomology groups for trivial group action== | ==Cohomology groups for trivial group action== | ||

+ | |||

+ | {{cohomology groups for trivial group action facts to check against}} | ||

===Over the integers=== | ===Over the integers=== | ||

Line 63: | Line 79: | ||

<math>H^q(\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z};\mathbb{Z}) = \left\lbrace \begin{array}{rl} (\mathbb{Z}/p\mathbb{Z})^{(q-1)/2}, & q = 1,3,5,\dots \\ (\mathbb{Z}/p\mathbb{Z})^{(q+2)/2}, & q = 2,4,6,\dots \\ \mathbb{Z}, & q = 0 \\\end{array}\right.</math> | <math>H^q(\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z};\mathbb{Z}) = \left\lbrace \begin{array}{rl} (\mathbb{Z}/p\mathbb{Z})^{(q-1)/2}, & q = 1,3,5,\dots \\ (\mathbb{Z}/p\mathbb{Z})^{(q+2)/2}, & q = 2,4,6,\dots \\ \mathbb{Z}, & q = 0 \\\end{array}\right.</math> | ||

+ | |||

+ | The odd and even cases can be combined as follows: | ||

+ | |||

+ | <math>H^q(\mathbb{Z}/p\mathbb{Z} \oplus \mathbb{Z}/p\mathbb{Z};\mathbb{Z}) = \left\lbrace \begin{array}{rl} (\mathbb{Z}/p\mathbb{Z})^{q/2 + 1/4 + 3(-1)^q/4}, & q > 0\\ \mathbb{Z}, & q = 0 \\\end{array}\right.</math> | ||

The first few cohomology groups are given below: | The first few cohomology groups are given below: | ||

Line 91: | Line 111: | ||

| <math>M</math> is uniquely <math>p</math>-divisible, i.e., every element of <math>M</math> can be divided by <matH>p</math> uniquely. This includes the case that <math>M</math> is a field of characteristic not 2. || all zero groups || all zero groups | | <math>M</math> is uniquely <math>p</math>-divisible, i.e., every element of <math>M</math> can be divided by <matH>p</math> uniquely. This includes the case that <math>M</math> is a field of characteristic not 2. || all zero groups || all zero groups | ||

|- | |- | ||

− | | <math>M</math> is <math>p</math>-torsion-free, i.e., no nonzero element of <math>M</math> multiplies by <math>p</math> to give zero. || <math>(M/pM)^{(q- | + | | <math>M</math> is <math>p</math>-torsion-free, i.e., no nonzero element of <math>M</math> multiplies by <math>p</math> to give zero. || <math>(M/pM)^{(q-1)/2}</math> || <math>(M/pM)^{(q+2)/2}</math> |

|- | |- | ||

| <math>M</math> is <math>p</math>-divisible, but not necessarily uniquely so, e.g., <math>M = \mathbb{Q}/\mathbb{Z}</math> || <math>(\operatorname{Ann}_M(p))^{(q+3)/2}</math> || <math>(\operatorname{Ann}_M(p))^{q/2}</math> | | <math>M</math> is <math>p</math>-divisible, but not necessarily uniquely so, e.g., <math>M = \mathbb{Q}/\mathbb{Z}</math> || <math>(\operatorname{Ann}_M(p))^{(q+3)/2}</math> || <math>(\operatorname{Ann}_M(p))^{q/2}</math> | ||

Line 101: | Line 121: | ||

| <math>M</math> is a finitely generated abelian group || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + s(q - 1)/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of the torsion part of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + s(q + 3)/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> | | <math>M</math> is a finitely generated abelian group || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + s(q - 1)/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of the torsion part of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> || all isomorphic to <math>(\mathbb{Z}/p\mathbb{Z})^{r(q + 1) + s(q + 3)/2}</math> where <math>r</math> is the rank for the <math>p</math>-Sylow subgroup of <math>M</math> and <math>s</math> is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of <math>M</math> | ||

|} | |} | ||

+ | |||

+ | ==Tate cohomology groups for trivial group action== | ||

+ | |||

+ | {{fillin}} | ||

+ | |||

+ | ==Growth of ranks of cohomology groups== | ||

+ | |||

+ | ===Over the integers=== | ||

+ | |||

+ | With the exception of the zeroth homology group and cohomology group, the homology groups and cohomology groups over the integers are all elementary abelian <math>p</math>-groups. | ||

+ | |||

+ | For the homology groups, the rank (i.e., dimension as a vector space over the field of <math>p</math> elements) is a function of <math>q</math> that is a sum of a linear function (of slope 1/2) and a periodic function (of period 2). The same is true for the cohomology groups, although the precise description of the periodic function differs. | ||

+ | |||

+ | * For homology groups, choosing the periodic function so as to have mean zero, we get that the linear function is <math>q \mapsto q/2 + 3/4</math> and the periodic function is <math>3(-1)^{q+1}/4</math>. | ||

+ | * For cohomology groups, choosing the periodic function so as to have mean zero, we get that the linear function is <math>q \mapsto q/2 + 1/4</math> and the periodic function is <math>3(-1)^q/4</math>. | ||

+ | |||

+ | Note that: | ||

+ | |||

+ | * The intercept for the cohomology groups is 1/4, as opposed to the intercept of 3/4 for the homology groups. This is explained by the somewhat slower start of cohomology groups on account of <math>H^1</math> being torsion-free. | ||

+ | * The periodic parts for homology groups and cohomology groups are negatives of each other, indicating an opposing pattern that is explained by looking at the [[dual universal coefficients theorem for group cohomology]]. | ||

+ | |||

+ | ===Over the prime field=== | ||

+ | |||

+ | If we take coefficients in the prime field <math>\mathbb{F}_p</math>, then the ranks of the homology and cohomology groups both grow as linear functions of <math>q</math>. The linear function in ''both'' cases is <math>q \mapsto q + 1</math>. Note that in this case, the homology groups and cohomology groups are vector spaces over <math>\mathbb{F}_p</math> and the cohomology group is the vector space dual of the homology group. | ||

+ | |||

+ | Note that there is no periodic part when we are working over the prime field. |

## Latest revision as of 21:34, 24 October 2011

This article gives specific information, namely, group cohomology, about a family of groups, namely: elementary abelian group of prime-square order.

View group cohomology of group families | View other specific information about elementary abelian group of prime-square order

Suppose is a prime number. We are interested in the elementary abelian group of prime-square order .

## Particular cases

## Homology groups for trivial group action

FACTS TO CHECK AGAINST(homology group for trivial group action):

First homology group: first homology group for trivial group action equals tensor product with abelianization

Second homology group: formula for second homology group for trivial group action in terms of Schur multiplier and abelianization|Hopf's formula for Schur multiplier

General: universal coefficients theorem for group homology|homology group for trivial group action commutes with direct product in second coordinate|Kunneth formula for group homology

### Over the integers

The homology groups below can be computed using the homology groups for the group of prime order (see group cohomology of finite cyclic groups) and combining it with the Kunneth formula for group homology.

The even and odd cases can be combined giving the following alternative description:

The first few homology groups are given below:

rank of as an elementary abelian -group | -- | 2 | 1 | 3 | 2 | 4 |

### 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., |
---|---|---|

is uniquely -divisible, i.e., every element of can be divided uniquely by . This includes the case that is a field of characteristic not . | all zero groups | all zero groups |

is -torsion-free, i.e., no nonzero element of multiplies by to give zero. | ||

is -divisible, but not necessarily uniquely so, e.g., | ||

, any natural number | ||

is a finite abelian group | isomorphic to where is the rank (i.e., minimum number of generators) for the -Sylow subgroup of | isomorphic to where is the rank (i.e., minimum number of generators) for the -Sylow subgroup of |

is a finitely generated abelian group | all isomorphic to where is the rank for the -Sylow subgroup of the torsion part of and is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of | all isomorphic to where is the rank for the -Sylow subgroup of and is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of |

## Cohomology groups for trivial group action

FACTS TO CHECK AGAINST(cohomology group for trivial group action):

First cohomology group: first cohomology group for trivial group action is naturally isomorphic to group of homomorphisms

Second cohomology group: formula for second cohomology group for trivial group action in terms of Schur multiplier and abelianization

In general: dual universal coefficients theorem for group cohomology relating cohomology with arbitrary coefficientsto homology with coefficients in the integers. |Cohomology group for trivial group action commutes with direct product in second coordinate | Kunneth formula for group cohomology

### Over the integers

The cohomology groups with coefficients in the integers are given as below:

The odd and even cases can be combined as follows:

The first few cohomology groups are given below:

0 | ||||||

rank of as an elementary abelian -group | -- | 0 | 2 | 1 | 3 | 2 |

### Over an abelian group

The cohomology groups with coefficients in an abelian group are given as follows:

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 for group cohomology.

### Important case types for abelian groups

Case on | Conclusion about odd-indexed cohomology groups, i.e., | Conclusion about even-indexed homology groups, i.e., |
---|---|---|

is uniquely -divisible, i.e., every element of can be divided by uniquely. This includes the case that is a field of characteristic not 2. | all zero groups | all zero groups |

is -torsion-free, i.e., no nonzero element of multiplies by to give zero. | ||

is -divisible, but not necessarily uniquely so, e.g., | ||

, any natural number | ||

is a finite abelian group | isomorphic to where is the rank (i.e., minimum number of generators) for the -Sylow subgroup of | isomorphic to where is the rank (i.e., minimum number of generators) for the -Sylow subgroup of |

is a finitely generated abelian group | all isomorphic to where is the rank for the -Sylow subgroup of the torsion part of and is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of | all isomorphic to where is the rank for the -Sylow subgroup of and is the free rank (i.e., the rank as a free abelian group of the torsion-free part) of |

## Tate cohomology groups for trivial group action

**PLACEHOLDER FOR INFORMATION TO BE FILLED IN**: [SHOW MORE]

## Growth of ranks of cohomology groups

### Over the integers

With the exception of the zeroth homology group and cohomology group, the homology groups and cohomology groups over the integers are all elementary abelian -groups.

For the homology groups, the rank (i.e., dimension as a vector space over the field of elements) is a function of that is a sum of a linear function (of slope 1/2) and a periodic function (of period 2). The same is true for the cohomology groups, although the precise description of the periodic function differs.

- For homology groups, choosing the periodic function so as to have mean zero, we get that the linear function is and the periodic function is .
- For cohomology groups, choosing the periodic function so as to have mean zero, we get that the linear function is and the periodic function is .

Note that:

- The intercept for the cohomology groups is 1/4, as opposed to the intercept of 3/4 for the homology groups. This is explained by the somewhat slower start of cohomology groups on account of being torsion-free.
- The periodic parts for homology groups and cohomology groups are negatives of each other, indicating an opposing pattern that is explained by looking at the dual universal coefficients theorem for group cohomology.

### Over the prime field

If we take coefficients in the prime field , then the ranks of the homology and cohomology groups both grow as linear functions of . The linear function in *both* cases is . Note that in this case, the homology groups and cohomology groups are vector spaces over and the cohomology group is the vector space dual of the homology group.

Note that there is no periodic part when we are working over the prime field.