Sheaf representations and locality of Riesz spaces with order unit

We present an algebraic study of Riesz spaces (=real vector lattices) with a (strong) order unit. We exploit a categorical equivalence between those structures and a variety of algebras called RMV-algebras. We prove two different sheaf representations for Riesz spaces with order unit: the first represents them as sheaves of linearly ordered Riesz spaces over a spectral space, the second represent them as sheaves of "local" Riesz spaces over a compact Hausdorff space. Motivated by the latter representation we study the class of local RMV-algebras. We study the algebraic properties of local RMV-algebra and provide a characterisation of them as special retracts of the real interval [0,1]. Finally, we prove that the category of local RMV-algebras is equivalent to the category of all Riesz spaces.

A characterization of minimal prime ideals

Let P be a prime ideal of a ring R, O(P) = {a ∊ R | aRs = 0, for some s ∊ R/P} | and Ō(P) = {x ∊ R | xn ∊ O(P), for some positive integer n}. Several authors have obtained sheaf representations of rings whose stalks are of the form R/O(P). Also in a commutative ring a minimal prime ideal has been characterized as a prime ideal P such that P= Ō(P). In this paper we derive various conditions which ensure that a prime ideal P = Ō(P). The property that P = Ō(P) is then used to obtain conditions which determine when R/O(P) has a unique minimal prime ideal. Various generalizations of O(P) and Ō(P) are considered. Examples are provided to illustrate and delimit our results.

Fully idempotent near-rings and sheaf representations

Fully idempotent near-rings are defined and characterized which yields information on the lattice of ideals of fully idempotent rings and near-rings. The space of prime ideals is topologized and a sheaf representation is given for a class of fully idempotent near-rings which includes strongly regular near-rings.