|
# Lifted from the Moore & Dickson papers, with B_1, B_2, ... replaced
# by a, b, ...
# Note that all generators are involutions so that, for example,
# "(ab)^3" & "aba=bab" are equivalent.
Mess:10000;
Fel;
# S_3, a la Moore
Gr: a,b;
Rel: a^2,b^2, (ab)^3;
End;
# S_3, a la Dickson
Gr: a,b;
Rel: a^2,b^2, aba=bab;
End;
# S_4, a la Moore
Gr: a,b,c;
Rel: a^2,b^2,c^2, (ab)^3,(bc)^3, (ac)^2;
End;
Pr;
# S_4/S_3
Gen: a,b;
End;
Pr;
# S_5/S_4, a la Dickson
Gr: a,b,c,d;
Rel: a^2,b^2,c^2,d^2, ac=ca,ad=da,bd=db, aba=bab,bcb=cbc,cdc=dcd;
Gen: a,b,c;
End;
Pr;
[ Dauer der Verarbeitung: 0.19 Sekunden
(vorverarbeitet)
]
|
