Funktionenkörper/Galoiserweiterung/Differentialoperatoren/Fortsetzung/Fakt

Es sei ${}K\subseteq L$ eine endliche Galoiserweiterung von Funktionenkörpern über einem Grundkörper ${}k$ der Charakteristik ${}0$ .

Dann besitzt jeder Differentialoperator ${}E$ auf ${}K$ eine eindeutige Fortsetzung nach ${}L$ .