Endliche einfache Körpererweiterung/Beliebiger Zerfällungskörper/Separabel und maximale Einbettungsanzahl/Fakt/Beweis

Beweis

Es sei also vom Grad mit dem Minimalpolynom gegeben. Dieses Polynom ist genau dann separabel, wenn es in genau Nullstellen besitzt. Diese Nullstellen stehen gemäß Fakt in Bijektion zu den -Algebrahomomorphismen von nach .