Graded Abelian group

From Commalg

Definition

A graded Abelian group is an Abelian group with a decomposition as a direct sum of subgroups where ranges over the nonnegative integers. In symbols:

Such an additional structure on an Abelian group is termed a gradation.