Assertion: abelian group's image | /r/HasProperty | isomorphic
Facets:
value: to the quotient group
type: OTHER
value: to a quotient of g.
type: OTHER
value: always
type: DEGREE
Source sentences:
text: The first isomorphism theorem states that the image of any group G under a homomorphism is always isomorphic to a quotient of G.
text: The first isomorphism theorem states that the image of a group homomorphism, h(G) is isomorphic to the quotient group G/ker h.