Es sei K {\displaystyle {}K} ein Körper und sei A = K [ X 1 , … , X n ] / ( F ) {\displaystyle {}A=K[X_{1},\ldots ,X_{n}]/(F)} mit F ≠ 0 {\displaystyle {}F\neq 0} . Zeige, dass der A {\displaystyle {}A} -Modul der Kählerdifferentiale Ω A | K {\displaystyle {}\Omega _{A{|}K}} eine endliche freie Auflösung besitzt.
![{\displaystyle {}A=K[X_{1},\ldots ,X_{n}]/(F)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f4e76b3d353dbb7b538a2e46955177ad87e4eb7)
