Kommutative Ringtheorie/Normalisierung/Führungsideal/Aufgabe

Es sei ${}R$ ein Integritätsbereich mit Normalisierung ${}R^{\operatorname {norm} }$. Zeige, dass durch

${}{\mathfrak {f}}={\left\{g\in R\mid gR^{\operatorname {norm} }\subseteq R\right\}}\,$

ein Ideal

in ${}R$ gegeben ist. Dieses heißt das Führungsideal von ${}R$.

Eine Lösung erstellen