Zahlbereich/Endliche Erweiterung/Ordnungsverzweigt/Nichtreduziert/Fakt/Beweis

Beweis

Nach Fakt liegt in eine Produktzerlegung

vor und nach Fakt ist

Dieser Restklassenring, der der Faserring zu über ist, ist genau dann reduziert, wenn alle Exponenten gleich sind. Dies charakterisiert nach Fakt auch die Unverzweigtheit.