No Access

COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1

Centro de Matemática, Universidade do Minho, Campus de Gualtar, 4700-320 Braga, Portugal

and

Escola Superior de Tecnologia e Gestão, Instituto Politécnico de Leiria, Campus 2, Morro do Lena, Alto Vieiro, 2411-901 Leiria, Portugal

Search for more papers by this author

https://doi.org/10.1142/S021819670900507XCited by:6 (Source: Crossref)

Abstract

In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.

Keywords:

AMSC: 20M05, 20M07, 20M35

References

D. Albert, R. Baldinger and J. Rhodes, J. Symbolic Logic 57, 179 (1992). Crossref, Web of Science, Google Scholar
J. Almeida , Finite Semigroups and Universal Algebra ( World Scientific , Singapore , 1995 ) . Link, Google Scholar
J. Almeida, Int. J. Algebra Comput. 9, 241 (1999), DOI: 10.1142/S0218196799000163. Link, Web of Science, Google Scholar
J. Almeida, Trans. Amer. Math. Soc. 354, 387 (2002), DOI: 10.1090/S0002-9947-01-02857-4. Crossref, Web of Science, Google Scholar
J. Almeida, Semigroups, Algorithms, Automata and Languages, ed. G. Gomes (World Scientific, 2002) pp. 3–64. Link, Google Scholar
J. Almeida, J. C. Costa and M. Zeitoun, Monatshefte für Mathematik 146, 89 (2005), DOI: 10.1007/s00605-005-0324-1. Crossref, Web of Science, Google Scholar
J. Almeida, J. C. Costa and M. Zeitoun, Complete reducibility of pseudovarieties, Proc. Int. Conf. Semigroups and Formal Languages, eds. J. Andréet al. (World Scientific, 2007) pp. 9–25. Google Scholar
J. Almeida, J. C. Costa and M. Zeitoun, Portugaliæ Mathematica 64, 445 (2007). Crossref, Google Scholar
J. Almeida and M. Delgado, Int. J. Algebra Comput. 15, 327 (2005), DOI: 10.1142/S0218196705002311. Link, Web of Science, Google Scholar
J. Almeida and B. Steinberg, Proc. London Math. Soc. 80, 50 (2000), DOI: 10.1112/S0024611500012144. Crossref, Web of Science, Google Scholar
J. Almeida and B. Steinberg, Algorithmic Problems in Groups and Semigroups, Trends Math. (Birkhäuser Boston, Boston, MA, 2000) pp. 1–23. Crossref, Google Scholar
C. Ash, Int. J. Algebra Comput. 1, 127 (1991), DOI: 10.1142/S0218196791000079. Link, Google Scholar
K. Auinger and B. Steinberg, Proc. Amer. Math. Soc. 131, 2693 (2003), DOI: 10.1090/S0002-9939-03-06860-6. Crossref, Web of Science, Google Scholar
J. C. Costa, J. Pure Applied Algebra 163, 19 (2001), DOI: 10.1016/S0022-4049(00)00176-6. Crossref, Web of Science, Google Scholar
J. C. Costa and M. L. Teixeira, Int. J. Algebra Comput. 14, 627 (2004), DOI: 10.1142/S0218196704001955. Link, Web of Science, Google Scholar
T. Coulbois and A. Khélif, Proc. Amer. Math. Soc. 127, 963 (1999), DOI: 10.1090/S0002-9939-99-04747-4. Crossref, Web of Science, Google Scholar
M. Lothaire , Algebraic Combinatorics on Words ( Cambridge University Press , 2002 ) . Crossref, Google Scholar
J. McCammond, Int. J. Algebra and Comput. 11, 581 (2001), DOI: 10.1142/S0218196701000693. Link, Web of Science, Google Scholar
J. Reiterman, Algebra Universalis 14, 1 (1982), DOI: 10.1007/BF02483902. Crossref, Web of Science, Google Scholar
J. Rhodes, Int. J. Algebra and Comput. 9, 455 (1999), DOI: 10.1142/S0218196799000278. Link, Web of Science, Google Scholar
J. Rhodes and B. Steinberg , The q-Theory of Finite Semigroups , Springer Monographs in Mathematics ( Springer , 2008 ) . Google Scholar
B. Steinberg, Semigroup Forum 62, 1 (2001). Crossref, Web of Science, Google Scholar
B. Steinberg, Semigroup Forum 63, 281 (2001). Crossref, Google Scholar