The Schützenberger category of a semigroup

Abstract

In this paper we introduce the Schützenberger category $\mathbb{D}(S)$ of a semigroup $S$. It stands in relation to the Karoubi envelope (or Cauchy completion) of $S$ in the same way that Schützenberger groups do to maximal subgroups and that the local divisors of Diekert do to the local monoids $eSe$ of $S$ with $e\in E(S)$. In particular, the objects of $\mathbb{D}(S)$ are the elements of $S$, two objects of $\mathbb{D}(S)$ are isomorphic if and only if the corresponding semigroup elements are $\mathcal{D}$-equivalent, the endomorphism monoid at $s$ is the local divisor in the sense of Diekert and the automorphism group at $s$ is the Schützenberger group of the $\mathcal{H}$-class of $S$. This makes transparent many well-known properties of Green's relations. The paper also establishes a number of technical results about the Karoubi envelope and Schützenberger category that were used by the authors in a companion paper on syntactic invariants of flow equivalence of symbolic dynamical systems.

References in corpus (1)

• Regular Languages are Church-Rosser Congruential