Es sei R {\displaystyle {}R} ein kommutativer Ring und es seien A = ⨁ d ∈ D A d {\displaystyle {}A=\bigoplus _{d\in D}A_{d}} und B = ⨁ e ∈ E B e {\displaystyle {}B=\bigoplus _{e\in E}B_{e}} kommutative graduierte R {\displaystyle {}R} -Algebren, wobei D {\displaystyle {}D} und E {\displaystyle {}E} kommutative Gruppen seien. Zeige, dass A ⊗ R B {\displaystyle {}A\otimes _{R}B} in natürlicher Weise eine D × E {\displaystyle {}D\times E} -Graduierung trägt.
