3.10 Kernel of a Transformation

Kernel( trans )

Kernel returns the kernel of the transformation trans.

    gap> Kernel( Transformation( [ 3, 3, 4, 2, 5 ] ) );
    [ [ 1, 2 ], [ 3 ], [ 4 ], [ 5 ] ] 

The kernel of a transformation is the set of its nonempty preimages. For a transformation of degree n this is always a partition of the set {1, ... , n}.

   
[Index]