Polynomring/Kommutativer Ring/Standard Z-Graduierung/Beispiel

Es sei ${}R$ ein kommutativer Ring und ${}R[X_{1},\ldots ,X_{n}]$ der Polynomring in ${}n$ Variablen über ${}R$. Dieser ist in naheliegender Weise ${}\mathbb {Z}$-graduiert. Man definiert für ein Monom ${}X_{1}^{k_{1}}X_{2}^{k_{2}}\cdots X_{n}^{k_{n}}$ den Grad durch ${}k_{1}+k_{2}+\cdots +k_{n}$ und setzt ${}A_{d}$ als den ${}R$-Modul aller Polynome an, die ${}R$-Linearkombinationen von Monomen von Grad ${}d$ sind. Bei der Multiplikation von zwei Monomen verhält sich der Grad offensichtlich additiv, so dass dadurch eine graduierte ${}R$-Algebra entsteht. Es ist ${}A_{0}=R$ und ${}A_{n}=0$ für negativen Grad ${}n$. Diese Graduierung heißt auch die Standardgraduierung auf dem Polynomring.