73.119 ImageAutomorphismDerivation

ImageAutomorphismDerivation( mor, chi )

An automorphism ( sigma, rho ) of X acts on the left on the Whitehead monoid by mbox{}^{(sigma,rho)}chi = sigma chi rho^{-1}. This is converted to a right action on the WhiteheadPermGroup. In the example we see that phi4 maps chi8 to chi9.

    gap> chi8im := ImageAutomorphismDerivation( phi4, chi8 );
    XModDerivationByImages( s3, c3, [ (4,5,6), (2,3)(5,6) ], 
       [ (1,2,3)(4,6,5), (1,3,2)(4,5,6) ] )
    gap> Position( allXSC.genimageList, chi8im.genimages );
    9  

Previous Up Top Next
Index