Advertisement
Guest User

Untitled

a guest
Jul 17th, 2019
99
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.91 KB | None | 0 0
  1. gap> f:=FreeGroup("a","b");
  2. <free group on the generators [ a, b ]>
  3. gap> g:=f/[f.1^5, f.2^2, f.2*f.1*f.2^-1*f.1];
  4. <fp group on the generators [ a, b ]>
  5. gap> List(g);
  6. [ id, b, a^4*b, a, a^4, a*b, a^3*b, a^2, a^3, a^2*b ]
  7.  
  8. gap> a:=AutomorphismGroup(g);
  9. <group of size 20 with 3 generators>
  10. gap> List(a);
  11. [ IdentityMapping( <fp group of size 10 on the generators [ a, b ]> ), [ b, a ] -> Pcgs([ a*b, a ]),
  12. [ a, b*a^2 ] -> [ a, b ], [ a, a^2*b ] -> [ a, b ], [ a, a*b ] -> [ a, b ], [ a^-1, b ] -> [ a, b ],
  13. [ a^-1, a*b ] -> [ a, b ], [ a*b, a^-1 ] -> Pcgs([ a*b, a ]), [ a^-1, b*a^2 ] -> [ a, b ],
  14. [ a^-1, b*a ] -> [ a, b ], [ a^2, b ] -> [ a, b ], [ a^2, b*a^2 ] -> [ a, b ], [ a^2, a*b ] -> [ a, b ],
  15. [ a*b, a^2 ] -> Pcgs([ a*b, a ]), [ a^2, a^2*b ] -> [ a, b ], [ a^-2, b ] -> [ a, b ], [ a^-2, a^2*b ] -> [ a, b ],
  16. [ a^-2, b*a ] -> [ a, b ], [ a^-2, a*b ] -> [ a, b ], [ a^-2, b*a^2 ] -> [ a, b ] ]
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement