Generalized Boolean algebras in lattice-ordered groups (Q1272950): Difference between revisions

In this paper lattice-ordered groups and lattice-ordered modules generated by a generalized Boolean algebra (i.e., relatively complemented distributive lattice) are investigated and (complete) extensions of \(l\)-groups based on generalized Boolean algebras are studied. The main results deal with Specker \(l\)-groups, i.e., \(l\)-groups \(G\) which are generated as a group by their singular elements (an element \(g\in G\), \(g\neq 0\), is called singular if \(h\wedge (g-h)= 0\) for all \(0\leq h\leq g\)). It is shown that every Specker \(l\)-group \(G\) is the free \(l\)-group over the generalized Boolean algebra \(B\) of all singular elements and the identity of \(G\). Furthermore, \(G\) is complete if and only if \(B\) is complete. Also, \(G\) is conditionally (laterally) complete and has a unit if and only if \(B\) is a complete Boolean algebra. As an application, the free lattice-ordered module of a totally ordered integral domain with identity over a generalized Boolean algebra is considered. Finally, an example of an \(l\)-group is given which is generated by a generalized Boolean algebra, but which is not a Specker \(l\)-group.