Small group number 7 of order 625

G = Syl5(Co1) is Sylow 5-subgroup of Co_1

G has 2 minimal generators, rank 3 and exponent 5. The centre has rank 1.

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

This cohomology ring calculation is complete.

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

Ring structure

The cohomology ring has 36 generators:

There are 556 minimal relations:

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

Completion information

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

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

The first term h1 forms 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) is as follows.

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

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

Restriction information