Assertion: abelian group's image | /r/HasProperty | the orbit
Facets:
Source sentences:
text: The image of this map is the orbit of x and the coimage is the set of all left cosets of G