Inevitable graphs and profinite topologies: Some solutions to algorithmic problems in monoid and automata theory, stemming from group theory

International Journal of Algebra and Computation

Volumn 11, Issue 1, 2001, Pages 25-71

  Steinberg, Benjamin ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0035578859     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218196701000462     Document Type: Article

References (51)

1. D. Albert, R. Baldinger and J. Rhodes, Undecidability of the identity problem for finite semigroups, J. Symb. Logic 57 (1992), 179-192.
2. J. Almeida, Finite Semigroups and Universal Algebra, World Scientific, 1994.
3. _, A Syntactical proof of the locality of DA, Int. J. Algebra Comput. 6 (1996), 165-177.
4. _, Hyperdecidable pseudovarieties and the calculation of semidirect products, Int. J. Algebra Comput. 9 (1999), 241-261.
5. J. Almeida, A. Azevedo and M. Zeitoun, Pseudovariety joins involving J-trivial semigroups, Int. J. Algebra Comput. 9 (1999), 99-112.
6. J. Almeida and P. V. Silva, On the hyperdecidability of semidirect products of pseudovarieties, Comm. Algebra 26 (1998), 4065-4077.
7. J. Almeida and B. Steinberg, Iterated semidirect products and applications to complexity, Proc. London Math. Soc. 80 (2000), 50-74.
8. J. Almeida and P. Weil, Reduced factorizations in free profinite groups and the join decompositions of pseudovarieties, Int. J. Algebra Comput. 3 (1994), 375-403.
9. _, Free profinite semigroups over semidirect products, Russian Math. (Iz. VUZ), 39 (1995), 1-27.
10. _, Relatively free profinite monoids: An introduction and examples, Semigroups, Formal Languages and Groups, ed. J. B. Fountain, Vol. 466, Dordrecht, Kluwer Publ. 1995, pp. 73-117.
11. C. J. Ash, Finite Semigroups with commuting idempotents, J. Austral. Math. Soc. Ser. A 43, 81-90.
12. _, Inevitable Graphs: A proof of the Type II conjecture and some related decision procedures, Int. J. Algebra Comput. 1 (1991), 127-146.
13. A. W. Anissimov and F. D. Seifert, Zur algebraischen Charakteristik der durch kontextfreie Sprachen definierten Gruppen, Elektron. Inf. Verarb. u. Kybern 11 (1975), 695-702
14. J. Berstel, Transductions and context-free languages, Teubner, Stuttgart, 1979.
15. A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Mathematical Surveys No. 7, AMS, Providence, RI, Vol. 1, 1961; Vol. 2, 1967.
16. M. Delgado, Abelian Pointlikes of a Monoid, Semigroup Forum 56 (1998), 339-361.
17. _, Teorema do tipo II e hiperdecidibilade de pseudovariedades de grupos, Ph.D. Thesis, University of Porto, 1997.
18. S. Eilenberg, Automata, Languages and Machines, Vol. B, Academic Press, New York, 1976.
19. M. Freid and M. Jarden, Field Arithmetic, Springer-Verlag, 1986.
20. D. Gildenhuys and L. Ribes, Profinite groups and Boolean graphs, J. Pure Appl. Algebra 12 (1978), 21-47.
21. K. Henckell, Pointlike sets: The finest aperiodic cover of a finite semigroup, J. Pure Appl. Algebra 55 (1988), 85-126.
22. M. Hall Jr., Coset representation in free groups, Trans. Amer. Math. Soc. 67 (1949), 421-432.
23. M. Hall Jr., A topology for free groups and related groups, 52 (1950), 127-139.
24. K. Henckell, S. Margolis, J.-E. Pin and J. Rhodes, Ash's Type II theorem, Profinite topology and Malcev products, Int. J. Algebra Comput. 1 (1991), 411-436.
25. P. Jones and P. Trotter, Locality of DS and associated varieties, J. Pure Appl. Algebra 104 (1995), 275-301.
26. S. Lang, Algebra, Addison-Wesley, Reading, MA, 1971.
27. S. Margolis and J. C. Meakin, E-unitary inverse monoids and the Cayley graph of a group presentation, J. Pure Appl. Algebra 58 (1989), 45-76.
28. _, Free inverse monoids and graph immersions, Int. J. Algebra Comput. 3 (1993), 79-99.
29. S. Margolis, M. Sapir and P. Weil, Closed subgroups in pro-V topologies and the extension problem for inverse automata, Int. J. Algebra Comput., to appear.
30. W. D. Munn, Free inverse semigroups, Proc. London Math. Soc. 30 (1974), 385-404.
31. M. Petrich, Inverse Semigroups, Wiley, New York, 1984.
32. J.-E. Pin, Varieties of Formal Languages, Plenum, New York, 1986.
33. J.-E. Pin and C. Reutenauer, A conjecture on the Hall topology for the free group, Bull. London Math. Soc. 23 (1991), 356-362.
34. J.-E. Pin and P. Weil, Profinite semigroups, Mal'cev products, and identities, J. Algebra 182 (1996), 604-626.
35. J. Rhodes, Undecidability, automata, and pseudovarieties of finite semigroups, Int. J. Algebra Comput. 9 (1999), 455-473.
36. J. Rhodes and B. Steinberg, Pointlike sets, hyperdecidability, and the identity problem for finite semigroups, Int. J. Algebra Comput. 9 (1999), 475-481.
37. J. Rhodes and B. Tilson, Lower bounds for complexity of finite semigroups, J. Pure Appl. Algebra 1 (1971), 79-95.
38. _, Improved lower bounds for complexity of finite semigroups, J. Pure Appl. Algebra 1 (1972), 13-71.
39. L. Ribes and P. Zalesskiǐ, On the profinite topology on a free group, Bull. London Math. Soc. 25 (1993), 37-43.
40. _, The pro-p topology of a free group and algorithmic problems in semigroups, Int. J. Algebra Comput. 4 (1994), 359-374.
41. J. Stallings, Topology of finite graphs, Invent. Math. 71 (1983), 551-565.
42. B. Steinberg, On pointlike sets and joins of pseudovarieties, Int. J. Algebra Comput. 8 (1998), 203-231.
43. _, On algorithmic problems for joins of pseudovarieties, Semigroup Forum, to appear.
44. _, Semidirect products of categories and applications, J. Pure Appl. Algebra 142 (1999), 153-182.
45. _, Monoid kernels and profinite topologies on a free Abelian group, Bull. Austral. Math. Soc. 60 (1999), 391-402.
46. _, Finite state automata: Geometric approach, Trans. Amer. Math. Soc., to appear.
47. _, Inverse automata and profinite topologies on a free group, J. Pure Appl. Algebra, to appear.
48. B. Tilson, Type II redux, Semigroups and Their Applications, eds. S. M. Goberstein and P. M. Higgins, Reidel, Dordecht, 1987, pp. 201-205.
49. _, Categories as algebra: An essential ingredient in the theory of monoids, J. Pure Appl. Algebra 48 (1987), 83-198.
50. P. Weil, Some results on the dot-depth hierarchy, Semigroup Forum 46 (1993), 352-370.
51. E. Zel'manov, More on Burnside's Problem, Combinatorial and Geometric Group Theory Proceedings of a Workshop Held at Heriot-Watt University, Edinborough GB Spring of 93, eds. A. Duncan et al., London Mathematical Society Lecture Note Series, Cambridge 204 (1995), 314-321.