Abelian group
and as a graded Abelian group it is given byformula_90