Lattice-ordered fields determined by d-elements

DOI10.1007/S10485-007-9063-XMaRDI QIDQ2642574zbMATH OpenOpenAlexFDO

Publication date 17 August 2007

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-007-9063-x

\(d\)-element \(f\)-element adjoint functor algebraic extension lattice-ordered field lattice-ordered ring Wilson basis

Ordered rings, algebras, modules (06F25) Vector spaces, linear dependence, rank, lineability (15A03) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Review text

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.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Lattice-ordered fields determined by \(d\)-elements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642574)