4.9 SchutzenbergerGroup for Transformation Monoids

SchutzenbergerGroup( M, s )
SchutzenbergerGroup( class )

SchutzenbergerGroup returns the Schaccent127utzenberger group of the element s in the transformation monoid M as a permutation group on the image of s.

In the second form SchutzenbergerGroup returns the Schaccent127utzenberger group of the Green class class of a transformation monoid, where class is either an H class, an R class or a D class. The Schaccent127utzenberger group of an H class class is the same as the Schaccent127utzenberger group of class. The Schaccent127utzenberger group of an R class class is the generalised right Schaccent127utzenberger group of the representative of class and the Schaccent127utzenberger group of an L class class is the generalised left Schaccent127utzenberger group of the representative of class. Note that the Schaccent127utzenberger of an R class is only unique up to conjugation.

   
[Index]