Assertion: abelian group's element | /r/HasProperty | sent to non-identity element
Facets:
Source sentences:
text: The automorphism group acts transitively on non-identity elements: any non-identity element can be sent to another non-identity element via an automorphism (namely, via multiplication by a suitable number).