Dedekind–Hasse norm (source code)

= Dedekind–Hasse norm
{wiki=Dedekind–Hasse_norm}

The Dedekind–Hasse norm is a concept from algebraic number theory that concerns the behavior of norms of ideals in the context of Dedekind domains. A Dedekind domain is a specific type of integral domain that satisfies certain properties, including being Noetherian, integrally closed, and having the property that every nonzero prime ideal is maximal.