Funktionenkörper/Galoiserweiterung/Invariante Differentialoperatoren/Charakterisierung/Fakt

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

Dann ist ein Differentialoperator ${}E$ auf ${}L$ genau dann invariant, wenn er die Fortsetzung eines Operators auf ${}K$ ist.