In semigroup theory, a Schützenberger group is a group associated with a Green H-class of a semigroup.[1] The Schützenberger groups associated with different H-classes are distinct, but the groups associated with two different H-classes contained in the same D-class of a semigroup are isomorphic. Moreover, if the H-class itself were a group, the Schützenberger group of the H-class would be isomorphic to the H-class. In fact, there are two Schützenberger groups associated with a given H-class, with each being antiisomorphic to the other.

The Schützenberger group was discovered by Marcel-Paul Schützenberger in 1957[2][3] and the terminology was coined by A. H. Clifford.[4]

The Schützenberger group

edit

Let S be a semigroup and let S1 be the semigroup obtained by adjoining an identity element 1 to S (if S already has an identity element, then S1 = S). Green's H-relation in S is defined as follows: If a and b are in S then

a H b ⇔ there are u, v, x, y in S1 such that ua = ax = b and vb = by = a.

For a in S, the set of all b' s in S such that a H b is the Green H-class of S containing a, denoted by Ha.

Let H be an H-class of the semigroup S. Let T(H) be the set of all elements t in S1 such that Ht is a subset of H itself. Each t in T(H) defines a transformation, denoted by γt, of H by mapping h in H to ht in H. The set of all these transformations of H, denoted by Γ(H), is a group under composition of mappings (taking functions as right operators). The group Γ(H) is the Schützenberger group associated with the H-class H.

Examples

edit

If H is a maximal subgroup of a monoid M, then H is an H-class, and it is naturally isomorphic to its own Schützenberger group.

In general, one has that the cardinality of H and its Schützenberger group coincide for any H-class H.

Applications

edit

It is known that a monoid with finitely many left and right ideals is finitely presented (or just finitely generated) if and only if all of its Schützenberger groups are finitely presented (respectively, finitely generated). Similarly such a monoid is residually finite if and only if all of its Schützenberger groups are residually finite.

References

edit
  1. ^ Brandon, Robert; Hardy, Darel; Markowsky, George (December 1972). "The Schützenberger Group of an H-class in the Semigroup of Binary Relations by Robert L. Brandon, Darel W. Hardy, George Markowsky, Missouri University of Science and Technology, 1972-12-01". Semigroup Forum. 5 (1): 45–53. doi:10.1007/BF02572873.
  2. ^ Marcel-Paul Schützenberger (1957). "D-representation des demi-groupes". C. R. Acad. Sci. Paris. 244: 1994–1996. (MR 19, 249)
  3. ^ Clifford, Alfred Hoblitzelle; Preston, Gordon Bamford (1961). The algebraic theory of semigroups. Vol. I. Mathematical Surveys, No. 7. Providence, R.I.: American Mathematical Society. ISBN 978-0-8218-0272-4. MR 0132791. (pp. 63–66)
  4. ^ Wilf, Herbert; et al. (August 29, 1996). "Marcel-Paul Schützenberger (1920–1996)". The Electronic Journal of Combinatorics. 3. doi:10.37236/2063. Retrieved 2015-12-30.