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.
