Direct Sums: Lemme 1.2Delves into direct sums of abelian groups, showcasing their coproduct properties and universal verification.
Direct Sum of SubgroupsExplores the direct sum of subgroups in an abelian group and introduces the coproduct concept in Abelian categories.