Definition:Graded Abelian Group

Definition
Let $\Delta$ be a set.

A graded abelian group of type $\Delta$ is a pair $(G, f)$ where:
 * $G$ is an abelian group
 * $f$ is a gradation on $G$ indexed by $\Delta$, the set of degrees.