Es sei R {\displaystyle {}R} ein Hauptidealbereich mit Quotientenkörper Q = Q ( R ) {\displaystyle {}Q=Q(R)} . Zeige, dass jeder Zwischenring S {\displaystyle {}S} , R ⊆ S ⊆ Q {\displaystyle {}R\subseteq S\subseteq Q} , eine Nenneraufnahme ist.
