Es sei X {\displaystyle {}X} ein integres Schema über einem integren Basisschema S {\displaystyle {}S} . Zeige, dass eine auf einer offenen Teilmenge U ⊆ X {\displaystyle {}U\subseteq X} definierte p − 1 O S {\displaystyle {}p^{-1}{\mathcal {O}}_{S}} -Derivation δ : O U → O U {\displaystyle {}\delta \colon {\mathcal {O}}_{U}\rightarrow {\mathcal {O}}_{U}} eine Q ( S ) {\displaystyle {}Q(S)} -Derivation
