Es sei K {\displaystyle {}K} ein Körper,
eine endlich erzeugte K {\displaystyle {}K} -Algebra und P = ( a 1 , … , a n ) ∈ V = V ( f 1 , … , f m ) {\displaystyle {}P=(a_{1},\ldots ,a_{n})\in V=V(f_{1},\ldots ,f_{m})} ein Punkt des zugehörigen Nullstellengebildes mit zugehörigem maximalen Ideal m P ⊆ A {\displaystyle {}{\mathfrak {m}}_{P}\subseteq A} und Lokalisierung
Dann ist der Tangentialraum zu V {\displaystyle {}V} in P {\displaystyle {}P} in kanonischer Weise der duale Vektorraum zu Ω R | K ⊗ R K {\displaystyle {}\Omega _{R{|}K}\otimes _{R}K} .
ein
Körper,
![{\displaystyle {}A=K[X_{1},\ldots ,X_{n}]/(f_{1},\ldots ,f_{m})\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/466c9f00c202e6c64ef6c2de131968875b0800dc)
-Algebra
und
ein Punkt des zugehörigen Nullstellengebildes mit zugehörigem maximalen Ideal
und
Lokalisierung
in 
in kanonischer Weise der
duale Vektorraum
zu 
.
