アーベル群
and as a graded Abelian group it is given byformula_90