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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

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.

Zur bewiesenen Aussage