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

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.