The ring is Noetherian and integrally closed, but it is not a Dedekind domain because it has Krull dimension two. Concretely, the nonzero prime ideal is properly contained in the prime ideal and is therefore not maximal.
The element belongs to the fraction field of and is integral over , since it satisfies the monic polynomial . But . Thus is not integrally closed domain and hence is not a Dedekind domain.
The ring is the full ring of integers of the quadratic number field . Every ring of integers of a number field is a Dedekind domain, so this ring is Dedekind.
Articles by others on the same topic
There are currently no matching articles.