LEFT ADEQUATE AND LEFT EHRESMANN MONOIDS
Abstract
This is the first of two articles studying the structure of left adequate and, more generally, of left Ehresmann monoids. Motivated by a careful analysis of normal forms, we introduce here a concept of proper for a left adequate monoid M. In fact, our notion is that of T-proper, where T is a submonoid of M. We show that any left adequate monoid M has an X*-proper cover for some set X, that is, there is a left adequate monoid 
that is X*-proper, and an idempotent separating surjective morphism 
of the appropriate type. Given this result, we may deduce that the free left adequate monoid on any set X is X*-proper. In a subsequent paper, we show how to construct T-proper left adequate monoids from any monoid T acting via order-preserving maps on a semilattice with identity, and prove that the free left adequate monoid is of this form. An alternative description of the free left adequate monoid will appear in a paper of Kambites. We show how to obtain the labeled trees appearing in his result from our structure theorem. Our results apply to the wider class of left Ehresmann monoids, and we give them in full generality. We also indicate how to obtain some of the analogous results in the two-sided case. This paper and its sequel, and the two of Kambites on free (left) adequate semigroups, demonstrate the rich but accessible structure of (left) adequate semigroups and monoids, introduced with startling insight by Fountain some 30 years ago.
References
- Proc. Edinburgh Math. Soc. 24, 171 (1981). Crossref, Web of Science, Google Scholar
- Semigroup Forum 71, 411 (2005). Crossref, Web of Science, Google Scholar
- Q. J. Math. 28, 285 (1977). Crossref, Web of Science, Google Scholar
- Proc. Edinburgh Math. Soc. (2) 22, 113 (1979), DOI: 10.1017/S0013091500016230. Crossref, Web of Science, Google Scholar
J. Fountain , Semigroups, Theory and Applications,Lecture Notes in Mathematics 1320 (Springer, 1988) pp. 97–120. Crossref, Google Scholar- Glasg. Math. J. 33, 135 (1991), DOI: 10.1017/S0017089500008168. Crossref, Web of Science, Google Scholar
- Internat. J. Algebra Comput. 19, 527 (2009). Link, Web of Science, Google Scholar
- Semigroup Forum 63, 11 (2001), DOI: 10.1007/s002330010054. Crossref, Web of Science, Google Scholar
- G. M. S. Gomes and V. Gould, Left adequate and left Ehresmann monoids II, to appear in J. Algebra . Google Scholar
- Comm. Algebra 35, 3503 (2007), DOI: 10.1080/00927870701509503. Crossref, Web of Science, Google Scholar
- Internat. J. Algebra Comput. 6, 713 (1996). Link, Google Scholar
- V. Gould, Notes on restriction semigroups and related structures, preprint, http://www-users.york.ac.uk/~varg1 . Google Scholar
- Internat. J. Algebra Comput. 15, 683 (2005). Link, Web of Science, Google Scholar
-
J. M. Howie , Fundamentals of Semigroup Theory ( Oxford University Press , 1995 ) . Crossref, Google Scholar - M. Kambites, Free adequate semigroups, preprint (2009), to appear in J. Aust. Math. Soc . Google Scholar
- M. Kambites, Retracts of trees and free left adequate semigroups, to appear in Proc. Edinburgh Math. Soc . Google Scholar
- Q. J. Math. 37, 279 (1986). Crossref, Web of Science, Google Scholar
- J. Algebra 141, 422 (1991). Crossref, Web of Science, Google Scholar
-
M. V. Lawson , Inverse Semigroups: The Theory of Partial Symmetries ( World Scientific , 1998 ) . Link, Google Scholar - Trans. Amer. Math. Soc. 192, 227 (1974). Web of Science, Google Scholar
- Trans. Amer. Math. Soc. 192, 351 (1974). Web of Science, Google Scholar
- Proc. London Math. Soc. 29, 385 (1974). Web of Science, Google Scholar
- Semigroup Forum 4, 351 (1972), DOI: 10.1007/BF02570809. Crossref, Google Scholar
| Remember to check out the Most Cited Articles! |
|---|
|
Check out Algebra & Computation books in the Mathematics 2021 catalogue. |
