Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563576 views
1
Group order: 32
2
Group number: 8
3
Group description: C2 . ((C4 x C2) : C2) = (C2 x C2) . (C4 x C2)
4
5
Cohomology generators
6
Degree 1: a, b
7
Degree 2: c, d
8
Degree 3: e
9
Degree 5: f, g
10
Degree 6: h
11
Degree 8: p
12
13
Cohomology relations
14
1: f^2
15
2: c*h+e*f
16
3: c*f
17
4: b*h+c*g
18
5: b*e+c*d
19
6: a*h
20
7: a*g
21
8: a*f+b*f
22
9: a*e+c^2
23
10: a*c
24
11: a*b
25
12: a^2
26
13: h^3
27
14: f*h^2
28
15: e*h^2
29
16: e*f*h
30
17: e^2*h
31
18: e^2*f
32
19: e^3
33
20: d*f*h+e*f*g
34
21: d*e*h+e^2*g+f*h
35
22: d^2*h+d*e*f+d*e*g+f*g
36
23: c*g^2+d*f*g+h^2
37
24: c*e*g+d*e*f
38
25: c*e^2
39
26: c^2*g
40
27: c^2*e
41
28: c^2*d+b*f
42
29: c^3
43
30: b*c*g+e*f
44
31: b*c*d+c*e
45
32: b*c^2
46
33: b^2*g+d*f
47
34: b^2*c+c^2
48
35: b^3+a*d
49
36: c*d^2*g+d^3*f+e^2*g
50
37: c*d^2*e+c*d*g+d^2*f+e*h
51
38: c*d^3+d*e^2+d*h+e*f+e*g
52
39: c^2*d^2
53
40: b^2*d^2+c*d^2+b*f+e^2
54
41: b^3*d
55
42: b^4
56
43: d^3*e*f+d*h^2+e*g*h
57
44: d^3*e^2+d^2*e*f+c^2*p+h^2
58
45: d^4*f+d*g*h+e*f*g+e*g^2
59
46: d^4*e+b*c*p+e^2*g+g*h
60
47: d^5+b*d^2*g+b^2*p+f*g+g^2
61
48: d^3*e^2*g+d^2*e*f*g+g*h^2
62
49: d^4*e*g+e^2*g^2+e*f*p+g^2*h
63
50: d^5*g+b*d^2*g^2+d*f*p+f*g^2+g^3
64
51: d^5*e+d*e^2*g+c*e*p+d*g*h
65
52: d^5*e^2+e^2*g^2+f*g*h
66
53: d^7+b*d^4*g+d^4*e^2+c*d^2*p+d^2*f*g+d^2*g^2+e^2*p+e*g*h
67
54: b*d^6+b*d*g^2+d*g*h+e*f*g+e*g^2
68
55: d^7*e+d^2*e*g^2+c*d*g*p+d^2*f*p+d*f*g^2+e*h*p+g*h^2
69
56: d^8+d^3*g^2+b*g^3+d*h*p+e*f*p+e*g*p
70
57: d^8*e+d^3*e*g^2+d^2*f*g^2+d*g*h^2+f*h*p
71
58: d^10+f*g^3+g^4
72
73
Steenrod squares
74
Sq^1(c)=0
75
Sq^1(d)=b*b*b+d*b
76
Sq^1(e)=c*b*b
77
Sq^2(e)=e*d+f
78
Sq^1(f)=
79