Assertion: abelian group's image | /r/HasProperty | f n
Facets:
Source sentences:
text: Normality is preserved under surjective homomorphisms, i.e. if G → H is a surjective group homomorphism and N is normal in G , then the image f ( N ) is normal in H .