David J. Green

Cohomology
→Theory
→Implementation

Jena:

Faculty

External links:

Singular

Gap

Cohomology of group number 644 of order 128

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

General information on the group

• The group has 3 minimal generators and exponent 8.
• It is non-abelian.
• It has p-Rank 3.
• Its center has rank 1.
• It has 2 conjugacy classes of maximal elementary abelian subgroups, which are all of rank 3.

Structure of the cohomology ring

General information

• The cohomology ring is of dimension 3 and depth 1.
• The depth coincides with the Duflot bound.
• The Poincaré series is

  ( − 1) · (t13  −  2·t12  +  2·t11  −  t10  +  2·t9  +  t8  −  2·t7  +  3·t6  −  3·t5  +  3·t4  −  2·t3  +  2·t2  +  1)

  (t  −  1)3 · (t2  +  1) · (t4  +  1) · (t8  +  1)

• The a-invariants are -∞,-9,-3,-3. They were obtained using the filter regular HSOP of the Benson test.

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring generators

The cohomology ring has 15 minimal generators of maximal degree 16:

1. a_1_0, a nilpotent element of degree 1
2. a_1_2, a nilpotent element of degree 1
3. b_1_1, an element of degree 1
4. a_2_3, a nilpotent element of degree 2
5. a_2_4, a nilpotent element of degree 2
6. b_2_5, an element of degree 2
7. b_2_6, an element of degree 2
8. b_5_19, an element of degree 5
9. b_5_20, an element of degree 5
10. a_9_35, a nilpotent element of degree 9
11. b_9_43, an element of degree 9
12. b_9_44, an element of degree 9
13. a_10_38, a nilpotent element of degree 10
14. a_10_44, a nilpotent element of degree 10
15. c_16_113, a Duflot regular element of degree 16

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Ring relations

There are 64 minimal relations of maximal degree 20:

1. a_1_0²
2. a_1_0·b_1_1
3. a_1_2·b_1_1 + a_1_0·a_1_2
4. a_2_3·a_1_0
5. a_2_4·b_1_1 + a_2_3·a_1_2
6. a_2_4·a_1_0 + a_2_3·a_1_2
7. b_1_1³ + b_2_6·b_1_1 + b_2_6·a_1_0 + b_2_5·a_1_0 + a_1_2³
8. a_2_3²
9. a_2_3·a_2_4 + a_2_3·a_1_2²
10. a_2_4² + a_2_4·a_1_2² + a_1_2⁴
11. b_2_5·b_2_6·a_1_0 + b_2_5²·a_1_0 + b_2_6·a_1_2³ + a_1_2⁵
12. a_1_0·b_5_19 + a_2_4·b_2_6·a_1_2² + a_2_3·b_2_6·a_1_2² + b_2_6·a_1_2⁴
       + a_2_4·a_1_2⁴
13. a_1_2·b_5_19 + a_2_4·b_2_5·b_2_6 + a_2_4·b_2_5² + b_2_5·b_2_6·a_1_2²
       + b_2_5²·a_1_2² + a_2_4·b_2_6·a_1_2² + a_2_3·b_2_6·a_1_2² + b_2_6·a_1_2⁴
       + a_2_4·a_1_2⁴
14. b_1_1·b_5_20 + b_1_1·b_5_19 + b_2_5·b_2_6·b_1_1² + b_2_5²·b_1_1²
       + a_2_3·b_2_6·b_1_1² + a_2_3·b_2_6² + a_2_3·b_2_5·b_1_1² + a_2_3·b_2_5²
15. a_1_0·b_5_20 + a_2_3·b_2_6·b_1_1² + a_2_3·b_2_6² + a_2_4·b_2_6·a_1_2²
       + a_2_3·b_2_6·a_1_2² + b_2_6·a_1_2⁴
16. a_2_4·b_5_19 + b_2_5·b_2_6·a_1_2³ + b_2_5²·a_1_2³ + a_2_4·a_1_2⁵
17. b_2_5³·a_1_0 + a_2_3·b_5_20 + a_2_3·b_5_19 + a_2_3·b_2_5·b_2_6·b_1_1
       + a_2_3·b_2_5²·b_1_1 + a_2_3·b_2_6²·a_1_2 + b_2_6²·a_1_0·a_1_2² + b_2_5²·a_1_2³
       + a_2_4·a_1_2⁵
18. b_2_5·b_2_6²·a_1_2³ + b_2_5²·b_2_6·a_1_2³ + b_2_6²·a_1_2⁵
19. a_2_3·b_1_1²·b_5_19 + a_2_3·b_2_6·b_5_19 + a_2_4·a_1_2²·b_5_20
       + a_2_4·b_2_6²·a_1_2³
20. b_5_20² + b_5_19² + b_2_5²·b_2_6²·b_1_1² + b_2_5⁴·b_2_6 + a_2_4·b_2_6⁴
       + a_2_3·b_2_5³·b_1_1² + a_2_3·b_2_5³·b_2_6 + b_2_6⁴·a_1_2²
       + b_2_5·a_1_2³·b_5_20 + a_2_4·b_2_5²·b_2_6·a_1_2² + a_2_4·b_2_5³·a_1_2²
       + a_2_4·b_2_6²·a_1_2⁴
21. b_5_20² + b_5_19² + b_2_5²·b_2_6²·b_1_1² + b_2_5⁴·b_2_6 + b_1_1·a_9_35
       + a_2_4·b_2_6⁴ + a_2_3·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_6³·b_1_1² + a_2_3·b_2_6⁴
       + a_2_3·b_2_5·b_1_1·b_5_19 + b_2_6⁴·a_1_2² + a_2_4·b_2_6³·a_1_2²
       + a_2_4·b_2_5·b_2_6²·a_1_2² + a_2_4·b_2_5²·b_2_6·a_1_2²
       + a_2_4·b_2_5³·a_1_2² + a_2_3·b_2_6³·a_1_2²
22. b_5_20² + b_5_19² + b_2_5²·b_2_6²·b_1_1² + b_2_5⁴·b_2_6 + a_2_4·b_2_6⁴
       + a_2_3·b_2_6³·b_1_1² + a_2_3·b_2_6⁴ + a_1_0·a_9_35 + b_2_6⁴·a_1_2²
       + a_2_4·b_2_6³·a_1_2² + a_2_4·b_2_5·b_2_6²·a_1_2² + a_2_3·b_2_6³·a_1_2²
23. b_5_20² + b_1_1·b_9_43 + b_2_6²·b_1_1·b_5_19 + b_2_5·b_2_6·b_1_1·b_5_19
       + b_2_5²·b_2_6²·b_1_1² + b_2_5⁴·b_2_6 + a_2_4·b_2_6⁴ + a_2_4·b_2_5²·b_2_6²
       + a_2_4·b_2_5⁴ + a_2_3·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_6³·b_1_1² + a_2_3·b_2_6⁴
       + a_2_3·b_2_5·b_2_6³ + a_2_3·b_2_5²·b_2_6² + a_2_3·b_2_5³·b_2_6 + a_2_3·b_2_5⁴
       + b_2_6⁴·a_1_2² + a_2_4·b_2_5·b_2_6²·a_1_2² + a_2_4·b_2_5²·b_2_6·a_1_2²
24. b_5_20² + b_5_19² + b_2_5²·b_2_6²·b_1_1² + b_2_5⁴·b_2_6 + a_1_0·b_9_43
       + a_2_4·b_2_6⁴ + a_2_3·b_2_6³·b_1_1² + a_2_3·b_2_6⁴ + b_2_6⁴·a_1_2²
       + b_2_6·a_1_2³·b_5_20 + a_2_4·b_2_6³·a_1_2² + a_2_4·b_2_5²·b_2_6·a_1_2²
       + a_2_3·b_2_6³·a_1_2² + b_2_6³·a_1_2⁴
25. a_1_2·b_9_43 + b_2_6²·a_1_2·b_5_20 + b_2_5·b_2_6·a_1_2·b_5_20
       + a_2_4·b_2_5²·b_2_6² + a_2_4·b_2_5⁴ + b_2_5²·b_2_6²·a_1_2² + b_2_5⁴·a_1_2²
       + b_2_6·a_1_2³·b_5_20 + a_2_4·b_2_6³·a_1_2² + b_2_6³·a_1_2⁴
       + a_2_4·b_2_6²·a_1_2⁴
26. b_5_20² + b_1_1·b_9_44 + b_2_6²·b_1_1·b_5_19 + b_2_5²·b_1_1·b_5_19
       + b_2_5²·b_2_6²·b_1_1² + b_2_5³·b_2_6·b_1_1² + b_2_5⁴·b_1_1² + b_2_5⁴·b_2_6
       + a_2_4·b_2_5·b_2_6³ + a_2_4·b_2_5³·b_2_6 + a_2_4·b_2_5⁴
       + a_2_3·b_2_5·b_1_1·b_5_19 + a_2_3·b_2_5·b_2_6³ + a_2_3·b_2_5²·b_2_6²
       + a_2_3·b_2_5³·b_1_1² + a_2_3·b_2_5³·b_2_6 + a_1_2·a_9_35 + b_2_6⁴·a_1_2²
       + b_2_5³·b_2_6·a_1_2² + b_2_5⁴·a_1_2² + a_2_4·b_2_6·a_1_2·b_5_20
       + a_2_4·b_2_6³·a_1_2² + a_2_4·b_2_5²·b_2_6·a_1_2² + a_2_3·b_2_6³·a_1_2²
       + b_2_6³·a_1_2⁴ + a_2_4·b_2_6²·a_1_2⁴
