[GAP Forum] Construct the C8 from finitely presented group and check its isomorphism with permutation group.

[Hongyi Zhao]

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.zhao at gmail.com>
Theory and Simulation of Materials
Hebei Vocational University of Technology and Engineering
No. 473, Quannan West Street, Xindu District, Xingtai, Hebei province