유한군편집자 확인

라그랑주 정리는 유한군의 기본적인 성질 중 하나로, 군의 구조에 대한 중요한 정보를 제공한다. 이 정리에 따르면, 유한군의 부분군의 위수는 항상 원래 군의 위수의 약수이다. 즉, 유한군 G와 그 부분군 H가 있을 때, H의 원소 개수는 G의 원소 개수를 나눈다.

이 정리는 군론에서 여러 중요한 결과를 도출하는 데 사용된다. 예를 들어, 군의 어떤 원소 a의 위수, 즉 a를 거듭제곱하여 항등원이 되는 가장 작은 자연수는 반드시 군 G의 위수의 약수임을 보일 수 있다. 이는 기본 성질에서 언급된 '모든 원소의 위수는 군의 위수의 약수이다'라는 명제와 직접적으로 연결된다.

라그랑주 정리의 증명은 잉여류의 개념을 통해 이루어진다. 부분군 H에 의해 정의되는 좌잉여류들은 서로 소합집합이며, 각 잉여류의 크기는 H의 크기와 같다. 따라서 군 G는 크기가 같은 잉여류들로 분할되며, 이로부터 |G| = |H| × (잉여류의 개수)라는 식이 성립함을 알 수 있다. 여기서 잉여류의 개수를 H의 지표라고 부른다.

이 정리는 역이 성립하지 않는다는 점에 유의해야 한다. 즉, 군의 위수의 약수가 항상 그 크기를 가진 부분군이 존재한다는 보장은 없다. 예를 들어, 위수가 12인 교대군 A4는 위수가 6인 부분군을 갖지 않는다. 이러한 현상을 더 깊이 연구하는 것이 실로우 정리의 주된 목적 중 하나이다.

유한 아벨 군의 기본 정리는 유한 아벨 군의 구조를 완전히 분류하는 핵심 정리이다. 이 정리에 따르면, 모든 유한 아벨 군은 소수 거듭제곱 위수를 가진 순환군들의 직합으로 유일하게 표현될 수 있다.

보다 구체적으로, 위수가 n인 유한 아벨 군 G는 소수 p_i와 양의 정수 e_{ij}에 대해 다음과 같은 형태로 분해된다.

이때, 각 소수 p_i에 대한 지수 e_{i1} ≥ e_{i2} ≥ ... 의 나열은 군 G에 따라 유일하게 결정된다. 이 표현을 군의 초등 제수 분해 또는 불변 인수 분해라고 부른다.

이 정리는 유한 아벨 군의 구조를 이해하는 강력한 도구가 된다. 예를 들어, 위수가 12인 아벨 군은 순환군 C_{12} 또는 C_4와 C_3의 직합인 C_4 × C_3, 그리고 C_2 × C_2 × C_3의 형태로 분류할 수 있다. 이 정리를 통해 복잡해 보이는 유한 아벨 군도 비교적 단순한 순환군들의 조합으로 분석할 수 있게 된다.

실로우 정리는 유한군의 구조를 이해하는 데 핵심적인 역할을 하는 정리로, 노르웨이의 수학자 페테르 루드비 메이달 실로우의 이름을 따서 명명되었다. 이 정리는 주어진 소수 p에 대해, 군의 위수에 포함된 p의 거듭제곱과 관련된 특별한 부분군의 존재성과 개수, 그리고 그들 사이의 관계를 설명한다.

구체적으로, 유한군 G의 위수를 |G| = pⁿ·m (여기서 m은 p와 서로소)로 나타낼 수 있을 때, 위수가 pⁿ인 부분군을 G의 실로우 p-부분군이라고 한다. 실로우 정리는 다음과 같은 세 가지 주요 명제를 담고 있다. 첫째, 실로우 p-부분군은 항상 존재한다. 둘째, 모든 p-부분군(위수가 p의 거듭제곱인 부분군)은 어떤 실로우 p-부분군에 포함된다. 셋째, 서로 다른 실로우 p-부분군의 개수는 m을 나누며, p로 나눈 나머지가 1이다.

