73.82 InnerDerivation

InnerDerivation( X, s )

When S,R are respectively the source and range of X, each s in S defines a derivation eta_s : R to S, r mapsto s^r s^{-1}. These em inner derivations are often called em principal derivations in the literature.

    gap> InnerDerivation( XSC, (1,2,3)(4,6,5) );
    XModDerivationByImages( s3, c3, [ (4,5,6), (2,3)(5,6) ],
       [ (), (1,2,3)(4,6,5) ] )  

Previous Up Top Next
Index