Assertion: abelian group's element | /r/CapableOf | map to the identity
Facets:
Source sentences:
text: To prove that is a normal subgroup of , we can construct a homomorphism such that the kernel of the homomorphism, i.e., the set of elements that map to the identity, is precisely .