이 정리는 군의 내부 구조를 분석하는 강력한 도구로, 특히 단순군의 분류와 같은 깊은 문제를 연구하는 데 필수적이다. 또한, 위수가 특정 형태(예: p²q, pqr)인 군이 얼마나 많이 존재하는지, 또는 그 구조가 어떻게 결정되는지를 밝히는 데 널리 활용된다.

순환군은 하나의 원소로 생성되는 군을 말한다. 즉, 군의 모든 원소가 어떤 한 원소의 거듭제곱으로 표현될 수 있다. 유한 순환군은 위수가 유한한 순환군으로, 위수가 n인 유한 순환군은 순환군 C_n으로 표기하며, 정수의 집합 Z를 n으로 나눈 잉여류의 군 Z/nZ와 동형이다.

유한 순환군의 구조는 매우 단순하며 명확하다. 위수가 n인 순환군 C_n은 정확히 n개의 원소를 가지며, 이는 생성원 g에 대해 {e, g, g^2, ..., g^(n-1)}로 주어진다. 여기서 g^n은 항등원 e가 된다. 순환군은 가환군이며, 그 부분군 역시 순환군이다. C_n의 부분군은 n의 각 약수 d에 대해 위수가 d인 유일한 부분군을 가진다.

순환군은 군론에서 가장 기본적인 빌딩 블록 중 하나로 여겨진다. 유한 아벨 군의 기본 정리에 따르면, 모든 유한 가환군은 소수 거듭제곱 위수의 순환군들의 직합으로 유일하게 분해될 수 있다. 이는 순환군이 유한 가환군의 구조를 이해하는 데 핵심적인 역할을 함을 보여준다.

순환군의 구체적인 예로는 1의 n제곱근들의 군, 즉 복소평면에서 단위원을 n등분하는 점들의 군을 들 수 있다. 또한, 정n각형의 회전 대칭군은 위수가 n인 순환군을 이룬다. 이러한 예는 순환군이 기하학과 대수학을 연결하는 중요한 개념임을 보여준다.

대칭군은 유한군 연구에서 가장 기본적이고 중요한 예시 중 하나이다. n개의 원소로 이루어진 집합의 모든 순열들의 모임은 함수 합성 연산 아래에서 군을 이루며, 이를 n차 대칭군이라고 하며 S_n으로 표기한다. S_n의 위수는 n!이다. 대칭군은 군의 작용과 군 표현론을 비롯한 군론의 여러 개념을 구체적으로 보여주는 모델 역할을 한다.

대칭군 S_n의 중요한 부분군으로 교대군 A_n이 있다. 이는 S_n의 원소 중 짝순열만을 모아놓은 군으로, 그 위수는 n!/2이다. 교대군 A_n은 n이 5 이상일 때 단순군이 된다는 사실이 알려져 있으며, 이는 유한 단순군의 분류에서 중요한 역할을 한다. 교대군은 정다면체의 회전 대칭군과 밀접한 관련이 있어 기하학적 이해를 제공하기도 한다.

대칭군과 교대군은 추상적인 군의 개념을 구체화하고, 군의 구조를 분석하는 데 필수적인 도구이다. 또한 갈루아 이론에서 방정식의 가해성을 연구하는 데 결정적인 역할을 하며, 조합론과 표현론 등 수학의 여러 분야에 폭넓게 응용된다.

단순군은 자기 자신과 자명군 이외의 정규 부분군을 갖지 않는 군을 말한다. 이는 군을 더 작은 군으로 분해하는 과정에서 더 이상 분해할 수 없는 '기본 구성 요소' 역할을 한다. 유한군의 경우, 유한 단순군의 분류는 20세기 군론의 가장 중요한 성과 중 하나로, 수십 년에 걸친 많은 수학자들의 노력 끝에 완성되었다.

유한 단순군은 크게 몇 가지 무한족과 26개의 산재군으로 분류된다. 무한족에는 소수 위수의 순환군, 교대군 A_n (n ≥ 5), 리형 군 등이 포함된다. 특히 5차 이상의 교대군은 단순군이라는 사실이 잘 알려져 있다. 반면, 산재군은 위의 무한족에 속하지 않는 예외적인 26개의 유한 단순군을 지칭하며, 그 중 가장 작은 것은 마티에 군 M11이다.

