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

Aus Wikiversity

Es sei eine endliche Galoiserweiterung von Funktionenkörpern über einem Grundkörper der Charakteristik .

Dann ist ein Differentialoperator auf genau dann invariant, wenn er die Fortsetzung eines Operators auf ist.