# Category:Well-Ordered Integral Domains

Jump to navigation
Jump to search

This category contains results about Well-Ordered Integral Domains.

Definitions specific to this category can be found in Definitions/Well-Ordered Integral Domains.

Let $\struct {D, +, \times \le}$ be an ordered integral domain whose zero is $0_D$.

### Definition 1

$\struct {D, +, \times \le}$ is a **well-ordered integral domain** if and only if the ordering $\le$ is a well-ordering on the set $P$ of (strictly) positive elements of $D$.

### Definition 2

$\struct {D, +, \times \le}$ is a **well-ordered integral domain** if and only if every subset $S$ of the set $P$ of (strictly) positive elements of $D$ has a minimal element:

- $\forall S \subseteq D_{\ge 0_D}: \exists x \in S: \forall a \in S: x \le a$

where $D_{\ge 0_D}$ denotes all the elements $d \in D$ such that $\map P d$.

## Pages in category "Well-Ordered Integral Domains"

The following 4 pages are in this category, out of 4 total.