Einen Integritätsbereich R {\displaystyle {}R} nennt man einen Dedekindbereich, wenn er noethersch und normal ist und wenn jedes von 0 {\displaystyle {}0} verschiedene Primideal darin maximal ist.
