Ring of Algebraic Integers

Theorem
Let $K / \Q$ be a number field.

Let $\mathbb A$ denote the set of all elements of $K / \Q$ which are the root of some monic polynomial in $\Z[x]$.

That is, let $\mathbb A$ denote the algebraic integers over $K$.

Then $\mathbb A$ is a ring, called the Ring of Algebraic Integers.