Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Lattice-ordered injective hulls


Author: Stuart A. Steinberg
Journal: Trans. Amer. Math. Soc. 169 (1972), 365-388
MSC: Primary 06A55
DOI: https://doi.org/10.1090/S0002-9947-1972-0313158-7
MathSciNet review: 0313158
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: It is well known that the injective hull of a lattice-ordered group ($l$-group) $M$ can be given a lattice order in a unique way so that it becomes an $l$-group extension of $M$. This is not the case for an arbitrary $f$-module over a partially ordered ring (po-ring). The fact that it is the case for any $l$-group is used extensively to get deep theorems in the theory of $l$-groups. For instance, it is used in the proof of the Hahn-embedding theorem and in the characterization of ${\aleph _a}$-injective $l$-groups. In this paper we give a necessary and sufficient condition on the injective hull of a torsion-free $f$-module $M$ (over a directed essentially positive po-ring) for it to be made into an $f$-module extension of $M$ (in a unique way). An $f$-module is called an $i - f$-module if its injective hull can be made into an $f$-module extension. The class of torsion-free $i - f$-modules is closed under the formation of products, sums, and Hahn products of strict $f$-modules. Also, an $l$-submodule and a torsion-free homomorphic image of a torsion-free $i - f$-module are $i - f$-modules. Let $R$ be an $f$-ring with zero right singular ideal whose Boolean algebra of polars is atomic. We show that $R$ is a $qf$-ring (i.e., ${R_R}$ is an $i - f$-module) if and only if each torsion-free $R - f$-module is an $i - f$-module. There are no injectives in the category of torsion-free $R - f$-modules, but there are ${\aleph _a}$-injectives. These may be characterized as the $f$-modules that are injective $R$-modules and ${\aleph _a}$-injective $l$-groups. In addition, each torsion-free $f$-module over $R$ can be embedded in a Hahn product of $l$-simple $Q(R) - f$-modules. We note, too, that a totally ordered domain has an $i - f$-module if and only if it is a right Ore domain.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 06A55

Retrieve articles in all journals with MSC: 06A55


Additional Information

Keywords: <IMG WIDTH="18" HEIGHT="39" ALIGN="MIDDLE" BORDER="0" SRC="images/img1.gif" ALT="$f$">-module, lattice-ordered injective hull, relative injectives, torsion-free <IMG WIDTH="18" HEIGHT="39" ALIGN="MIDDLE" BORDER="0" SRC="images/img44.gif" ALT="$f$">-module, Hahn embedding theorem
Article copyright: © Copyright 1972 American Mathematical Society