Graded ring

A ring decomposed into homogeneous pieces compatible with multiplication.
Graded ring

A graded ring is a RR together with a direct-sum decomposition of abelian groups

R=nZRn R=\bigoplus_{n\in \mathbb Z} R_n

(sometimes nNn\in\mathbb N) such that RnRmRn+mR_nR_m\subseteq R_{n+m} for all m,nm,n, and typically 1R01\in R_0. The decomposition is an internal in the category of abelian groups.

Graded rings organize algebra by “degree” and are the ambient objects for ; a fundamental source is the of a filtration.

Examples:

  • The k[x1,,xn]k[x_1,\dots,x_n] is N\mathbb N-graded by total degree, with RdR_d the homogeneous polynomials of degree dd.
  • If RR has an ideal-adic filtration, the associated graded ring n0In/In+1\bigoplus_{n\ge 0} I^n/I^{n+1} is naturally graded.