TableRangeEndomorphismDerivations( X )
Applying RangeEndomorphismDerivation to every derivation produces a
list of endomorphisms of R = X.range. This function returns a list
of .genimages for these endomorphisms. Note that, in this example,
the 3 irregular derivations map onto the 3 cyclic subgroups of order
2.
gap> TRE := TableRangeEndomorphismDerivations( XSC );;
gap> PrintList( TRE );
[ (4,5,6), (2,3)(5,6) ]
[ (4,5,6), (2,3)(4,5) ]
[ (4,5,6), (2,3)(4 6) ]
[ (4,6,5), (2,3)(5,6) ]
[ (4,6,5), (2,3)(4,5) ]
[ (4,6,5), (2,3)(4,6) ]
[ (), (2,3)(5,6) ]
[ (), (2,3)(4,6) ]
[ (), (2,3)(4,5) ]
GAP 3.4.4