Es sei Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} eine endliche Körpererweiterung und sei S ⊆ L {\displaystyle {}S\subseteq L} eine endliche Ringerweiterung von Z {\displaystyle {}\mathbb {Z} } . Zeige, dass S {\displaystyle {}S} genau dann normal ist, wenn für jede Primzahl p {\displaystyle {}p} die Nenneraufnahme S Z ∖ Z p {\displaystyle {}S_{\mathbb {Z} \setminus \mathbb {Z} p}} normal ist.
