阿贝尔群
and as a graded Abelian group it is given byformula_90