Es sei D {\displaystyle {}D} eine kommutative Gruppe und R {\displaystyle {}R} ein kommutativer D {\displaystyle {}D} -graduierter Ring.
Dann ist R 0 ⊆ R {\displaystyle {}R_{0}\subseteq R} ein direkter Summand.
