Assertion: abelian group's image | /r/HasProperty | a conjugacy class
Facets:
value: always
type: TEMPORAL
Source sentences:
text: The image under an automorphism of a conjugacy class is always a conjugacy class (the same or another).