nLab ordered integral domain

Ordered integral domains

Ordered integral domains


An ordered integral domain is an integral domain equipped with a compatible linear order.

Note that while the adjective ‘ordered’ usually refers to a total order, it is traditionally used more strictly when placed before ‘integral domain’.


An ordered integral domain is an integral domain RR equipped with a linear order <\lt such that:

  • 1>01 \gt 0,
  • If a,b>0a, b \gt 0, then so are a+ba + b and aba b.


The integral domain \mathbb{R} of real numbers, the integral domain \mathbb{Z} of integers, and the integral domain \mathbb{Q} of rational numbers are all ordered integral domains.


Every ordered integral domain must have characteristic 00, since we can prove by induction that n>0n \gt 0 for every positive natural number nn.

The archimedean ordered integral domain are precisely the integral subdomains of the integral domain of real numbers.

Every localization of the integral domain of integers away from a subset not containing zero is a dense linear order, and the Dedekind completion of the resulting integral domain is the integral domain of real numbers. In particular, the Dedekind completions of the dyadic rational numbers and the decimal rational numbers are both the real numbers.

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