Es sei a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} ein Ideal in einem kommutativen Ring R {\displaystyle {}R} . Zeige, dass die Multiplikation auf dem assoziierten graduierten Ring Gr a R {\displaystyle {}\operatorname {Gr} _{\mathfrak {a}}R} wohldefiniert ist.
