Quelle  1.7.2   Sprache: unbekannt

F:=FreeGroup(4);;w:=F.1;;x:=F.2;;y:=F.3;;z:=F.4;;
rels:=[w^8, w*x*w*(x*w*x)^-1, y^2, z*x*(x*z)^-1,
       z^-1*y*z*y, (x*y*x)^2];;
G:=F/rels;;
N2:=[];;N3:=[];;
for u in GeneratorsOfGroup(G) do
 Add(N2,u^2);
 Add(N3,u^3);
 for v in GeneratorsOfGroup(G) do
 Add(N2,Comm(u,v));
 Add(N3,Comm(u,v));
 od;;od;;
N2:=NormalClosure(G,Group(N2));;
N3:=NormalClosure(G,Group(N3));;
Print(AbelianInvariants(N2),"\n");
Print(AbelianInvariants(N3),"\n");

[ Dauer der Verarbeitung: 0.5 Sekunden  (vorverarbeitet)  ]