27. b_5_20² + b_5_19² + b_2_5²·b_2_6²·b_1_1² + b_2_5⁴·b_2_6 + a_1_0·b_9_44
       + a_2_4·b_2_5·b_2_6³ + a_2_4·b_2_5²·b_2_6² + a_2_4·b_2_5³·b_2_6
       + a_2_3·b_2_5³·b_1_1² + a_2_3·b_2_5³·b_2_6 + a_1_2·a_9_35 + b_2_6⁴·a_1_2²
       + b_2_5³·b_2_6·a_1_2² + b_2_5⁴·a_1_2² + a_2_4·b_2_6·a_1_2·b_5_20
       + b_2_6·a_1_2³·b_5_20
28. a_2_3·a_9_35 + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_0·a_1_2²
       + a_2_4·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_5·a_1_2²·b_5_20 + a_2_4·b_2_6³·a_1_2³
29. a_2_4·b_9_43 + a_2_4·b_2_6²·b_5_20 + a_2_4·b_2_5·b_2_6·b_5_20
       + b_2_5³·b_2_6·a_1_2³ + b_2_5⁴·a_1_2³ + a_2_4·b_2_6·a_1_2²·b_5_20
       + b_2_6³·a_1_2⁵
30. b_1_1²·b_9_43 + b_2_6·b_9_43 + b_2_6³·b_5_20 + b_2_6³·b_5_19 + b_2_5·b_2_6²·b_5_20
       + b_2_5·b_2_6²·b_5_19 + b_2_5·b_2_6⁴·b_1_1 + b_2_5³·b_2_6²·b_1_1 + b_2_5·a_9_35
       + b_2_5·b_2_6⁴·a_1_2 + b_2_5²·b_2_6³·a_1_2 + b_2_5³·b_2_6²·a_1_2 + b_2_5⁵·a_1_2
       + a_2_4·b_2_5·b_2_6·b_5_20 + a_2_3·b_2_5·b_2_6·b_5_19 + a_2_3·b_2_5·b_2_6³·b_1_1
       + a_2_3·b_2_5²·b_5_19 + a_2_3·b_2_5³·b_2_6·b_1_1 + a_1_2²·b_9_44
       + b_2_5·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_5·b_2_6³·a_1_2
       + a_2_4·b_2_5²·b_2_6²·a_1_2 + a_2_4·b_2_5³·b_2_6·a_1_2 + a_1_2²·a_9_35
       + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_2³ + b_2_6⁴·a_1_0·a_1_2² + b_2_5⁴·a_1_2³
       + a_2_4·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_6³·a_1_2³ + b_2_6³·a_1_2⁵
31. a_2_3·b_9_44 + a_2_3·b_9_43 + a_2_3·b_2_5·b_2_6·b_5_19 + a_2_3·b_2_5²·b_5_19
       + a_2_3·b_2_5³·b_2_6·b_1_1 + a_2_3·b_2_5⁴·b_1_1 + a_2_4·a_9_35 + a_2_4·b_2_6⁴·a_1_2
       + a_2_4·b_2_5·b_2_6³·a_1_2 + a_2_4·b_2_5²·b_2_6²·a_1_2 + a_2_4·b_2_5⁴·a_1_2
       + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_2³ + b_2_6⁴·a_1_0·a_1_2²
       + b_2_5³·b_2_6·a_1_2³ + b_2_5⁴·a_1_2³ + a_2_4·b_2_5·a_1_2²·b_5_20
       + a_2_4·b_2_6³·a_1_2³
32. a_10_38·b_1_1 + a_2_3·b_9_43 + a_2_3·b_2_6⁴·b_1_1 + a_2_3·b_2_5·b_2_6·b_5_19
       + a_2_3·b_2_5·b_2_6³·b_1_1 + a_2_3·b_2_5²·b_2_6²·b_1_1 + a_2_4·b_2_6⁴·a_1_2
       + a_2_4·b_2_5·b_2_6³·a_1_2 + a_2_4·b_2_5²·b_2_6²·a_1_2 + a_2_4·b_2_5³·b_2_6·a_1_2
       + a_1_2²·a_9_35 + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_0·a_1_2² + b_2_5⁴·a_1_2³
       + a_2_4·b_2_6³·a_1_2³
33. a_10_38·a_1_0 + a_2_4·b_2_6⁴·a_1_2 + a_2_4·b_2_5·b_2_6³·a_1_2
       + a_2_4·b_2_5²·b_2_6²·a_1_2 + a_2_4·b_2_5³·b_2_6·a_1_2 + a_1_2²·a_9_35
       + b_2_5³·b_2_6·a_1_2³ + b_2_5⁴·a_1_2³ + a_2_4·b_2_6·a_1_2²·b_5_20
       + b_2_6³·a_1_2⁵
34. b_1_1²·b_9_43 + b_2_6·b_9_43 + b_2_6³·b_5_20 + b_2_6³·b_5_19 + b_2_5·b_2_6²·b_5_20
       + b_2_5·b_2_6²·b_5_19 + b_2_5·b_2_6⁴·b_1_1 + b_2_5³·b_2_6²·b_1_1 + b_2_5·a_9_35
       + b_2_5·b_2_6⁴·a_1_2 + b_2_5²·b_2_6³·a_1_2 + b_2_5³·b_2_6²·a_1_2 + b_2_5⁵·a_1_2
       + a_2_4·b_2_6²·b_5_20 + a_2_4·b_2_5·b_2_6·b_5_20 + a_2_4·b_2_5²·b_5_20
       + a_2_3·b_2_5·b_2_6·b_5_19 + a_2_3·b_2_5·b_2_6³·b_1_1 + a_2_3·b_2_5²·b_5_19
       + a_2_3·b_2_5³·b_2_6·b_1_1 + a_10_38·a_1_2 + b_2_6²·a_1_2²·b_5_20 + a_2_4·a_9_35
       + a_2_4·b_2_5²·b_2_6²·a_1_2 + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_2³
       + b_2_6⁴·a_1_0·a_1_2² + b_2_6³·a_1_2⁵
35. a_10_44·b_1_1 + a_2_3·b_2_6²·b_5_19 + a_2_3·b_2_5·b_2_6·b_5_19
       + a_2_3·b_2_5·b_2_6³·b_1_1 + a_2_4·a_9_35 + a_2_4·b_2_5³·b_2_6·a_1_2
       + a_2_4·b_2_5⁴·a_1_2 + a_1_2²·a_9_35 + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_2³
       + b_2_5⁴·a_1_2³ + a_2_4·b_2_6³·a_1_2³
36. a_10_44·a_1_0 + a_2_4·a_9_35 + a_2_4·b_2_5³·b_2_6·a_1_2 + a_2_4·b_2_5⁴·a_1_2
       + a_1_2²·a_9_35 + a_1_0·a_1_2·a_9_35 + b_2_6⁴·a_1_2³ + b_2_5⁴·a_1_2³
       + a_2_4·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_5·a_1_2²·b_5_20
37. b_1_1²·b_9_43 + b_2_6·b_9_43 + b_2_6³·b_5_20 + b_2_6³·b_5_19 + b_2_5·b_2_6²·b_5_20
       + b_2_5·b_2_6²·b_5_19 + b_2_5·b_2_6⁴·b_1_1 + b_2_5³·b_2_6²·b_1_1 + b_2_5·a_9_35
       + b_2_5·b_2_6⁴·a_1_2 + b_2_5²·b_2_6³·a_1_2 + b_2_5³·b_2_6²·a_1_2 + b_2_5⁵·a_1_2
       + a_2_4·b_9_44 + a_2_4·b_2_6²·b_5_20 + a_2_4·b_2_5·b_2_6·b_5_20 + a_2_4·b_2_5²·b_5_20
       + a_2_3·b_2_5·b_2_6·b_5_19 + a_2_3·b_2_5·b_2_6³·b_1_1 + a_2_3·b_2_5²·b_5_19
       + a_2_3·b_2_5³·b_2_6·b_1_1 + a_10_44·a_1_2 + b_2_5²·a_1_2²·b_5_20 + a_2_4·a_9_35
       + a_2_4·b_2_6⁴·a_1_2 + a_2_4·b_2_5³·b_2_6·a_1_2 + a_1_2²·a_9_35
       + b_2_6⁴·a_1_0·a_1_2² + a_2_4·b_2_6·a_1_2²·b_5_20 + b_2_6³·a_1_2⁵
38. a_2_3·a_10_38 + a_2_4·a_1_2·a_9_35 + a_2_4·b_2_6⁴·a_1_2²
       + a_2_4·b_2_5·b_2_6³·a_1_2² + b_2_6⁴·a_1_2⁴ + a_2_4·b_2_6³·a_1_2⁴
