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.
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.