Ring of integers

Let $K$ be a finite algebraic field extension of $\mathbb{Q}$. Then the integral closure of ${\mathbb{Z}}$ in $K$, which we denote by $\mathfrak{o}_K$, is called the ring of integers of $K$. Rings of integers are always Dedekind domains with finite class numbers.

This article is a stub. Help us out by expanding it.