39. a_2_4·a_10_38 + a_2_4·b_2_5·b_2_6·a_1_2·b_5_20 + a_2_4·b_2_5²·a_1_2·b_5_20
       + a_10_44·a_1_2² + a_10_38·a_1_2² + a_2_4·b_2_6⁴·a_1_2²
       + a_2_4·b_2_5·b_2_6³·a_1_2² + a_2_4·b_2_5²·b_2_6²·a_1_2²
       + a_2_4·b_2_5⁴·a_1_2² + a_1_0·a_1_2²·a_9_35 + b_2_6⁴·a_1_2⁴
40. a_2_3·a_10_44 + a_2_4·b_2_6⁴·a_1_2² + a_2_4·b_2_5·b_2_6³·a_1_2²
       + a_2_4·b_2_5²·b_2_6²·a_1_2² + a_2_4·b_2_5³·b_2_6·a_1_2² + a_1_2³·a_9_35
       + a_1_0·a_1_2²·a_9_35
41. a_2_4·a_10_44 + a_2_4·b_2_5·b_2_6·a_1_2·b_5_20 + a_2_4·b_2_5²·a_1_2·b_5_20
       + a_10_38·a_1_2² + b_2_5·b_2_6·a_1_2³·b_5_20 + b_2_5²·a_1_2³·b_5_20
       + a_2_4·b_2_6⁴·a_1_2² + a_2_4·b_2_5·b_2_6³·a_1_2² + a_2_4·b_2_5⁴·a_1_2²
       + a_1_2³·a_9_35 + a_1_0·a_1_2²·a_9_35 + b_2_6⁴·a_1_2⁴ + a_2_4·b_2_6³·a_1_2⁴
42. b_2_6³·b_1_1²·b_5_19 + b_2_6⁴·b_5_19 + b_2_5·b_2_6²·b_1_1²·b_5_19
       + b_2_5·b_2_6³·b_5_19 + b_2_5²·b_2_6·b_1_1²·b_5_19 + b_2_5²·b_2_6²·b_5_19
       + b_2_5³·b_1_1²·b_5_19 + b_2_5³·b_2_6·b_5_19 + b_2_5·b_2_6·a_9_35
       + b_2_5·b_2_6⁵·a_1_2 + b_2_5²·a_9_35 + b_2_5⁴·b_2_6²·a_1_2 + b_2_5⁵·b_2_6·a_1_2
       + b_2_5⁶·a_1_2 + a_2_4·b_2_5²·b_2_6·b_5_20 + a_2_4·b_2_5³·b_5_20
       + a_2_3·b_2_5·b_2_6²·b_5_19 + a_2_3·b_2_5³·b_5_19 + b_2_6·a_1_2²·b_9_44
       + b_2_6³·a_1_2²·b_5_20 + b_2_5·a_1_2²·b_9_44 + b_2_5·a_10_38·a_1_2
       + b_2_5³·a_1_2²·b_5_20 + a_2_4·b_2_6⁵·a_1_2 + a_2_4·b_2_5²·b_2_6³·a_1_2
       + a_2_4·b_2_5³·b_2_6²·a_1_2 + a_2_4·b_2_5⁴·b_2_6·a_1_2 + b_2_6·a_1_2²·a_9_35
       + b_2_6·a_1_0·a_1_2·a_9_35 + b_2_6⁵·a_1_2³ + b_2_5·a_1_2²·a_9_35 + b_2_5⁵·a_1_2³
       + a_2_4·b_2_5·b_2_6·a_1_2²·b_5_20 + a_1_2⁴·b_9_44 + a_10_44·a_1_2³
       + a_10_38·a_1_2³ + a_2_4·a_1_2²·a_9_35 + a_1_2⁴·a_9_35 + b_2_6⁴·a_1_2⁵
43. b_2_6²·b_5_19·b_5_20 + b_2_6²·b_1_1·b_9_43 + b_2_6⁴·b_1_1·b_5_19
       + b_2_5·b_2_6·b_5_19·b_5_20 + b_2_5·b_2_6·b_1_1·b_9_43 + b_2_5·b_2_6³·b_1_1·b_5_19
       + b_2_5²·b_2_6²·b_1_1·b_5_19 + b_2_5³·b_2_6·b_1_1·b_5_19 + b_5_20·a_9_35
       + b_5_19·a_9_35 + b_2_6²·a_1_2·b_9_44 + b_2_6²·a_10_38 + b_2_6⁴·a_1_2·b_5_20
       + b_2_5⁴·a_1_2·b_5_20 + a_2_4·b_2_6⁶ + a_2_4·b_2_5⁵·b_2_6 + a_2_4·b_2_5⁶
       + a_2_3·b_2_6·b_1_1·b_9_43 + a_2_3·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_6⁶
       + a_2_3·b_2_5²·b_2_6⁴ + a_2_3·b_2_5⁵·b_1_1² + b_2_6²·a_1_2·a_9_35
       + b_2_6⁶·a_1_2² + b_2_5²·a_1_2·a_9_35 + b_2_5²·b_2_6⁴·a_1_2²
       + b_2_5³·b_2_6³·a_1_2² + b_2_5⁴·b_2_6²·a_1_2² + b_2_5⁵·b_2_6·a_1_2²
       + a_2_4·b_2_5³·a_1_2·b_5_20 + b_2_6·a_1_2³·b_9_44 + b_2_6·a_10_38·a_1_2²
       + b_2_5·a_10_38·a_1_2² + a_2_4·b_2_6·a_1_2·a_9_35 + a_2_4·b_2_6⁵·a_1_2²
       + a_2_4·b_2_5⁴·b_2_6·a_1_2² + a_2_4·b_2_5⁵·a_1_2² + b_2_6·a_1_0·a_1_2²·a_9_35
       + a_1_2⁵·a_9_35
44. b_5_20·b_9_43 + b_5_19·b_9_43 + b_2_6²·b_5_19·b_5_20 + b_2_6²·b_1_1·b_9_43
       + b_2_6⁴·b_1_1·b_5_19 + b_2_5·b_2_6·b_5_19·b_5_20 + b_2_5·b_2_6³·b_1_1·b_5_19
       + b_2_5²·b_1_1·b_9_43 + b_2_5²·b_2_6²·b_1_1·b_5_19 + b_2_5³·b_2_6·b_1_1·b_5_19
       + b_2_5⁴·b_2_6²·b_1_1² + b_2_5⁴·b_2_6³ + b_2_5⁵·b_2_6·b_1_1²
       + b_2_5⁵·b_2_6² + b_2_5²·a_1_2·b_9_44 + b_2_5²·a_10_38
       + b_2_5³·b_2_6·a_1_2·b_5_20 + b_2_5⁴·a_1_2·b_5_20 + a_2_4·b_2_6⁶
       + a_2_4·b_2_5⁴·b_2_6² + a_2_3·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5·b_1_1·b_9_43
       + a_2_3·b_2_5·b_2_6⁵ + a_2_3·b_2_5²·b_2_6⁴ + a_2_3·b_2_5³·b_2_6³
       + a_2_3·b_2_5⁴·b_2_6² + a_2_3·b_2_5⁵·b_1_1² + b_2_6²·a_1_0·a_9_35
       + b_2_6⁶·a_1_2² + b_2_5·b_2_6·a_1_2·a_9_35 + b_2_5·b_2_6⁵·a_1_2²
       + b_2_5²·b_2_6⁴·a_1_2² + b_2_5³·b_2_6³·a_1_2² + b_2_5⁴·b_2_6²·a_1_2²
       + b_2_5⁵·b_2_6·a_1_2² + a_2_4·b_2_5³·a_1_2·b_5_20 + b_2_6·a_10_38·a_1_2²
       + b_2_5²·b_2_6·a_1_2³·b_5_20 + b_2_5³·a_1_2³·b_5_20 + a_2_4·b_2_6·a_1_2·a_9_35
       + a_2_4·b_2_5⁴·b_2_6·a_1_2² + a_2_4·b_2_5⁵·a_1_2² + b_2_6·a_1_2³·a_9_35
       + b_2_6⁵·a_1_2⁴ + a_10_44·a_1_2⁴
45. b_5_19·a_9_35 + a_2_4·b_2_5⁴·b_2_6² + a_2_4·b_2_5⁶ + a_2_3·b_2_6·b_1_1·b_9_43
       + a_2_3·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5·b_1_1·b_9_43
       + a_2_3·b_2_5²·b_2_6·b_1_1·b_5_19 + b_2_5·b_2_6⁵·a_1_2²
       + b_2_5⁴·b_2_6²·a_1_2² + b_2_5⁵·b_2_6·a_1_2² + b_2_5⁶·a_1_2²
       + b_2_6·a_10_44·a_1_2² + b_2_5·a_10_38·a_1_2² + b_2_5²·b_2_6·a_1_2³·b_5_20
       + b_2_5³·a_1_2³·b_5_20 + a_2_4·b_2_6·a_1_2·a_9_35 + a_2_4·b_2_5³·b_2_6²·a_1_2²
       + a_2_4·b_2_5⁴·b_2_6·a_1_2² + a_10_38·a_1_2⁴
