Derivation/Hyperfläche/PotenzadditionAusdehnbarkeit/Beispiel

Sei

und eine Derivation auf . Wir betrachten

mit . Es ist ein Vielfaches von , also

im Polynomring . Wir definieren auf durch

und

Dies legt eine Derivation auf dem großen Polynomring fest. Wegen

induziert dies eine Derivation auf .