Projectable and strongly projectable lattice-ordered groups (Q1073057)

It is shown that a lattice ordered group \((G,\leq,+)\) is projectable (strongly projectable) iff the lattice (G,\(\leq)\) satisfies: for each \(0<g\in G\) [0,g] is a Stone lattice (and its center is a complete boolean algebra). These results are from the author's 1979 Berkeley thesis. In 1983 Michael Darnel showed in his Kansas University thesis that the lattice (G,\(\leq)\) determines polars, principal polars, cardinal sums summands and minimal primes. This, of course, implies the above results. G is called weakly projectable (or has stranded primes) if each prime subgroup exceeds a unique minimal prime. It is shown that G is projectable iff it is weakly projectable and for each pair a,b\(\in G\) a'\(\cap G(b)\) is a principal convex \(\ell\)-subgroup of G. A similar result is obtained for strongly projectable \(\ell\)-groups. Thus whether or not G is projectable or strongly projectable is determined by the lattice C(G) of all convex \(\ell\)-subgroups of G. But here it is known that G is strongly projectable iff the boolean algebra of polars is a sublattice of C(G), and G is projectable iff each prime exceeds a unique minimal prime z-subgroup. In 1977 the reviewer asked if G is archimedean and weakly projectable then is G projectable? The author shows how to construct a weakly projectable archimedean \(\ell\)-group with no nontrivial cardinal summand. Finally it is shown that if G is laterally complete then the weakly projectable kernel W is conditionally orthocomplete. This is a partial answer to the reviewer's question of whether or not S is orthocomplete? Once again these results show that much of the structure of an \(\ell\)- group \((G,\leq,+)\) is determined by the lattice (G,\(\leq)\).