#Cyclic group of order 2
_RWS := rec(
isRWS := true,
ordering := "shortlex",
generatorOrder := [a],
inverses := [a],
equations := [[a^2,IdWord]]
);
¤ Dauer der Verarbeitung: 0.10 Sekunden
(vorverarbeitet am 2026-04-27)
¤
*© Formatika GbR, Deutschland