Hello. It is an error to try to do in the Gap4.7.5 IsomorphismTypeFiniteSimpleGroup of P.27 of http://sci.kj.yamagata-u.ac.jp/~waki/jpn/gap_docs/take_gap.pdf.
gap> s8:=Group((1,2),(1,2,3,4,5,6,7,8)); Group([ (1,2), (1,2,3,4,5,6,7,8) ]) gap> a8:=CommutatorSubgroup(s8,s8); Group([ (1,3,2), (2,4,3), (2,3)(4,5), (2,4,6,5,3), (2,5,3)(4,7,6), (2,3)(5,6,8,7) ]) gap> elab:= Group( (1,2)(3,4)(5,6)(7,8), (1,3)(2,4)(5,7)(6,8), (1,5)(2,6)(3,7)(4,8)); Group([ (1,2)(3,4)(5,6)(7,8), (1,3)(2,4)(5,7)(6,8), (1,5)(2,6)(3,7)(4,8) ]) gap> norm:= Normalizer( a8, elab );; gap> hom:=NaturalHomomorphismByNormalSubgroup( norm , elab ); <action epimorphism> gap> f := Image( hom ); Group([ (), (), (), (4,5)(6,7), (4,6)(5,7), (2,3)(6,7), (2,4)(3,5), (1,2)(5,6) ]) gap> IsomorphismTypeFiniteSimpleGroup( f ); Error, Variable: 'IsomorphismTypeFiniteSimpleGroup' must have a value not in any function at line 16 of *stdin* However, I should be able to get the following output: In P.27 of this PDF file. gap> IsomorphismTypeFiniteSimpleGroup( f ); rec( series := "L", parameter := [ 2, 7 ], name := "A(1,7) = L(2,7) ~ B(1,7) = O(3,7) ~ C(1,7) = S(2,7) ~ 2A(1,7) = U(2\ ,7) ~ A(2,2) = L(3,2)" ) Could you tell me how to solve this problem? How to use or probably been changed in accordance with the version up? Or bug or probably are mixedin Gap version up? buynnnmmm1 _______________________________________________ Forum mailing list Forum@mail.gap-system.org http://mail.gap-system.org/mailman/listinfo/forum
