Assertion: abelian group's subgroup | /r/HasProperty | direct summand
Facets:
Source sentences:
text: In fact, there is a unique largest divisible subgroup of any group, and this divisible subgroup is a direct summand.
text: Given a group G {\displaystyle G} , we say that a subgroup H {\displaystyle H} is a direct summand of G {\displaystyle G} if there exists another subgroup K {\displaystyle K} of G {\displaystyle G} such that G = H + K {\displaystyle G=H+K} .