Abstract
The central result of this paper provides a simple equational basis for the join, IRL∨LG, of the variety LG of lattice-ordered groups (ℓ-groups) and the variety IRL of integral residuated lattices. It follows from known facts in universal algebra that IRL∨LG=IRL×LG. In the process of deriving our result, we will obtain simple axiomatic bases for other products of classes of residuated structures, including the class IRL×s LG, consisting of all semi-direct products of members of IRL by members of LG. We conclude the paper by presenting a general method for constructing such semi-direct products, including wreath products.
Similar content being viewed by others
References
Anderson, M., and T. Feil, Lattice-Ordered Groups: An Introduction, D. Reidel Publishing Company, 1988.
Bahls, P., J. Cole, N. Galatos, P. Jipsen, and C. Tsinakis, \lsCancellative Residuated Lattices\rs, Algebra Univers. 50, no. 1 (2003), 83–106.
Blount, K., and C. Tsinakis, \lsThe structure of Residuated Lattices\rs, Internat. J. Algebra Comput. 13, no. 4 (2003), 437–461.
Cignoli, R., D. Mundici, and I. M. L. D'Ottaviano, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 2000.
Dvure\<censkij, A, \lsPseudo MV-algebras are intervals in l-groups\rs, J. Aust. Math. Soc. 72, no. 3 (2002), 427–445.
Galatos, N., \lsEquational bases for joins of residuated lattice varieties\rs, Studia Logica 76 (2004), 227–240.
Galatos, N., and C. Tsinakis, \lsGeneralized MV-algebras\rs, J. Algebra, to appear.
Glass, A. W. M., Ordered Permutation Groups, Cambridge University Press, 1981.
Glass, A. W. M., Partially Ordered Groups, World Scientific, 1999.
Gr\:atzer, G., H. Lakser, and J. P\klonka, \lsJoins and direct products of equational classes\rs, Canad. Math. Bull. 12, no. 6 (1969), 741–744.
Hart, J., L. Rafter, and C. Tsinakis, \lsThe structure of commutative residuated lattices\rs, Internat. J. Algebra Comput. 12, no. 4 (2002), 509–524.
Holland, W. C., \lsThe lattice-ordered group of automorphisms of an ordered set\rs, Michigan Math. J. 11 (1963), 399–408.
Holland, W. C., and S. H. McCleary, \lsWreath products of ordered permutation groups\rs, Pacific J. Math. 31 (1969), 703–716.
Jipsen, P., and C. Tsinakis, \lsA survey of residuated lattices\rs, in J. Martinez, (ed.), Ordered Algebraic Structures, Kluwer Academic Publishers, Dordrecht, 2002, pp. 19–56.
Lloyd, J. T., \lsLattice-ordered groups and o-permutation groups\rs, Ph.D. Dissertation, Tulane University, 1964.
Mundici, D., \lsInterpretation of AF C*-algebras in Lukasiewicz sentential calculus\rs, J. Funct. Anal. 65, no. 1 (1986), 15–63.
Neumann, B. H., \lsEmbedding theorems for ordered groups\rs, J. London Math. Soc. 35 (1960), 503–512.
Taylor, W., \lsThe fine spectrum of a variety\rs, Algebra Univers. 5 (1975), 263–303.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Jónsson, B., Tsinakis, C. Products of Classes of Residuated Structures. Studia Logica 77, 267–292 (2004). https://doi.org/10.1023/B:STUD.0000037130.29400.97
Issue Date:
DOI: https://doi.org/10.1023/B:STUD.0000037130.29400.97