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