Abstract
Any lattice-ordered group (l-group for short) is essentially extended by its lexicographic product with a totally ordered group. That is, anl-homomorphism (i.e., a group and lattice homomorphism) on the extension which is injective on thel-group must be injective on the extension as well. Thus nol-group has a maximal essential extension in the categoryIGp ofl-groups withl-homomorphisms. However, anl-group is a distributive lattice, and so has a maximal essential extension in the categoryD of distributive lattices with lattice homomorphisms. Adistinguished extension of onel-group by another is one which is essential inD. We characterize such extensions, and show that everyl-groupG has a maximal distinguished extensionE(G) which is unique up to anl-isomorphism overG.E(G) contains most other known completions in whichG is order dense, and has mostl-group completeness properties as a result. Finally, we show that ifG is projectable then E(G) is the α-completion of the projectable hull ofG.
Similar content being viewed by others
References
Anderson, M. andFeil, T.,Lattice-Ordered Groups, an Introduction. Reidel Texts in the Mathematical Sciences. Reidel, Dordrecht, 1988.
Balbes, R.,Projective and injective distributive lattices. Pacific J. Math. (1967), 405–420.
Balbes, R. andDwinger, P.,Distributive Lattices. University of Missouri Press, Columbia, Missouri, 1974.
Ball, R. N.,Convergence and Cauchy structures on lattice ordered groups. Trans. Amer. Math. Soc.259 (1980), 357–392.
Ball, R. N.,The distinguished completion of a lattice ordered group. In Algebra Carbondale 1980, Lecture Notes in Mathematics848, pages 208–217. Springer-Verlag, 1980.
Ball, R. N.,The generalized orthocompletion and strongly projectable hull of a lattice ordered group. Can. J. Math.34 (1982), 621–661.
Ball, R. N.,Distributive Cauchy lattices. Algebra Universalis18 (1984), 134–174.
Ball, R. N.,Completions of l-groups. InLattice Ordered Groups, A. M. W. Glass and W. C. Holland, editors, chapter 7, pages 142–174. Kluwer, Dordrecht-Boston-London, 1989.
Ball, R. N.,The structure of the α-completion of a lattice ordered group. Houston J. Math.15 (1989), 481–515.
Ball, R. N. andDavis, G.,The α-completion of a lattice ordered group. Czechoslovak Math. J.33 (108) (1983), 111–118.
Bernau, S. J.,Lateral and Dedekind completions of archimedean lattice groups. J. London Math. Soc.12 (1976), 320–322.
Bigard, A.,Keimel, K. andWolfenstein, S.,Groupes et Anneaux Reticules. Lecture Notes in Pure and Applied Mathematics 608. Springer-Verlag, 1977.
Birkhoff, G.,Lattice Theory. Colloquium Publications XXV. American Mathematical Society, Providence, 3rd edition, 1967.
Fuchs, L.,Partially Ordered Algebraic Systems. Pergamon Press, New York, 1963.
Glass, A. M. W.,Ordered Permutation Groups. London Mathematical Society Lecture Note Series 55. Cambridge University Press, Cambridge, 1981.
Grätzer, G.,General Lattice Theory. Academic Press, New York, 1978.
Holland, W. C.,The lattice-ordered group of automorphisms of an ordered set. Mich. J. Math.10 (1963), 399–408.