46. b_5_20·b_9_43 + b_5_19·b_9_44 + b_2_6²·b_5_19·b_5_20 + b_2_6²·b_1_1·b_9_43
       + b_2_6⁴·b_1_1·b_5_19 + b_2_5·b_2_6³·b_1_1·b_5_19 + b_2_5²·b_5_19·b_5_20
       + b_2_5²·b_1_1·b_9_43 + b_2_5⁴·b_2_6²·b_1_1² + b_2_5⁴·b_2_6³
       + b_2_5⁵·b_2_6·b_1_1² + b_2_5⁵·b_2_6² + b_2_5·b_2_6·a_10_44
       + b_2_5·b_2_6³·a_1_2·b_5_20 + b_2_5²·a_1_2·b_9_44 + b_2_5²·a_10_44 + b_2_5²·a_10_38
       + b_2_5⁴·a_1_2·b_5_20 + a_2_4·b_2_6⁶ + a_2_4·b_2_5³·b_2_6³
       + a_2_3·b_2_6·b_1_1·b_9_43 + a_2_3·b_2_5·b_2_6²·b_1_1·b_5_19 + a_2_3·b_2_5·b_2_6⁵
       + a_2_3·b_2_5⁴·b_2_6² + a_2_3·b_2_5⁵·b_1_1² + b_2_6²·a_1_0·a_9_35
       + b_2_6⁶·a_1_2² + b_2_5·b_2_6·a_1_2·a_9_35 + b_2_5·b_2_6⁵·a_1_2²
       + b_2_5²·b_2_6⁴·a_1_2² + b_2_5³·b_2_6³·a_1_2² + b_2_5⁵·b_2_6·a_1_2²
       + b_2_5⁶·a_1_2² + a_2_4·b_2_5³·a_1_2·b_5_20 + b_2_6·a_1_2³·b_9_44
       + b_2_6·a_10_38·a_1_2² + b_2_5·a_10_38·a_1_2² + b_2_5²·b_2_6·a_1_2³·b_5_20
       + b_2_5³·a_1_2³·b_5_20 + a_2_4·b_2_6·a_1_2·a_9_35 + b_2_6·a_1_0·a_1_2²·a_9_35
       + b_2_6⁵·a_1_2⁴ + a_10_38·a_1_2⁴
47. b_2_5²·b_2_6²·b_1_1²·b_5_19 + b_2_5²·b_2_6³·b_5_19
       + b_2_5³·b_2_6·b_1_1²·b_5_19 + b_2_5³·b_2_6²·b_5_19 + a_1_2·b_5_20·b_9_44
       + a_10_44·b_5_19 + a_10_38·b_5_20 + a_10_38·b_5_19 + b_2_5³·a_9_35
       + b_2_5³·b_2_6⁴·a_1_2 + b_2_5⁴·b_2_6³·a_1_2 + b_2_5⁶·b_2_6·a_1_2 + b_2_5⁷·a_1_2
       + a_2_4·b_2_5⁴·b_5_20 + a_2_3·b_2_6²·b_9_43 + a_2_3·b_2_6⁴·b_5_19
       + a_2_3·b_2_5·b_2_6³·b_5_19 + a_2_3·b_2_5·b_2_6⁵·b_1_1 + a_2_3·b_2_5²·b_9_43
       + a_2_3·b_2_5⁴·b_5_19 + a_2_3·b_2_5⁴·b_2_6²·b_1_1 + b_2_6⁴·a_1_2²·b_5_20
       + b_2_5·b_2_6·a_1_2²·b_9_44 + b_2_5²·a_1_2²·b_9_44 + b_2_5²·a_10_38·a_1_2
       + b_2_5³·b_2_6·a_1_2²·b_5_20 + b_2_5⁴·a_1_2²·b_5_20 + a_2_4·b_2_5⁶·a_1_2
       + b_2_6²·a_1_2²·a_9_35 + b_2_6²·a_1_0·a_1_2·a_9_35 + b_2_6⁶·a_1_0·a_1_2²
       + b_2_5·b_2_6·a_1_2²·a_9_35 + b_2_5·a_10_38·a_1_2³ + a_2_4·b_2_6·a_1_2²·a_9_35
       + b_2_6·a_1_2⁴·a_9_35 + b_2_6⁵·a_1_2⁵
48. b_2_5²·b_2_6²·b_1_1²·b_5_19 + b_2_5²·b_2_6³·b_5_19
       + b_2_5³·b_2_6·b_1_1²·b_5_19 + b_2_5³·b_2_6²·b_5_19 + a_1_2·b_5_20·b_9_44
       + a_10_38·b_5_20 + a_10_38·b_5_19 + b_2_5³·a_9_35 + b_2_5³·b_2_6⁴·a_1_2
       + b_2_5⁴·b_2_6³·a_1_2 + b_2_5⁶·b_2_6·a_1_2 + b_2_5⁷·a_1_2 + a_2_4·b_2_5⁴·b_5_20
       + a_2_3·b_2_5·b_2_6·b_9_43 + a_2_3·b_2_5·b_2_6⁵·b_1_1 + a_2_3·b_2_5²·b_9_43
       + a_2_3·b_2_5²·b_2_6²·b_5_19 + a_2_3·b_2_5⁴·b_5_19 + a_2_3·b_2_5⁴·b_2_6²·b_1_1
       + b_2_6⁴·a_1_2²·b_5_20 + b_2_5·b_2_6·a_1_2²·b_9_44 + b_2_5·b_2_6·a_10_44·a_1_2
       + b_2_5·b_2_6·a_10_38·a_1_2 + b_2_5²·a_10_44·a_1_2 + b_2_5²·a_10_38·a_1_2
       + a_2_4·b_2_5³·b_2_6³·a_1_2 + a_2_4·b_2_5⁵·b_2_6·a_1_2 + a_2_4·b_2_5⁶·a_1_2
       + b_2_6²·a_1_2²·a_9_35 + b_2_5·b_2_6·a_1_2²·a_9_35 + b_2_5²·a_1_2²·a_9_35
       + b_2_5⁵·b_2_6·a_1_2³ + b_2_6·a_10_44·a_1_2³ + b_2_6⁵·a_1_2⁵ + a_10_44·a_1_2⁵
49. b_2_6·a_10_38·b_5_19 + a_2_3·b_1_1·b_5_19·b_9_43 + a_2_3·b_2_6⁵·b_5_19
       + a_2_3·b_2_5·b_2_6²·b_9_43 + b_2_5·b_2_6²·a_10_44·a_1_2
       + b_2_5²·b_2_6·a_1_2²·b_9_44 + b_2_5²·b_2_6·a_10_44·a_1_2
       + b_2_5²·b_2_6·a_10_38·a_1_2 + b_2_5²·b_2_6³·a_1_2²·b_5_20
       + b_2_5³·b_2_6²·a_1_2²·b_5_20 + a_2_4·b_2_5⁵·b_2_6²·a_1_2
       + a_2_4·b_2_5⁶·b_2_6·a_1_2 + a_10_44·a_1_2²·b_5_20 + b_2_5·b_2_6²·a_1_2²·a_9_35
       + b_2_5²·b_2_6·a_1_2²·a_9_35 + b_2_5³·a_1_2²·a_9_35 + b_2_5⁶·b_2_6·a_1_2³
       + b_2_5⁷·a_1_2³ + a_2_4·b_2_5⁴·a_1_2²·b_5_20 + b_2_6²·a_10_44·a_1_2³
       + b_2_5²·a_10_38·a_1_2³ + b_2_6·a_10_44·a_1_2⁵
50. a_2_4·b_2_6⁸ + a_2_4·b_2_5⁶·b_2_6² + a_9_35² + b_2_6⁸·a_1_2²
       + b_2_5·a_1_2²·b_5_20·b_9_44 + b_2_5·a_10_38·a_1_2·b_5_20
       + b_2_5²·b_2_6²·a_1_2·a_9_35 + b_2_5²·b_2_6⁶·a_1_2²
       + b_2_5³·b_2_6·a_1_2·a_9_35 + b_2_5⁴·a_1_2·a_9_35 + b_2_5⁴·b_2_6⁴·a_1_2²
       + b_2_5⁶·b_2_6²·a_1_2² + a_2_4·b_2_5⁴·b_2_6·a_1_2·b_5_20
       + b_2_5³·a_10_38·a_1_2² + b_2_5⁴·b_2_6·a_1_2³·b_5_20
       + a_2_4·b_2_5⁵·b_2_6²·a_1_2² + a_2_4·b_2_5⁶·b_2_6·a_1_2²
       + b_2_6²·a_1_2⁵·a_9_35
