Difference between revisions of "Ring of integers"

(No difference)

Revision as of 18:19, 12 July 2006

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.