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

${\displaystyle {}R}$

${\displaystyle {}A}$