Second cohomology group for trivial group action of elementary abelian group of prime-square order on group of prime order
Contents
Description of the group
Suppose is a prime number.
We consider here the second cohomology group for trivial group action
where is the elementary abelian group of prime-square order and is the group of prime order .
The group is isomorphic to elementary abelian group of prime-cube order . Equivalently, it is a three-dimensional vector space over the field of elements.
The behavior is somewhat different for and odd primes. For the anomalous case , see second cohomology group for trivial group action of V4 on Z2.
Computation in terms of group cohomology
The cohomology group can be computed as an abstract group using the group cohomology of elementary abelian group of prime-square order, which in turn can be computed using the Kunneth formula for group cohomology combined with the group cohomology of finite cyclic groups.
We explain here the part of the computation based on the group cohomology of elementary abelian group of prime-square order. As per that page, we have:
Here, is the quotient of by and .
In our case, , so we get that both and are both isomorphic to . Plugging in, we get:
which is the elementary abelian group of order .
Elements
Summary
FACTS TO CHECK AGAINST (second cohomology group for trivial group action):
Background reading on relationship with extension groups: Group extension problem
Arithmetic functions of extension group:
order (thus all extension groups have the same order): order of extension group is product of order of normal subgroup and quotient group
nilpotency class: nilpotency class of extension group is between nilpotency class of quotient group and one more for central extension
derived length: derived length of extension group is bounded by sum of derived length of normal subgroup and quotient group
minimum size of generating set: minimum size of generating set of extension group is bounded by sum of minimum size of generating set of normal subgroup and quotient group|minimum size of generating set of quotient group is at most minimum size of generating set of group
WHAT'S THE TABLE BELOW?: Recall that there is a correspondence:
Elements of the group for the trivial group action congruence classes of central extensions with the specified subgroup and quotient group .
This descends to a correspondence:
Orbits for the group action of on pseudo-congruence classes of central extensions.
The table below breaks down the second cohomology group as a union of these orbits, with (as a general rule) each row describing one orbit, i.e., one "cohomology class type", aka one "pseudo-congruence class" of central extensions. The number of rows is the number of pseudo-congruence classes of central extensions.
As mentioned earlier, the information here does not apply to the case . For the case , see second cohomology group for trivial group action of V4 on Z2.
Cohomology class type | Number of cohomology classes | Corresponding group extension | GAP ID (second part, order is ) | Stem extension? | Base characteristic in whole group? | Nilpotency class of whole group (at least 1, at most 2) | Derived length of whole group (at least 1, at most 2) | Minimum size of generating set of whole group (at least 2, at most 3) | Subgroup information on base in whole group |
---|---|---|---|---|---|---|---|---|---|
trivial | 1 | elementary abelian group of prime-cube order | 5 | No | No | 1 | 1 | 3 | |
symmetric and nontrivial | direct product of cyclic group of prime-square order and cyclic group of prime order | 2 | No | Yes | 1 | 1 | 2 | ||
non-symmetric | unitriangular matrix group:UT(3,p) | 3 | Yes | Yes | 2 | 2 | 2 | center of prime-cube order group:U(3,p) | |
non-symmetric | semidirect product of cyclic group of prime-square order and cyclic group of prime order | 4 | Yes | Yes | 2 | 2 | 2 | center of semidirect product of cyclic group of prime-square order and cyclic group of prime order | |
Total | (equals order of the cohomology group) | -- | -- | -- | -- | -- | -- | -- | -- |
Explicit description and relation with power-commutator presentation
Further information: power-commutator presentation, presentations for groups of prime-cube order#Power-commutator presentations
Consider an extension group with central subgroup isomorphic to (group of prime order) and quotient group isomorphic to elementary abelian group of prime-square order. Denote by a basis for (i.e., two non-identity elements of that do not generate the same cyclic subgroup) and by elements of that map to respectively. Denote by a non-identity element of the central subgroup.
Then, is generated by the elements . Further, we can get a power-commutator presentation for using these generators. Specifically, we know that . We also know that the elements are each equal to some power of .
In order to specify the cohomology class of the extension, it is necessary and sufficient to specify, for each of , what power of it equals. In terms of the notation for the power-commutator presentation, this is equivalent to saying that and each of can be represented as one of the numbers . This can be elements of , a concrete realization of the group of prime order. Here:
- is the power of that equals. It is 0 if (i.e., is the identity element) and nonzero otherwise.
- is the power of that equals. It is 0 if (i.e., is the identity element) and nonzero otherwise.
- is the power of that equals. It is 0 if (i.e., is the identity element) and nonzero otherwise.
The total number of possibilities is . Further, the mapping from that sends a cohomology class to the tuple is an isomorphism of additive groups. This means that to add two cohomology classes, we can add the corresponding tuples.
We provide below the full list of elements. Note that in all cases:
Group actions
Action of automorphism group of acting group
By pre-composition, the automorphism group of the elementary abelian group of prime-square order (which is isomorphic to the general linear group of degree two over the field of elements) acts on the second cohomology group. Under this action, there are a total of orbits: each of the non-abelian extension types occurs in orbits andthe abelian extension types occur in 1 orbit each. The details are given below:
Cohomology class type | Number of cohomology classes | Corresponding group extension | GAP ID (second part, order is ) | Number of orbits under action of automorphism group of acting group | Size of each orbit (must divide the order of the group, which is ) |
---|---|---|---|---|---|
trivial | 1 | elementary abelian group of prime-cube order | 5 | 1 | 1 |
symmetric and nontrivial | direct product of cyclic group of prime-square order and cyclic group of prime order | 2 | 1 | ||
non-symmetric | prime-cube order group:U(3,p) | 3 | 1 | ||
non-symmetric | semidirect product of cyclic group of prime-square order and cyclic group of prime order | 4 | |||
Total | (equals size of cohomology group) | -- | -- | -- |
Action of automorphism group of base group
By post-composition, the automorphism group of the group of prime order acts on the second cohomology group. Under this action, there are many orbits:
Cohomology class type | Number of cohomology classes | Corresponding group extension | GAP ID (second part, order is ) | Number of orbits under action of automorphism group of base group | Size of each orbit (must divide the order of the group, which is ) |
---|---|---|---|---|---|
trivial | 1 | elementary abelian group of prime-cube order | 5 | 1 | 1 |
symmetric and nontrivial | direct product of cyclic group of prime-square order and cyclic group of prime order | 2 | |||
non-symmetric | prime-cube order group:U(3,p) | 3 | 1 | ||
non-symmetric | semidirect product of cyclic group of prime-square order and cyclic group of prime order | 4 | |||
Total | (size of cohomology group) | -- | -- | (one more than size of projective two-dimensional space) | -- |
Action of direct product of automorphism groups
If, however, we consider the action of the direct product of these groups, with one acting by pre-composition and the other by post-composition (since the actions are at opposite ends, they commute by associativity, so this is an action of the direct product), then the orbits are precisely the four cohomology class types described here, i.e., each cohomology class type gives one orbit.
Description of group action in terms of explicit descriptions of elements
The discussion here relies on the explicit description of cohomology classes in terms of the invariants .
The automorphism group of the acting group, as noted above, is the general linear group . It turns out that its action on is given precisely by the action as matrices, and it also induces an action on the by a group automorphism of .
The automorphism group of the base group, which is concretely , acts on all coordinates via multiplication by the corresponding element mod . Thus, this is a scalar multiplication action. The orbits of non-identity elements are thus the lines in , or equivalently, the set of orbits can be described as two-dimensional projective space over . There is also the orbit of the identity or zero element, so the total number of orbits is .
Direct sum decomposition
For background information, see formula for second cohomology group for trivial group action in terms of second homology group and abelianization#Case of abelian group
General background
We know from the general theory that there is a natural short exact sequence:
where the image of is , i.e., the group of cohomology classes represented by symmetric 2-cocycles and corresponding to the abelian group extensions. We also know, again from the general theory, that the short exact sequence above splits, i.e., has a complement inside . However, there need not in general be a natural or even an automorphism-invariant choice of splitting.
Case of odd prime
Further information: Interpretation of Baer correspondence as natural splitting of short exact sequence from universal coefficients theorem
In this case, we can split the short exact sequence by considering the following one-sided inverse to the skew map: the map:
that sends an alternating bihomomorphism to the cohomology class represented by the 2-cocycle that equals the "half" of the bihomomorphism. Thus, we have a natural direct sum decomposition:
where is the subgroup of comprising those cohomology classes that have as a representative an alternating bihomomorphism from to . In this case, is an elementary abelian group of prime-square order and is a group of prime order.
The map on that sends a cohomology class to the skew of any representative 2-cocycle, has as its kernel and its effect on is to output the alternating bihomomorphism that is twice of the alternating bihomomorphism representing the cohomology class.
This can also be interpreted in terms of the Baer correspondence. See the #Baer Lie rings section.
Case of the prime two
In this case, we do not get a direct sum decomposition of the above sort, because there is no notion of division by two or halving that would allow us to get an alternating bihomomorphism by halving the commutator map (which equals the skew of the 2-cocycle). For more, see second cohomology group for trivial group action of V4 on Z2#Direct sum decomposition.
Baer Lie rings
Odd prime case
The examples here illustrate the Baer correspondence
Recall from the discussion in the #Direct sum decomposition section that we have an internal direct sum decomposition:
where is the subgroup of the second cohomology group comprising those classes that can be represented by alternating bihomomorphisms.
This can be used to obtain the Baer correspondence (the class two version of the Lazard correspondence) as follows: an element of corresponds to an extension group that is a group of nilpotency class two (which includes the abelian and non-abelian cases). It has a unique direct sum decomposition as the sum of a symmetric 2-cocycle (whose cohomology class is an element of ) and an alternating bihomomorphism (whose cohomology class is an element of ). The alternating bihomomorphism is given by halving the commutator map (which in turn is the skew of the 2-cocycle).
The Baer Lie ring for the group is defined as follows: the additive group is the extension corresponding to the symmetric 2-cocycle, and the Lie bracket is given by the alternating bihomomorphism.
Explicitly, for in the extension group, we define the alternating bihomomorphism as and the addition as .
We first make a picture of the cohomology group, where the top row is , the left most column is , and the remaining rows and columns are cosets of and respectively. The number of rows and columns depends on , so when a row or column is repeated a certain number of times, we indicate the repetition in parentheses:
elementary abelian group of prime-cube order | direct product of cyclic group of prime-square order and cyclic group of prime order (there are in fact such entries, each making its own column) |
unitriangular matrix group:UT(3,p) (there are such rows) | semidirect product of cyclic group of prime-square order and cyclic group of prime order (this occurs in columns and rows). |
The correspondence is between each group and the abelian group in its column (i.e., the top row group of its column). We thus have two nontrivial correspondences:
Group | GAP ID | Additive group of Lie ring | GAP ID | Information on Baer correspondence |
---|---|---|---|---|
unitriangular matrix group:UT(3,p) | elementary abelian group of prime-cube order | Baer correspondence between U(3,p) and u(3,p) | ||
semidirect product of cyclic group of prime-square order and cyclic group of prime order | direct product of cyclic group of prime-square order and cyclic group of prime order | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] |
Cocycles and coboundaries
Size information
We first give some quantitative size information if we use non-normalized cocycles and coboundaries:
Group | Dimension as vector space over prime field | Order of group (equals to the power of dimension) | Isomorphism class of group | Explanation |
---|---|---|---|---|
group of 1-cocycles for trivial group action | 2 | elementary abelian group of prime-square order | Same as . see first cohomology group for trivial group action is naturally isomorphic to group of homomorphisms | |
group of all 1-cochains for trivial group action | 4 | elementary abelian group of prime-fourth order | all set maps from to with pointwise addition, so the dimension is the cardinality of . | |
group of all 2-coboundaries for trivial group action | 2 | elementary abelian group of prime-square order | By the first isomorphism theorem and the definition of this group, it is isomorphic to the group (1-cochains)/(1-cocycles), so the dimensions as vector spaces subtract and the orders divide. | |
group of all 2-cocycles for trivial group action | 5 | elementary abelian group of prime-fifth order | ? | |
second cohomology group for trivial group action | 3 | elementary abelian group of prime-cube order | This is , so dimensions subtract and orders divide. |
In particular, what this means is that for every cohomology class, there are different choices of 2-cocycles that represent that cohomology class.
We give the corresponding information if we use normalized cocycles and coboundaries:
Group | Dimension as vector space over field:F2 | Order of group (equals 2 to the power of dimension) | Isomorphism class of group | Explanation |
---|---|---|---|---|
group of normalized 1-cocycles for trivial group action | 2 | elementary abelian group of prime-square order | Same as . see first cohomology group for trivial group action is naturally isomorphic to group of homomorphisms | |
group of normalized 1-cochains for trivial group action | 3 | elementary abelian group of prime-cube order | all set maps from to with pointwise addition, that send the identity to the identity. There are thus 3 elements that can be mapped arbitrarily. | |
group of all normalized 2-coboundaries for trivial group action | 1 | group of prime order | By the first isomorphism theorem and the definition of this group, it is isomorphic to the group (1-cochains)/(1-cocycles), so the dimensions as vector spaces subtract and the orders divide. | |
group of all normalized 2-cocycles for trivial group action | 4 | elementary abelian group of prime-fourth order | ? | |
second cohomology group for trivial group action | 3 | elementary abelian group:E8 | This is , so dimensions subtract and orders divide. |
In particular, what this means is that for every cohomology class, there are different choices of normalized 2-cocycles that represent that cohomology class.
Finding a group of cocycle representatives
Consider the short exact sequence for cocycles and coboundaries:
and the corresponding one for normalized cocycles and coboundaries:
Since these are short exact sequences of vector spaces, they must split. Further, a splitting of the latter also gives a splitting of the former.
GAP implementation
Construction of the cohomology group
The cohomology group can be constucted using the GAP functions ElementaryAbelianGroup, TwoCohomology, TrivialGModule, GF. Begin by setting equal to a specific prime number value.
gap> G := ElementaryAbelianGroup(p^2);; gap> A := TrivialGModule(G,GF(p));; gap> T := TwoCohomology(G,A);
The precise output depends on the value of .
Construction of extensions
The extensions can be constructed using the additional command Extensions. Begin by setting equal to a specific prime number value.
gap> G := ElementaryAbelianGroup(p^2);; gap> A := TrivialGModule(G,GF(p));; gap> L := Extensions(G,A);; gap> List(L,IdGroup);
The precise output depends on the value of .
Construction of automorphism group actions
This uses additionally the GAP functions AutomorphismGroup, DirectProduct, CompatiblePairs, and ExtensionRepresentatives. Begin by setting equal to a specific prime number value.
gap> G := ElementaryAbelianGroup(p^2);; gap> A := TrivialGModule(G,GF(p));; gap> A1 := AutomorphismGroup(G);; gap> A2 := GL(1,p);; gap> D := DirectProduct(A1,A2);; gap> P := CompatiblePairs(G,A,D);; gap> M := ExtensionRepresentatives(G,A,P);; gap> List(M,IdGroup);