그룹 호모모르피즘의 정의와 작동 보존