Zahlbereich/Teilring/Relative Differentialsequenz/Aufgabe

Es sei eine endliche Körpererweiterung und eine Ringerweiterung mit und sei der ganze Abschluss von in . Zeige, dass die natürliche Abbildung

surjektiv ist.