군론 (r1)

군의 예시는 군이라는 추상적 개념이 얼마나 다양한 구체적 대상에 적용되는지를 보여준다. 가장 기본적인 예시로는 정수의 집합이 덧셈 연산 아래 군을 이룬다. 이때 항등원은 0이며, 임의의 정수 n의 역원은 -n이다. 이 군은 무한하고, 연산이 교환법칙을 만족하므로 아벨군이다.

유한군의 대표적인 예는 대칭군이다. n개의 원소를 가지는 집합의 모든 순열들의 집합은 합성 연산 아래 군을 이루며, 이를 n차 대칭군이라고 한다. 특히, 짝수개의 순열만을 모은 부분집합은 교대군을 이루며, 이는 대칭군의 중요한 부분군이다. 또 다른 기본적인 유한군으로는 순환군이 있다. 이는 단 하나의 원소로부터 생성될 수 있는 군으로, 유한 순환군은 덧셈에 대한 잉여류의 군과 동형이다.

행렬을 사용한 예도 풍부하다. 모든 가역적인 n x n 실수 행렬들의 집합은 행렬 곱셈 연산 아래 군을 이루며, 이를 일반 선형군이라고 한다. 이 군은 무한하고 비가환적이다. 이 군의 다양한 부분군, 예를 들어 행렬식이 1인 특수 선형군이나 직교군 등은 기하학과 물리학에서 중요한 역할을 한다.

이러한 예시들은 군이 단순히 수학적 추상물이 아닌, 대칭성을 수학적으로 포착하는 강력한 도구임을 보여준다. 정다각형의 회전과 반사, 결정 구조의 규칙성,甚至是 양자역학에서의 상태 변화까지 군의 언어로 기술될 수 있다.

부분군은 주어진 군의 일부분으로, 그 자체로 군의 구조를 가지는 부분 집합이다. 즉, 군 (G, *)의 부분 집합 H가 부분군이 되려면, H가 G의 연산 *에 대해 닫혀 있어야 하고, G의 항등원을 포함하며, H의 각 원소의 역원도 H에 속해야 한다. 이 세 조건을 만족하면 H는 G의 부분군이며, 기호로 H ≤ G로 표기한다.

가장 간단한 부분군의 예로는 자명군과 군 자신이 있다. 모든 군 G는 항등원만으로 이루어진 부분군 {e}와 G 전체를 부분군으로 가진다. 이들을 진부분군이 아닌 부분군이라고 한다. 그 외의 부분군은 진부분군이라고 부른다. 예를 들어, 정수 전체의 덧셈군 (Z, +)에서, 짝수 전체의 집합은 덧셈에 대해 닫혀 있고, 항등원 0을 포함하며, 각 짝수의 역원(음수)도 짝수이므로, 이는 Z의 진부분군이다.

부분군의 개념은 군의 구조를 분석하는 데 핵심적이다. 부분군을 통해 더 작고 이해하기 쉬운 부분으로 군을 분해하거나, 정규부분군과 몫군을 정의하여 군의 구조를 계층적으로 연구할 수 있다. 또한, 군의 작용이나 군 준동형사상을 논할 때 그 핵심이 되는 공역이나 상(image)은 종종 원래 군의 부분군이 된다.

부분군을 찾고 분류하는 것은 유한군론의 중요한 주제이다. 라그랑주 정리는 유한군의 크기(위수)와 그 부분군의 크기 사이의 필수적인 관계를 보여준다. 즉, 유한군 G의 부분군 H의 위수는 항상 G의 위수의 약수이다. 이 정리는 부분군의 가능한 크기를 제한하며, 실로우 정리와 같은 더 심화된 분류 이론의 기초가 된다.

군 준동형사상(group homomorphism)은 두 군 사이의 구조를 보존하는 함수이다. 두 군 (G, *)와 (H, ·)가 있을 때, 함수 f: G → H가 모든 G의 원소 a, b에 대해 f(a * b) = f(a) · f(b)를 만족하면 f를 군 준동형사상이라 한다. 이 조건은 군의 핵심인 연산 구조가 f를 통해 정확히 전달됨을 의미한다. 즉, G에서 두 원소를 연산한 결과를 H로 보낸 것과, 각 원소를 먼저 H로 보낸 후 그 결과를 연산한 것이 같다.

군 준동형사상의 중요한 예로는 행렬식 함수가 있다. 모든 가역 정사각행렬의 군 GL(n, R)에서 0이 아닌 실수의 곱셈군 R*로 보내는 행렬식 함수 det는 준동형사상이다. 두 행렬 A, B에 대해 det(AB) = det(A)det(B)가 성립하기 때문이다. 다른 예로는 정수 덧셈군 Z에서 법 n에 대한 잉여류 덧셈군 Z/nZ로 보내는 나머지 함수, 즉 f(k) = k mod n도 준동형사상이다.

