Direct sums, direct products, etc. for abelian groups Abelian groups mathematics