nLab pseudolattice ordered ring




(0,1)-Category theory



A pseudolattice ordered ring is an partially ordered ring whose partial order forms a pseudolattice.


A psuedolattice ordered ring is a preordered ring where the partial order <\lt is a pseudolattice: it has binary joins and meets.

If the relation \leq is only a preorder, then the preordered ring RR is said to be a pseudolattice preordered ring.

Essentially algebraic definition

The following essentially algebraic definition is adapted from the algebraic definition of pseudolattice ordered abelian group by Peter Freyd:

A pseudolattice ordered ring is an ring RR with a function ramp:RRramp:R \to R such that for all aa and bb in GG,

a=ramp(a)ramp(a) a = ramp(a) - ramp(-a)
ramp(aramp(b))=ramp(ramp(a)ramp(b)) ramp(a - ramp(b)) = ramp(ramp(a) - ramp(b))

and the following Horn clause:

ramp(a)=aramp(b)=bramp(ab)=ab ramp(a) = a \wedge ramp(b) = b \vdash ramp(a b) = a b

An element aa in RR is non-negative if ramp(a)=aramp(a) = a. The Horn clause can then be stated as multiplication of non-negative elements is non-negative.

The join ()():R×RR(-)\vee(-):R \times R \to R is defined as

aba+ramp(ba) a \vee b \coloneqq a + ramp(b - a)

the meet ()():R×RR(-)\wedge(-):R \times R \to R is defined as

abaramp(ab) a \wedge b \coloneqq a - ramp(a - b)

and the absolute value is defined as

|a|ramp(a)+ramp(a) \vert a \vert \coloneqq ramp(a) + ramp(-a)

The order relation is defined as in all pseudolattices: aba \leq b if a=aba = a \wedge b.


All totally ordered rings, such as the integers, the rational numbers, and the real numbers, are pseudolattice ordered rings.


  • Peter Freyd, Algebraic real analysis, Theory and Applications of Categories, Vol. 20, 2008, No. 10, pp 215-306 (tac:20-10)

Last revised on December 7, 2022 at 15:58:47. See the history of this page for a list of all contributions to it.