|
#The group is S_4, and the subgroup H of order 4.
#There are 30 reduced words - 24 for the group elements, and 6 for the
#6 cosets Hg.
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [H,a,A,b,B],
inverses := [,A,a,B,b],
equations := [
[a^3,IdWord], [b^4,IdWord], [a*b*a*b,IdWord], [H*b,H],
[H*H,H], [a*H,H], [b*H,H]
]
);
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]
|
