Skip to main content
SpringerLink
Log in

Semidirect product with an order-computable pseudovariety and tameness

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

Abstract

The semidirect product of pseudovarieties of semigroups with an order-computable pseudovariety is investigated. The essential tool is the natural representation of the corresponding relatively free profinite semigroups and how it transforms implicit signatures. Several results concerning the behavior of the operation with respect to various kinds of tameness properties are obtained as applications.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Almeida, J.: Implicit operations on finite \(\mathcal{J}\)-trivial semigroups and a conjecture of I. Simon. J. Pure Appl. Algebra 69, 205–218 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  2. Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995), English translation

    Google Scholar 

  3. Almeida, J.: A syntactical proof of locality of DA. Int. J. Algebra Comput. 6, 165–177 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  4. Almeida, J.: Hyperdecidable pseudovarieties and the calculation of semidirect products. Int. J. Algebra Comput. 9, 241–261 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  5. Almeida, J.: Finite semigroups: an introduction to a unified theory of pseudovarieties. In: Gomes, G.M.S., Pin, J.-E., Silva, P.V. (eds.) Semigroups, Algorithms, Automata and Languages (Singapore), pp. 3–64. World Scientific, Singapore (2002)

    Chapter  Google Scholar 

  6. Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural Theory of Automata, Semigroups, and Universal Algebra (New York). NATO Science Series II: Mathematics, Physics and Chemistry, vol. 207, pp. 1–45. Springer, Berlin (2005), Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montréal, Québec, Canada, 7–18 July 2003

    Chapter  Google Scholar 

  7. Almeida, J.: Decidability and tameness in the theory of finite semigroups. Bull. Iran. Math. Soc. 34, 1–22 (2008)

    MATH  MathSciNet  Google Scholar 

  8. Almeida, J., Costa, A.: Infinite-vertex free profinite semigroupoids and symbolic dynamics. J. Pure Appl. Algebra 213, 605–631 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  9. Almeida, J., Delgado, M.: Sur certains systèmes d’équations avec contraintes dans un groupe libre—addenda. Port. Math. 58, 379–387 (2001)

    MATH  MathSciNet  Google Scholar 

  10. Almeida, J., Silva, P.V.: On the hyperdecidability of semidirect products of pseudovarieties. Commun. Algebra 26, 4065–4077 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  11. Almeida, J., Steinberg, B.: On the decidability of iterated semidirect products and applications to complexity. Proc. Lond. Math. Soc. 80, 50–74 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  12. Almeida, J., Steinberg, B.: Syntactic and global semigroup theory, a synthesis approach. In: Birget, J.C., Margolis, S.W., Meakin, J., Sapir, M.V. (eds.) Algorithmic Problems in Groups and Semigroups, pp. 1–23. Birkhäuser, Basel (2000)

    Google Scholar 

  13. Almeida, J., Weil, P.: Profinite categories and semidirect products. J. Pure Appl. Algebra 123, 1–50 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  14. Ash, C.J.: Inevitable graphs: a proof of the type II conjecture and some related decision procedures. Int. J. Algebra Comput. 1, 127–146 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  15. Auinger, K., Steinberg, B.: On the extension problem for partial permutations. Proc. Am. Math. Soc. 131, 2693–2703 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  16. Coulbois, T., Khélif, A.: Equations in free groups are not finitely approximable. Proc. Am. Math. Soc. 127, 963–965 (1999)

    Article  MATH  Google Scholar 

  17. Eilenberg, S.: Automata, Languages and Machines, vol. B. Academic Press, New York (1976)

    MATH  Google Scholar 

  18. Herwig, B., Lascar, D.: Extending partial automorphisms and the profinite topology on free groups. Trans. Am. Math. Soc. 352, 1985–2021 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  19. Jones, P.R.: Profinite categories, implicit operations and pseudovarieties of categories. J. Pure Appl. Algebra 109, 61–95 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  20. Pin, J.-E.: Varieties of Formal Languages. Plenum, London (1986), English translation

    MATH  Google Scholar 

  21. Rhodes, J.: Undecidability, automata and pseudovarieties of finite semigroups. Int. J. Algebra Comput. 9, 455–473 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  22. Rhodes, J., Steinberg, B.: The q-Theory of Finite Semigroups. Springer Monographs in Mathematics. Springer, Berlin (2009)

    Google Scholar 

  23. Sapir, M.V.: The restricted burnside problem for varieties of semigroups. Izv. Akad. Nauk SSSR, Ser. Mat. 55, 670–679 (1991). In Russian. Translation in Math. USSR-Izv. 38(3), 659–667 (1992)

    MATH  Google Scholar 

  24. Steinberg, B.: Decidability and hyperdecidability of joins of pseudovarieties. Ph.D. thesis, UC Berkeley (1998)

  25. Tilson, B.: Categories as algebra: an essential ingredient in the theory of monoids. J. Pure Appl. Algebra 48, 83–198 (1987)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro de Matemática e Departamento de Matemática, Faculdade de Ciências, Universidade do Porto, Rua do Campo Alegre, 687, 4169-007, Porto, Portugal

    J. Almeida

  2. Centro de Matemática e Departamento de Matemática e Aplicações, Universidade do Minho, Campus de Gualtar, 4700-320, Braga, Portugal

    J. C. Costa & M. L. Teixeira

Authors
  1. J. Almeida
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. C. Costa
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. L. Teixeira
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to J. Almeida.

Additional information

Dedicated to the memory of Walter Douglas Munn.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Almeida, J., Costa, J.C. & Teixeira, M.L. Semidirect product with an order-computable pseudovariety and tameness. Semigroup Forum 81, 26–50 (2010). https://doi.org/10.1007/s00233-010-9236-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-010-9236-z

Keywords

Search

Navigation