K-Algebra/Algebraischer Kotangentialraum an K-Punkt/Direkte Derivation/Fakt

Es sei ein Körper und eine -Algebra von endlichem Typ, und sei ein Punkt mit zugehörigem maximalen Ideal .

Dann ist die Abbildung

eine -Derivation.