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) ] )
GAP 3.4.4