Ring of integers

Revision as of 18:19, 12 July 2006 by ComplexZeta (talk | contribs)

Let $K$ be an 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.

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