gap> uu:=(1,3)(2,4);ff:=(1,8)(4,5);dd:=(5,7)(6,8); (1,3)(2,4) (1,8)(4,5) (5,7)(6,8) gap> bb:=(3,6)(2,7);rr:=(2,5)(1,6);ll:=(4,7)(3,8); (2,7)(3,6) (1,6)(2,5) (3,8)(4,7) gap> H:=Group(uu,ff,rr,dd,bb,ll); Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8) (4,7) ) gap> IsConjugate(rr,ll,H0; Syntax error: ) expected IsConjugate(rr,ll,H0; ^ gap> IsConjugate(rr,ll,H); Error, must be a group in IsConjugate( rr, ll, H ) called from main loop brk> quit; gap> IsConjugate(H,rr,ll); true gap> ConjugacyClasses(H); [ ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), () ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (5,7)(6,8) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (3,6,8)(4,5,7) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (2,4)(5,7) ) , ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (2,4,7,5)(3,6) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (1,3)(6,8) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (1,3,6,8) (4,7) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7) (6,8), (2,7)(3,6), (3,8)(4,7) ), (1,3)(2,4)(5,7)(6,8) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (1,3,6,8)(2,4,5,7) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (1,3)(2,5)(4,7)(6,8) ) ] gap> L:=ConjugacyClasses(H); [ ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), () ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (5,7)(6,8) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (3,6,8)(4,5,7) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (2,4)(5,7) ) , ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (2,4,7,5)(3,6) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (1,3)(6,8) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), (1,3,6,8) (4,7) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7) (6,8), (2,7)(3,6), (3,8)(4,7) ), (1,3)(2,4)(5,7)(6,8) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (1,3,6,8)(2,4,5,7) ), ConjugacyClass( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7) (3,6), (3,8)(4,7) ), (1,3)(2,5)(4,7)(6,8) ) ] gap> Size(L[1]); 1 gap> Size(L[2]); 12 gap> Size(L[3]); 32 gap> Size(L[4]); 3 gap> Size(L[5]); 12 gap> Size(L[6]); 3 gap> Size(L[7]); 12 gap> Size(L[8]); 3 gap> Size(L[9]); 12 gap> Size(L[10]); 6 gap> Size(L[11]); Error, List Element: [11] must have a value gap> 1+12+32+3+12+3+12+3+12+6; 96 gap> H1:=CommutatorSubgroup(H); Error, Function: number of args must be 2 gap> H1:=CommutatorSubgroup(H,H); Subgroup( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), [ (1,8)(3,6), (1,3,8)(2,4,7), (1,6,3)(2,5,4) ] ) gap> Size(H1); 48 gap> Z_H:=Centre(H); Subgroup( Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)(4,7) ), [ ] ) gap> Size(Z_H); 1 gap> quit;