Small group number 932 of order 128
G = Syl2(G2(3):2) is Sylow 2-subgroup of exceptional group G_2(3):2
G has 3 minimal generators, rank 4 and exponent 8.
The centre has rank 1.
There are 5 conjugacy classes of maximal
elementary abelian subgroups. Their ranks are:
3, 3, 3, 3, 4.
This cohomology ring calculation is complete.
Ring structure
| Completion information
| Koszul information
| Restriction information
| Poincaré series
The cohomology ring has 16 generators:
- y1 in degree 1
- y2 in degree 1
- y3 in degree 1
- x1 in degree 2
- x2 in degree 2
- w1 in degree 3
- w2 in degree 3
- v1 in degree 4
- v2 in degree 4
- u1 in degree 5
- u2 in degree 5
- u3 in degree 5
- t in degree 6
- s in degree 7
- r1 in degree 8
- r2 in degree 8, a regular element
There are 76 minimal relations:
- y2.y3 =
0
- y1.y3 =
0
- y2.x2 =
y12.y2
+ y13
- y1.x1 =
y12.y2
+ y13
- y1.y22 =
y13
- x1.x2 =
0
- y3.w2 =
y12.x2
+ y13.y2
+ y14
- y3.w1 =
y12.x2
+ y13.y2
+ y14
- y2.w2 =
y1.w2
+ y1.w1
- x2.w2 =
x2.w1
+ y12.w1
- x1.w2 =
y12.w1
- y3.v2 =
0
- y3.v1 =
0
- y1.v2 =
0
- y1.y2.w1 =
y12.w1
- w22 =
x2.v1
+ y1.u1
+ y1.x2.w1
+ y1.y2.v1
+ y13.w2
+ y13.w1
- w1.w2 =
x2.v1
+ y1.u2
+ y1.x2.w1
+ y1.y2.v1
+ y12.v1
+ y13.w2
+ y13.w1
+ y16
- w12 =
x2.v1
+ x1.v2
+ x1.v1
+ y2.u2
+ y23.w1
+ y1.u2
+ y1.x2.w1
+ y15.y2
+ y16
- x2.v2 =
y12.x22
- y3.u2 =
y12.x22
- y3.u1 =
y12.x22
- y2.u3 =
y22.v2
+ y22.v1
+ y23.w1
+ y1.y2.v1
+ y13.w1
- y2.u1 =
y22.v2
+ y22.v1
+ y1.u2
+ y1.u1
+ y1.y2.v1
+ y13.w2
+ y16
- y1.u3 =
y1.y2.v1
+ y12.v1
+ y12.x22
- w2.v2 =
0
- w1.v2 =
x1.u2
+ y2.t
+ y2.x1.v2
+ y23.v1
+ y12.u2
+ y12.y2.v1
+ y14.w1
+ y16.y2
- x2.u2 =
x2.u1
+ y12.u2
+ y12.y2.v1
+ y13.v1
+ y14.w2
+ y14.w1
+ y16.y2
- x1.u3 =
y3.t
+ y3.x23
+ y32.u3
+ y2.x1.v2
+ y2.x1.v1
+ y22.x1.w1
+ y12.y2.v1
+ y13.v1
- x1.u1 =
y2.x1.v2
+ y2.x1.v1
+ y12.u2
+ y14.w2
+ y17
- y1.t =
y1.x2.v1
+ y1.x23
+ y12.u2
+ y12.y2.v1
+ y13.v1
+ y14.w1
+ y17
- y1.y2.u2 =
y12.u2
+ y14.w1
+ y16.y2
+ y17
- v22 =
x12.v2
+ x12.v1
+ y22.x1.v2
+ y24.v2
+ y24.v1
+ y25.w1
+ y14.v1
+ y15.w1
- v1.v2 =
w1.u2
+ w1.u1
+ x12.v2
+ x12.v1
+ y2.s
+ y22.x1.v1
+ y23.u2
+ y23.x1.w1
+ y24.v1
+ y1.s
+ y1.w1.v1
+ y1.x2.u1
+ y1.x22.w1
+ y13.u2
+ y14.v1
+ y15.w1
- w2.u3 =
y1.w1.v1
+ y1.x2.u1
+ y13.u2
+ y13.y2.v1
+ y14.v1
+ y15.w2
+ y18
- w2.u2 =
w1.u1
+ y2.w1.v1
+ y2.x1.u2
+ y22.t
+ y22.x1.v2
+ y24.v1
+ y13.u2
+ y13.u1
+ y15.w1
+ y17.y2
- w2.u1 =
w1.u1
+ y2.w1.v1
+ y2.x1.u2
+ y22.t
+ y22.x1.v2
+ y24.v1
+ y1.s
+ y1.w2.v1
+ y1.x2.u1
+ y1.x22.w1
+ y13.u2
+ y13.y2.v1
- w1.u3 =
y2.w1.v1
+ y2.x1.u2
+ y22.t
+ y22.x1.v1
+ y23.u2
+ y24.v1
+ y25.w1
+ y1.w1.v1
+ y1.x2.u1
+ y13.u2
+ y14.v1
+ y15.w2
- x2.t =
x22.v1
+ x24
+ y3.x2.u3
+ y15.w1
- y3.s =
y3.x2.u3
- v2.u3 =
y2.w1.u2
+ y22.s
+ y22.w1.v1
+ y23.x1.v2
+ y23.x1.v1
+ y24.u2
+ y24.x1.w1
+ y25.v2
+ y26.w1
+ y12.s
+ y12.w1.v1
+ y14.y2.v1
+ y15.v1
+ y16.w2
+ y16.w1
+ y19
- v2.u2 =
x1.w1.v1
+ x12.u2
+ y2.r1
+ y2.x1.t
+ y2.x12.v2
+ y2.x12.v1
+ y22.s
+ y23.x1.v2
+ y24.x1.w1
+ y12.s
+ y12.w2.v1
+ y12.w1.v1
+ y14.u2
+ y14.u1
+ y14.y2.v1
+ y16.w2
+ y16.w1
- v2.u1 =
y2.w1.u2
+ y22.s
+ y22.w1.v1
+ y22.x1.u2
+ y23.t
+ y23.x1.v1
+ y24.u2
+ y24.x1.w1
+ y25.v2
+ y25.v1
+ y26.w1
+ y12.s
+ y12.w1.v1
+ y14.u2
+ y15.v1
+ y16.w2
+ y18.y2
+ y19
- v1.u3 =
y2.v12
+ y2.w1.u2
+ y2.x12.v2
+ y2.x12.v1
+ y22.s
+ y22.x1.u2
+ y23.t
+ y23.x1.v2
+ y23.x1.v1
+ y24.u2
+ y24.x1.w1
+ y1.v12
+ y1.w1.u1
+ y1.y2.s
+ y12.w1.v1
+ y14.u2
+ y14.y2.v1
+ y15.v1
+ y16.w2
+ y16.w1
- w2.t =
x2.w1.v1
+ x23.w1
+ y1.y2.s
+ y12.s
+ y14.u2
+ y14.u1
+ y15.v1
+ y18.y2
- w1.t =
x2.w1.v1
+ x23.w1
+ x1.s
+ x12.u2
+ y2.r1
+ y2.x1.t
+ y22.s
+ y22.w1.v1
+ y22.x12.w1
+ y23.t
+ y23.x1.v2
+ y25.v1
+ y1.y2.s
+ y12.w2.v1
+ y14.u2
+ y14.u1
- x2.s =
x2.w1.v1
+ x22.u3
+ x22.u1
+ x23.w1
+ y1.w1.u1
+ y1.x24
+ y12.w1.v1
+ y18.y2
+ y19
- y3.r1 =
y3.x24
+ y34.u3
- y1.r1 =
y1.w1.u1
+ y1.x22.v1
+ y1.x24
+ y1.y2.s
+ y12.s
+ y12.w2.v1
+ y12.w1.v1
+ y14.u1
+ y14.y2.v1
+ y19
- u32 =
y32.x24
+ y33.x2.u3
+ y22.v12
+ y22.x12.v2
+ y22.x12.v1
+ y24.x1.v1
+ y25.u2
+ y26.v2
+ y26.v1
+ y12.v12
+ y12.x24
+ y15.u2
+ y15.y2.v1
+ y17.w1
+ y19.y2
+ y110
+ y32.r2
- u2.u3 =
y2.v1.u2
+ y2.x1.w1.v1
+ y2.x12.u2
+ y22.r1
+ y22.w1.u2
+ y22.x1.t
+ y22.x12.v2
+ y22.x12.v1
+ y23.s
+ y24.x1.v2
+ y25.x1.w1
+ y1.v1.u2
+ y1.x2.w1.v1
+ y1.x23.w1
+ y12.y2.s
+ y13.w2.v1
+ y15.u2
+ y15.u1
+ y15.y2.v1
+ y17.w2
+ y17.w1
+ y19.y2
+ y110
- u22 =
x2.v12
+ x23.v1
+ x1.v12
+ x13.v2
+ x13.v1
+ y2.v1.u2
+ y2.x1.w1.v1
+ y2.x12.u2
+ y22.r1
+ y22.v12
+ y22.x1.t
+ y22.x12.v2
+ y23.s
+ y23.w1.v1
+ y23.x12.w1
+ y24.t
+ y25.u2
+ y25.x1.w1
+ y26.v1
+ y27.w1
+ y1.v1.u2
+ y1.x2.w1.v1
+ y1.x22.u1
+ y1.x23.w1
+ y12.v12
+ y12.x24
+ y12.y2.s
+ y13.w2.v1
+ y16.v1
+ y17.w2
+ y17.w1
+ y110
+ y22.r2
+ y12.r2
- u1.u3 =
y22.v12
+ y22.x12.v2
+ y22.x12.v1
+ y23.w1.v1
+ y23.x1.u2
+ y24.t
+ y26.v2
+ y27.w1
+ y1.v1.u2
+ y1.x2.w1.v1
+ y1.x23.w1
+ y1.y2.v12
+ y13.w2.v1
+ y13.w1.v1
+ y15.u2
+ y16.v1
+ y17.w1
+ y19.y2
- u1.u2 =
x2.v12
+ x23.v1
+ y2.v1.u2
+ y2.x1.w1.v1
+ y2.x12.u2
+ y22.r1
+ y22.x1.t
+ y22.x12.v2
+ y22.x12.v1
+ y23.s
+ y24.x1.v2
+ y25.x1.w1
+ y1.v1.u2
+ y1.x2.w1.v1
+ y1.x22.u1
+ y1.x23.w1
+ y12.x24
+ y15.y2.v1
+ y17.w1
+ y1.y2.r2
+ y12.r2
- u12 =
x2.v12
+ x23.v1
+ y22.v12
+ y22.x12.v2
+ y22.x12.v1
+ y24.x1.v2
+ y26.v2
+ y26.v1
+ y27.w1
+ y1.v1.u1
+ y1.x2.w1.v1
+ y1.x22.u1
+ y1.x23.w1
+ y1.y2.v12
+ y12.v12
+ y12.x24
+ y12.y2.s
+ y13.s
+ y13.w2.v1
+ y13.w1.v1
+ y15.u2
+ y15.u1
+ y15.y2.v1
+ y17.w2
+ y19.y2
+ y110
+ y12.r2
- v2.t =
x1.r1
+ x13.v2
+ y34.t
+ y34.x23
+ y35.u3
+ y2.x1.s
+ y2.x12.u2
+ y22.w1.u2
+ y22.x1.t
+ y23.s
+ y23.x12.w1
+ y26.v1
+ y27.w1
+ y12.x24
+ y13.s
+ y13.w1.v1
+ y16.v1
+ y19.y2
+ y110
- v1.t =
w1.s
+ x2.w1.u1
+ x1.r1
+ x1.w1.u2
+ x13.v2
+ y34.t
+ y34.x23
+ y35.u3
+ y2.x12.u2
+ y22.x1.t
+ y23.w1.v1
+ y23.x1.u2
+ y23.x12.w1
+ y24.x1.v2
+ y24.x1.v1
+ y25.u2
+ y27.w1
+ y1.y2.v12
+ y12.v12
+ y12.y2.s
+ y13.s
+ y13.w2.v1
+ y15.u2
+ y17.w1
+ y19.y2
+ y110
+ y22.r2
+ y1.y2.r2
- w2.s =
x2.v12
+ x2.w1.u1
+ x23.v1
+ y1.v1.u2
+ y1.v1.u1
+ y12.y2.s
+ y15.u2
+ y15.u1
+ y16.v1
+ y19.y2
+ y1.y2.r2
- x2.r1 =
x2.w1.u1
+ x23.v1
+ x25
+ y33.x2.u3
+ y1.x2.w1.v1
+ y1.x22.u1
+ y13.w1.v1
+ y15.u2
+ y17.w2
+ y19.y2
- u3.t =
x23.u3
+ y33.x24
+ y34.x2.u3
+ y2.w1.s
+ y2.x1.w1.u2
+ y22.x12.u2
+ y23.r1
+ y23.w1.u2
+ y23.x1.t
+ y24.x1.u2
+ y24.x12.w1
+ y25.t
+ y25.x1.v1
+ y26.u2
+ y1.x2.v12
+ y1.x2.w1.u1
+ y12.v1.u2
+ y13.y2.s
+ y14.s
+ y14.w1.v1
+ y16.u2
+ y16.u1
+ y16.y2.v1
+ y17.v1
+ y18.w2
+ y18.w1
+ y110.y2
+ y3.x1.r2
+ y33.r2
+ y23.r2
+ y13.r2
- u2.t =
w1.r1
+ x22.w1.v1
+ x23.u1
+ x24.w1
+ x13.u2
+ y2.w1.s
+ y2.x1.r1
+ y2.x1.v12
+ y2.x12.t
+ y22.v1.u2
+ y22.x1.s
+ y22.x1.w1.v1
+ y22.x13.w1
+ y23.x1.t
+ y25.x1.v1
+ y1.x23.v1
+ y12.v1.u2
+ y13.y2.s
+ y14.s
+ y14.w1.v1
+ y16.u1
+ y17.v1
+ y2.x1.r2
- u1.t =
x2.v1.u1
+ x23.u1
+ y2.w1.s
+ y2.x1.w1.u2
+ y22.x1.s
+ y23.w1.u2
+ y24.s
+ y24.w1.v1
+ y24.x1.u2
+ y25.x1.v2
+ y25.x1.v1
+ y26.u2
+ y27.v1
+ y12.y2.v12
+ y13.v12
+ y14.w2.v1
+ y16.u2
+ y17.v1
+ y110.y2
+ y23.r2
+ y12.y2.r2
- v2.s =
w1.r1
+ x2.v1.u1
+ x22.w1.v1
+ x24.w1
+ x12.w1.v1
+ y22.x12.u2
+ y23.r1
+ y23.x1.t
+ y24.s
+ y24.w1.v1
+ y24.x12.w1
+ y25.t
+ y27.v1
+ y1.x23.v1
+ y12.y2.v12
+ y13.v12
+ y13.y2.s
+ y14.w2.v1
+ y14.w1.v1
+ y16.u1
+ y18.w2
+ y110.y2
+ y23.r2
+ y12.y2.r2
- w2.r1 =
x2.v1.u1
+ x22.w1.v1
+ x24.w1
+ y1.x23.v1
+ y12.v1.u2
+ y12.v1.u1
+ y12.y2.v12
+ y13.y2.s
+ y16.u2
+ y17.v1
+ y18.w1
- t2 =
x22.v12
+ x26
+ x12.v12
+ x12.w1.u2
+ y34.x24
+ y35.x2.u3
+ y2.x12.s
+ y2.x13.u2
+ y2.x14.w1
+ y22.x1.r1
+ y22.x1.v12
+ y23.v1.u2
+ y23.x1.s
+ y23.x12.u2
+ y24.r1
+ y24.v12
+ y24.w1.u2
+ y24.x1.t
+ y24.x12.v2
+ y24.x12.v1
+ y25.s
+ y25.w1.v1
+ y25.x1.u2
+ y26.t
+ y27.u2
+ y28.v1
+ y29.w1
+ y13.v1.u2
+ y13.y2.v12
+ y15.s
+ y15.w2.v1
+ y15.w1.v1
+ y18.v1
+ y19.w2
+ x12.r2
+ y34.r2
- u3.s =
y32.x25
+ y33.x22.u3
+ y2.v1.s
+ y2.w1.r1
+ y2.x12.w1.v1
+ y22.w1.s
+ y23.x12.u2
+ y24.r1
+ y24.x1.t
+ y25.s
+ y25.w1.v1
+ y25.x12.w1
+ y26.t
+ y28.v1
+ y1.v1.s
+ y1.x2.v1.u1
+ y1.x22.w1.v1
+ y1.x23.u1
+ y1.x24.w1
+ y13.v1.u2
+ y14.y2.s
+ y15.w1.v1
+ y17.u1
+ y18.v1
+ y19.w2
+ y112
+ y32.x2.r2
+ y24.r2
+ y13.y2.r2
- u2.s =
v1.r1
+ x22.w1.u1
+ x1.w1.s
+ x12.v12
+ y2.v1.s
+ y2.w1.v12
+ y2.x1.v1.u2
+ y22.x1.w1.u2
+ y23.v1.u2
+ y23.x1.s
+ y23.x1.w1.v1
+ y23.x13.w1
+ y24.v12
+ y24.w1.u2
+ y24.x1.t
+ y24.x12.v2
+ y24.x12.v1
+ y25.x1.u2
+ y25.x12.w1
+ y1.v1.s
+ y1.w2.v12
+ y12.x25
+ y13.v1.u2
+ y14.y2.s
+ y15.s
+ y15.w2.v1
+ y17.u2
+ y17.u1
+ y18.v1
+ y19.w1
+ y111.y2
+ y2.w1.r2
+ y22.x1.r2
+ y24.r2
+ y12.x2.r2
+ y13.y2.r2
+ y14.r2
- u1.s =
w1.v1.u1
+ x22.v12
+ x22.w1.u1
+ x24.v1
+ y2.v1.s
+ y2.w1.r1
+ y2.w1.v12
+ y2.x1.v1.u2
+ y2.x12.w1.v1
+ y22.w1.s
+ y22.x1.r1
+ y22.x13.v1
+ y23.x1.s
+ y23.x1.w1.v1
+ y23.x12.u2
+ y24.r1
+ y24.v12
+ y24.x1.t
+ y24.x12.v2
+ y24.x12.v1
+ y25.s
+ y25.x12.w1
+ y26.t
+ y26.x1.v2
+ y26.x1.v1
+ y27.u2
+ y28.v1
+ y29.w1
+ y1.v1.s
+ y1.w2.v12
+ y1.w1.v12
+ y1.x2.v1.u1
+ y12.x25
+ y13.v1.u1
+ y15.w2.v1
+ y15.w1.v1
+ y17.u2
+ y111.y2
+ y112
+ y1.w2.r2
+ y1.w1.r2
+ y12.x2.r2
- v2.r1 =
x1.w1.s
+ x12.w1.u2
+ x14.v2
+ x14.v1
+ y2.w1.r1
+ y2.x12.s
+ y2.x13.u2
+ y22.x1.r1
+ y22.x1.v12
+ y22.x1.w1.u2
+ y22.x12.t
+ y22.x13.v2
+ y23.v1.u2
+ y24.w1.u2
+ y24.x1.t
+ y24.x12.v1
+ y25.w1.v1
+ y25.x1.u2
+ y25.x12.w1
+ y26.t
+ y26.x1.v1
+ y28.v1
+ y12.x25
+ y13.y2.v12
+ y14.v12
+ y14.y2.s
+ y15.s
+ y15.w2.v1
+ y17.u2
+ y111.y2
+ y22.x1.r2
+ y24.r2
+ y13.y2.r2
- t.s =
x2.w1.v12
+ x22.v1.u1
+ x24.u3
+ x24.u1
+ x25.w1
+ x1.w1.r1
+ x1.w1.v12
+ x12.v1.u2
+ x13.w1.v1
+ y33.x25
+ y34.x22.u3
+ y2.w1.v1.u2
+ y2.x12.r1
+ y2.x12.v12
+ y2.x12.w1.u2
+ y2.x14.v1
+ y22.x1.v1.u2
+ y22.x12.w1.v1
+ y23.w1.s
+ y23.x1.r1
+ y23.x1.v12
+ y23.x12.t
+ y23.x13.v1
+ y24.x1.s
+ y24.x13.w1
+ y25.r1
+ y26.s
+ y26.x1.u2
+ y26.x12.w1
+ y27.t
+ y27.x1.v1
+ y28.u2
+ y29.v1
+ y210.w1
+ y1.w1.v1.u1
+ y1.x22.v12
+ y1.x24.v1
+ y1.x26
+ y14.v1.u2
+ y14.v1.u1
+ y15.y2.s
+ y16.s
+ y16.w2.v1
+ y16.w1.v1
+ y19.v1
+ y110.w2
+ y110.w1
+ x1.w1.r2
+ y33.x2.r2
+ y2.v2.r2
+ y25.r2
+ y12.w1.r2
- u3.r1 =
x24.u3
+ y35.x24
+ y36.x2.u3
+ y2.v1.r1
+ y2.x1.w1.s
+ y2.x12.w1.u2
+ y2.x14.v2
+ y2.x14.v1
+ y22.x12.s
+ y22.x13.u2
+ y23.x1.r1
+ y23.x1.v12
+ y23.x1.w1.u2
+ y23.x12.t
+ y23.x13.v2
+ y24.v1.u2
+ y25.w1.u2
+ y25.x1.t
+ y25.x12.v1
+ y26.w1.v1
+ y26.x1.u2
+ y26.x12.w1
+ y27.t
+ y27.x1.v1
+ y29.v1
+ y1.w1.v1.u1
+ y1.x22.w1.u1
+ y1.x24.v1
+ y1.y2.v1.s
+ y12.v1.s
+ y12.w2.v12
+ y12.w1.v12
+ y14.v1.u2
+ y14.v1.u1
+ y15.v12
+ y18.u2
+ y113
+ y35.r2
+ y23.x1.r2
+ y25.r2
+ y15.r2
- u2.r1 =
x2.w1.v12
+ x22.v1.u1
+ x23.w1.v1
+ x24.u1
+ x1.v1.s
+ x1.w1.r1
+ x12.v1.u2
+ x13.w1.v1
+ y2.w1.v1.u2
+ y22.v1.s
+ y22.x1.v1.u2
+ y22.x12.w1.v1
+ y22.x13.u2
+ y23.x1.r1
+ y23.x1.v12
+ y23.x1.w1.u2
+ y23.x12.t
+ y23.x13.v2
+ y23.x13.v1
+ y24.v1.u2
+ y24.x1.s
+ y24.x12.u2
+ y24.x13.w1
+ y25.x1.t
+ y26.w1.v1
+ y27.x1.v2
+ y28.u2
+ y210.w1
+ y1.x22.w1.u1
+ y12.v1.s
+ y14.v1.u2
+ y14.v1.u1
+ y15.v12
+ y16.s
+ y18.u2
+ y18.u1
+ y19.v1
+ y110.w2
+ y110.w1
+ y112.y2
+ y113
+ y2.v2.r2
+ y22.w1.r2
+ y23.x1.r2
+ y25.r2
+ y12.w1.r2
+ y14.y2.r2
- u1.r1 =
x2.w1.v12
+ x22.v1.u1
+ x23.w1.v1
+ x24.u1
+ y2.v1.r1
+ y2.x1.w1.s
+ y2.x12.w1.u2
+ y2.x14.v2
+ y2.x14.v1
+ y22.w1.r1
+ y22.x12.s
+ y22.x13.u2
+ y23.x1.r1
+ y23.x1.v12
+ y23.x1.w1.u2
+ y23.x12.t
+ y23.x13.v2
+ y24.v1.u2
+ y25.w1.u2
+ y25.x1.t
+ y25.x12.v1
+ y26.w1.v1
+ y26.x1.u2
+ y26.x12.w1
+ y27.t
+ y27.x1.v1
+ y29.v1
+ y1.x22.w1.u1
+ y1.y2.v1.s
+ y12.w1.v12
+ y14.v1.u2
+ y14.v1.u1
+ y14.y2.v12
+ y15.v12
+ y16.w2.v1
+ y18.u2
+ y19.v1
+ y23.x1.r2
+ y25.r2
- s2 =
x2.v13
+ x23.v12
+ x1.v13
+ x13.v12
+ x13.w1.u2
+ x15.v2
+ x15.v1
+ y32.x26
+ y33.x23.u3
+ y2.v12.u2
+ y2.x13.s
+ y22.x12.v12
+ y22.x12.w1.u2
+ y22.x14.v1
+ y23.x13.u2
+ y23.x14.w1
+ y24.x1.v12
+ y24.x13.v2
+ y25.x12.u2
+ y25.x13.w1
+ y26.v12
+ y27.x12.w1
+ y28.x1.v2
+ y28.x1.v1
+ y29.u2
+ y211.w1
+ y1.v12.u2
+ y1.x2.w1.v12
+ y1.x22.v1.u1
+ y1.x23.w1.v1
+ y12.v13
+ y12.x26
+ y15.v1.u2
+ y15.y2.v12
+ y16.y2.s
+ y17.w1.v1
+ y110.v1
+ y113.y2
+ y114
+ x1.v2.r2
+ x1.v1.r2
+ y32.x22.r2
+ y2.u2.r2
+ y22.v2.r2
+ y22.v1.r2
+ y23.w1.r2
+ y24.x1.r2
+ y1.u2.r2
+ y1.u1.r2
+ y1.y2.v1.r2
+ y12.x22.r2
+ y13.w2.r2
+ y16.r2
- t.r1 =
x2.w1.v1.u1
+ x23.v12
+ x23.w1.u1
+ x27
+ x1.w1.v1.u2
+ x13.r1
+ x13.w1.u2
+ x15.v2
+ y3.x24.u3
+ y33.x23.u3
+ y34.x12.t
+ y36.x24
+ y36.x1.t
+ y37.x2.u3
+ y38.t
+ y38.x23
+ y39.u3
+ y2.x1.v1.s
+ y2.x12.v1.u2
+ y22.v1.r1
+ y22.x1.w1.s
+ y22.x12.r1
+ y22.x12.v12
+ y22.x12.w1.u2
+ y23.v1.s
+ y23.w1.r1
+ y23.x1.v1.u2
+ y23.x12.s
+ y23.x13.u2
+ y24.x1.v12
+ y24.x1.w1.u2
+ y24.x12.t
+ y24.x13.v2
+ y24.x13.v1
+ y25.v1.u2
+ y25.x12.u2
+ y26.v12
+ y26.w1.u2
+ y26.x12.v2
+ y27.w1.v1
+ y27.x1.u2
+ y27.x12.w1
+ y29.x1.w1
+ y1.x2.w1.v12
+ y1.x22.v1.u1
+ y1.x23.w1.v1
+ y1.x24.u1
+ y12.y2.v1.s
+ y13.w2.v12
+ y15.y2.v12
+ y16.y2.s
+ y19.y2.v1
+ y110.v1
+ y111.w2
+ y114
+ x1.v2.r2
+ y34.x1.r2
+ y36.r2
+ y2.x1.w1.r2
+ y22.v2.r2
+ y15.y2.r2
+ y16.r2
- s.r1 =
x2.v12.u1
+ x24.w1.v1
+ x25.u3
+ x25.u1
+ x26.w1
+ x1.v12.u2
+ x12.v1.s
+ x12.w1.v12
+ x13.v1.u2
+ y35.x25
+ y36.x22.u3
+ y2.w1.v1.s
+ y2.x1.v1.r1
+ y2.x1.w1.v1.u2
+ y2.x12.w1.s
+ y2.x13.r1
+ y2.x13.v12
+ y2.x13.w1.u2
+ y2.x15.v1
+ y22.x1.v1.s
+ y22.x1.w1.r1
+ y22.x12.v1.u2
+ y23.v13
+ y23.x12.w1.u2
+ y23.x14.v2
+ y23.x14.v1
+ y24.v1.s
+ y24.w1.r1
+ y24.x1.v1.u2
+ y24.x12.w1.v1
+ y24.x13.u2
+ y24.x14.w1
+ y25.x1.r1
+ y25.x1.v12
+ y25.x1.w1.u2
+ y25.x13.v1
+ y26.x1.w1.v1
+ y26.x12.u2
+ y27.v12
+ y27.x12.v1
+ y28.x1.u2
+ y28.x12.w1
+ y29.x1.v1
+ y1.x2.v13
+ y1.x25.v1
+ y1.x27
+ y12.v12.u2
+ y12.v12.u1
+ y12.y2.v13
+ y14.v1.s
+ y14.w2.v12
+ y16.v1.u2
+ y17.v12
+ y18.w1.v1
+ y110.u1
+ y110.y2.v1
+ y112.w2
+ y115
+ x1.u2.r2
+ y35.x2.r2
+ y2.t.r2
+ y2.x1.v2.r2
+ y22.u2.r2
+ y23.v1.r2
+ y23.x12.r2
+ y24.w1.r2
+ y25.x1.r2
+ y27.r2
+ y12.y2.v1.r2
+ y13.v1.r2
+ y14.w2.r2
+ y14.w1.r2
+ y16.y2.r2
+ y17.r2
- r12 =
x22.v13
+ x28
+ x12.v13
+ x14.w1.u2
+ x16.v2
+ x16.v1
+ y38.x24
+ y39.x2.u3
+ y2.x12.w1.v12
+ y2.x13.v1.u2
+ y2.x14.s
+ y22.x1.v1.r1
+ y22.x12.w1.s
+ y22.x13.r1
+ y23.x1.v1.s
+ y23.x1.w1.v12
+ y23.x12.v1.u2
+ y23.x13.s
+ y23.x13.w1.v1
+ y23.x15.w1
+ y24.v13
+ y24.x1.w1.s
+ y24.x12.r1
+ y24.x12.v12
+ y24.x13.t
+ y24.x14.v2
+ y25.v1.s
+ y25.w1.r1
+ y25.w1.v12
+ y27.x1.w1.v1
+ y27.x12.u2
+ y28.r1
+ y28.v12
+ y28.x12.v1
+ y29.s
+ y29.x12.w1
+ y210.t
+ y210.x1.v2
+ y211.x1.w1
+ y212.v1
+ y13.v12.u1
+ y15.v1.s
+ y15.w2.v12
+ y15.w1.v12
+ y17.v1.u1
+ y18.v12
+ y18.y2.s
+ y111.y2.v1
+ y112.v1
+ y113.w2
+ y113.w1
+ y115.y2
+ x12.v2.r2
+ x12.v1.r2
+ y38.r2
+ y22.x1.v1.r2
+ y23.u2.r2
+ y24.x12.r2
+ y28.r2
+ y13.u2.r2
+ y13.y2.v1.r2
+ y14.v1.r2
+ y15.w1.r2
+ y17.y2.r2
+ y18.r2
A minimal Gröbner basis for the relations ideal
consists of this minimal generating set, together with the
following redundant relations:
- y13.x2 =
y14.y2
+ y15
- y12.x2.w1 =
0
- y12.x2.v1 =
y13.y2.v1
+ y14.v1
- y1.w1.u2 =
y1.w1.u1
+ y1.y2.s
+ y12.s
+ y12.w1.v1
+ y14.u2
+ y16.w2
+ y18.y2
- y12.x2.u1 =
y14.u2
+ y14.y2.v1
+ y15.v1
+ y16.w2
+ y19
- y12.w1.u1 =
y12.y2.s
+ y13.s
+ y13.w1.v1
+ y19.y2
+ y110
- y1.w1.s =
y1.x2.v12
+ y1.x2.w1.u1
+ y1.x23.v1
+ y12.v1.u2
+ y13.y2.s
+ y14.s
+ y14.w2.v1
+ y14.w1.v1
+ y16.u2
+ y16.y2.v1
+ y18.w2
+ y18.w1
+ y111
+ y12.y2.r2
+ y13.r2
This cohomology ring was obtained from a calculation
out to degree 17. The cohomology ring approximation
is stable from degree 16 onwards, and
Benson's tests detect stability from degree 17
onwards.
This cohomology ring has dimension 4 and depth 2.
Here is a homogeneous system of parameters:
- h1 =
r2
in degree 8
- h2 =
v2
+ v1
+ x22
+ x12
+ y34
+ y2.w1
+ y24
+ y13.y2
in degree 4
- h3 =
x2.v1
+ x1.v2
+ x1.v1
+ y32.x22
+ y32.x12
+ y2.x1.w1
+ y22.v2
+ y22.v1
+ y22.x12
+ y23.w1
+ y1.u2
+ y13.w2
in degree 6
- h4 =
y2
in degree 1
The first
2 terms h1, h2 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:
-
Raw filter degree type:
-1, -1, 6, 14, 15.
-
Filter degree type:
-1, -2, -3, -4, -4.
-
α = 0
-
The system of parameters is very strongly quasi-regular.
-
The regularity conjecture is satisfied.
A basis for R/(h1, h2, h3, h4) is as follows.
-
1
in degree 0
-
y3
in degree 1
-
y1
in degree 1
-
x2
in degree 2
-
x1
in degree 2
-
y32
in degree 2
-
y12
in degree 2
-
w2
in degree 3
-
w1
in degree 3
-
y3.x2
in degree 3
-
y3.x1
in degree 3
-
y33
in degree 3
-
y1.x2
in degree 3
-
v1
in degree 4
-
x22
in degree 4
-
x12
in degree 4
-
y32.x2
in degree 4
-
y32.x1
in degree 4
-
y34
in degree 4
-
y1.w1
in degree 4
-
y12.x2
in degree 4
-
u3
in degree 5
-
u2
in degree 5
-
u1
in degree 5
-
x2.w1
in degree 5
-
x1.w1
in degree 5
-
y3.x12
in degree 5
-
y33.x2
in degree 5
-
y33.x1
in degree 5
-
y35
in degree 5
-
y1.x22
in degree 5
-
t
in degree 6
-
x1.v1
in degree 6
-
x13
in degree 6
-
y3.u3
in degree 6
-
y32.x12
in degree 6
-
y34.x2
in degree 6
-
y34.x1
in degree 6
-
y36
in degree 6
-
y1.u1
in degree 6
-
y1.x2.w1
in degree 6
-
y12.x22
in degree 6
-
s
in degree 7
-
x2.u3
in degree 7
-
x2.u1
in degree 7
-
x22.w1
in degree 7
-
x1.u2
in degree 7
-
x12.w1
in degree 7
-
y3.t
in degree 7
-
y32.u3
in degree 7
-
y33.x12
in degree 7
-
y35.x2
in degree 7
-
y35.x1
in degree 7
-
r
in degree 8
-
w1.u1
in degree 8
-
x1.t
in degree 8
-
x12.v1
in degree 8
-
y3.x2.u3
in degree 8
-
y32.t
in degree 8
-
y33.u3
in degree 8
-
y34.x12
in degree 8
-
y36.x2
in degree 8
-
y36.x1
in degree 8
-
y1.s
in degree 8
-
y1.x2.u1
in degree 8
-
y1.x22.w1
in degree 8
-
x22.u1
in degree 9
-
x1.s
in degree 9
-
x12.u2
in degree 9
-
y3.x1.t
in degree 9
-
y32.x2.u3
in degree 9
-
y33.t
in degree 9
-
y34.u3
in degree 9
-
y35.x12
in degree 9
-
y1.w1.u1
in degree 9
-
x2.w1.u1
in degree 10
-
x1.r
in degree 10
-
x12.t
in degree 10
-
y32.x1.t
in degree 10
-
y33.x2.u3
in degree 10
-
y34.t
in degree 10
-
y35.u3
in degree 10
-
y36.x12
in degree 10
-
y1.x22.u1
in degree 10
-
w1.r
in degree 11
-
x12.s
in degree 11
-
y33.x1.t
in degree 11
-
y34.x2.u3
in degree 11
-
y35.t
in degree 11
-
y1.x2.w1.u1
in degree 11
-
x22.w1.u1
in degree 12
-
x12.r
in degree 12
-
y34.x1.t
in degree 12
-
y35.x2.u3
in degree 12
-
y36.t
in degree 12
-
x1.w1.r
in degree 13
-
y35.x1.t
in degree 13
-
y1.x22.w1.u1
in degree 13
-
y36.x1.t
in degree 14
-
x12.w1.r
in degree 15
A basis for AnnR/(h1, h2, h3)(h4) is as follows.
-
y3
in degree 1
-
x2
+ y12
+ y1.h
in degree 2
-
y32
in degree 2
-
y3.x2
in degree 3
-
y3.x1
in degree 3
-
y33
in degree 3
-
y1.x2
+ y13
+ y12.h
in degree 3
-
x22
+ y12.x2
+ y1.x2.h
in degree 4
-
y32.x2
in degree 4
-
y32.x1
in degree 4
-
y34
in degree 4
-
y12.x2
+ y14
+ y13.h
in degree 4
-
u3
+ x12.h
+ y12.h3
+ h5
in degree 5
-
x2.w1
+ y12.w1
+ y1.w1.h
in degree 5
-
y3.x12
in degree 5
-
y33.x2
in degree 5
-
y33.x1
in degree 5
-
y35
in degree 5
-
y1.x22
+ y13.x2
+ y12.x2.h
in degree 5
-
x13
+ y1.u1
+ u1.h
+ x12.h2
+ y1.w1.h2
+ w1.h3
+ x1.h4
+ y12.h4
in degree 6
-
y3.u3
in degree 6
-
y32.x12
in degree 6
-
y34.x2
in degree 6
-
y34.x1
in degree 6
-
y36
in degree 6
-
y1.x2.w1
+ y13.w1
+ y12.w1.h
in degree 6
-
y12.x22
+ y14.x2
+ y13.x2.h
in degree 6
-
x2.u3
+ y12.u3
+ y1.u3.h
in degree 7
-
x2.u1
+ y12.u1
+ y1.u1.h
in degree 7
-
x22.w1
+ y12.x2.w1
+ y1.x2.w1.h
in degree 7
-
y3.t
in degree 7
-
y32.u3
in degree 7
-
y33.x12
in degree 7
-
y35.x2
in degree 7
-
y35.x1
in degree 7
-
y1.u1.h
+ u1.h2
+ x12.h3
+ y1.w1.h3
+ w1.h4
+ h7
in degree 7
-
y12.h5
+ y1.h6
in degree 7
-
y3.x2.u3
in degree 8
-
y32.t
in degree 8
-
y33.u3
in degree 8
-
y34.x12
in degree 8
-
y36.x2
in degree 8
-
y36.x1
in degree 8
-
y1.x2.u1
+ y13.u1
+ y12.u1.h
in degree 8
-
y1.x22.w1
+ y13.x2.w1
+ y12.x2.w1.h
in degree 8
-
x22.u1
+ y12.x2.u1
+ y1.x2.u1.h
in degree 9
-
y3.x1.t
in degree 9
-
y32.x2.u3
in degree 9
-
y33.t
in degree 9
-
y34.u3
in degree 9
-
y35.x12
in degree 9
-
y1.w1.u1
+ y1.w1.h5
+ w2.h6
in degree 9
-
w1.u1.h
+ x12.w1.h2
+ u2.h4
+ x1.w1.h4
+ y1.w1.h5
+ y1.h8
+ h9
in degree 9
-
x2.w1.u1
+ y12.w1.u1
+ y1.w1.u1.h
in degree 10
-
y32.x1.t
in degree 10
-
y33.x2.u3
in degree 10
-
y34.t
in degree 10
-
y35.u3
in degree 10
-
y36.x12
in degree 10
-
y1.x22.u1
+ y13.x2.u1
+ y12.x2.u1.h
in degree 10
-
y1.w1.h6
in degree 10
-
y33.x1.t
in degree 11
-
y34.x2.u3
in degree 11
-
y35.t
in degree 11
-
y1.x2.w1.u1
+ y13.w1.u1
+ y12.w1.u1.h
in degree 11
-
u1.h6
+ x12.h7
+ w1.h8
+ y1.h10
+ h11
in degree 11
-
x22.w1.u1
+ y12.x2.w1.u1
+ y1.x2.w1.u1.h
in degree 12
-
y34.x1.t
in degree 12
-
y35.x2.u3
in degree 12
-
y36.t
in degree 12
-
y1.h11
in degree 12
-
y35.x1.t
in degree 13
-
y1.x22.w1.u1
+ y13.x2.w1.u1
+ y12.x2.w1.u1.h
in degree 13
-
y1.s.h5
in degree 13
-
y36.x1.t
in degree 14
-
w2.h11
in degree 14
A basis for AnnR/(h1, h2)(h3) is as follows.
-
y12.x2
+ y13.y2
+ y14
in degree 4
-
y12.x22
+ y13.y2.x2
+ y14.x2
in degree 6
Restriction to special subgroup number 1, which is 2gp1
- y1 restricts to
0
- y2 restricts to
0
- y3 restricts to
0
- x1 restricts to
0
- x2 restricts to
0
- w1 restricts to
0
- w2 restricts to
0
- v1 restricts to
0
- v2 restricts to
0
- u1 restricts to
0
- u2 restricts to
0
- u3 restricts to
0
- t restricts to
0
- s restricts to
0
- r1 restricts to
0
- r2 restricts to
y8
Restriction to special subgroup number 2, which is 8gp5
- y1 restricts to
0
- y2 restricts to
0
- y3 restricts to
y2
- x1 restricts to
0
- x2 restricts to
y32
+ y2.y3
- w1 restricts to
0
- w2 restricts to
0
- v1 restricts to
0
- v2 restricts to
0
- u1 restricts to
0
- u2 restricts to
0
- u3 restricts to
y1.y22.y32
+ y1.y23.y3
+ y12.y2.y32
+ y12.y22.y3
+ y12.y23
+ y14.y2
- t restricts to
y36
+ y2.y35
+ y22.y34
+ y23.y33
+ y1.y23.y32
+ y1.y24.y3
+ y12.y22.y32
+ y12.y23.y3
+ y12.y24
+ y14.y22
- s restricts to
y1.y22.y34
+ y1.y24.y32
+ y12.y2.y34
+ y12.y24.y3
+ y14.y2.y32
+ y14.y22.y3
- r1 restricts to
y38
+ y24.y34
+ y1.y25.y32
+ y1.y26.y3
+ y12.y24.y32
+ y12.y25.y3
+ y12.y26
+ y14.y24
- r2 restricts to
y38
+ y24.y34
+ y1.y23.y34
+ y1.y25.y32
+ y12.y24.y32
+ y12.y25.y3
+ y14.y34
+ y14.y23.y3
+ y14.y24
+ y18
Restriction to special subgroup number 3, which is 8gp5
- y1 restricts to
0
- y2 restricts to
0
- y3 restricts to
y2
- x1 restricts to
y32
+ y2.y3
- x2 restricts to
0
- w1 restricts to
0
- w2 restricts to
0
- v1 restricts to
0
- v2 restricts to
0
- u1 restricts to
0
- u2 restricts to
0
- u3 restricts to
y1.y22.y32
+ y1.y23.y3
+ y12.y2.y32
+ y12.y22.y3
+ y12.y23
+ y14.y2
- t restricts to
y1.y2.y34
+ y1.y24.y3
+ y12.y34
+ y12.y22.y32
+ y12.y24
+ y14.y32
+ y14.y2.y3
+ y14.y22
- s restricts to
0
- r1 restricts to
y1.y25.y32
+ y1.y26.y3
+ y12.y24.y32
+ y12.y25.y3
+ y12.y26
+ y14.y24
- r2 restricts to
y12.y22.y34
+ y12.y24.y32
+ y14.y34
+ y14.y22.y32
+ y14.y24
+ y18
Restriction to special subgroup number 4, which is 8gp5
- y1 restricts to
0
- y2 restricts to
0
- y3 restricts to
0
- x1 restricts to
0
- x2 restricts to
y22
- w1 restricts to
y2.y32
+ y22.y3
- w2 restricts to
y2.y32
+ y22.y3
- v1 restricts to
y34
+ y22.y32
- v2 restricts to
0
- u1 restricts to
y2.y34
+ y24.y3
- u2 restricts to
y2.y34
+ y24.y3
- u3 restricts to
0
- t restricts to
y22.y34
+ y24.y32
+ y26
- s restricts to
y2.y36
+ y22.y35
+ y24.y33
+ y25.y32
- r1 restricts to
y22.y36
+ y23.y35
+ y24.y34
+ y25.y33
+ y28
- r2 restricts to
y38
+ y22.y36
+ y23.y35
+ y25.y33
+ y28
+ y12.y22.y34
+ y12.y24.y32
+ y14.y34
+ y14.y22.y32
+ y14.y24
+ y18
Restriction to special subgroup number 5, which is 8gp5
- y1 restricts to
y3
- y2 restricts to
y3
- y3 restricts to
0
- x1 restricts to
0
- x2 restricts to
0
- w1 restricts to
0
- w2 restricts to
y2.y32
+ y22.y3
+ y1.y32
+ y12.y3
- v1 restricts to
y34
+ y22.y32
+ y24
- v2 restricts to
0
- u1 restricts to
y35
+ y2.y34
+ y22.y33
+ y1.y34
+ y14.y3
- u2 restricts to
y35
+ y2.y34
+ y22.y33
+ y1.y34
+ y12.y33
- u3 restricts to
0
- t restricts to
y2.y35
+ y22.y34
+ y1.y35
+ y12.y34
- s restricts to
y37
+ y22.y35
+ y23.y34
+ y25.y32
+ y26.y3
+ y1.y22.y34
+ y1.y24.y32
+ y12.y35
+ y12.y2.y34
+ y12.y24.y3
+ y13.y34
+ y14.y2.y32
+ y14.y22.y3
+ y15.y32
+ y16.y3
- r1 restricts to
y38
+ y22.y36
+ y23.y35
+ y25.y33
+ y26.y32
+ y1.y22.y35
+ y1.y24.y33
+ y12.y36
+ y12.y22.y34
+ y12.y24.y32
+ y14.y34
- r2 restricts to
y38
+ y2.y37
+ y22.y36
+ y24.y34
+ y28
+ y1.y37
+ y12.y22.y34
+ y12.y24.y32
+ y14.y22.y32
+ y14.y24
+ y18
Restriction to special subgroup number 6, which is 16gp14
- y1 restricts to
0
- y2 restricts to
y2
- y3 restricts to
0
- x1 restricts to
y32
+ y2.y3
- x2 restricts to
0
- w1 restricts to
y3.y42
+ y32.y4
+ y2.y42
+ y22.y4
+ y1.y22
+ y12.y2
- w2 restricts to
0
- v1 restricts to
y44
+ y33.y4
+ y2.y3.y42
+ y22.y42
+ y1.y2.y32
+ y1.y22.y3
+ y1.y23
+ y12.y22
- v2 restricts to
y32.y42
+ y33.y4
+ y2.y3.y42
+ y22.y42
+ y22.y3.y4
+ y23.y4
+ y1.y2.y32
+ y1.y22.y3
- u1 restricts to
y2.y44
+ y2.y32.y42
+ y23.y3.y4
+ y24.y4
+ y1.y24
+ y12.y23
- u2 restricts to
y3.y44
+ y33.y42
+ y2.y44
+ y2.y33.y4
+ y22.y3.y42
+ y22.y32.y4
+ y23.y3.y4
+ y24.y4
+ y1.y22.y32
+ y1.y23.y3
+ y1.y24
+ y12.y2.y32
+ y12.y22.y3
+ y14.y2
- u3 restricts to
y2.y44
+ y2.y32.y42
+ y22.y3.y42
+ y22.y32.y4
+ y23.y42
+ y23.y3.y4
- t restricts to
y2.y3.y44
+ y2.y32.y43
+ y2.y33.y42
+ y2.y34.y4
+ y22.y3.y43
+ y23.y3.y42
+ y1.y33.y42
+ y1.y34.y4
+ y1.y2.y32.y42
+ y1.y22.y32.y4
+ y1.y23.y42
+ y1.y24.y4
+ y1.y25
+ y12.y32.y42
+ y12.y33.y4
+ y12.y34
+ y12.y2.y3.y42
+ y12.y22.y42
+ y12.y22.y3.y4
+ y12.y23.y4
+ y12.y23.y3
+ y12.y24
+ y13.y2.y32
+ y13.y22.y3
+ y14.y32
+ y14.y2.y3
- s restricts to
y33.y44
+ y35.y42
+ y2.y46
+ y2.y34.y42
+ y22.y45
+ y22.y3.y44
+ y22.y32.y43
+ y22.y33.y42
+ y22.y34.y4
+ y23.y44
+ y23.y3.y43
+ y23.y32.y42
+ y24.y43
+ y24.y32.y4
+ y25.y42
+ y26.y4
+ y1.y32.y44
+ y1.y34.y42
+ y1.y2.y33.y42
+ y1.y2.y34.y4
+ y1.y23.y3.y42
+ y1.y24.y42
+ y1.y24.y3.y4
+ y1.y25.y4
+ y12.y3.y44
+ y12.y34.y4
+ y12.y2.y33.y4
+ y12.y22.y32.y4
+ y12.y23.y32
+ y12.y24.y3
+ y12.y25
+ y13.y22.y32
+ y13.y23.y3
+ y13.y24
+ y14.y3.y42
+ y14.y32.y4
+ y14.y2.y42
+ y14.y2.y32
+ y14.y22.y4
+ y14.y22.y3
+ y15.y22
+ y16.y2
- r1 restricts to
y36.y42
+ y37.y4
+ y2.y3.y46
+ y22.y3.y45
+ y22.y32.y44
+ y22.y34.y42
+ y22.y35.y4
+ y23.y3.y44
+ y23.y33.y42
+ y24.y44
+ y24.y3.y43
+ y27.y4
+ y1.y33.y44
+ y1.y35.y42
+ y1.y2.y36
+ y1.y22.y34.y4
+ y1.y22.y35
+ y1.y24.y32.y4
+ y1.y24.y33
+ y1.y25.y32
+ y12.y32.y44
+ y12.y35.y4
+ y12.y2.y34.y4
+ y12.y24.y3.y4
+ y12.y24.y32
+ y12.y25.y3
+ y12.y26
+ y13.y2.y34
+ y13.y24.y3
+ y13.y25
+ y14.y32.y42
+ y14.y33.y4
+ y14.y2.y32.y4
+ y14.y22.y3.y4
+ y15.y2.y32
+ y15.y22.y3
+ y15.y23
+ y16.y22
- r2 restricts to
y48
+ y32.y46
+ y33.y45
+ y34.y44
+ y35.y43
+ y36.y42
+ y2.y32.y45
+ y2.y33.y44
+ y2.y34.y43
+ y2.y36.y4
+ y22.y46
+ y22.y3.y45
+ y22.y32.y44
+ y22.y34.y42
+ y23.y45
+ y23.y3.y44
+ y23.y33.y42
+ y24.y3.y43
+ y24.y32.y42
+ y25.y43
+ y25.y3.y42
+ y25.y32.y4
+ y1.y2.y32.y44
+ y1.y2.y34.y42
+ y1.y23.y44
+ y1.y23.y34
+ y1.y25.y42
+ y1.y25.y32
+ y12.y32.y44
+ y12.y34.y42
+ y12.y22.y32.y42
+ y12.y22.y34
+ y12.y24.y42
+ y12.y24.y3.y4
+ y12.y25.y4
+ y12.y25.y3
+ y12.y26
+ y13.y25
+ y14.y44
+ y14.y32.y42
+ y14.y34
+ y14.y22.y3.y4
+ y14.y23.y4
+ y14.y23.y3
+ y14.y24
+ y15.y23
+ y16.y22
+ y18
(1 + 2t + 3t2
+ 4t3 + 4t4 + 5t5
+ 4t6 + 3t7 + 3t8
+ t9 - t11 - t12
- t13 - 2t14 - t15) /
(1 - t) (1 - t4) (1 - t6) (1 - t8)
Back to the groups of order 128