Sei ${\displaystyle {}{\mathfrak {a}}={\left(f_{1},\ldots ,f_{n}\right)}\subseteq R}$ ein Ideal in einem kommutativen Ring ${\displaystyle {}R}$. Zeige, dass durch

${\displaystyle R/{\mathfrak {a}}[X_{1},\ldots ,X_{n}]\longrightarrow \operatorname {Gr} _{\mathfrak {a}}R,\,X_{i}\longmapsto [f_{i}],}$

wobei ${\displaystyle {}[f_{i}]}$ die Restklasse von ${\displaystyle {}f_{i}}$ in ${\displaystyle {}{\mathfrak {a}}/{\mathfrak {a}}^{2}}$ bezeichnet, ein surjektiver graduierter ${\displaystyle {}R/{\mathfrak {a}}}$-Algebrahomomorphismus