Es sei A = ⨁ d ∈ D A d {\displaystyle {}A=\bigoplus _{d\in D}A_{d}} ein graduierter kommutativer Ring und es sei A e {\displaystyle {}A_{e}} eine Stufe, die eine Einheit enthalte. Zeige, dass A e {\displaystyle {}A_{e}} als A 0 {\displaystyle {}A_{0}} -Modul isomorph zu A 0 {\displaystyle {}A_{0}} ist.
