Commutativity in groups presented by finite Church-Rosser Thue systems
Madlener, Klaus ; Otto, Friedrich
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988), p. 93-111 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1988-01-01
@article{ITA_1988__22_1_93_0,
     author = {Madlener, Klaus and Otto, Friedrich},
     title = {Commutativity in groups presented by finite Church-Rosser Thue systems},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     volume = {22},
     year = {1988},
     pages = {93-111},
     mrnumber = {945926},
     zbl = {0649.20030},
     language = {en},
     url = {http://dml.mathdoc.fr/item/ITA_1988__22_1_93_0}
}

Madlener, Klaus; Otto, Friedrich. Commutativity in groups presented by finite Church-Rosser Thue systems. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) pp. 93-111. http://gdmltest.u-ga.fr/item/ITA_1988__22_1_93_0/

1. S. I. Adjan, The Burnside Problem and Identities in Groups; Springer, Berlin-Heidelberg-New York, 1979. | MR 537580 | Zbl 0417.20001

2. J. Avenhaus, R. V. Book and C. Squier, On Expressing Commutativity by Finite Church-Rosser Presentations: a Note on Commutative Monoids, R.A.I.R.O. Inf. théorique, Vol. 18, 1984, pp. 47-52. | Numdam | MR 750450 | Zbl 0542.20038

3. J. Avenhaus, K. Madlener and F. Otto, Groups presented by Finite Two-Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 297, 1986, pp. 427-443. | MR 854076 | Zbl 0604.20034

4. J. Berstel, Congruences plus que parfaites et langages algébriques, Séminaire d'Informatique Théorique, Institut de Programmation, 1976-1977, pp. 123-147.

5. R. V Book, Confluent and Other Types of Thue Systems, J. Assoc. Comput. Mach., Vol. 29, 1982, pp. 171-182. | MR 662617 | Zbl 0478.68032

6. R. V Book, Decidable Sentences of Church-Rosser Congruences, Theoret. Comput. Sci., Vol. 24, 1983, pp. 301-312. | MR 716826 | Zbl 0525.68015

7. R. V Book, Thue Systems and the Church-Rosser Property: Replacement Systems, Specification of Formal Languages and Presentations of Monoids, in L. CUMMINGS Ed.; Combinatorics on Words: Progress and Perspectives, Academic Press, 1983, pp. 1-38. | MR 910127 | Zbl 0563.68062

8. R. V Book, Thue Systems as Rewriting Systems, in J. P. JOUANNAUD Ed., Rewriting Techniques and Applications, Lect. Notes in Comput. Sci., Vol. 202, 1985, pp. 63-94. | MR 826056 | Zbl 0587.03026

9. R. V. Book, M. Jantzen and C. Wrathall, Monadic Thue Systems, Theoret. Comput. Sci., Vol. 19, 1982, pp. 231-251. | MR 671869 | Zbl 0488.03020

10. Y. Cochet, Church-Rosser Congruences on Free Semigroups, Coll. Math. Soc. Janos Bolyai, Algebraic Theory of Semigroups, Vol. 20, 1976, pp. 51-60. | MR 541109 | Zbl 0408.20054

11. Y. Cochet and M. Nivat, Une generalization des ensembles de Dyck, Israel J. Math., Vol. 9, 1971, pp. 389-395. | MR 276021 | Zbl 0215.56005

12. V. Diekert, Some Remarks on Presentations by Finite Church-Rosser Thue Systems, private communication.

13. R. H. Gilman, Computations with Rational Subsets of Confluent Groups, Proceedings of EUROSAM 84, Lect. Notes in Comput. Sci., Vol. 174, 1984, pp. 207-212. | MR 779127 | Zbl 0549.68025

14. M. Greendlinger, Problem of Conjugacy and Coincidence with the Anticenter in Group Theory, Siberian Math. J., Vol. 7, 1966, pp. 626-640. | MR 199257

15. R. H Haring-Smith, Groups and Simple Languages, Trans. Amer. Math. Soc., Vol. 279, 1983, pp. 337-356. | MR 704619 | Zbl 0518.20030

16. M. Jantzen, Thue Systems and the Church-Rosser Property, Proceedings of MFCS 84, Lect. Notes Comput. Sci., Vol. 176, 1984, pp. 80-95. | MR 783439 | Zbl 0553.03025

17. M. Jantzen, Thue Congruences and Complete String-Rewriting Systems, Habilitationsschrift, Univ. Hamburg, 1986.

18. D. E. Muller and P. E. Schupp, Groups, the Theory of Ends, and Context-Free Languages, J. Comp. System Sci., Vol. 26, 1983, pp. 295-310. | MR 710250 | Zbl 0537.20011

19. P. Narendran and C. O'Dunlaing, Cancellativity in Finitely Presented Semigroups, submitted for publication. | Zbl 0682.20046

20. F. Otto, Conjugacy in Monoids with a Special Church-Rosser Presentation is Decidable, Semigroup Forum, Vol. 29, 1984, pp. 223-240. | MR 742135 | Zbl 0551.20044

21. F. Otto, Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group, Theoret. Comput. Sci., Vol. 32, 1984, pp. 249-260. | MR 761345 | Zbl 0555.20036

22. F. Otto, Sorne Undecidability Results for Non-Monadic Church-Rosser Thue Systems, Theoret. Comput. Sci., Vol. 33, 1984, pp. 261-278. | MR 767394 | Zbl 0563.03019

23. F. Otto, Elements of Finite Order for Finite Monadic Church-Rosser Thue Systems, Trans. Amer. Math. Soc., Vol. 291, 1985, pp. 629-637. | MR 800255 | Zbl 0583.20054

24. F. Otto, On Deciding Whether a Monoid is a Free Monoid or Is a Group, Acta Inf., Vol. 23, 1986, pp. 99-110. | MR 845625 | Zbl 0592.20059