모든 군 준동형사상 f: G → H는 두 특별한 부분군을 결정한다. 하나는 핵(kernel)으로, G의 원소 중 H의 항등원으로 보내지는 모든 원소의 집합이다. 핵은 G의 정규부분군이 된다. 다른 하나는 상(image)으로, H에서 f에 의해 실제로 나타나는 모든 원소의 집합이다. 상은 H의 부분군이 된다. 이 개념들은 군의 동형사상을 논의하는 데 필수적이다. 준동형사상 f가 전사이며 단사일 때, 즉 핵이 자명하고 상이 전체 H일 때, f를 동형사상이라 하며 두 군 G와 H는 구조적으로 동일하다고 본다.

군 준동형사상은 군의 분류와 구조 연구의 기본 도구이다. 이를 통해 복잡한 군을 더 잘 알려진 단순한 군으로 분석하거나, 몫군을 구성하는 것이 가능해진다. 또한 군 표현론은 군을 벡터 공간 위의 선형 변환 군으로 나타내는 준동형사상을 연구하는 분야로, 물리학과 화학에서 대칭성을 분석하는 데 널리 응용된다.

순환군은 단일 원소로부터 생성되는 군이다. 즉, 군의 모든 원소가 어떤 한 원소의 거듭제곱으로 표현될 수 있다. 이때 그 원소를 순환군의 생성원이라고 부른다. 순환군은 가장 기본적이고 구조가 명확한 군의 예시로, 군론을 학습하는 데 중요한 모델이 된다.

순환군은 반드시 아벨군(교환군)이다. 생성원 하나로 모든 원소가 만들어지므로, 임의의 두 원소의 연산 순서를 바꾸어도 결과가 같기 때문이다. 유한 순환군의 크기를 그 군의 위수라고 하며, 위수가 n인 유한 순환군은 정수 합동 산술의 덧셈군 또는 복소수에서의 1의 n제곱근으로 구성된 곱셈군과 동형이다.

무한 순환군은 정수 전체의 집합이 덧셈에 대해 이루는 군과 동형이다. 이는 생성원을 1로 볼 때, 모든 정수가 1을 반복해서 더하거나 빼는 것으로 얻어지기 때문이다. 순환군의 모든 부분군 역시 순환군이라는 중요한 성질을 가진다. 또한, 위수가 소수인 군은 반드시 순환군이다.

순환군의 개념은 더 복잡한 군의 구조를 이해하는 기초가 된다. 예를 들어, 유한군의 기본 정리 중 하나인 라그랑주 정리는 어떤 군의 위수와 그 부분군의 위수 사이의 관계를 설명하는데, 순환군은 이 정리를 확인하는 가장 간단한 사례를 제공한다. 또한 갈루아 이론에서 방정식의 가해성을 다룰 때 등장하는 갈루아 군 중에는 순환군이 자주 나타난다.

교환군은 군의 이항 연산이 교환법칙을 만족하는 군이다. 즉, 군의 임의의 두 원소 a, b에 대해 a * b = b * a가 성립한다. 이러한 군은 수학자 닐스 헨리크 아벨의 이름을 따 아벨군이라고도 불린다. 교환법칙이 성립한다는 추가적인 조건 때문에, 교환군의 구조는 일반적인 군보다 훨씬 더 잘 이해되고 분석하기 쉬운 경우가 많다.

교환군의 가장 기본적인 예는 정수의 덧셈에 대한 군이다. 모든 정수의 집합은 덧셈 연산 아래에서 닫혀 있고, 결합법칙을 만족하며, 항등원 0이 존재하고, 각 정수 n의 역원은 -n이 된다. 또한 임의의 두 정수 m, n에 대해 m + n = n + m이 성립하므로 이는 교환군이다. 유리수, 실수, 복소수의 덧셈군 또한 교환군의 중요한 예시이다. 곱셈에 대해서는 0을 제외한 유리수, 실수, 복소수의 집합이 교환군을 이룬다.

교환군은 수학의 여러 분야에서 자연스럽게 등장한다. 예를 들어, 위상수학에서 다루는 호몰로지 군은 기본적으로 교환군의 구조를 가진다. 또한 가환대수학이나 대수적 정수론에서 연구하는 이데알 군이나 유수군과 같은 대수적 대상들도 교환군이다. 물리학에서는 전하나 에너지 준위와 같은 보존량이 교환군의 구조로 기술되는 경우가 있다.

모든 순환군은 교환군이다. 그러나 그 역은 성립하지 않으며, 유한 생성 아벨군의 기본 정리는 유한 생성 교환군이 순환군들의 직접곱으로 분해될 수 있음을 보여준다. 이는 교환군의 구조를 분류하는 데 있어 핵심적인 결과이다. 한편, 대칭군 S_n (n ≥ 3)이나 일반적인 행렬군은 교환법칙을 만족하지 않으므로 비가환군의 대표적인 예가 된다.

군은 그 크기에 따라 유한군과 무한군으로 분류된다. 유한군은 원소의 개수가 유한한 군을 의미하며, 무한군은 원소의 개수가 무한한 군을 의미한다. 이 구분은 군의 구조를 연구하는 데 있어 가장 기본적인 분류 중 하나이다.

유한군의 가장 간단한 예로는 순환군이 있다. n개의 원소를 가진 순환군은 정수들을 n으로 나눈 나머지들의 집합에 덧셈을 연산으로 정의하여 얻을 수 있다. 또한, n개의 원소에 대한 모든 순열의 집합인 대칭군도 유한군의 중요한 예시이다. 유한군론은 군의 크기와 부분군의 구조 사이의 관계를 규명하는 라그랑주 정리나, 소수 거듭제곱 크기의 부분군의 존재성을 다루는 실로우 정리와 같은 강력한 정리들을 포함한다.