51. b_9_43·b_9_44 + b_9_43² + b_2_6²·b_5_20·b_9_44 + b_2_6²·b_5_19·b_9_43
       + b_2_5·b_2_6·b_5_20·b_9_44 + b_2_5·b_2_6⁵·b_1_1·b_5_19 + b_2_5²·b_5_19·b_9_43
       + b_2_5³·b_2_6·b_1_1·b_9_43 + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5⁴·b_1_1·b_9_43
       + b_2_5⁴·b_2_6⁵ + b_2_5⁵·b_2_6³·b_1_1² + b_2_5⁶·b_2_6³
       + b_2_5⁷·b_2_6·b_1_1² + a_9_35·b_9_43 + b_2_6⁴·a_1_2·b_9_44 + b_2_6⁴·a_10_38
       + b_2_6⁶·a_1_2·b_5_20 + b_2_5·b_2_6³·a_1_2·b_9_44 + b_2_5·b_2_6³·a_10_38
       + b_2_5·b_2_6⁵·a_1_2·b_5_20 + b_2_5²·b_2_6²·a_10_44 + b_2_5²·b_2_6⁴·a_1_2·b_5_20
       + b_2_5³·b_2_6·a_1_2·b_9_44 + b_2_5³·b_2_6·a_10_38 + b_2_5³·b_2_6³·a_1_2·b_5_20
       + b_2_5⁴·a_1_2·b_9_44 + b_2_5⁴·a_10_44 + b_2_5⁴·a_10_38
       + b_2_5⁴·b_2_6²·a_1_2·b_5_20 + b_2_5⁶·a_1_2·b_5_20 + a_2_4·b_2_6⁸
       + a_2_4·b_2_5⁶·b_2_6² + a_2_4·b_2_5⁷·b_2_6 + a_2_4·b_2_5⁸
       + a_2_3·b_2_6⁵·b_1_1·b_5_19 + a_2_3·b_2_6⁸ + a_2_3·b_2_5²·b_2_6·b_1_1·b_9_43
       + a_2_3·b_2_5²·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5²·b_2_6⁶
       + a_2_3·b_2_5³·b_1_1·b_9_43 + a_2_3·b_2_5⁵·b_2_6³ + a_2_3·b_2_5⁷·b_2_6 + a_9_35²
       + b_2_6·a_10_38·a_1_2·b_5_20 + b_2_6⁴·a_1_2·a_9_35 + b_2_6⁴·a_1_0·a_9_35
       + b_2_6⁸·a_1_2² + b_2_5·a_10_38·a_1_2·b_5_20 + b_2_5²·b_2_6²·a_1_2·a_9_35
       + b_2_5³·b_2_6·a_1_2·a_9_35 + b_2_5³·b_2_6⁵·a_1_2² + b_2_5⁴·a_1_2·a_9_35
       + b_2_5⁴·b_2_6⁴·a_1_2² + b_2_5⁵·b_2_6³·a_1_2²
       + a_2_4·b_2_5⁴·b_2_6·a_1_2·b_5_20 + a_2_4·b_2_5⁵·a_1_2·b_5_20
       + b_2_6³·a_10_38·a_1_2² + b_2_5·b_2_6²·a_10_44·a_1_2²
       + b_2_5·b_2_6²·a_10_38·a_1_2² + b_2_5²·b_2_6·a_10_38·a_1_2²
       + b_2_5⁴·b_2_6·a_1_2³·b_5_20 + a_2_4·b_2_6³·a_1_2·a_9_35 + a_2_4·b_2_6⁷·a_1_2²
       + a_2_4·b_2_5⁵·b_2_6²·a_1_2² + a_2_4·b_2_5⁶·b_2_6·a_1_2²
       + b_2_6²·a_10_44·a_1_2⁴ + b_2_6²·a_10_38·a_1_2⁴
52. a_9_35·b_9_43 + b_2_6⁴·a_1_2·b_9_44 + b_2_6⁴·a_10_38 + b_2_6⁶·a_1_2·b_5_20
       + b_2_5·b_2_6⁵·a_1_2·b_5_20 + b_2_5²·b_2_6²·a_1_2·b_9_44 + b_2_5²·b_2_6²·a_10_38
       + b_2_5²·b_2_6⁴·a_1_2·b_5_20 + b_2_5⁵·b_2_6·a_1_2·b_5_20 + a_2_4·b_2_5⁷·b_2_6
       + a_2_4·b_2_5⁸ + a_2_3·b_2_6·b_5_19·b_9_43 + a_2_3·b_2_6³·b_1_1·b_9_43
       + a_2_3·b_2_6⁸ + a_2_3·b_2_5·b_5_19·b_9_43 + a_2_3·b_2_5·b_2_6⁴·b_1_1·b_5_19
       + a_2_3·b_2_5·b_2_6⁷ + a_2_3·b_2_5²·b_2_6·b_1_1·b_9_43
       + a_2_3·b_2_5³·b_2_6²·b_1_1·b_5_19 + a_2_3·b_2_5³·b_2_6⁵
       + a_2_3·b_2_5⁴·b_2_6⁴ + a_9_35² + b_2_6·a_10_38·a_1_2·b_5_20
       + b_2_6⁴·a_1_2·a_9_35 + b_2_6⁴·a_1_0·a_9_35 + b_2_5·b_2_6⁷·a_1_2²
       + b_2_5³·b_2_6⁵·a_1_2² + a_2_4·b_2_5⁵·a_1_2·b_5_20 + b_2_6³·a_10_44·a_1_2²
       + b_2_5³·a_10_44·a_1_2² + a_2_4·b_2_6⁷·a_1_2² + a_2_4·b_2_5⁶·b_2_6·a_1_2²
       + a_2_4·b_2_5⁷·a_1_2² + b_2_6³·a_1_2³·a_9_35 + b_2_6⁷·a_1_2⁴
       + b_2_6²·a_10_44·a_1_2⁴ + b_2_6²·a_10_38·a_1_2⁴
53. b_9_43² + b_2_6²·b_5_19·b_9_43 + b_2_6⁶·b_1_1·b_5_19 + b_2_5·b_2_6³·b_1_1·b_9_43
       + b_2_5·b_2_6⁵·b_1_1·b_5_19 + b_2_5·b_2_6⁷·b_1_1² + b_2_5²·b_2_6²·b_1_1·b_9_43
       + b_2_5²·b_2_6⁴·b_1_1·b_5_19 + b_2_5²·b_2_6⁶·b_1_1²
       + b_2_5³·b_2_6·b_1_1·b_9_43 + b_2_5³·b_2_6⁵·b_1_1² + b_2_5⁴·b_1_1·b_9_43
       + b_2_5⁴·b_2_6²·b_1_1·b_5_19 + b_2_5⁴·b_2_6⁴·b_1_1² + b_2_5⁴·b_2_6⁵
       + b_2_5⁵·b_2_6·b_1_1·b_5_19 + b_2_5⁵·b_2_6³·b_1_1² + b_2_5⁶·b_2_6³
       + b_2_5·b_2_6³·a_1_2·b_9_44 + b_2_5·b_2_6³·a_10_38 + b_2_5²·b_5_20·a_9_35
       + b_2_5²·b_2_6²·a_1_2·b_9_44 + b_2_5²·b_2_6²·a_10_38 + b_2_5³·b_2_6·a_1_2·b_9_44
       + b_2_5³·b_2_6·a_10_38 + b_2_5³·b_2_6³·a_1_2·b_5_20 + b_2_5⁴·b_2_6²·a_1_2·b_5_20
       + b_2_5⁵·b_2_6·a_1_2·b_5_20 + b_2_5⁶·a_1_2·b_5_20 + a_2_4·b_2_6⁸
       + a_2_4·b_2_5⁷·b_2_6 + a_2_4·b_2_5⁸ + a_2_3·b_2_6·b_5_19·b_9_43
       + a_2_3·b_2_6³·b_1_1·b_9_43 + a_2_3·b_2_5·b_2_6⁷
       + a_2_3·b_2_5²·b_2_6·b_1_1·b_9_43 + a_2_3·b_2_5³·b_1_1·b_9_43
       + a_2_3·b_2_5⁴·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁴ + a_2_3·b_2_5⁵·b_2_6³
       + a_2_3·b_2_5⁸ + b_2_6·a_10_38·a_1_2·b_5_20 + b_2_6⁸·a_1_2²
       + b_2_5·a_1_2²·b_5_20·b_9_44 + b_2_5·b_2_6⁷·a_1_2² + b_2_5²·b_2_6²·a_1_2·a_9_35
       + b_2_5²·b_2_6⁶·a_1_2² + b_2_5³·b_2_6·a_1_2·a_9_35 + b_2_5³·b_2_6⁵·a_1_2²
       + b_2_5⁷·b_2_6·a_1_2² + a_2_4·b_2_5⁴·b_2_6·a_1_2·b_5_20 + b_2_6³·a_1_2³·b_9_44
       + b_2_5·b_2_6²·a_10_44·a_1_2² + b_2_5³·a_10_44·a_1_2²
       + b_2_5⁴·b_2_6·a_1_2³·b_5_20 + a_2_4·b_2_6³·a_1_2·a_9_35 + a_2_4·b_2_6⁷·a_1_2²
       + a_2_4·b_2_5⁵·b_2_6²·a_1_2² + a_2_4·b_2_5⁶·b_2_6·a_1_2²
       + a_2_4·b_2_5⁷·a_1_2² + b_2_6³·a_1_2³·a_9_35 + b_2_6⁷·a_1_2⁴
       + b_2_6²·a_10_44·a_1_2⁴ + b_2_6²·a_10_38·a_1_2⁴ + c_16_113·b_1_1²
