Whales and the orthocompletion (Q1866844)

A lattice-ordered group (\(\ell \)-group) is called orthocomplete if it is strongly projectable and laterally complete. If \(G\) and \(H\) are \(\ell \)-groups, then \(H\) is an orthocompletion of \(G\) if \(H\) is an orthocomplete essential extension of \(G\) that is minimal. The authors deal with the question of the existence of orthocompletions of \(\ell \)-groups. They introduce the so-called \(\Lambda \)-representable \(\ell \)-groups as follows: If \(\Lambda \) is a set, \(T_\lambda \) an \(\ell \)-group for every \(\lambda \in \Lambda \) and \(G\) an \(\ell \)-group of the cardinal product of \(T_\lambda \) (\(\lambda \in \Lambda \)), then \(G\) is \(\Lambda \)-representable if there exists a map from the Boolean algebra \(P(G)\) of polars of \(G\) into the power set of \(\Lambda \) satisfying certain conditions. Furthermore, the notion of a whale in the Boolean algebra \(P(G)\) (which was introduced generally in any Boolean algebra by \textit{G. Buskes} and \textit{A. van Rooij} [Proc. Am. Math. Soc. 124, 423-427 (1996; Zbl 0840.46002)]) makes it possible to define almost everywhere defined functions. The authors prove the existence and uniqueness of orthocompletions for \(\Lambda \)-representable \(\ell \)-groups as subgroups of almost everywhere defined functions on \(\Lambda \), without using the Axiom of Choice.