The ring of integers adjoined with a square root of
d : ℤ.
After defining the norm, we show that it is a linearly ordered commutative ring, as well as an integral domain.
We provide the universal property, that ring homomorphisms
ℤ√d →+* R correspond
to choices of square roots of