54. b_9_43·b_9_44 + b_9_43² + b_2_6²·b_5_20·b_9_44 + b_2_6²·b_5_19·b_9_43
       + b_2_5·b_2_6·b_5_20·b_9_44 + b_2_5·b_2_6⁵·b_1_1·b_5_19 + b_2_5²·b_5_19·b_9_43
       + b_2_5³·b_2_6·b_1_1·b_9_43 + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5⁴·b_1_1·b_9_43
       + b_2_5⁴·b_2_6⁵ + b_2_5⁵·b_2_6³·b_1_1² + b_2_5⁶·b_2_6³
       + b_2_5⁷·b_2_6·b_1_1² + a_9_35·b_9_44 + b_2_6⁴·a_10_44 + b_2_6⁴·a_10_38
       + b_2_6⁶·a_1_2·b_5_20 + b_2_5·b_2_6³·a_1_2·b_9_44 + b_2_5·b_2_6³·a_10_44
       + b_2_5·b_2_6⁵·a_1_2·b_5_20 + b_2_5²·b_2_6²·a_1_2·b_9_44 + b_2_5³·b_2_6·a_10_44
       + b_2_5³·b_2_6³·a_1_2·b_5_20 + b_2_5⁴·a_10_44 + b_2_5⁴·a_10_38
       + b_2_5⁶·a_1_2·b_5_20 + a_2_4·b_2_6⁸ + a_2_4·b_2_5⁶·b_2_6² + a_2_3·b_2_6⁸
       + a_2_3·b_2_5·b_2_6⁴·b_1_1·b_5_19 + a_2_3·b_2_5²·b_2_6·b_1_1·b_9_43
       + a_2_3·b_2_5²·b_2_6³·b_1_1·b_5_19 + a_2_3·b_2_5²·b_2_6⁶
       + a_2_3·b_2_5³·b_1_1·b_9_43 + a_2_3·b_2_5³·b_2_6⁵
       + a_2_3·b_2_5⁴·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5⁵·b_1_1·b_5_19 + a_2_3·b_2_5⁷·b_2_6
       + b_2_6·a_10_44·a_1_2·b_5_20 + b_2_6·a_10_38·a_1_2·b_5_20 + b_2_6⁸·a_1_2²
       + b_2_5·a_10_38·a_1_2·b_5_20 + b_2_5·b_2_6³·a_1_2·a_9_35
       + b_2_5²·b_2_6²·a_1_2·a_9_35 + b_2_5³·b_2_6·a_1_2·a_9_35
       + b_2_5³·b_2_6⁵·a_1_2² + b_2_5⁴·a_1_2·a_9_35 + a_2_4·b_2_5⁴·b_2_6·a_1_2·b_5_20
       + b_2_6³·a_1_2³·b_9_44 + b_2_6³·a_10_38·a_1_2² + b_2_5·b_2_6²·a_10_44·a_1_2²
       + a_2_4·b_2_6³·a_1_2·a_9_35 + a_2_4·b_2_5⁵·b_2_6²·a_1_2²
       + a_2_4·b_2_5⁶·b_2_6·a_1_2² + b_2_6³·a_1_2³·a_9_35 + b_2_6⁷·a_1_2⁴
       + b_2_6²·a_1_2⁵·a_9_35 + c_16_113·a_1_0·a_1_2
55. b_9_44² + b_9_43² + b_2_5·b_2_6⁷·b_1_1² + b_2_5·b_2_6⁸
       + b_2_5²·b_2_6²·b_1_1·b_9_43 + b_2_5²·b_2_6⁴·b_1_1·b_5_19
       + b_2_5³·b_2_6³·b_1_1·b_5_19 + b_2_5⁴·b_1_1·b_9_43 + b_2_5⁴·b_2_6²·b_1_1·b_5_19
       + b_2_5⁵·b_2_6·b_1_1·b_5_19 + b_2_5⁵·b_2_6³·b_1_1² + b_2_5⁵·b_2_6⁴
       + b_2_5⁶·b_2_6³ + b_2_5⁸·b_2_6 + b_2_6⁴·a_1_2·b_9_44 + b_2_6⁶·a_1_2·b_5_20
       + b_2_5²·b_2_6²·a_1_2·b_9_44 + b_2_5⁴·b_2_6²·a_1_2·b_5_20
       + a_2_4·b_2_5⁶·b_2_6² + a_2_4·b_2_5⁸ + a_2_3·b_2_5²·b_2_6³·b_1_1·b_5_19
       + a_2_3·b_2_5³·b_2_6⁵ + a_2_3·b_2_5⁴·b_2_6·b_1_1·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁴
       + a_2_3·b_2_5⁷·b_2_6 + a_2_3·b_2_5⁸ + a_9_35² + b_2_6·a_10_38·a_1_2·b_5_20
       + b_2_6⁴·a_1_2·a_9_35 + b_2_5·a_10_38·a_1_2·b_5_20 + b_2_5·b_2_6³·a_1_2·a_9_35
       + b_2_5²·b_2_6²·a_1_2·a_9_35 + b_2_5²·b_2_6⁶·a_1_2²
       + b_2_5³·b_2_6·a_1_2·a_9_35 + b_2_5⁴·a_1_2·a_9_35 + b_2_5⁵·b_2_6³·a_1_2²
       + b_2_5⁶·b_2_6²·a_1_2² + b_2_5⁷·b_2_6·a_1_2² + b_2_5⁸·a_1_2²
       + a_2_4·b_2_5⁴·b_2_6·a_1_2·b_5_20 + b_2_6³·a_10_38·a_1_2²
       + b_2_5³·a_10_44·a_1_2² + b_2_5⁴·b_2_6·a_1_2³·b_5_20
       + a_2_4·b_2_6³·a_1_2·a_9_35 + a_2_4·b_2_6⁷·a_1_2²
       + a_2_4·b_2_5⁵·b_2_6²·a_1_2² + b_2_6³·a_1_0·a_1_2²·a_9_35
       + b_2_6²·a_10_38·a_1_2⁴ + b_2_6²·a_1_2⁵·a_9_35 + c_16_113·a_1_2²
56. a_10_44·b_9_43 + b_2_6²·a_10_44·b_5_20 + b_2_5·b_2_6·a_10_44·b_5_20
       + a_2_3·b_2_6·b_1_1·b_5_19·b_9_43 + a_2_3·b_2_6⁴·b_9_43 + a_2_3·b_2_6⁶·b_5_19
       + a_2_3·b_2_5·b_1_1·b_5_19·b_9_43 + a_2_3·b_2_5·b_2_6³·b_9_43
       + a_2_3·b_2_5·b_2_6⁵·b_5_19 + a_2_3·b_2_5²·b_2_6²·b_9_43
       + a_2_3·b_2_5²·b_2_6⁴·b_5_19 + a_2_3·b_2_5²·b_2_6⁶·b_1_1
       + a_2_3·b_2_5⁴·b_2_6²·b_5_19 + a_2_3·b_2_5⁴·b_2_6⁴·b_1_1
       + b_2_5²·b_2_6²·a_10_44·a_1_2 + b_2_5²·b_2_6²·a_10_38·a_1_2
       + b_2_5³·b_2_6·a_1_2²·b_9_44 + b_2_5³·b_2_6·a_10_38·a_1_2 + b_2_5⁴·a_1_2²·b_9_44
       + b_2_5⁴·a_10_44·a_1_2 + b_2_5⁴·b_2_6²·a_1_2²·b_5_20 + b_2_5⁶·a_1_2²·b_5_20
       + b_2_6·a_10_44·a_1_2²·b_5_20 + b_2_6⁴·a_1_0·a_1_2·a_9_35 + b_2_6⁸·a_1_0·a_1_2²
       + b_2_5²·b_2_6²·a_1_2²·a_9_35 + b_2_5³·b_2_6·a_1_2²·a_9_35 + b_2_5⁸·a_1_2³
       + a_2_4·b_2_5⁴·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_5⁵·a_1_2²·b_5_20
       + b_2_6³·a_10_44·a_1_2³ + b_2_6³·a_10_38·a_1_2³ + b_2_5³·a_10_38·a_1_2³
       + a_2_4·b_2_6³·a_1_2²·a_9_35 + b_2_6²·a_10_44·a_1_2⁵
57. a_10_38·a_9_35 + b_2_6⁴·a_10_44·a_1_2 + b_2_6⁴·a_10_38·a_1_2
       + b_2_5·b_2_6³·a_1_2²·b_9_44 + b_2_5·b_2_6³·a_10_44·a_1_2
       + b_2_5·b_2_6⁵·a_1_2²·b_5_20 + b_2_5²·b_2_6²·a_10_44·a_1_2
       + b_2_5²·b_2_6²·a_10_38·a_1_2 + b_2_5²·b_2_6⁴·a_1_2²·b_5_20
       + b_2_5³·b_2_6·a_1_2²·b_9_44 + b_2_5³·b_2_6·a_10_44·a_1_2
       + b_2_5³·b_2_6·a_10_38·a_1_2 + b_2_5³·b_2_6³·a_1_2²·b_5_20
       + b_2_5⁴·a_10_38·a_1_2 + b_2_5⁴·b_2_6²·a_1_2²·b_5_20
       + a_2_4·b_2_5⁶·b_2_6²·a_1_2 + a_2_4·b_2_5⁷·b_2_6·a_1_2 + b_2_6⁴·a_1_2²·a_9_35
       + b_2_6⁴·a_1_0·a_1_2·a_9_35 + b_2_5·a_10_44·a_1_2²·b_5_20
       + b_2_5·b_2_6³·a_1_2²·a_9_35 + b_2_5³·b_2_6·a_1_2²·a_9_35
       + a_2_4·b_2_5⁴·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_6³·a_1_2²·a_9_35
       + c_16_113·a_1_0·a_1_2²
