Assertion: abelian group's subgroup | /r/HasProperty | k \displaystyle kof g
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} .