群同型写像の定義と作用の保存