Numbers of Type Integer a plus b root 2 Form Ordered Integral Domain

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\Z \sqbrk {\sqrt 2}$ denote the set:

$\Z \sqbrk {\sqrt 2} := \set {a + b \sqrt 2: a, b \in \Z}$

that is, all numbers of the form $a + b \sqrt 2$ where $a$ and $b$ are integers.


Then the algebraic structure:

$\struct {\Z \sqbrk {\sqrt 2}, +, \times}$

where $+$ and $\times$ are conventional addition and multiplication on real numbers, is an ordered integral domain.


Proof

We have that Numbers of Type Integer a plus b root 2 form Subdomain of Reals.

We also have that such numbers are real.

The result follows from Real Numbers form Ordered Integral Domain.



$\blacksquare$


Sources