58. a_10_38·b_9_44 + a_10_38·b_9_43 + b_2_6²·a_10_44·b_5_20 + b_2_6²·a_10_38·b_5_20
       + b_2_5·b_2_6·a_1_2·b_5_20·b_9_44 + b_2_5·b_2_6·a_10_38·b_5_20 + b_2_5·b_2_6⁸·a_1_2
       + b_2_5²·a_1_2·b_5_20·b_9_44 + b_2_5²·a_10_44·b_5_20 + b_2_5²·a_10_38·b_5_19
       + b_2_5⁴·b_2_6·a_9_35 + b_2_5⁴·b_2_6⁵·a_1_2 + b_2_5⁵·a_9_35 + b_2_5⁶·b_2_6³·a_1_2
       + b_2_5⁹·a_1_2 + a_2_4·b_2_5⁵·b_2_6·b_5_20 + a_2_4·b_2_5⁶·b_5_20
       + a_2_3·b_2_6·b_1_1·b_5_19·b_9_43 + a_2_3·b_2_6⁴·b_9_43 + a_2_3·b_2_5·b_2_6³·b_9_43
       + a_2_3·b_2_5·b_2_6⁷·b_1_1 + a_2_3·b_2_5²·b_2_6²·b_9_43
       + a_2_3·b_2_5²·b_2_6⁴·b_5_19 + a_2_3·b_2_5³·b_2_6·b_9_43
       + a_2_3·b_2_5³·b_2_6³·b_5_19 + a_2_3·b_2_5⁴·b_9_43 + a_2_3·b_2_5⁶·b_5_19
       + a_2_3·b_2_5⁶·b_2_6²·b_1_1 + a_10_44·a_9_35 + b_2_6⁴·a_10_38·a_1_2
       + b_2_5·b_2_6³·a_10_44·a_1_2 + b_2_5·b_2_6³·a_10_38·a_1_2
       + b_2_5²·b_2_6²·a_10_44·a_1_2 + b_2_5²·b_2_6²·a_10_38·a_1_2
       + b_2_5³·b_2_6·a_10_38·a_1_2 + b_2_5³·b_2_6³·a_1_2²·b_5_20
       + b_2_5⁴·a_1_2²·b_9_44 + b_2_5⁴·a_10_38·a_1_2 + b_2_5⁴·b_2_6²·a_1_2²·b_5_20
       + a_2_4·b_2_5⁶·b_2_6²·a_1_2 + a_2_4·b_2_5⁷·b_2_6·a_1_2
       + b_2_6⁴·a_1_0·a_1_2·a_9_35 + b_2_6⁸·a_1_0·a_1_2² + b_2_5·a_10_38·a_1_2²·b_5_20
       + b_2_5²·b_2_6²·a_1_2²·a_9_35 + b_2_5⁷·b_2_6·a_1_2³ + b_2_5⁸·a_1_2³
       + a_2_4·b_2_5⁵·a_1_2²·b_5_20 + b_2_6³·a_10_44·a_1_2³
       + a_2_4·b_2_6³·a_1_2²·a_9_35 + b_2_6⁷·a_1_2⁵ + c_16_113·a_1_2³
59. a_10_38·b_9_43 + b_2_6²·a_10_38·b_5_20 + b_2_5·b_2_6·a_10_38·b_5_20
       + a_2_3·b_2_6⁴·b_9_43 + a_2_3·b_2_5²·b_2_6²·b_9_43 + a_2_3·b_2_5³·b_2_6⁵·b_1_1
       + a_2_3·b_2_5⁴·b_9_43 + a_2_3·b_2_5⁴·b_2_6⁴·b_1_1 + a_2_3·b_2_5⁵·b_2_6·b_5_19
       + a_2_3·b_2_5⁶·b_2_6²·b_1_1 + b_2_5²·b_2_6²·a_10_44·a_1_2
       + b_2_5³·b_2_6·a_1_2²·b_9_44 + b_2_5³·b_2_6·a_10_38·a_1_2
       + b_2_5³·b_2_6³·a_1_2²·b_5_20 + b_2_5⁴·a_1_2²·b_9_44 + b_2_5⁴·a_10_44·a_1_2
       + b_2_5⁴·a_10_38·a_1_2 + b_2_5⁵·b_2_6·a_1_2²·b_5_20 + b_2_6⁴·a_1_0·a_1_2·a_9_35
       + b_2_6⁸·a_1_0·a_1_2² + b_2_5²·b_2_6²·a_1_2²·a_9_35 + b_2_5⁴·a_1_2²·a_9_35
       + b_2_5⁷·b_2_6·a_1_2³ + a_2_4·b_2_5⁵·a_1_2²·b_5_20 + b_2_6³·a_10_38·a_1_2³
       + a_2_4·b_2_6³·a_1_2²·a_9_35 + b_2_6³·a_1_2⁴·a_9_35 + a_2_3·c_16_113·b_1_1
60. a_10_44·a_9_35 + a_10_38·a_9_35 + b_2_6⁴·a_10_44·a_1_2 + b_2_5·b_2_6³·a_10_44·a_1_2
       + b_2_5·b_2_6⁵·a_1_2²·b_5_20 + b_2_5²·b_2_6²·a_10_44·a_1_2
       + b_2_5³·b_2_6·a_10_38·a_1_2 + b_2_5⁴·a_10_44·a_1_2 + b_2_5⁴·a_10_38·a_1_2
       + b_2_5⁵·b_2_6·a_1_2²·b_5_20 + b_2_6·a_10_44·a_1_2²·b_5_20
       + b_2_6⁸·a_1_0·a_1_2² + b_2_5²·b_2_6²·a_1_2²·a_9_35
       + b_2_5³·b_2_6·a_1_2²·a_9_35 + b_2_5⁴·a_1_2²·a_9_35 + b_2_5⁷·b_2_6·a_1_2³
       + b_2_5⁸·a_1_2³ + b_2_6³·a_10_44·a_1_2³ + a_2_4·b_2_6³·a_1_2²·a_9_35
       + b_2_6³·a_1_2⁴·a_9_35 + b_2_6²·a_10_44·a_1_2⁵ + a_2_3·c_16_113·a_1_2
61. a_10_44·b_9_44 + a_10_38·b_9_44 + a_10_38·b_9_43 + b_2_5·b_2_6·a_10_38·b_5_20
       + b_2_5·b_2_6⁴·a_9_35 + b_2_5²·a_10_38·b_5_20 + b_2_5²·b_2_6³·a_9_35
       + b_2_5⁵·b_2_6⁴·a_1_2 + b_2_5⁷·b_2_6²·a_1_2 + a_2_4·b_2_5⁵·b_2_6·b_5_20
       + a_2_4·b_2_5⁶·b_5_20 + a_2_3·b_2_6·b_1_1·b_5_19·b_9_43
       + a_2_3·b_2_5·b_1_1·b_5_19·b_9_43 + a_2_3·b_2_5²·b_2_6²·b_9_43
       + a_2_3·b_2_5²·b_2_6⁶·b_1_1 + a_2_3·b_2_5³·b_2_6³·b_5_19
       + a_2_3·b_2_5⁴·b_2_6⁴·b_1_1 + a_2_3·b_2_5⁵·b_2_6·b_5_19 + a_10_38·a_9_35
       + b_2_6⁴·a_1_2²·b_9_44 + b_2_6⁴·a_10_38·a_1_2 + b_2_6⁶·a_1_2²·b_5_20
       + b_2_5·b_2_6³·a_10_38·a_1_2 + b_2_5²·b_2_6²·a_1_2²·b_9_44
       + b_2_5²·b_2_6²·a_10_44·a_1_2 + b_2_5²·b_2_6⁴·a_1_2²·b_5_20
       + b_2_5³·b_2_6·a_10_44·a_1_2 + b_2_5³·b_2_6·a_10_38·a_1_2
       + b_2_5³·b_2_6³·a_1_2²·b_5_20 + b_2_5⁴·a_10_44·a_1_2
       + b_2_5⁵·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_6⁴·a_9_35 + a_2_4·b_2_5⁶·b_2_6²·a_1_2
       + a_2_4·b_2_5⁷·b_2_6·a_1_2 + a_1_2·a_9_35² + b_2_6·a_10_44·a_1_2²·b_5_20
       + b_2_6⁴·a_1_2²·a_9_35 + b_2_5·a_10_38·a_1_2²·b_5_20
       + b_2_5³·b_2_6·a_1_2²·a_9_35 + b_2_5⁴·a_1_2²·a_9_35 + b_2_5⁸·a_1_2³
       + a_2_4·b_2_5⁴·b_2_6·a_1_2²·b_5_20 + a_2_4·b_2_6³·a_1_2²·a_9_35
       + a_2_4·c_16_113·a_1_2
