On the decidability of iterated semidirect products with applications to complexity

Proceedings of the London Mathematical Society

Volumn 80, Issue 1, 2000, Pages 50-74

  Almeida, Jorge ^a   Steinberg, Benjamin ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002436284     PISSN: 00246115     EISSN: None     Source Type: Journal    
DOI: 10.1112/S0024611500012144     Document Type: Article

References (48)

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, 'Implicit operations on finite ℐ-trivial semigroups and a conjecture of I. Simon', J. Pure Appl. Algebra 69 (1990) 205-218.
3. J. ALMEIDA, Finite semigroups and universal algebra (English translation, World Scientific, Singapore, 1995).
4. J. ALMEIDA, 'A syntactical proof of locality of DA', Internat. J. Algebra Comput. 6 (1996) 165-177.
5. J. ALMEIDA, 'Hyperdecidable pseudovarieties and the calculation of semidirect products', Internat. J. Algebra Comput. 9 (1999) 241-261.
6. J. ALMEIDA, 'Some algorithmic problems for pseudovarieties', Publ. Math. Debrecen 54(Suppl.) (1999) 531-552.
7. J. ALMEIDA, 'On hyperdecidable pseudovarieties of simple semigroups', Internat. J. Algebra Comput. to appear.
8. n', J. Pure Appl. Algebra to appear.
9. J. ALMEIDA and M. DELGADO, 'Sur certains systèmes d'équations avec contraintes dans un groupe libre', Portugal. Math. to appear.
10. J. ALMEIDA and P. V. SILVA, 'SC-hyperdecidability of R', Theoret. Comput. Sci. to appear.
11. J. ALMEIDA and B. STEINBERG, 'Syntactic and global semigroup theory, a synthesis approach', Proceedings of the Nebraska Conference on Algorithmic Problems in Groups and Semigroups (ed. J. C. Binget, S. Margolis, J. Meakin and M. Sapin, Birkhäuser, Basle, to appear).
12. J. ALMEIDA and P. WEIL, 'Free profinite ℛ-trivial monoids', Internat. J. Algebra Comput. 7 (1997) 625-671.
13. J. ALMEIDA and P. WEIL, 'Profinite categories and semidirect products', J. Pure Appl. Algebra 123 (1998) 1-50.
14. J. ALMEIDA and M. ZEITOUN, 'The pseudovariety J is hyperdecidable', Theoretical Informatics and Applications 31 (1997) 457-482.
15. C. J. ASH, 'Finite semigroups with commuting idempotents', J. Austral. Math. Soc. Ser. A 43 (1987) 81-90.
16. C. J. ASH, 'Inevitable graphs: a proof of the type II conjecture and some related decision procedures', Internat. J. Algebra Comput. 1 (1991) 127-146.
17. M. DELGADO, 'Type II theorem and hyperdecidability of pseudovarieties of groups' (Portuguese), Doctoral Thesis, Universidade do Porto, 1997.
18. S. EILENBERG, Automata, languages and machines, vol. B (Academic Press, New York, 1976).
19. T. EVANS, 'Some connections between residual finiteness, finite embeddability and the word problem', J. London Math. Soc. (2) 1 (1969) 399-403.
20. J. A. GOGUEN and J. MESEGUER, 'Completeness of many-sorted equational logic', SIGPLAN Notices 16 (1981) no. 7, 24-32.
21. K. HENCKELL, 'Pointlike sets: the finest aperiodic cover of a finite semigroup', J. Pure Appl. Algebra 55 (1988) 85-126.
22. K. HENCKELL, 'Product expansions', J. Pure Appl. Algebra 101 (1995) 157-170.
23. K. HENCKELL, 'V-stable pairs, revisited', talk at the 1997 Kyoto Workshop on Formal Languages and Computer Systems, Algebraic engineering (ed. C. L. Nehaniv and M. Ito, 1999).
24. K. HENCKELL, S. MARGOLIS, J.-E. PIN and J. RHODES, 'Ash's type II theorem, profinite topology and Malcev products. Part I', Internat. J. Algebra Comput. 1 (1991) 411-436.
25. B. HERWIG and D. LASCAR, 'Extending partial automorphism and the profinite topology on the free groups', Trans. Amer. Math. Soc. to appear.
26. P. R. JONES and S. PUSTEJOVSKY, 'A kernel for relational morphisms of categories', Semigroups with applications (ed. J. M. Howie, W. D. Munn and H. J. Weinert, World Scientific, Singapore, 1992) 152-161.
27. 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.
28. a+b with a ≥ 6', Internat. J. Algebra Comput. 1 (1991) 1-32.
29. D. PERRIN and J.-E. PIN, 'Mots infinis', Technical Report 97/04, Laboratoire d'Informatique Théorique et Programmation, CNRS, 1997.
30. M. PETRICH and N. REILLY, Completely regular semigroups, Canadian Mathematical Society Series of Monographs and Advanced Texts 23 (Wiley-Interscience, New York, 1999).
31. J.-E. PIN and C. REUTENAUER, 'A conjecture on the Hall topology for the free group', Bull. London Math. Soc. 23 (1991) 356-362.
32. N. R. REILLY, 'Free combinatorial strict inverse semigroups', J. London Math. Soc. (2) 39 (1989) 102-120.
33. J. REITERMAN, 'The Birkhoff theorem for finite algebras', Algebra Universalis 14 (1982) 1-10.
34. J.-F. REY, 'Le produit en bloc de C-variétés et le théorème du noyau: une unification des approches', PhD. Thesis, Université Paris 6, 1995.
35. J. RHODES, 'Undecidability, automata and pseudovarieties of finite semigroups', Internat. J. Algebra Comput. 9 (1999) 455-473.
36. J. RHODES and B. STEINBERG, 'Pointlike sets, hyperdecidability and the identity problem for finite semigroups', Internat. J. Algebra Comput. 9 (1999) 475-481.
37. L. RIBES and P. A. ZALESSKIǏ, 'On the profinite topology on a free group', Bull. London Math. Soc. 25 (1993) 37-43.
38. L. RIBES and P. A. ZALESSKIǏ, 'The pro-p topology of a free group and algorithmic problems in semigroups', Internat. J. Algebra Comput. 4 (1994) 359-374.
39. L. RUDAK, 'A completeness theorem for weak equational logic', Algebra Universalis 16 (1983) 331-337.
40. S. SATOH, K. YAMA and M. TOKIZAWA, 'Semigroups of order 8', Semigroup Forum 49 (1994) 7-30.
41. B. STEINBERG, 'On pointlike sets and joins of pseudovarieties', Internat. J. Algebra Comput. 8 (1998) 203-231.
42. B. STEINBERG, 'On algorithmic problems for joins of pseudovarieties', Semigroup Forum to appear.
43. B. STEINBERG, 'Semidirect products of categories and applications', J. Pure Appl. Algebra 142 (1999) 153-182.
44. B. STEINBERG, 'Inevitable graphs and profinite topologies: some solutions to algorithmic problems in monoid and automata theory stemming from group theory', Internat. J. Algebra Comput. to appear.
45. B. TILSON, 'Categories as algebra: an essential ingredient in the theory of monoids', J. Pure Appl. Algebra 48 (1987) 83-198.
46. T. WILKE, 'An algebraic theory for regular languages of finite and infinite words', Internat. J. Algebra Comput. 3 (1993) 447-489.
47. J. ALMEIDA, A. AZEVEDO and M. ZEITOUN, 'Pseudovariety joins involving script J sign-trivial semigroups', Internat. J. Algebra Comput. 9 (1999) 99-112.
48. L. TEIXEIRA, 'A study of the semidirect product of pseudovarieties' (Portuguese), Doctoral Thesis, Universidade do Porto, 1998.