Graded ring (source code)

= Graded ring
{wiki}

A graded ring is a direct sum $R=\bigoplus_{n\geq0}R_n$ with $R_mR_n\subseteq R_{m+n}$.