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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.