준동형사상 (Homomorphism)

한 줄 정의: 두 대수 구조(군, 환, 체 등) 사이에서 연산의 결과를 보존하는 사상으로, 한쪽에서 연산을 하고 옮기든 옮기고 나서 연산을 하든 같은 결과가 나오게 하는 함수다.

쉽게 풀면

준동형사상은 서로 다른 두 세계 사이를 오갈 때 '연산의 규칙'만큼은 그대로 지켜지게 해주는 다리와 같다. 예를 들어 한쪽 세계에서 두 원소를 더한 다음 다리를 건너간 결과가, 각각을 먼저 다리로 건너보낸 뒤 다른 쪽 세계에서 더한 결과와 정확히 같아야 한다. 이런 구조 보존적인 사상 덕분에 겉모습이 다른 두 대수 구조 사이의 숨겨진 유사성을 발견할 수 있다.

왜 중요한가

준동형사상은 겉으로 전혀 달라 보이는 두 대수 구조가 사실은 동일한 규칙을 공유한다는 사실을 드러내는 도구이기 때문에, 추상대수학 전반에서 구조를 분류하고 비교하는 기본 언어로 쓰인다. 군, 환, 벡터공간 같은 서로 다른 대상을 일관된 틀로 다룰 수 있게 해주며, 암호학이나 부호이론처럼 대수 구조를 응용하는 분야에서도 핵심적인 배경 개념으로 자주 인용된다.

논문에서는 이렇게 쓰입니다

"두 군 사이의 준동형사상을 정의하여 대칭 구조가 보존됨을 증명하였다."

대수학에서 서로 다른 구조 사이의 관계를 분석하거나 구조를 단순화할 때 준동형사상의 개념이 핵심 도구로 쓰인다.

"환 준동형사상의 핵(kernel)이 이데알을 이룸을 보이고, 이를 통해 몫환의 구조를 결정하였다."

이 문장은 "환 사이의 구조 보존 사상에서 0으로 대응되는 원소들의 집합이 특별한 성질을 가진 부분집합임을 증명하고, 이를 이용해 새로운 대수 구조를 유도했다"는 뜻입니다.

"암호 프로토콜의 안전성 증명 과정에서 군 준동형사상의 성질을 이용해 이산로그 문제로의 환원을 구성하였다."

이 문장은 "암호 체계의 안전성을 다른 잘 알려진 어려운 문제로 바꿔 표현하는 데 준동형사상의 구조 보존 특성을 활용했다"는 뜻입니다.

조금 더 깊게 보면

준동형사상을 다룰 때 핵심적으로 함께 등장하는 개념이 핵(kernel)과 상(image)이다. 핵은 사상에 의해 항등원으로 대응되는 원소들의 집합이고, 상은 사상을 통해 실제로 도달하는 원소들의 집합이다. 이 둘의 관계를 정리한 것이 준동형사상 정리(homomorphism theorem)로, 원래 구조를 핵으로 나눈 몫구조가 상과 동형이 된다는 사실을 보여준다. 이는 복잡한 구조를 더 단순한 구조로 분해해 이해하는 표준적인 방법으로 널리 쓰인다.

주의할 점

준동형사상은 일대일대응일 필요가 없으며, 일대일대응까지 만족하는 특별한 준동형사상은 따로 동형사상이라고 부른다.