Assertion: abelian group's subgroup | /r/CapableOf | exist another subgroup
Facets:
Source sentences:
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} .