Abelian group
이다. 즉, 모든 아벨 군 formula_19는 직접곱