4.6 KernelsTransMonoid

KernelsTransMonoid( M )

KernelsTransMonoid returns the set of kernels of all elements of the transformation monoid M (see Kernel of a Transformation).

    gap> M:= Monoid( [ Transformation( [ 1, 4, 4, 2 ] ),    
    >       Transformation( [ 2, 4, 4, 4 ] ) ] );;   
    gap> KernelsTransMonoid(M);
    [ [ [ 1 ], [ 2 ], [ 3 ], [ 4 ] ], [ [ 1 ], [ 2, 3 ], [ 4 ] ], 
      [ [ 1 ], [ 2, 3, 4 ] ], [ [ 1, 2, 3, 4 ] ] ] 

   
[Index]