Globals of pseudovarieties of commutative semigroups: The finite basis problem, decidability and gaps

Proceedings of the Edinburgh Mathematical Society

Volumn 44, Issue 1, 2001, Pages 27-47

  Almeida, Jorge ^a   Azevedo, Assis ^b  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITY OF MINHO   (Portugal)

Author keywords

Global pseudovariety; Pseudoidentity basis; Semigroupoid

Indexed keywords

EID: 23044532272     PISSN: 00130915     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0013091599000486     Document Type: Article

References (17)

1. J. ALMEIDA, Some order properties of the lattice of varieties of commutative semigroups, Can. J. Math. 38 (1986), 19-47.
2. J. ALMEIDA, Semidirect products of pseudovarieties from the universal algebraist's point of view, J. Pure Appl. Algebra GO (1989), 113-128.
3. J. ALMEIDA, Finite semigroups and universal algebra (World Scientific, Singapore, 1995). (English translation.)
4. J. ALMEIDA, Hyperdecidable pseudovarieties and the calculation of semidirect products, Int. J. Algebra Comput. 9 (1999), 241-261.
5. J. ALMEIDA AND B. STEINBERG, On the decidability of iterated semidirect products and applications to complexity, Proc. Land. Math. Soc. 80 (2000), 50-74. /
6. J. ALMEIDA AND B. STEINBERG, Syntactic and global semigroup theory, a synthesis approach, in Algorithmic Problems in Groups and Semigroups (éd. J. G. Birget, S. W. Margolis, J. Meakin and M. V. Sapir), pp. 1-23 (Birkhäuser, Basel, 2000).
7. J. ALMEIDA AND M. V. VOLKOV, The gap between partial and full, Int. J. Algebra Comput. 8 (1998), 399-430.
8. J. ALMEIDA AND P. WEIL, Relatively free profmite monoids: an introduction and examples, in Semigroups, formal languages and groups (ed. J. B. Fountain), vol. 466, pp. 73-117 (Dordrecht, Kluwer, 1995).
9. J. ALMEIDA AND P. WEIL, Profinite categories and semidirect products, J. Pure Appl. Algebra 123 (1998), 1-50.
10. J. ALMEIDA, A. AZEVEDO AND L. TEIXEIRA, On finitely based pseudovarieties of the forms VD and VDn, J. Pure Appl. Algebra 146 (2000), 1-15.
11. J. A. BRZOZOWSKI AND I. SIMON,-Characterizations of locally testable events, Discrete Math. 4 (1973), 243-271.
12. P. R. JONES AND P. G. TROTTER, Locality of DS and associated varieties, J. Pure Appl. Algebra 104 (1995), 275-301.
13. R. KNAST, Some theorems on graph congruences, RAIRO Inf. Théor. Appl. 17 (1983), 331-342.
14. E. NELSON, The lattice of equational classes of commutative semigroups, Can. J. Math. 33 (1971), 875-895.
15. H. STRAUBING, Finite semigroup varieties of the form VD, J. Pure Appl. Algebra 36 (1985), 53-94.
16. D. THéRIEN AND A. WEISS, Graph congruences and wreath products, J. Pure Appl. Algebra 36 (1985), 205-215.
17. B. TlLSON, Categories as algebra: an essential ingredient in the theory of monoids, J. Pure Appl. Algebra 48 (1987), 83-198.