G is the group 32gp41
The Hall-Senior number of this group is 25.
G has 3 minimal generators, rank 2 and exponent 8. The centre has rank 2.
The 7 maximal subgroups are: Q8xC2 (2x), Ab(8,2), 16gp9 (4x).
There is one conjugacy class of maximal elementary abelian subgroups. Each maximal elementary abelian has rank 2.
This cohomology ring calculation is complete.
Ring structure | Completion information | Koszul information | Restriction information | Poincaré series
The cohomology ring has 4 generators:
There are 2 minimal relations:
A minimal Gröbner basis for the relations ideal consists of this minimal generating set, together with the following redundant relation:
Essential ideal: There is one minimal generator:
Nilradical: There are 2 minimal generators:
This cohomology ring was obtained from a calculation out to degree 12. The cohomology ring approximation is stable from degree 4 onwards, and Carlson's tests detect stability from degree 6 onwards.
This cohomology ring has dimension 2 and depth 2. Here is a homogeneous system of parameters:
The first 2 terms h1, h2 form a regular sequence of maximum length.
The first 2 terms h1, h2 form a complete Duflot regular sequence. That is, their restrictions to the greatest central elementary abelian subgroup form a regular sequence of maximal length.
The ideal of essential classes is free of rank 1 as a module over the polynomial algebra on h1, h2. These free generators are:
A basis for R/(h1, h2) is as follows. Carlson's Koszul condition stipulates that this must be confined to degrees less than 5.
(1 + 2t + 2t2 + t3) / (1 - t) (1 - t4)