Small group number 6661 of order 256

G = Syl2(S4(7)) is Sylow 2-group of Symplectic group S4(7)

G has 3 minimal generators, rank 4 and exponent 8. The centre has rank 1.

There are 6 conjugacy classes of maximal elementary abelian subgroups. Their ranks are: 3, 3, 3, 3, 4, 4.

This cohomology ring calculation is complete.

Ring structure | Completion information | Koszul information | Restriction information | Poincaré series


Ring structure

The cohomology ring has 8 generators:

There are 9 minimal relations:

A minimal Gröbner basis for the relations ideal consists of this minimal generating set, together with the following redundant relation:


Completion information

This cohomology ring was obtained from a calculation out to degree 13. The cohomology ring approximation is stable from degree 6 onwards, and Benson's tests detect stability from degree 13 onwards.

This cohomology ring has dimension 4 and depth 3. Here is a homogeneous system of parameters:

The first 3 terms h1, h2, h3 form a regular sequence of maximum length.

The first term h1 forms a complete Duflot regular sequence. That is, its restriction to the greatest central elementary abelian subgroup forms a regular sequence of maximal length.

Data for Benson's test:


Koszul information

A basis for R/(h1, h2, h3, h4) is as follows.

A basis for AnnR/(h1, h2, h3)(h4) is as follows.


Restriction information