반면, 무한군의 예시는 더 다양하다. 모든 정수의 집합이 덧셈에 대해 이루는 군은 무한 순환군이다. 또한, 0이 아닌 모든 실수의 집합이 곱셈에 대해 이루는 군, 또는 일반 선형군과 같은 행렬군들은 대표적인 무한군이다. 무한군은 그 구조가 훨씬 복잡할 수 있으며, 위상적 구조가 추가된 위상군이나 미분 구조가 추가된 리 군과 같은 연구 분야로 이어진다.

군이 유한한지 무한한지는 군의 성질에 큰 영향을 미친다. 예를 들어, 모든 유한군은 군 표현론을 통해 행렬군으로 표현될 수 있으며, 이는 물리학에서 대칭성을 연구하는 데 핵심적으로 활용된다. 한편, 암호학의 한 분야인 타원곡선 암호는 유한군 위에서의 이산 로그 문제의 난해함에 기반을 두고 있다.

순열군은 어떤 집합 위의 순열들 중 군의 조건을 만족하는 것들로 이루어진 군이다. 주로 유한 집합 위의 순열들을 다루며, 이 경우 대칭군이라고도 불린다. 예를 들어, n개의 원소를 가진 집합 위의 모든 순열들의 집합은 군을 이루며, 이를 n차 대칭군 S_n이라고 한다. 이는 유한군의 가장 기본적이고 중요한 예시 중 하나이다.

순열군의 중요한 부분군으로 교대군 A_n이 있다. 이는 대칭군 S_n의 원소 중 짝순열만을 모아놓은 것으로, 정규부분군이 된다. 교대군은 단순군의 중요한 예시를 제공하며, 특히 5차 이상의 교대군은 비가해군이다. 이 성질은 갈루아 이론에서 5차 이상의 일반 방정식이 대수적으로 풀 수 없음을 증명하는 데 핵심적인 역할을 한다.

순열군은 추상적인 군을 구체적으로 이해하는 데 유용한 도구이다. 케일리 정리에 따르면, 모든 군은 어떤 집합 위의 순열군과 동형이다. 즉, 어떤 추상군 G가 주어지면, G의 원소들에 대한 왼쪽 곱셈 작용을 통해 G를 충실하게 표현하는 순열군을 찾을 수 있다. 이 정리는 군론에서 순열군의 근본적인 중요성을 보여준다.

순열군의 개념은 조합론과 그래프 이론에서도 응용된다. 예를 들어, 어떤 그래프의 자기동형사상 군은 그 그래프의 꼭짓점 집합 위의 순열군의 부분군이다. 또한, 루빅스 큐브와 같은 퍼즐의 해법을 연구할 때, 퍼즐 조각들의 배열 변화를 순열군의 관점에서 분석하기도 한다.

행렬군은 행렬의 곱셈 연산에 대해 군의 구조를 가지는 군을 말한다. 주어진 체에 대한 정사각행렬들의 집합 중, 행렬 곱셈에 대해 닫혀 있고, 역행렬이 존재하는 행렬들로 구성된 군이다. 가장 기본적인 예로는 모든 가역행렬들의 집합으로 이루어진 일반선형군이 있으며, 이는 선형 변환의 집합과 대응된다.

행렬군은 군의 구체적인 예시를 제공하며, 군 표현론의 핵심적인 대상이 된다. 군 표현론은 추상적인 군을 행렬군의 형태로 구체화하여 연구하는 분야이다. 또한, 리 군과 같은 연속적인 대칭성을 다루는 군의 이론에서도 행렬군은 중요한 역할을 한다. 직교군, 특수직교군, 유니타리 군 등은 기하학과 물리학에서 자주 등장하는 행렬군의 대표적인 예시이다.

이러한 행렬군은 기하학적 대칭성, 양자역학에서의 상태 공간 변환, 입자 물리학의 게이지 이론 등 수학과 물리학의 다양한 분야에서 필수적인 도구로 활용된다.

위상군은 군 구조와 위상 구조가 서로 호환되는 대수적 위상 공간이다. 즉, 군 연산인 곱셈과 역원 취하기 연산이 위상 공간에서 연속 함수가 되는 군을 의미한다. 이 개념은 군론과 위상수학을 연결하는 중요한 교량 역할을 하며, 군의 대수적 성질과 공간의 기하학적 성질을 동시에 연구할 수 있게 한다.

위상군의 대표적인 예로는 실수 전체의 집합 R이 덧셈 연산 아래에서 이루는 군이 있다. 여기에 실수의 표준 위상을 부여하면, 덧셈과 덧셈에 대한 역원(즉, 부호를 바꾸는 연산)이 모두 연속 함수가 되어 위상군이 된다. 마찬가지로, 복소수 전체의 집합 C나 일반 선형군 GL(n,R)도 자연스러운 위상을 갖춘 위상군의 예시이다.

