gap> # [Perm, Perm]
gap> K := AlternatingGroup(5);;
gap> H := SymmetricGroup(7);;
gap> G := WreathProduct(K, H);;
gap> iso := IsomorphismWreathProduct(G);;
gap> W := Range(iso);;
gap> oneG := One(G);;
gap> oneW := One(W);;
gap> Image(iso, oneG) = oneW;
true
gap> PreImage(iso, oneW) = oneG;
true
gap> Territory(oneW);
[ ]
gap> WreathCycleDecomposition(oneW);
[ ]
gap> Order(oneW);
1
gap> IsWreathCycle(oneW);
false
gap>
[ Dauer der Verarbeitung: 0.14 Sekunden
(vorverarbeitet)
]