Hi GAP team, I try to construct the C8 from finitely presented group and check its isomorphism with permutation group with the following steps:
gap> f := FreeGroup( "a"); <free group on the generators [ a ]> gap> g:=f/[ f.1, f.1^2, f.1^3, f.1^4, f.1^5, f.1^6, f.1^7 ]; <fp group on the generators [ a ]> gap> h:=IsomorphismPermGroup(g); [ a ] -> [ () ] Is there any problem with my operations? Regards -- Assoc. Prof. Hongsheng Zhao <hongyi.z...@gmail.com> Theory and Simulation of Materials Hebei Vocational University of Technology and Engineering No. 473, Quannan West Street, Xindu District, Xingtai, Hebei province _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
