Endliche Körpererweiterung von Q/Komplexe Einbettungen/Fakt/Beweis

Beweis

Nach dem Satz vom primitiven Element wird durch ein Element erzeugt, es ist also

mit einem irreduziblen Polynom vom Grad . Da irreduzibel ist und da die Ableitung ist und kleineren Grad besitzt, folgt, dass und teilerfremd sind. Nach Fakt ergibt sich, dass und das Einheitsideal erzeugen, also ist. Wir betrachten diese Polynome nun als Polynome in , wobei die polynomialen Identitäten erhalten bleiben. Über den komplexen Zahlen zerfallen und in Linearfaktoren, und wegen der Teilerfremdheit bzw. der daraus resultierenden Identität haben und keine gemeinsame Nullstelle. Daraus folgt wiederum, dass keine mehrfache Nullstelle besitzt, sondern genau verschiedene komplexe Zahlen als Nullstellen besitzt. Jedes definiert nun einen Ringhomomorphismus

Da ein Körper ist, ist diese Abbildung injektiv. Da dabei auf verschiedene Elemente abgebildet wird, liegen verschiedene Abbildungen vor. Es kann auch keine weiteren Ringhomomorphismen geben, da jeder solche durch gegeben ist und sein muss.