Z/Normiertes Polynom/Faserring/Reduziert/Idealprodukt/Fakt/Beweis

Beweis

Dies folgt aus Fakt, da im reduzierten Fall die Exponenten ${}r_{j}=1$ sind, und dann ${}(p,F_{j})$ Primideale sind, oder aus Fakt in Verbindung mit Fakt.

Zur bewiesenen Aussage