1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
#(C) Graham Ellis 2005-06
#####################################################################
InstallGlobalFunction(ThirdHomotopyGroupOfSuspensionB_alt,
function(G)
local H2,Primes, p, S,M,N,ans,T,K,KS,L,x,y;
H2:=GroupHomology(G,2);
ans:=[];
Primes:=SSortedList(Factors(Product(AbelianInvariants(G))));
Primes:=Filtered(Primes, i->not i=1);
for p in Primes do
S:=SylowSubgroup(G,p);
T:=NonabelianTensorSquare(S);
K:=Intersection(DerivedSubgroup(G),S);
K:=Elements(RightTransversal(K,DerivedSubgroup(S)));
KS:=Elements(RightTransversal(S,DerivedSubgroup(S)));
N:=[];
for x in K do
for y in KS do
Append(N,[T.pairing(x,y),T.pairing(y,x)]);
od;
od;
N:=Group(N);
L:=[];
for x in KS do
Append(L,[T.pairing(x,x)]);
od;
L:=Group(L);
M:=AbelianInvariants(L/Intersection(L,N));
Append(ans,M);
od;
return [H2,ans];
end);
#####################################################################
#####################################################################
InstallGlobalFunction(NonabelianSymmetricKernel_alt,
function(G)
local H2,Primes, p, S,M,N,ans,T,K,KS,L,x,y;
H2:=GroupHomology(G,2);
ans:=[];
Primes:=SSortedList(Factors(Product(AbelianInvariants(G))));
Primes:=Filtered(Primes, i->not i=1);
for p in Primes do
S:=SylowSubgroup(G,p);
T:=NonabelianSymmetricSquare(S);
K:=Intersection(DerivedSubgroup(G),S);
K:=Elements(RightTransversal(K,DerivedSubgroup(S)));
KS:=Elements(RightTransversal(S,DerivedSubgroup(S)));
N:=[];
for x in K do
for y in KS do
Append(N,[T.pairing(x,y),T.pairing(y,x)]);
od;
od;
N:=Group(N);
L:=[];
for x in KS do
Append(L,[T.pairing(x,x)]);
od;
L:=Group(L);
M:=AbelianInvariants(L/Intersection(L,N));
Append(ans,M);
od;
return [H2,ans];
end);
#####################################################################
|