위상군의 중요한 하위 분류로는 리 군이 있다. 리 군은 매끄러운 다양체 구조를 가지며 군 연산이 매끄러운 함수인 위상군으로, SO(3)와 같은 회전군이나 유니터리 군 등이 이에 해당한다. 리 군론은 미분기하학과 물리학, 특히 입자 물리학의 대칭성 연구에 핵심적으로 응용된다.

위상군의 연구는 군의 구조를 위상적 방법으로 분석하는 것을 포함한다. 예를 들어, 위상군의 연결 성분이나 콤팩트성은 군의 대수적 성질과 깊은 관련이 있다. 또한, 군의 작용을 위상 공간에 대한 연속적인 작용으로 확장하여 연구하는 위상 동역학계 등의 분야로도 이어진다.

정규부분군은 군의 구조를 분석하는 데 핵심적인 역할을 하는 부분군이다. 임의의 군 G와 그 부분군 H가 있을 때, G의 모든 원소 g에 대해 gH = Hg가 성립하면, 즉 왼쪽 잉여류와 오른쪽 잉여류가 일치하면 H를 G의 정규부분군이라고 한다. 이 조건은 H가 G의 모든 내부자기동형사상에 대해 불변임을 의미하며, 기호로는 H ◁ G로 표기한다.

정규부분군의 존재는 군을 더 단순한 군으로 분해할 수 있는 길을 열어준다. 정규부분군 H가 주어지면, 잉여류들의 집합 G/H 위에 자연스러운 군 연산을 정의할 수 있으며, 이를 통해 새로운 군인 몫군을 구성할 수 있다. 이 과정은 정수론에서 합동식으로 정수 집합을 나누어 잉여류를 만들고, 그 위에 덧셈과 곱셈을 정의하는 것과 유사한 원리이다. 모든 군은 자명한 정규부분군인 자기 자신과 항등원만을 원소로 하는 부분군을 항상 갖는다.

정규부분군이 아닌 부분군도 존재한다. 예를 들어, 3차 대칭군 S3에서 세 개의 원소를 가지는 부분군 A3(짝치환들로 이루어진 교대군)은 정규부분군이지만, 두 개의 원소를 가지는 부분군(예: 한 개의 전치로 생성된 부분군)은 정규부분군이 아니다. 정규부분군의 개념은 군 준동형사상과 깊이 연관되어 있으며, 임의의 준동형사상 φ: G → G'에 대한 핵은 항상 G의 정규부분군이다. 이는 제1 동형 정리로 이어지는 중요한 사실이다.

군의 구조를 연구하는 많은 분야에서 정규부분군은 필수적이다. 단순군은 자명하지 않은 정규부분군을 갖지 않는 군으로 정의되며, 유한단순군의 분류는 현대 대수학의 거대한 성과 중 하나이다. 또한 군의 작용이나 군 확대 이론에서도 정규부분군은 중심적인 역할을 한다.

몫군은 군과 그 정규부분군으로부터 구성되는 새로운 군이다. 주어진 군 G와 그 정규부분군 N이 있을 때, G의 원소들로 만들 수 있는 잉여류들의 집합 G/N 위에 자연스러운 연산을 정의하여 군의 구조를 부여할 수 있다. 이때, 군 G/N을 군 G의 부분군 N에 대한 몫군 또는 상군이라고 부른다. 몫군의 개념은 군의 구조를 더 단순한 군으로 분해하여 이해하려는 시도에서 비롯되며, 군론의 핵심적인 구성 요소 중 하나이다.

몫군의 연산은 원래 군의 연산에서 유도된다. 즉, 두 잉여류 aN과 bN의 곱은 (ab)N으로 정의된다. 이 연산이 잘 정의되기 위해서는 부분군 N이 정규부분군이어야 한다는 조건이 필수적이다. 정규부분군의 조건은 임의의 군 원소 g에 대해 gN = Ng가 성립하는 부분군으로, 이 조건 덕분에 잉여류의 대표원 선택에 무관하게 연산 결과가 일정하게 유지된다. 결과적으로, 몫군 G/N의 항등원은 부분군 N 자체이며, 잉여류 aN의 역원은 a⁻¹N이 된다.

몫군은 군의 구조를 분석하는 강력한 도구로, 군 준동형사상과 밀접한 관계가 있다. 준동형사상 φ: G → H가 주어지면, 그 핵 ker(φ)는 G의 정규부분군이 되며, 제1 동형 정리에 의해 몫군 G/ker(φ)는 준동형사상의 상 im(φ)와 동형이다. 이 정리는 임의의 군 준동형사상이 본질적으로 몫군을 취하는 과정과 동일함을 보여준다. 또한, 군의 작용 이론에서 안정자 부분군에 대한 궤도 공간이나, 갈루아 이론에서 갈루아 군의 부분군에 대응하는 체의 확대 등 다양한 맥락에서 몫군의 개념이 자연스럽게 등장한다.

몫군의 개념은 군론을 넘어 환론과 체론에서도 중요한 역할을 한다. 환의 아이디얼에 대한 몫환, 체의 확대에 대한 갈루아 군 등은 모두 군의 몫군과 유사한 구성 원리를 공유한다. 이처럼 몫군은 대수적 구조를 연구하는 데 있어 보편적이고 근본적인 방법론을 제공한다.