이 분류 정리는 모든 유한 단순군의 목록이 완전히 밝혀졌음을 의미하며, 이는 추상대수학의 기념비적 업적으로 평가받는다. 이 결과를 바탕으로 모든 유한군은 이러한 단순군들을 '조립'하여 구성될 수 있다는 점에서, 단순군은 유한군의 구조를 이해하는 핵심 열쇠가 된다.

케일리 표는 유한군의 구조를 시각적으로 표현하는 표 형식의 방법이다. 군의 모든 원소를 행과 열에 나열한 후, 각 행과 열이 교차하는 위치에 두 원소의 군 연산 결과를 기입한다. 이는 군의 이항 연산을 완전히 기술하며, 군표라고도 불린다.

표의 첫 행과 첫 열에는 군의 원소들이 동일한 순서로 나열되며, 일반적으로 항등원을 맨 처음에 둔다. 표의 (i, j) 위치에는 i번째 행의 원소와 j번째 열의 원소를 연산한 결과가 기록된다. 이때, 각 행과 각 열에는 군의 모든 원소가 정확히 한 번씩 등장해야 한다는 특징이 있다. 이는 라그랑주 정리와 연결되어, 각 원소의 위수가 군의 위수의 약수임을 반영하는 구조를 보여준다.

케일리 표는 특히 위수가 작은 군을 분류하거나 비교하는 데 유용하다. 예를 들어, 위수가 4인 군의 가능한 구조를 순환군 C4와 클라인 4원군으로 구분할 때, 이들의 케일리 표를 작성하면 연산의 교환 법칙 성립 여부 등 구조적 차이를 명확히 확인할 수 있다. 또한 대칭군 S3과 정이면체군 D3이 동형임을 보이는 데에도 활용된다.

그러나 군의 위수가 커질수록 표의 크기가 급격히 증가하여 실제 작성과 해석이 어려워진다는 한계가 있다. 따라서 케일리 표는 주로 이론적 설명이나 소규모 군의 예시를 도식화하는 데 사용되며, 더 큰 군을 다룰 때는 군의 표현론과 같은 다른 방법론이 주로 적용된다.

군표는 유한군의 구조를 시각적으로 표현하는 방법 중 하나로, 군의 모든 원소 간의 이항 연산 결과를 정사각형 표 형태로 나타낸다. 이 표는 종종 케일리 표라고도 불리며, 군의 정의를 만족하는지 쉽게 확인할 수 있게 해준다.

군표는 가로와 세로에 군의 모든 원소를 같은 순서로 나열하고, 각 칸에는 가로축 원소와 세로축 원소를 연산한 결과를 기입하여 작성한다. 예를 들어, 세 원소 a, b, c로 이루어진 군에서 a와 b를 연산한 결과가 c라면, a행과 b열이 만나는 칸에 c를 쓴다. 이 표를 통해 군의 기본 성질인 결합법칙, 항등원의 존재, 역원의 존재 등을 한눈에 확인할 수 있다.

작은 위수의 군, 예를 들어 순환군 C_n이나 정이면체군 D_n의 구조를 설명할 때 군표는 매우 유용하다. 아래는 위수가 3인 순환군 {e, a, a^2}의 군표 예시이다.

이 표에서 각 행과 열에 모든 원소가 정확히 한 번씩 등장한다는 사실은 라그랑주 정리와 연결지어 생각해볼 수 있으며, 이는 라틴 방진의 특수한 경우이기도 하다. 그러나 군의 위수가 커질수록 표의 크기가 급격히 증가하여 실제로 사용하기 어려워지며, 이 경우 군의 생성원과 관계식을 이용한 표현이 더 효율적이다.

유한군은 코딩 이론에서 오류 정정 부호를 구성하는 데 핵심적인 도구로 활용된다. 특히 선형 부호는 유한체 위의 벡터 공간의 부분공간으로 정의되며, 이는 본질적으로 가법군의 구조를 가진다. 부호의 거리와 오류 정정 능력은 군의 대수적 성질과 밀접하게 연관되어 있다.

