1.13 LClass

LClass( M, s )

LClass returns the L class of the element s in the monoid M.

    gap> M:= Monoid( Transformation( [ 2, 1, 2 ] ),
    > Transformation( [ 1, 2, 2 ] ) );;
    gap> M.name:= "M";;
    gap> LClass( M, Transformation( [ 1, 2, 2 ] ) );
    LClass( M, Transformation( [ 1, 2, 2 ] ) ) 

The L class of s in M is the set of all elements of M which generate the same left ideal in M, i.e., the set of all m in M with <M> <s> = <M> m.

   
[Index]