Lattice-ordered Fields Determined by d-elements

Abstract

Most results on the structure of lattice-ordered fields require that the field have a positive multiplicative identity. We 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. We also use these results to characterize algebraically those extensions of totally ordered fields that have v -bases of d-elements.