Graduierter Ring/Beliebige Gruppe/Grad 0 Ring/Direkter Summand/Fakt/Beweis

Beweis

Die Stufen sind -Moduln, daher ist

eine direkte Summenzerlegung.