Definition:Well-Ordered Integral Domain/Definition 2
Jump to navigation
Jump to search
Definition
Let $\struct {D, +, \times \le}$ be an ordered integral domain whose zero is $0_D$.
$\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$.
Also see
- Results about well-ordered integral domains can be found here.
Sources
- 1969: C.R.J. Clapham: Introduction to Abstract Algebra ... (previous) ... (next): Chapter $2$: Ordered and Well-Ordered Integral Domains: $\S 8$. Well-Order