Es sei R {\displaystyle {}R} ein kommutativer Ring, D {\displaystyle {}D} eine kommutative Gruppe und A {\displaystyle {}A} eine D {\displaystyle {}D} -graduierte R {\displaystyle {}R} -Algebra. Zeige 1 ∈ A 0 {\displaystyle {}1\in A_{0}} und folgere, dass A 0 {\displaystyle {}A_{0}} eine
-Unteralgebra von ist.