`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.