\begin{definition}[Definition:Ring of Integers of Number Field]
Let $K$ be a number field.
The '''ring of integers''' of $K$, usually denoted $\OO_K$ or $\mathfrak o_K$, is the integral closure of $\Z$ in $K$.
\end{definition}