Localization of a Dedekind domain
ID: localization-of-a-dedekind-domain
If is a Dedekind domain and , then is an integrally closed Noetherian domain of dimension at most one. It is therefore either a Dedekind domain or, when its dimension is zero, a field.
New to topics? Read the docs here!