Semigroups whith idempotent stabilizers and applications to automata theory
Bertrand Le Saëc, Jean-Éric Pin, Pascal Weil · HAL (Le Centre pour la Communication Scientifique Directe) · 1991
We show that every finite semigroup is a quotient of a finite semigroup in which every right stabilizer satisfies the identities x = x^2 and xy = xyx. This result has several consequences. We first give a geometrical application : every finite transformation semigroup has a fixpoint-free covering (a transformation semigroup is fixpoint-free if every element which stabilizes a point is idempotent). Next we use our result and a result of I. Simon on congruences on paths to obtain a purely algebraic proof of a deep theorem of McNaughton on infinite words. Finally, we give an algebraic proof of a theorem of Brown on a finiteness condition for semigroups.