Assertion: isometry's kernel | /r/HasProperty | the translation group
Facets:
Source sentences:
text: The kernel of this homomorphism is the translation group, showing that it is a normal subgroup of the Euclidean group.