Zahlbereich/Kählermodul/Annullator/Einzeldifferenten/Fakt/Beweis
Beweis
Das Element erfülle die angegebenen Eigenschaften mit dem Minimalpolynom . Dann ist eine endliche Erweiterung mit dem gleichen Quotientenkörper. Nach Fakt liegt ein surjektiver -Modulhomomorphismus
vor, da ja
ist. Somit wird jedes Element von annulliert.