군론 (Group Theory)

한 줄 정의: 하나의 연산과 그 연산에 대해 결합법칙, 항등원, 역원이 성립하는 집합을 다루는 대수학의 한 분야입니다.

쉽게 풀면

정수의 덧셈을 떠올려보세요. 아무 정수 두 개를 더해도 결과는 항상 정수이고(닫혀 있음), 더하는 순서를 묶는 방식을 바꿔도 결과가 같으며(결합법칙), 0을 더하면 원래 값이 그대로 나오고(항등원), 어떤 수든 그 반대 부호의 수를 더하면 0이 됩니다(역원). 이 네 가지 성질을 만족하는 "집합 + 연산"의 짝을 수학에서는 "군(group)"이라고 부릅니다. 군론은 이런 대칭적이고 반복 가능한 구조를 추상화해서 연구하는 분야로, 정수의 덧셈뿐 아니라 도형의 회전·대칭, 암호학의 연산, 물리학의 대칭성까지 아주 다양한 대상을 같은 틀로 설명할 수 있게 해줍니다.

왜 중요한가

군론은 대칭이라는 현상을 수학적으로 정밀하게 다루는 언어이기 때문에, 순수수학은 물론 결정학, 입자물리학, 암호학, 최근에는 기하학적 딥러닝처럼 데이터의 대칭 구조를 활용하는 인공지능 연구까지 폭넓게 응용됩니다. 서로 다른 대상이라도 같은 군의 구조를 공유한다는 사실을 밝히면 그 대상들을 통일된 방식으로 이해할 수 있어, 이론적 엄밀성과 응용 가능성을 동시에 제공하는 개념으로 자주 인용됩니다.

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

"제안된 신경망 구조는 회전군(rotation group)에 대해 등변성(equivariance)을 가지도록 설계되었다."

이 문장은 "입력 이미지를 회전시켜도 모델의 출력이 예측 가능한 방식으로 함께 변한다"는 뜻으로, 이때 등장하는 "군"은 회전이라는 연산들의 집합이 군의 구조를 이룬다는 점에서 붙은 이름입니다. 최근 기하학적 딥러닝(geometric deep learning) 분야 논문에서 군론 용어가 자주 등장합니다.

"결정 구조의 공간군(space group)을 결정함으로써 원자 배열의 대칭성을 규명하였다."

결정학·재료과학 분야에서 물질의 원자 배열이 갖는 대칭성을 군론의 언어로 분류하는 예문입니다.

조금 더 깊게 보면

군의 내부 구조를 분석할 때는 부분군, 정규부분군, 몫군, 그리고 군과 군 사이의 구조 보존 대응인 준동형사상 같은 개념이 함께 등장합니다. 물리학이나 딥러닝 논문에서는 군 자체보다 군이 벡터공간에 작용하는 방식을 다루는 표현론(representation theory)이 중요한데, 이는 대칭 변환이 실제 데이터나 물리량에 구체적으로 어떻게 작용하는지를 행렬 형태로 나타내주기 때문입니다.

주의할 점

군은 연산이 하나뿐이며 교환법칙(순서를 바꿔도 결과가 같음)은 반드시 필요하지 않습니다. 교환법칙까지 만족하는 군은 따로 "아벨군(abelian group)"이라 부릅니다. 연산이 두 개로 늘어나 덧셈과 곱셈처럼 서로 얽힌 구조를 다룰 때는 환과 체 개념으로 확장됩니다.