Assoziierter graduierter Ring/Multiplikation wohldefiniert/Aufgabe

Es sei ${}{\mathfrak {a}}\subseteq R$ ein Ideal in einem kommutativen Ring ${}R$. Zeige, dass die Multiplikation auf dem assoziierten graduierten Ring

${}\operatorname {Gr} _{\mathfrak {a}}R$ wohldefiniert ist.

Eine Lösung erstellen