Es sei ${\displaystyle {}\mathbb {Q} \subseteq L=\mathbb {Q} [X]/(F)}$ eine endliche Körpererweiterung mit einem normierten Polynom ${\displaystyle {}F\in \mathbb {Z} [X]}$ und sei ${\displaystyle {}R}$ der zugehörige Zahlbereich. Zeige, dass es ein ${\displaystyle {}g\in \mathbb {N} _{+}}$ derart gibt, dass nach Nenneraufnahme an ${\displaystyle {}g}$ eine Ringisomorphie

${\displaystyle {}R_{g}=\mathbb {Z} _{g}[X]/(F)\,}$