Ring of integers
Let be a finite algebraic field extension of . Then the integral closure of in , which we denote by , is called the ring of integers of . Rings of integers are always Dedekind domains with finite class numbers.
This article is a stub. Help us out by expanding it.