Ganzheit/Polynomring/Ein normiertes Polynom/Beispiel

Es sei ein kommutativer Ring und

ein normiertes Polynom über . Dann ist in der Ringerweiterung

die Restklasse von im Restklassenring ganz über , da ja unmittelbar die Ganzheitsgleichung

liefert.