Profinite semigroups, Mal'cev products, and identities

Journal of Algebra

Volumn 182, Issue 3, 1996, Pages 604-626

  Pin, J E ^a   Weil, P ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030585607     PISSN: 00218693     EISSN: None     Source Type: Journal    
DOI: 10.1006/jabr.1996.0192     Document Type: Article

References (29)

1. 1. D. Albert, R. Baldinger, and J. Rhodes, Undecidability of the identity problem for finite semigroups, J. Symbolic Logic 57 (1992), 179-192.
2. 2. J. Almeida, "Finite Semigroups and Universal Algebra," World Scientific, Singapore, 1994.
3. 3. J. Almeida and A. Azevedo, On regular implicit operations, Portugal. Math. 50 (1993), 35-61.
4. 4. J. Almeida and P. Weil, Relatively free profinite monoids: An introduction and examples, in "Semigroups, Formal Languages and Groups" (J. Fountain and V. Gould, Eds.), Kluwer Academic, Dordrecht/Norwell, Massachusetts, 1995.
5. 5. J. Almeida and P. Weil, Free profinite semigroups over semidirect products, Izv. Vyssh. Uchebn. Zaved. Mat. 39 (1995), 3-31; English translation, Russian Math. (Iz. VUZ) 39 (1995), 1-27.
6. 5. J. Almeida and P. Weil, Free profinite semigroups over semidirect products, Izv. Vyssh. Uchebn. Zaved. Mat. 39 (1995), 3-31; English translation, Russian Math. (Iz. VUZ) 39 (1995), 1-27.
7. 6. J. Almeida and P. Weil, "Profinite Categories and Semidirect Products," LITP Report 94-35, Paris, J. Pure Appl. Algebra, to appear.
8. 7. C. Ash, Inevitable graphs: A proof of the type-II conjecture and some related decision procedures, Internat. J. Algebra Comput. 1 (1991), 127-146.
9. 8. S. Eilenberg, "Automata, Languages and Machines," Vol. B, Academic Press, New York, 1976.
10. 9. K. Henckell, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra 55 (1988), 85-126.
11. 10. K. Henckell, The product expansion, J. Pure Appl. Algebra, in press.
12. 11. K. Henckell, S. Margolis, J.-E. Pin, and J. Rhodes, Ash's type II theorem, profinite topology and Malcev products, Internat. J. Algebra Comput. 1 (1991), 411-436.
13. 12. K. Hoffmann and P. Mostert, "Elements of Compact Semigroups," Merrill, Colombus, Ohio, 1966.
14. 13. R. Hunter, Certain finitely generated compact zero-dimensional semigroups, J. Austral. Math. Soc. Ser. A 44 (1988), 265-270.
15. 14. S. Margolis, M. Sapir, and P. Weil, On the extension problem for finite inverse automata and closed subgroups in profinite topologies, to appear.
16. 15. K. Numakura, Theorems on compact totally disconnected semigroups and lattices, Proc. Amer. Math. Soc. 8 (1957), 623-626.
17. 16. J.-E. Pin, "Variétés de langages formels," Masson, Paris, 1984; English translation, "Varieties of Formal Languages," North Oxford, London, and Plenum, New York, 1986.
18. 16. J.-E. Pin, "Variétés de langages formels," Masson, Paris, 1984; English translation, "Varieties of Formal Languages," North Oxford, London, and Plenum, New York, 1986.
19. 17. J.-E. Pin, Eilenberg's theorem for positive varieties of languages, Izv. Vyssh. Uchebn. Zaved. Mat. 39 (1995), 80-90; English translation, Russian Math. (Iz. VUZ) 39 (1995), 74-83.
20. 17. J.-E. Pin, Eilenberg's theorem for positive varieties of languages, Izv. Vyssh. Uchebn. Zaved. Mat. 39 (1995), 80-90; English translation, Russian Math. (Iz. VUZ) 39 (1995), 74-83.
21. 18. J.-E. Pin and P. Weil, A Reiterman theorem for pseudovarieties of finite first-order structures, Algebra Universalis, in press.
22. 19. J.-E. Pin and P. Weil, "Polynomial Closure and Unambiguous Product," LITP Report 94-60, Paris, in press.
23. 20. J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1-10.
24. 21. L. Ribes and P. Zalesskiǐ, On the profinite topology on a free group, Bull. London Math. Soc. 25 (1993), 37-43.
25. 22. L. Ribes and P. Zalesskiǐ, The pro-p topology of a free group and algorithmic problems in semigroups, Internat. J. Algebra Comput. 4 (1994), 359-374.
26. 23. B. Tilson, "Automata, Languages and Machines," Vol. B, Chaps. XI and XII, Academic Press, New York, 1976.
27. 24. P. Weil, Some results on the dot-depth hierarchy, Semigroup Forum 46 (1993), 352-370.
28. 25. M. Zeitoun, The join of the pseudovarieties of idempotent semigroups and of locally trivial semigroups, Semigroup Forum 50 (1995), 367-381.
29. 26. M. Zeitoun, On the decidability of the membership problem of the pseudovariety J V B, Internat. J. Algebra Comput. 5 (1995), 47-64.