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