Es sei ${\displaystyle {}R}$ ein kommutativer Ring und

${\displaystyle {}A=R[X_{1},\ldots ,X_{n}]/{\left(X_{n}-f{\left(X_{1},\ldots ,X_{n-1}\right)}\right)}\,}$

mit einem Polynom ${\displaystyle {}f\in R[X_{1},\ldots ,X_{n-1}]}$ (die Nullstellenmenge ist also der Graph zu ${\displaystyle {}f}$). Zeige auf zwei verschiedene Arten, dass ${\displaystyle {}\Omega _{A{|}R}}$ ein freier ${\displaystyle {}A}$-Modul vom Rang

${\displaystyle {}n-1}$