Abelian group
임의의 아벨 군 formula_30에 대하여, 곱