아벨 군
and as a graded Abelian group it is given byformula_90