The word problem for free lattice-ordered groups (and some other free algebras)
HTML articles powered by AMS MathViewer
- by Trevor Evans
- Proc. Amer. Math. Soc. 98 (1986), 559-560
- DOI: https://doi.org/10.1090/S0002-9939-1986-0861749-2
- PDF | Request permission
Abstract:
It is known that in the lattice of all varieties of $l$-groups, there is a unique maximal proper subvariety. Based on this fact we give a simple algorithm for deciding the word problem in free $l$-groups. Some other applications are also given.References
- T. Evans, K. I. Mandelberg, and M. F. Neff, Embedding algebras with solvable word problems in simple algebras—some Boone-Higman type theorems, Logic Colloquium ’73 (Bristol, 1973) Studies in Logic and the Foundations of Mathematics, Vol. 80, North-Holland, Amsterdam, 1975, pp. 259–277. MR 0389568
- S. A. Gurchenkov, Varieties of $l$-groups with identity $[x^p,y^p]=e$ are finitely based, Algebra i Logika 23 (1984), no. 1, 27–47, 119 (Russian). MR 781403
- W. Charles Holland, The largest proper variety of lattice ordered groups, Proc. Amer. Math. Soc. 57 (1976), no. 1, 25–28. MR 406902, DOI 10.1090/S0002-9939-1976-0406902-0
- W. Charles Holland and Stephen H. McCleary, Solvability of the word problem in free lattice-ordered groups, Houston J. Math. 5 (1979), no. 1, 99–105. MR 533643
- E. B. Scrimger, A large class of small varieties of lattice-ordered groups, Proc. Amer. Math. Soc. 51 (1975), 301–306. MR 384644, DOI 10.1090/S0002-9939-1975-0384644-7
Bibliographic Information
- © Copyright 1986 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 98 (1986), 559-560
- MSC: Primary 06F15; Secondary 20F10
- DOI: https://doi.org/10.1090/S0002-9939-1986-0861749-2
- MathSciNet review: 861749