Functorial approximation to the lateral completion in archimedean lattice-ordered groups with weak unit

Authors Anthony W. Hager, Jorge Martinez

Publication date 26 April 2006

Published in Rendiconti del Seminario Matematico della Università di Padova (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=RSMUP_2001__105__87_0, https://eudml.org/doc/108557

Ordered rings, algebras, modules (06F25) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Review text

A lattice-ordered group is laterally complete if each pairwise disjoint family of its elements has the supremum. A lateral completion of a lattice-ordered group \(A\) is the unique minimum essential extension \(lA\) of \(A\) to laterally complete groups. The paper investigates a lateral completion in the category \(\mathcal W\) of archimedean lattice-ordered groups with distinguished weak order unit (morphisms are lattice and group homomorphisms preserving units). Let \(\mathcal L\) be a full subcategory of \(\mathcal W\) formed by all laterally complete \(\mathcal W\)-objects. It is well-known that the lateral completion \(l\) is not a functor from \(\mathcal W\) into \(\mathcal L\). Let \(\mu (l)\) be the functor that is maximum beneath \(l\) in \(W\) -- it is a monoreflection in \(\mathcal W\). The main result of this paper is \(\mu (l)A=\varepsilon A\cap\sigma A\) for \(A\in \mathcal W\) where \(\varepsilon\) is the maximum monoreflection beneath Conrad's essential hull and \(\sigma\) is laterally \(\sigma\)-complete monoreflection (each countable pairwise disjoint family of elements has the supremum). The other properties of \(\mu (l)\) are obtained. The proofs exploit topological methods.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Functorial approximation to the lateral completion in archimedean lattice-ordered groups with weak unit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2569824)