[GAP Forum] The outer automorphism of S6

[Gary McConnell]

Hi!

I am new to GAP - I am using it inside SAGE ... I am trying to do a bunch of
computations involving counting how certain elements of S6 behave under
"the" outer automorphism. I have tried to do something from the manual pages
like
"AssignNiceMonomorphismAutomorphismGroup(A,G)"
and it creates some object, but I don't understand how i get to that object
to calculate with it! (Here G=S6 and A is Aut(G)).

If say I had a list of elements of S6, entered in the usual way as cycles,
and if I chose a section s from Out(G) back to Aut(G), how would I get the
image s(rho) of rho (if I write Out(G)=<1,rho> say) under that section,
and/or how would I get the image of my elements under s(rho)?

Or is there a better way to do it?

Please help!

Many thanks

Gary