Hyperdecidability of pseudovarieties of orthogroups

Glasgow Mathematical Journal

Volumn 43, Issue 1, 2001, Pages 67-83

  Almeida, Jorge ^a   Trotter, Peter G ^b  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITY OF TASMANIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035634530     PISSN: 00170895     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0017089501010060     Document Type: Article

References (35)

1. D. Albert, R. Baldinger and J. Rhodes, The identity problem for finite semigroups (the undecidability of), J. Symbolic Logic 57 (1992), 179-192.
2. J. Almeida, Finite semigroups and universal algebra (World Scientific, Singapore, 1995). English translation.
3. J. Almeida, Hyperdecidable pseudovarieties and the calculation of semidirect products, Int. J. Algebra and Computation 9 (1999), 241-261.
4. J. Almeida, Some algorithmic problems for pseudovarieties, Publ. Math. Debrecen 54 Suppl. (1999), 531-552.
5. J. Almeida, Dynamics of implicit operations and lameness of pseudovarieties of groups, Tech. Rep. CMUP 2000-01 (Univ. Porto, 2000).
6. J. Almeida and A. Azevedo, On regular implicit operations, Portugal. Math. 50 (1993), 35-61.
7. J. Almeida and M. Delgado, Sur certains systèmes d'équations avec contraintes dans un groupe libre, Portugal. Math. 56 (1999), 409-417.
8. J. Almeida and B. Steinberg, On the decidability of iterated semidirect products and applications to complexity, Proc. London Math. Soc. (3) 80 (2000), 50-74.
9. J. Almeida and B. Steinberg, Syntactic and Global Semigroup Theory, a Synthesis Approach, in Algorithmic Problems in Groups and Semigroups, J. C. Birget, S. W. Margolis, J. Meakin, and M. V. Sapir, eds., (Birkhäuser, 2000), 1-23.
10. J. Almeida and P. Weil, Free profinite semigroups over semidirect products, Russian Math. (Iz. VUZ) 39 (1995), 1-27.
11. J. Almeida and P. Weil, Relatively free profinite monoids: an introduction and examples, in Semigroups, Formal Languages and Groups, J. B. Fountain, ed., vol. 466, Kluwer Academic Publ., Dordrecht, 1995, 73-117.
12. C. J. Ash, Inevitable graphs: a proof of the type II conjecture and some related decision procedures, Int. J. Algebra and Computation 1 (1991), 127-146.
13. J.-C. Birget, Iteration of expansions - unambiguous semigroups, J. Pure Appl. Algebra 34 (1984), 1-55.
14. J.-C. Birget, S. Margolis and J. Rhodes, Semigroups whose idempotents form a subsemigroup, Bull. Austral. Math. Soc. 41 (1990), 161-184.
15. S. Eilenberg, Automata, languages and machines, Vol. B (Academic Press, 1976).
16. A. Gerhard and M. Petrich, The word problem for orthogroups, Canad. J. Math. 33 (1981), 893-900.
17. J. A. Gerhard, Free completely regular semigroups I. Representation, J. Algebra 82 (1983), 135-142.
18. r = x, Proc. Cambridge Phil. Soc. 48 (1952), 35-40.
19. K. Henckell, Pointlike sets: the finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra 55 (1988), 85-126.
20. K. Henckell, S. Margolis, J.-E. Pin and J. Rhodes, Ash's type II theorem, profinite topology and Malcev products. Part I, Int. J. Algebra and Computation 1 (1991), 411-436.
21. B. Herwig and D. Lascar, Extending partial automorphisms and the profinite topology on free groups, Trans. Amer. Math. Soc. 352 (2000), 1985-2021.
22. J. M. Howie, An introduction to semigroup theory, (Academic Press, 1976).
23. J. KaHourek and L. Polák, On the word problem for free completely regular semigroups, Semigroup Forum 34 (1986), 127-138.
24. K. Krohn and J. Rhodes, Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines, Trans. Amer. Math. Soc. 116 (1965), 450-464.
25. H. Neumann, Varieties of groups (Springer-Verlag, 1967).
26. F. J. Pastijn and P. G. Trotter, Residual finiteness in completely regular semigroup varieties, Semigroup Forum 37 (1988), 127-147.
27. J.-E. Pin, Varieties of formal languages (Plenum, 1986). English translation.
28. J.-E. Pin and P. Weil, Profinite semigroups, Mal'cev products and identities, J. Algebra 182 (1996), 604-626.
29. L. Polák, On varieties of completely regular semigroups I, Semigroup Forum 32 (1985), 97-123.
30. N. R. Reilly, Varieties of completely regular semigroups, J. Austral. Math. Soc., Ser. A 38 (1985), 97-123.
31. N. R. Reilly, The Rhodes expansion and free objects in varieties of completely regular semigroups, J. Pure Appl. Algebra 69 (1990), 89-109.
32. J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1-10.
33. L. Ribes and P. A. Zalesskiǐ, On the profinite topology on a free group, Bull. London Math. Soc. 25 (1993), 37-43.
34. B. Steinberg, Inevitable graphs and profinite topologies: some solutions to algorithmic problems in monoid and automata theory, stemming from group theory, Int. J. Algebra and Computation, to appear.
35. P. G. Trotter, Free completely regular semigroups, Glasgow Math. J. 25 (1984), 241-254.