군론 기초 (Group Theory Basics)
쉽게 풀면
군은 어떤 연산을 했을 때 '되돌릴 수 있고', '순서를 묶는 방식이 결과에 영향을 주지 않고', '아무 변화도 주지 않는 기준점(항등원)이 있는' 아주 규칙적인 구조를 가진 집합이다. 정수의 덧셈이 대표적인 예로, 어떤 수를 더해도 다시 그 반대 수를 더하면 원래대로 돌아오고(역원), 0을 더하면 아무 변화가 없다(항등원). 이런 추상적인 구조는 대칭, 암호학, 물리학의 보존 법칙 등 서로 전혀 달라 보이는 분야를 연결하는 강력한 언어가 된다.
왜 중요한가
군론은 대칭이라는 개념을 엄밀하게 다루는 언어이기 때문에, 결정 구조의 대칭성을 다루는 결정학, 소립자의 성질을 분류하는 입자물리학, 암호 알고리즘의 안전성을 뒷받침하는 암호학 등 매우 다양한 분야의 이론적 토대로 쓰입니다. 겉보기에 관련 없어 보이는 문제들이 같은 군의 구조를 공유한다는 사실을 밝혀내면 문제를 통합적으로 이해할 수 있어, 순수수학뿐 아니라 응용 분야 논문에서도 군론 개념이 자주 인용됩니다.
논문에서는 이렇게 쓰입니다
물리학과 암호학에서 대칭성이나 반복되는 구조를 다룰 때 군론의 개념이 이론적 기반으로 사용된다.
암호학 분야에서 타원곡선암호와 같이 군의 대수적 구조가 실제 알고리즘 설계의 근거로 사용됨을 보여주는 예문이다.
조금 더 깊게 보면
군을 더 깊이 다룰 때는 부분군, 정규부분군, 몫군, 준동형사상 같은 개념으로 군들 사이의 관계나 내부 구조를 분석하는 경우가 많다. 유한군의 경우 군의 크기(위수)와 원소들이 만드는 부분구조 사이의 관계를 다루는 라그랑주 정리 등이 기본 도구로 쓰이며, 물리학에서는 대칭군의 표현(representation)을 통해 물리량이 대칭 변환 아래 어떻게 변하는지를 분석한다.
주의할 점
군은 교환법칙(순서를 바꿔도 결과가 같음)을 만족하지 않아도 되며, 교환법칙까지 만족하는 특별한 군은 따로 아벨군이라고 부른다.