73.110 SourceEndomorphismSection

SourceEndomorphismSection( xi )

Each section xi determines an endomorphism gamma of G such that gamma g = (e h xi t g)(xi t g^-1) g (e h g^-1) (xi h g).

    gap> gamma4 := SourceEndomorphismDerivation( xi4 );
    GroupHomomorphismByImages( c3^2
|Xc2, c3^2|
Xc2,
      [ (1,2,3), (4,5,6), (2,3)(5,6) ], [ (1,3,2), (4,6,5), (2,3)(5,6) ] )

Previous Up Top Next
Index

GAP 3.4.4
April 1997