Weak units in epicompletions of Archimedean lattice-ordered groups (Q5940622)

The environment of this paper is Arch, the category of archimedean lattice-ordered groups (\(l\)-groups) with \(l\)-homomorphisms (i.e., homomorphisms which preserve both the group and the lattice structure). First a general answer to the question whether any epicompletion of an archimedean \(l\)-group has a weak unit is given in Proposition 3.0. Let \(G\leq H\) be a coessential embedding, and let \(H\) be laterally \(\sigma \)-complete with ppp (i.e., the principal projection property). The following statements are equivalent: (1) \(H\) has a weak unit. (2) There is a countable \(A\subseteq G\) with \(\kappa _{H}(A)=H\) for any uncountable cardinal number \(\kappa \). (3) There is a countable \(A\subseteq G\) with \(A^{\perp \perp }=H\). (4) There is a countable \(A\subseteq G\) with \(ak_{H}(A)=H\). Replacing the generic epicompletion \(H\) in the previous result by a specific one, \(\beta _{{\mathcal A}}^{\kappa }(G)\), this criterion can be refined involving only \(G\), as follows: Theorem 3.2. Let \(G\) (object in Arch) and \(\kappa \) (an infinite cardinal or the symbol \(\infty \)) be given. The following statements are equivalent: (1) \(\beta _{{\mathcal A}}^{\kappa }(G)\) has a weak unit. (2) There is a countable \(A\subseteq G\) with \(\kappa _{G}(A)=G\). (3) If \(G\leq H\) is a \(\kappa \)-coessential, \(\kappa \)-complete embedding and \(H\) is laterally \(\sigma \)-complete, with ppp, then \(H\) has a weak unit. (4) If \(G\leq H\) is a \(\kappa \)-coessential, \(\kappa \)-complete embedding and \(H\) is epicomplete, then \(H\) has a weak unit. (5) If \(H\) is an epicompletion of \(G\) in which \(G\) is \(\kappa \)-completely embedded, then \(H\) has a weak unit. (6) If \(\phi :G\rightarrow H\) is a \(\kappa \)-complete, epic morphism with \(H\) epicomplete, then \(H\) has a weak unit.