군의 작용은 군이 집합에 어떤 규칙에 따라 영향을 미치는 수학적 구조를 말한다. 구체적으로, 군 G가 집합 X에 작용한다는 것은 각 군의 원소 g가 X에서 X로 가는 함수(사상)를 대응시키며, 이 대응이 군의 연산 구조와 잘 맞아떨어지는 것을 의미한다. 이때 집합 X를 G-집합이라고 부른다.

군의 작용은 군의 추상적인 대수적 성질을 구체적인 집합 위의 변환으로 실현시켜 준다. 가장 대표적인 예는 대칭군이 어떤 기하학적 도형의 꼭짓점들의 집합에 작용하는 경우이다. 예를 들어, 정삼각형의 대칭군(정이면체군 D3)은 삼각형의 세 꼭짓점 집합 {1, 2, 3}에 작용하며, 각 대칭 변환은 꼭짓점들의 위치를 바꾸는 순열로 나타난다.

군의 작용을 통해 중요한 개념들을 정의할 수 있다. 집합 X의 한 원소 x에 대해, G의 원소들 중 x를 움직이지 않는 모든 원소들의 모임을 x의 안정자 부분군이라고 한다. 반대로, 한 원소 x에 G의 모든 원소를 작용시켜 얻어지는 집합을 x의 궤도라고 한다. 궤도는 서로 같거나 서로소인 집합들로 X를 분할한다. 이러한 개념들은 군의 구조를 이해하고, 특히 유한군의 크기와 관련된 중요한 공식(궤도-안정자 정리)을 제공한다.

군의 작용은 군론의 여러 분야와 응용에서 핵심적인 역할을 한다. 군 표현론은 군이 벡터 공간이라는 특별한 집합에 선형 변환으로 작용하는 것을 연구한다. 또한, 갈루아 이론은 체의 자기동형사상군이 다항식의 근들의 집합에 작용하는 방식으로 방정식의 가해성을 연구한다. 기하학과 물리학에서도 공간의 대칭성을 기술하는 데 군의 작용이 필수적으로 사용된다.

직접곱은 두 개 이상의 군으로부터 새로운 군을 구성하는 가장 기본적인 방법이다. 주어진 군들의 카르테시안 곱 집합 위에 성분별 연산을 정의하여 만든다. 예를 들어, 군 G와 H의 직접곱 G × H는 순서쌍 (g, h) (g ∈ G, h ∈ H)들의 집합이며, 연산은 (g1, h1) * (g2, h2) = (g1g2, h1h2)로 정의된다. 이렇게 만들어진 군의 구조는 구성원 군들의 구조를 직관적으로 합친 것이 된다. 직접곱은 항상 정규부분군인 G × {e_H}와 {e_G} × H를 포함하며, 이 두 부분군은 서로의 원소와 가환이라는 특징을 가진다.

반직접곱은 직접곱을 일반화한 개념으로, 두 군이 완전히 독립적으로 작용하지 않는 경우를 다룬다. 군 N과 H가 주어졌을 때, H가 N 위에 군의 작용을 통해 자동적으로 작용하는 경우, 즉 준동형사상 φ: H → Aut(N)이 주어진 경우에 정의된다. 여기서 Aut(N)은 N의 자기동형사상들로 이루어진 군이다. 반직접곱 N ⋊φ H의 집합은 순서쌍 (n, h)들의 카르테시안 곱과 같지만, 연산은 H의 N에 대한 작용을 반영하여 (n1, h1) * (n2, h2) = (n1 φ(h1)(n2), h1h2)로 정의된다. 이 연산 정의에서 φ(h1)이 n2에 작용한다는 점이 직접곱과의 결정적 차이이다.

직접곱과 반직접곱은 군의 구조를 분석하고 분해하는 데 핵심적인 도구이다. 특히, 어떤 군 G가 두 정규부분군의 직접곱으로 표현될 수 있는지, 혹은 하나의 정규부분군과 그 몫군의 반직접곱으로 표현될 수 있는지를 연구하는 것은 군의 분류에 중요하다. 유한군론에서 많은 군들은 단순군들의 직접곱이나 반직접곱을 통해 이해될 수 있으며, 이는 군의 구조를 계층적으로 파악하는 데 유용하다. 또한, 반직접곱은 준직접곱이라고도 불리며, 리 군이나 위상군의 이론에서도 자연스럽게 확장되어 적용된다.

라그랑주 정리는 유한군의 기본적인 성질을 설명하는 핵심 정리이다. 이 정리는 유한군의 크기와 그 부분군의 크기 사이의 관계를 규정한다. 구체적으로, 유한군의 크기(원소의 개수, 즉 위수)는 그 임의의 부분군의 위수로 항상 나누어진다. 즉, 군 G의 위수를 |G|, 부분군 H의 위수를 |H|라 할 때, |G| / |H|는 항상 정수가 되며, 이 값을 부분군 H의 지표라고 부른다.

이 정리는 군의 구조를 분석하는 데 강력한 도구가 된다. 예를 들어, 위수가 소수인 군은 반드시 순환군임을 라그랑주 정리로부터 쉽게 유도할 수 있다. 또한, 어떤 원소 a의 위수(즉, a로 생성되는 순환군 <a>의 위수)는 군 G의 위수의 약수여야 한다는 결론도 얻을 수 있다. 이는 군론의 여러 기본 정리들을 증명하는 데 널리 활용된다.

라그랑주 정리의 직접적인 결과로, 위수가 작은 군들의 분류가 상대적으로 용이해진다. 예를 들어, 위수가 6인 군의 가능한 구조를 탐색할 때, 부분군의 가능한 위수는 6의 약수인 1, 2, 3, 6뿐이라는 점이 출발점이 된다. 이 정리는 이후 더 강력한 결과인 실로우 정리의 기초를 마련하며, 유한군론의 발전에 지대한 기여를 했다.

이 정리는 군의 작용과 궤도-안정자군 정리를 통해 우아하게 증명된다. 군 G가 집합 X에 작용할 때, 각 궤도의 크기는 안정자군의 지표와 같다는 사실을 이용하면, 라그랑주 정리는 자연스럽게 유도된다. 이 증명 방법은 군론에서 군의 작용 개념의 중요성과 유용성을 잘 보여준다.

실로우 정리는 유한군의 구조를 이해하는 데 핵심적인 도구이다. 이 정리는 유한군의 부분군, 특히 소인수 거듭제곱 크기의 부분군의 존재성과 개수에 대한 강력한 정보를 제공한다. 정리는 노르웨이의 수학자 페테르 루트비히 메이델룬 실로우의 이름을 따서 명명되었다.

실로우 정리는 세 가지 주요 명제로 구성된다. 첫 번째 실로우 정리는 소수 p에 대해, 군의 크기를 p의 거듭제곱으로 나눌 수 있는 최대 크기의 부분군, 즉 실로우 p-부분군이 항상 존재함을 보장한다. 두 번째 실로우 정리는 모든 실로우 p-부분군이 서로 켤레 부분군임을, 즉 하나의 실로우 p-부분군을 다른 것으로 변환하는 군 내부의 원소가 존재함을 진술한다. 세 번째 실로우 정리는 실로우 p-부분군의 개수에 대한 제약 조건을 제공한다.

이 정리들은 유한군의 분류와 구조 분석에 널리 활용된다. 예를 들어, 주어진 크기의 군이 단순군이 될 수 없는지를 판별하거나, 가능한 부분군의 구성을 추론하는 데 사용된다. 실로우 정리의 결과들은 특히 소수 거듭제곱 크기의 부분군을 다루는 군의 작용 이론과 깊이 연관되어 있으며, 유한군론의 발전에 지대한 기여를 했다.

단순군은 군론에서 중요한 분류 대상이다. 정규부분군이 자기 자신과 자명군뿐인 군을 의미한다. 즉, 군 G의 정규부분군 N이 G 자신이거나 {e}일 때, G를 단순군이라고 한다. 여기서 e는 항등원을 가리킨다. 단순군은 군의 구조를 분석하는 데 있어 기본적인 구성 요소 역할을 하며, 마치 정수론에서 소수가 합성수의 기본 구성 요소인 것과 유사한 위치를 차지한다.

가장 잘 알려진 단순군의 예로는 소수 위수의 순환군이 있다. 또한, 5차 이상의 교대군 An(n ≥ 5)도 단순군이다. 한편, 모든 아벨군인 단순군은 소수 위수의 순환군과 동형이다. 비아벨 단순군의 예시로는 PSL(n, q)와 같은 유한 단순군의 여러 계열이 있다.

단순군의 분류는 20세기 대수학의 가장 위대한 성과 중 하나로 꼽힌다. 수많은 수학자들의 협력을 통해 완성된 유한 단순군의 분류 정리는 모든 유한 단순군이 18개의 무한 계열 또는 26개의 산재군 중 하나와 동형임을 보여준다. 이 분류 작업은 수천 페이지에 달하는 논문으로 이루어져 있으며, 그 증명의 완결성은 오랜 기간 검증을 거쳤다.

단순군의 개념은 군의 구조를 이해하는 핵심 도구다. 예를 들어, 합성열을 통해 군을 분해하면 그 요인들이 단순군이 되는데, 이는 조르당-횔더 정리에 의해 유일하게 결정된다. 따라서 단순군을 완전히 분류하는 것은 모든 유한군의 구조를 이론상 이해할 수 있는 토대를 마련해 준다. 이 분류는 갈루아 이론을 넘어 대수적 위상수학과 양자장론 등 다양한 분야에서 응용된다.

군의 표시(presentation)는 군을 생성원(generator)과 관계식(relation)을 이용하여 정의하는 방법이다. 이는 군의 모든 원소를 생성원들의 곱으로 표현하고, 그들 사이의 관계를 명시함으로써 군을 기술한다. 표시는 군을 추상적으로 묘사하는 강력한 도구로, 특히 자유군과의 연관 속에서 이해된다.

표시는 일반적으로 ⟨ S | R ⟩와 같은 형식으로 쓰인다. 여기서 S는 생성원의 집합이고, R은 생성원들 사이의 관계식의 집합이다. 예를 들어, 순환군 Cₙ은 하나의 생성원 a와 aⁿ = e라는 하나의 관계식으로 표시할 수 있으며, 이를 ⟨ a | aⁿ = e ⟩로 나타낸다. 이 표시는 a라는 원소를 n번 거듭제곱하면 항등원이 된다는 사실을 정의한다. 마찬가지로, 무한 순환군은 관계식이 없는 ⟨ a | ⟩로 표시되며, 이는 자유군의 가장 간단한 예이다.

군의 표시를 구성하는 핵심 개념은 자유군이다. 집합 S로 생성된 자유군 F(S)는 S의 원소들로 만들 수 있는 모든 단어(word)들로 구성되며, 이들 사이에는 군의 공리 외에 어떠한 관계도 존재하지 않는다. 주어진 군 G의 표시 ⟨ S | R ⟩는, 자유군 F(S)를 관계식 집합 R에 의해 생성된 정규부분군 N으로 나눈 몫군 F(S)/N이 G와 동형(isomorphic)이 되도록 하는 것이다. 즉, 자유군에서 관계식들을 '나누어줌'(모듈로)으로써 원하는 군을 얻는다.

표시는 같은 군을 여러 가지 방식으로 표현할 수 있으며, 주어진 군의 표시를 찾거나, 주어진 표시로 정의된 군의 구조를 이해하는 것은 군론의 중요한 과제이다. 예를 들어, 대칭군이나 교대군도 생성원과 관계식으로 표시될 수 있다. 그러나 표시에서 주어진 관계식만으로 두 단어가 군에서 같은 원소를 나타내는지 판단하는 문제, 즉 '단어 문제'(word problem)는 일반적으로 풀기 어려운 문제로 알려져 있다.

자유군은 주어진 집합의 원소들로부터 가능한 모든 단어를 생성하여 구성한 군이다. 이때 생성원들 사이에는 군의 공리 외에 다른 관계가 부과되지 않는다. 즉, 생성원들 간의 유일한 관계는 각 생성원에 대해 그 역원과의 곱이 항등원이 된다는 점뿐이다. 이러한 구조는 군을 가장 자유롭게 생성한다는 의미에서 '자유'라는 이름이 붙었다.

구체적으로, 집합 S가 주어지면, S의 원소와 그 역원들로 이루어진 알파벳으로부터 만들 수 있는 모든 유한 길이의 단어를 고려한다. 여기서 인접한 두 문자가 서로 역원 관계에 있을 경우 이를 축약하는 연산을 통해 동치류를 형성하고, 이 동치류들의 집합에 단어의 연결 연산을 통해 군 구조를 부여한다. 이렇게 구성된 군을 집합 S에 의해 생성된 자유군이라 하며, S를 그 자유군의 기저라고 부른다.

자유군은 군론에서 중요한 보편 성질을 가진다. 임의의 군 G는 어떤 자유군의 준동형사상에 대한 상으로 나타낼 수 있다. 즉, 자유군 F와 전사 준동형사상 F -> G가 항상 존재한다. 이때 준동형사상의 핵은 군 G에서 성립하는 모든 관계를 생성한다. 이러한 관점에서, 모든 군은 자유군을 관계로 나눈 몫군으로 이해할 수 있다.

자유군의 개념은 군의 표시를 정의하는 데 핵심적이다. 군의 표시는 군을 생성원의 집합과 이들 사이의 관계 집합으로 기술하는 방법이다. 이는 군을 묘사하는 강력한 조합론적 도구로, 특히 군 표현론이나 위상수학에서 기본군을 계산할 때 유용하게 활용된다.

군 표현론은 추상적인 군의 원소를 구체적인 행렬이나 선형 변환과 같은 선형대수학의 대상으로 나타내어, 군의 구조를 더 잘 이해하고 분석하기 위한 대수학의 한 분야이다. 즉, 군을 벡터 공간 위의 가역 변환들의 군으로 표현하는 방법을 연구한다.

가장 기본적인 표현은 군 준동형사상을 통해 이루어진다. 어떤 군 G와 체 F 위의 벡터 공간 V가 주어졌을 때, G에서 V 위의 일반선형군 GL(V)로 가는 준동형사상을 G의 F-선형 표현이라고 한다. 표현의 차원은 벡터 공간 V의 차원으로 정의된다. 1차원 표현은 군의 원소를 체의 0이 아닌 원소(곱셈군)로 보내는 경우이며, 이는 군의 아벨화와 깊은 관련이 있다.

표현론의 핵심 목표 중 하나는 복잡한 표현을 더 이상 쪼갤 수 없는 기본 단위인 기약 표현으로 분해하는 것이다. 마슈케 정리는 유한군의 표현이 유한 차원이고 체의 표수가 군의 크기와 서로소일 경우, 모든 표현이 기약 표현들의 직합으로 완전히 분해됨을 보장한다. 이를 통해 군의 구조에 대한 정보를 선형대수적 기법으로 추출할 수 있다.

