Lattice-ordered fields determined by \(d\)-elements (Q2642574)

Most results on the structure of lattice-ordered fields require that the field has a positive multiplicative identity. In this paper the authors construct a functor from the category of lattice-ordered fields with a vector space basis of \(d\)-elements to the full subcategory of such fields with positive multiplicative identities. This functor is a left adjoint to the forgetful functor and, in many cases, allows us to write all compatible lattice orders in terms of orders with positive multiplicative identities. The authors also use these results to characterize algebraically those extensions of totally ordered fields that have \(vl\)-bases of \(d\)-elements. The lattice-ordered fields \(L\) that the authors consider are those which have a basis of \(d\)-elements as a vector space over \(M(L)\). The authors show that for such fields, \(\geq\) is a lattice order and thus the authors are able to construct a functor from the category of general lattice-fields having a basis of \(d\)-elements to the category of lattice-ordered fields with \(1 > 0\) having such a basis. In Section 2, the authors give the terminology and notation necessary for what follows. In Section 3, the authors gather together some results on partially ordered groups and vector lattices that will be needed in the sequel. In Section 4, they show that if the field has a basis of \(d\)-elements, then the extended partial order is a lattice order. In Section 5, the authors show that in many cases for which the field has a basis of \(d\)-elements, the given lattice order is a multiple of the extended order \(\geq\). And in Section 6, the authors show that fields which have bases of \(d\)-elements are generated by roots of positive elements in \(M(L)\). Thus they are able to characterize these fields algebraically. Finally, in Section 7, the authors describe the functor underlying their previous work and show that this functor is a left adjoint of the forgetful functor.