순환 부호는 순환군의 구조를 이용한 중요한 부호 부류이다. 이 부호는 다항식 환의 아이디얼로 표현될 수 있으며, 생성 다항식 하나로 완전히 기술된다. 이러한 대칭성 덕분에 순환 부호는 효율적인 부호화와 복호화 알고리즘을 가능하게 하여, 디지털 통신과 데이터 저장 시스템에 널리 적용되고 있다.

유한군의 표현론 또한 코딩 이론에 기여한다. 군 대수와 군 표현의 개념은 가중치 열거자와 같은 부호의 불변량을 분석하는 데 사용된다. 이는 부호의 성능을 평가하고, 서로 다른 부호를 분류하는 데 유용한 수학적 틀을 제공한다.

결정학에서 유한군은 결정 구조의 대칭성을 기술하는 데 핵심적인 역할을 한다. 결정 내 원자나 이온의 규칙적인 배열은 공간을 채우는 특정 패턴을 형성하며, 이러한 패턴의 대칭 연산들은 점군이라는 유한군을 구성한다. 점군은 회전, 반사, 반전, 회전반사 등과 같이 적어도 하나의 점을 고정시키는 대칭 연산들의 집합으로, 3차원 공간에서는 총 32개의 결정학적 점군이 존재한다.

이러한 점군의 분류는 결정을 7개의 결정계로 나누는 기초가 된다. 각 결정계는 고유한 대칭성을 가지며, 여기에 추가적인 병진 대칭(평행 이동)을 결합하면 결정 구조를 완전히 설명하는 230개의 공간군이 도출된다. 공간군은 결정의 미시적 구조를 규정하는 무한군이지만, 그 핵심 구성 요소인 점군은 유한군이다. 따라서 유한군론은 결정의 물리적 성질, 예를 들어 광학적 특성이나 엑스선 회절 패턴을 해석하는 데 필수적인 수학적 틀을 제공한다.

루빅스 큐브와 같은 조합 퍼즐은 유한군 이론의 대표적인 응용 사례이다. 큐브의 각 조작(회전)은 큐브의 상태를 다른 상태로 바꾸는 함수로 볼 수 있으며, 이러한 모든 조작들의 집합은 군을 이룬다. 이 군은 유한군이다. 왜냐하면 큐브의 가능한 모든 배열 상태의 수가 유한하기 때문이다. 큐브의 해법을 찾는 과정은 본질적으로 이 군의 구조를 이해하고, 주어진 상태를 항등원(완벽하게 맞춰진 상태)으로 되돌리는 조작의 조합, 즉 군의 원소를 찾는 문제와 같다.

큐브 퍼즐의 군은 일반적으로 대칭군의 부분군으로 설명된다. 각 조작은 큐브의 특정 조각들을 치환(permute)하고, 동시에 그 조각들의 방향을 변화시킨다. 이러한 모든 조작들이 생성하는 군의 구조를 분석하면, 예를 들어 특정 조작을 반복했을 때 원래 상태로 돌아오는 주기나, 서로 다른 두 조작이 교환 법칙을 만족하는지 여부 등을 알 수 있다. 이는 군론의 기본 개념인 원소의 위수와 군의 가환성에 대한 이해를 요구한다.

더 나아가, 루빅스 큐브의 군은 거대한 위수를 가진 유한 단순군이 아님을 증명할 수 있다. 즉, 이 군은 비자명한 정규 부분군을 가지고 있으며, 이는 큐브를 해결하는 체계적인 알고리즘이 존재할 수 있는 이론적 토대가 된다. 많은 효율적인 해법 알고리즘들은 이러한 군의 구조적 분해를 활용하여 개발되었다.

루빅스 큐브 외에도 피라밍크스, 메가밍크스, 스큐브 등 다양한 고차원 조합 퍼즐들도 유사한 방식으로 유한군으로 모델링되어 연구된다. 이러한 퍼즐들은 군론이라는 추상적인 수학 개념이 구체적이고 흥미로운 문제에 어떻게 적용되는지를 보여주는 완벽한 예시이다.

군의 위수는 군이 가지고 있는 원소의 개수를 의미한다. 유한군의 경우 이 위수는 유한한 정수이며, 무한군의 위수는 무한대이다. 군 G의 위수는 일반적으로 |G|나 ord(G)와 같은 기호로 표기한다.

유한군에서 각 원소의 위수는 그 원소를 거듭제곱하여 항등원이 되게 하는 가장 작은 자연수를 말한다. 중요한 정리로, 유한군의 임의의 원소의 위수는 반드시 군 전체의 위수의 약수가 된다. 또한, 라그랑주 정리에 따르면 유한군의 부분군의 위수도 항상 원래 군의 위수의 약수이다.

군의 위수는 군의 구조를 분류하고 이해하는 데 핵심적인 역할을 한다. 예를 들어, 위수가 소수 p인 군은 반드시 순환군 C_p와 동형이다. 위수가 작은 군들의 분류는 비교적 완벽하게 이루어져 있으며, 위수가 커질수록 가능한 구조가 매우 다양해진다.

군론에서 위수는 군의 크기뿐만 아니라, 부분군의 존재 가능성, 정규 부분군의 성질, 그리고 군의 표현 이론 등 다양한 분야에서 기본적인 정보를 제공하는 중요한 개념이다.

부분군은 주어진 군의 일부 원소들로 구성된 집합이면서, 그 자체로 군의 구조를 만족하는 것을 말한다. 유한군의 경우, 부분군 역시 유한하며, 그 위수는 원래 군의 위수의 약수이다. 이는 라그랑주 정리에 의해 보장되는 기본적인 성질이다. 예를 들어, 위수가 6인 대칭군 S_3은 위수가 3인 부분군과 위수가 2인 부분군을 가질 수 있다.

유한군의 부분군을 찾는 것은 군의 구조를 이해하는 핵심적인 방법 중 하나이다. 순환군의 경우, 모든 부분군이 다시 순환군이며, 그 위수는 원래 군 위수의 약수들에 의해 결정된다. 정이면체군이나 교대군과 같은 비아벨 군에서는 부분군의 구조가 더 복잡해지며, 정규 부분군과 같은 개념이 중요해진다.

부분군의 예시는 다음과 같다.

부분군의 개념은 군론 전반에 걸쳐 활용된다. 실로우 정리는 소수 거듭제곱 위수를 가진 부분군의 존재성과 개수에 대한 강력한 결과를 제공한다. 또한, 군의 작용 이론에서 안정자 부분군은 중요한 역할을 하며, 몫군을 구성하기 위해서는 정규 부분군이 필요하다.

준동형사상은 두 군 사이의 구조를 보존하는 함수이다. 군 G에서 군 H로의 함수 f가 준동형사상이 되려면, G의 모든 원소 a, b에 대해 f(ab) = f(a)f(b)가 성립해야 한다. 이 조건은 군 연산이 보존됨을 의미하며, 이를 통해 한 군의 대수적 성질을 다른 군으로 '옮겨' 연구할 수 있다. 준동형사상은 군론의 핵심 도구로, 복잡한 군을 더 잘 알려진 군과 비교하여 이해하는 데 사용된다.

준동형사상의 중요한 특성으로는, 항등원을 항등원으로 보내고 역원을 역원으로 보낸다는 점이 있다. 즉, f(e_G) = e_H 이고, f(a^{-1}) = (f(a))^{-1} 이 성립한다. 준동형사상 f의 핵(kernel)은 G에서 항등원 e_H로 보내지는 원소들의 집합이며, 이는 G의 부분군을 이룬다. 또한 f의 상(image)은 H의 부분군을 이룬다. 유한군의 경우, 핵과 상의 위수 사이에는 중요한 관계가 성립한다.

준동형사상은 동형사상, 자기동형사상, 내부자기동형사상 등으로 세분화된다. 특히, 대칭군 S_n에서 교대군 A_n으로 가는 준동형사상인 부호 함수(sign function)는 순열의 짝수성과 홀수성을 구분하는 데 핵심적 역할을 한다. 이는 유한군의 분류와 구조 분석에 광범위하게 응용된다.