8f19b0d1bfbe4f7e.tex
1: \begin{abstract}
2:   We study the variety $\ZG$ of monoids where the elements that belong to a
3:   group are \emph{central}, i.e., commute with all other elements. We show that~$\ZG$
4:   is \emph{local}, that is, the semidirect product $\ZGD$ of $\ZG$  by definite
5:   semigroups is equal to $\LZG$, the variety of semigroups where all local
6:   monoids are in~$\ZG$. Our main result is thus: $\ZGD = \LZG$. We prove this
7:   result using Straubing's delay theorem, by considering paths in the category
8:   of idempotents. In the process, we obtain the characterization $\ZG = \MNil
9:   \lor \Com$, and also characterize the $\ZG$
10:   languages, i.e., the languages whose syntactic monoid is in~$\ZG$: they are
11:   precisely the languages that are finite unions of disjoint shuffles of
12:   singleton languages and regular commutative languages.
13: \end{abstract}
14: