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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

In sind die zueinander paarweise teilerfremd. Wir behaupten, dass in die Gleichheit

gilt, wobei die letzte Gleichheit auf Fakt beruht. Zum Nachweis der linken Gleichheit sei

es ist zu zeigen. Modulo ist

in . Nach Fakt ist

Die Voraussetzung bedeutet, dass in jeder Komponente ist, also insgesamt gleich ist.