Assertion: abelian group's element | /r/CapableOf | map to its inverse
Facets:
Source sentences:
text: The action of Z2 on Z4 is the map described in another of your questions, where each element maps to its inverse (this map has order 2, so that allows us to use it to embed Z2 into aut(Z4) by sending 0 to the identity and 1 to this "inverse map").