62. a_10_44² + a_10_38·a_10_44 + a_10_38² + b_2_5·b_2_6·a_10_44·a_1_2·b_5_20
       + b_2_5·b_2_6·a_10_38·a_1_2·b_5_20 + b_2_5²·a_10_44·a_1_2·b_5_20
       + b_2_5²·a_10_38·a_1_2·b_5_20 + b_2_5⁶·b_2_6³·a_1_2² + b_2_5⁸·b_2_6·a_1_2²
       + b_2_6⁴·a_1_2³·b_9_44 + b_2_6⁴·a_10_44·a_1_2² + b_2_6⁴·a_10_38·a_1_2²
       + b_2_5·b_2_6³·a_10_44·a_1_2² + b_2_5²·b_2_6²·a_10_44·a_1_2²
       + b_2_5³·b_2_6·a_10_38·a_1_2² + b_2_5⁴·a_10_44·a_1_2²
       + b_2_5⁴·a_10_38·a_1_2² + b_2_5⁵·b_2_6·a_1_2³·b_5_20 + b_2_5⁶·a_1_2³·b_5_20
       + a_2_4·b_2_6⁴·a_1_2·a_9_35 + a_2_4·b_2_5⁷·b_2_6·a_1_2² + a_2_4·b_2_5⁸·a_1_2²
       + a_1_2²·a_9_35² + b_2_6⁴·a_1_0·a_1_2²·a_9_35 + b_2_6³·a_10_44·a_1_2⁴
       + b_2_6³·a_10_38·a_1_2⁴ + b_2_6³·a_1_2⁵·a_9_35
63. a_10_38² + b_2_5·b_2_6⁸·a_1_2² + b_2_5⁴·b_2_6·a_1_2·a_9_35
       + b_2_5⁴·b_2_6⁵·a_1_2² + b_2_5⁵·a_1_2·a_9_35 + b_2_5⁵·b_2_6⁴·a_1_2²
       + b_2_5⁶·b_2_6³·a_1_2² + b_2_5⁷·b_2_6²·a_1_2² + b_2_5⁹·a_1_2²
       + a_2_4·b_2_5⁵·b_2_6·a_1_2·b_5_20 + a_2_4·b_2_5⁶·a_1_2·b_5_20
       + b_2_6⁴·a_1_2³·b_9_44 + b_2_5⁴·a_10_38·a_1_2² + b_2_5⁵·b_2_6·a_1_2³·b_5_20
       + b_2_5⁶·a_1_2³·b_5_20 + a_2_4·b_2_5⁶·b_2_6²·a_1_2²
       + a_2_4·b_2_5⁷·b_2_6·a_1_2² + b_2_6³·a_10_44·a_1_2⁴ + c_16_113·a_1_2⁴
64. a_10_38·a_10_44 + a_10_38² + b_2_5·b_2_6·a_10_44·a_1_2·b_5_20
       + b_2_5·b_2_6·a_10_38·a_1_2·b_5_20 + b_2_5·b_2_6⁴·a_1_2·a_9_35
       + b_2_5²·a_10_44·a_1_2·b_5_20 + b_2_5²·a_10_38·a_1_2·b_5_20
       + b_2_5²·b_2_6³·a_1_2·a_9_35 + b_2_5⁶·b_2_6³·a_1_2² + b_2_5⁸·b_2_6·a_1_2²
       + a_2_4·b_2_5⁵·b_2_6·a_1_2·b_5_20 + a_2_4·b_2_5⁶·a_1_2·b_5_20
       + b_2_6⁴·a_1_2³·b_9_44 + b_2_6⁴·a_10_38·a_1_2² + b_2_5·b_2_6³·a_10_44·a_1_2²
       + b_2_5·b_2_6³·a_10_38·a_1_2² + b_2_5²·b_2_6²·a_10_38·a_1_2²
       + b_2_5⁴·a_10_44·a_1_2² + a_2_4·b_2_6⁴·a_1_2·a_9_35 + a_1_2²·a_9_35²
       + b_2_6³·a_10_44·a_1_2⁴ + b_2_6³·a_10_38·a_1_2⁴ + b_2_6³·a_1_2⁵·a_9_35
       + a_2_4·c_16_113·a_1_2²

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Data used for Benson′s test

• Benson′s completion test succeeded in degree 20.
• The completion test was perfect: It applied in the last degree in which a generator or relation was found.
• The following is a filter regular homogeneous system of parameters:
  1. c_16_113, a Duflot regular element of degree 16
  2. b_2_6² + b_2_5·b_1_1² + b_2_5·b_2_6 + b_2_5², an element of degree 4
  3. b_2_6, an element of degree 2
• The Raw Filter Degree Type of that HSOP is [-1, 7, 17, 19].
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -3].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128

Restriction maps

Restriction map to the greatest central el. ab. subgp., which is of rank 1

1. a_1_0 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_1 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_5 → 0, an element of degree 2
7. b_2_6 → 0, an element of degree 2
8. b_5_19 → 0, an element of degree 5
9. b_5_20 → 0, an element of degree 5
10. a_9_35 → 0, an element of degree 9
11. b_9_43 → 0, an element of degree 9
12. b_9_44 → 0, an element of degree 9
13. a_10_38 → 0, an element of degree 10
14. a_10_44 → 0, an element of degree 10
15. c_16_113 → c_1_0¹⁶, an element of degree 16

Restriction map to a maximal el. ab. subgp. of rank 3

1. a_1_0 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_1 → c_1_2, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_5 → c_1_1·c_1_2 + c_1_1², an element of degree 2
7. b_2_6 → c_1_2², an element of degree 2
8. b_5_19 → c_1_0²·c_1_2³ + c_1_0⁴·c_1_2, an element of degree 5
9. b_5_20 → c_1_1·c_1_2⁴ + c_1_1⁴·c_1_2 + c_1_0²·c_1_2³ + c_1_0⁴·c_1_2, an element of degree 5
10. a_9_35 → 0, an element of degree 9
11. b_9_43 → c_1_0²·c_1_2⁷ + c_1_0²·c_1_1·c_1_2⁶ + c_1_0²·c_1_1²·c_1_2⁵
       + c_1_0⁴·c_1_1·c_1_2⁴ + c_1_0⁴·c_1_1²·c_1_2³ + c_1_0⁸·c_1_2, an element of degree 9
12. b_9_44 → c_1_1³·c_1_2⁶ + c_1_1⁵·c_1_2⁴ + c_1_1⁶·c_1_2³ + c_1_1⁸·c_1_2
       + c_1_0²·c_1_2⁷ + c_1_0²·c_1_1²·c_1_2⁵ + c_1_0²·c_1_1⁴·c_1_2³
       + c_1_0⁴·c_1_1²·c_1_2³ + c_1_0⁴·c_1_1⁴·c_1_2 + c_1_0⁸·c_1_2, an element of degree 9
13. a_10_38 → 0, an element of degree 10
14. a_10_44 → 0, an element of degree 10
15. c_16_113 → c_1_1·c_1_2¹⁵ + c_1_1³·c_1_2¹³ + c_1_1⁶·c_1_2¹⁰ + c_1_1⁸·c_1_2⁸
       + c_1_1⁹·c_1_2⁷ + c_1_1¹²·c_1_2⁴ + c_1_0²·c_1_2¹⁴ + c_1_0²·c_1_1²·c_1_2¹²
       + c_1_0²·c_1_1⁸·c_1_2⁶ + c_1_0⁴·c_1_2¹² + c_1_0⁴·c_1_1²·c_1_2¹⁰
       + c_1_0⁴·c_1_1³·c_1_2⁹ + c_1_0⁴·c_1_1⁵·c_1_2⁷ + c_1_0⁴·c_1_1⁶·c_1_2⁶
       + c_1_0⁶·c_1_2¹⁰ + c_1_0⁸·c_1_1³·c_1_2⁵ + c_1_0⁸·c_1_1⁵·c_1_2³
       + c_1_0⁸·c_1_1⁶·c_1_2² + c_1_0⁸·c_1_1⁸ + c_1_0¹⁰·c_1_2⁶ + c_1_0¹²·c_1_2⁴
       + c_1_0¹⁶, an element of degree 16

Restriction map to a maximal el. ab. subgp. of rank 3

1. a_1_0 → 0, an element of degree 1
2. a_1_2 → 0, an element of degree 1
3. b_1_1 → 0, an element of degree 1
4. a_2_3 → 0, an element of degree 2
5. a_2_4 → 0, an element of degree 2
6. b_2_5 → c_1_1², an element of degree 2
7. b_2_6 → c_1_2², an element of degree 2
8. b_5_19 → 0, an element of degree 5
9. b_5_20 → c_1_1⁴·c_1_2, an element of degree 5
10. a_9_35 → 0, an element of degree 9
11. b_9_43 → c_1_1⁴·c_1_2⁵ + c_1_1⁶·c_1_2³, an element of degree 9
12. b_9_44 → c_1_1·c_1_2⁸ + c_1_1⁴·c_1_2⁵ + c_1_1⁵·c_1_2⁴ + c_1_1⁸·c_1_2, an element of degree 9
13. a_10_38 → 0, an element of degree 10
14. a_10_44 → 0, an element of degree 10
15. c_16_113 → c_1_1²·c_1_2¹⁴ + c_1_1⁴·c_1_2¹² + c_1_1⁵·c_1_2¹¹ + c_1_1⁷·c_1_2⁹
       + c_1_1⁹·c_1_2⁷ + c_1_1¹¹·c_1_2⁵ + c_1_1¹²·c_1_2⁴ + c_1_0⁴·c_1_1⁴·c_1_2⁸
       + c_1_0⁴·c_1_1⁸·c_1_2⁴ + c_1_0⁸·c_1_2⁸ + c_1_0⁸·c_1_1⁴·c_1_2⁴
       + c_1_0⁸·c_1_1⁸ + c_1_0¹⁶, an element of degree 16

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Back to groups of order 128