Zerfällungskörper/Operation auf Nullstellen/Fakt/Beweis

Beweis

Es sei . Nach Fakt ist wieder eine Nullstelle von , daher muss für ein gewisses sein. Dies definiert ein Abbildung der Nullstellenmenge in sich selbst. Da injektiv ist, ist auch diese induzierte Abbildung injektiv, also nach Fakt bijektiv und somit eine Permutation. Die Gesamtzuordnung ist offenbar ein Gruppenhomomorphismus. Da die Nullstellen ein Erzeugendensystem des Zerfällungskörpers bilden, liegt nach Fakt ein injektiver Homomorphismus vor.