Assertion: abelian group's image | /r/HasProperty | inverse images
Facets:
Source sentences:
text: Images, inverse images, transfer, intermediate subgroups