Assertion: abelian group's element | /r/HasProperty | mapped to the identity
Facets:
Source sentences:
text: When F {\displaystyle F} and A {\displaystyle A} are as above, the kernel G {\displaystyle G} of the surjection from F {\displaystyle F} to A {\displaystyle A} is also free abelian, as it is a subgroup of F {\displaystyle F} (the subgroup of elements mapped to the identity).