群の自同型写像の性質