군 표현론은 물리학, 특히 양자역학과 입자물리학에서 대칭성을 연구하는 강력한 도구로 널리 응용된다. 예를 들어, 결정의 공간 대칭군이나 기본 입자들을 기술하는 게이지 이론의 대칭군은 특정한 표현을 통해 그 성질이 규정된다. 또한, 유한군의 표현론은 화학에서 분자의 대칭성과 분광학 데이터를 분석하는 데에도 활용된다.

군론은 추상대수학의 핵심적인 기초를 제공한다. 대수학에서 군은 가장 기본적이고 중요한 대수적 구조 중 하나로, 다른 더 복잡한 구조를 이해하는 출발점이 된다. 예를 들어, 환은 덧셈에 대해 군을 이루며, 체는 덧셈과 곱셈에 대해 각각 군 구조를 가진다. 군의 개념은 이러한 구조들의 공통된 성질을 추상화하여 체계적으로 연구할 수 있는 틀을 마련해 준다.

군론의 가장 유명한 응용은 갈루아 이론이다. 19세기 초 에바리스트 갈루아는 방정식의 근들 사이의 대칭성을 기술하기 위해 군을 도입했다. 그는 방정식의 근들을 치환하는 순열군의 구조를 분석함으로써, 방정식이 대수적으로 풀릴 수 있는지(즉, 근의 공식이 존재하는지)를 판별하는 기준을 제시했다. 이 이론은 5차 이상의 일반 방정식이 근의 공식으로 풀리지 않는다는 사실을 엄밀히 증명하는 데 결정적인 역할을 했다.

또한 군론은 가환대수학과 표현론 같은 대수학의 여러 분야와 깊이 연관되어 있다. 가환대수학에서는 이데알의 군론적 성질이 중요한 역할을 하며, 표현론은 추상적인 군을 구체적인 행렬군으로 나타내어 그 구조를 연구하는 분야이다. 이처럼 군은 대수학 전반에 걸쳐 연결고리와 도구로서 필수적인 위치를 차지하고 있다.

군론은 기하학적 대칭성을 연구하는 데 핵심적인 언어와 도구를 제공한다. 기하학적 대상의 대칭성은 그 대상을 변형시키지 않는 변환들의 집합으로 구성되며, 이 변환들의 합성 연산은 군의 구조를 이룬다. 예를 들어, 정다각형의 대칭성은 이면체군으로, 구의 회전 대칭성은 직교군의 부분군으로 설명된다. 이러한 군을 통해 도형의 구조를 분류하고 그 성질을 추상적으로 이해할 수 있다.

에를랑겐 프로그램은 군론과 기하학의 깊은 연관성을 보여주는 대표적 사례이다. 펠릭스 클라인은 각 기하학을 그 기하학의 불변량을 보존하는 변환군, 즉 대칭군에 의해 정의하였다. 예를 들어, 유클리드 기하학은 길이와 각도를 보존하는 등거리변환군(유클리드 운동군)에, 사영 기하학은 사영변환군에 대응된다. 이 관점은 다양한 기하학을 통일적으로 이해하는 틀을 마련했다.

위상수학에서도 군론은 중요한 불변량을 제공한다. 위상 공간에 연관된 기본군과 호몰로지 군은 공간의 연결성과 구멍의 수(위상적 불변량)에 대한 정보를 군의 구조로 인코딩한다. 특히 기본군은 공간 내 고리(루프)의 연속적 변형에 대한 군을 형성하며, 이는 공간의 1차원적 구조를 나타낸다. 이들 군을 계산하고 비교함으로써 서로 다른 위상 공간을 구별할 수 있다.

더 발전된 기하학 구조의 연구에도 군은 필수적이다. 리 군은 매끄러운 다양체 구조를 가지며 동시에 군 구조를 가진 대상으로, 미분기하학과 물리학에서 핵심적 역할을 한다. 또한, 벽지군이나 공간군과 같은 이산군은 테셀레이션과 결정 구조의 대칭성을 기술하는 데 사용된다. 이처럼 군론은 기하학적 대상의 대칭과 구조에 대한 체계적인 분석을 가능하게 한다.

군론은 물리학에서 대칭성을 체계적으로 기술하고 분석하는 핵심적인 수학적 언어로 사용된다. 물리 법칙이나 물리적 계의 대칭성은 종종 특정한 군의 구조로 표현되며, 이를 통해 계의 보존 법칙이나 가능한 상태를 분류할 수 있다.

입자 물리학에서 군론은 특히 중요하다. 표준 모형의 기초를 이루는 게이지 이론은 특수 유니타리 군과 같은 리 군의 구조에 깊게 의존한다. 예를 들어, 강한 상호작용은 색역을 기술하는 SU(3) 군에 의해, 약한 상호작용과 전자기력은 SU(2)×U(1) 군에 의해 설명된다. 또한 쿼크와 렙톤과 같은 기본 입자들은 이러한 군의 표현에 해당하는 다양한 양자수를 지닌다.

고체 물리학과 결정학에서도 군론은 결정 구조의 대칭성을 분류하는 데 필수적이다. 공간군은 결정 내 원자 배열의 모든 대칭 연산(병진, 회전, 반사 등)을 모은 군으로, 이를 통해 결정의 물리적 성질을 예측하고 분류할 수 있다. 분자의 대칭성과 그에 따른 분광학적 특성 분석에도 점군이 널리 활용된다.