군론 위수 계산기

군론 위수 계산기 정보

군론 위수 계산기는 유한군을 연구하기 위한 인터랙티브 도구입니다. 모든 원소의 위수를 계산하고, 군이 가환군인지 또는 순환군인지 판별하며, 원소 위수에 따라 색상이 지정된 Cayley 곱셈표를 렌더링하고, 하세 도형으로 전체 부분군 격자를 그려줍니다. 대수학 입문 과정에서 가장 흔히 접하는 네 가지 군 패밀리인 순환군 Z_n, 직적 Z_m × Z_n, 이면군 D_n, 대칭군 S_n을 지원합니다.

원소의 위수란 무엇인가요?

항등원이 e인 유한군 G가 주어졌을 때, 원소 g ∈ G의 위수(order)는 다음과 같은 성질을 만족하는 가장 작은 양의 정수 k로 정의하며, |g| 또는 ord(g)라고 씁니다.

마찬가지로, g의 위수는 해당 원소에 의해 생성되는 순환 부분군의 크기와 같습니다: |⟨g⟩| = ord(g). 라그랑주 정리에 따라 ord(g)는 항상 |G|의 약수입니다. 따라서 위수가 12인 군에서 원소의 위수는 1, 2, 3, 4, 6, 12 중 하나가 될 수 있습니다.

주요 군의 위수 계산 공식

순환군 Z_n

법 n에 대한 덧셈 연산에서 원소 k의 위수는 다음과 같습니다.

이 군은 항상 순환군(1에 의해 생성됨)이며, 생성원의 개수는 오일러 피 함수 φ(n)과 같습니다.

직적 Z_m × Z_n

이 직적이 순환군이 되어 Z_mn과 동형이 될 필요충분조건은 gcd(m, n) = 1인 것입니다. 이는 군에 대한 중국인의 나머지 정리를 다시 서술한 것입니다. 예를 들어 Z₃ × Z₅ ≅ Z₁₅이지만, Z₂ × Z₄ ≇ Z₈입니다.

이면군 D_n

D_n은 2n개의 원소를 가집니다: n개의 회전 r^k과 n개의 반사 s·r^k. 원소의 위수는 다음과 같은 단순한 패턴을 따릅니다.

모든 반사는 대합(위수 2)입니다. D_n은 n ≥ 3일 때 비가환군입니다.

대칭군 S_n

치환의 위수는 서로소인 순환 표기법에서 순환 길이들의 최소공배수와 같습니다.

S_n의 위수는 n!이며 n ≥ 3일 때 비가환군입니다.

Cayley 표를 통한 군의 구조 파악

Cayley 표는 군의 곱셈표입니다. a행 b열의 항목은 곱 a · b입니다. 군 공리에 의해 세 가지 우아한 속성이 나타납니다.

• 라틴 방진 — 모든 행과 열은 군 원소들의 치환입니다(각 원소가 정확히 한 번씩 나타남).
• 대각선 대칭은 군이 가환군임을 의미합니다.
• 항등원의 대각선 위치 — 대각선 항목 A[i][i]가 항등원이면 해당 원소의 위수는 1 또는 2입니다.

이 계산기에서는 결과 원소의 위수에 따라 셀의 색상을 지정하므로 구조적 패턴을 한눈에 볼 수 있습니다. 예를 들어, 순환군에서는 행들이 서로 순환 이동된 형태인 시각적으로 눈에 띄는 무지개 패턴이 나타납니다.

부분군 격자

포함 관계에 의해 정렬된 G의 모든 부분군 집합은 (순서론적 의미의) 격자를 형성합니다. 이를 하세 도형으로 그립니다. 하단에는 자명 부분군 {e}가, 상단에는 전체 군 G가 위치하며, K ⊂ H인 두 부분군 사이에 다른 부분군이 존재하지 않는 피복 관계일 때 에지 H → K를 그립니다. 격자를 통해 알 수 있는 주요 사실은 다음과 같습니다.

실행 예제 — D₄, 정사각형

정사각형에 작용하는 위수 8의 이면군은 8개의 원소 e, r, r², r³ (회전) 및 s, sr, sr², sr³ (반사)를 가집니다. 도구를 통해 다음을 확인할 수 있습니다.

• 위수 수열: 1, 4, 2, 4, 2, 2, 2, 2 — 회전의 중심인 r²이 유일한 비자명 중심 원소입니다.
• 비가환군: s · r ≠ r · s.
• 순환군 아님: 위수가 8인 원소가 없습니다.
• 10개의 부분군이 특징적인 "D₄ 격자"를 형성합니다: 위수 1인 부분군 1개, 위수 2인 부분군 5개, 위수 4인 부분군 3개(순환군 ⟨r⟩ 1개, 클라인 4원군 2개), 위수 8인 부분군 1개.
• 3개의 정규 부분군: {e, r²}, ⟨r⟩, 그리고 각각의 클라인 4원 부분군. 위수 2인 3개의 반사 부분군은 정규 부분군이 아닙니다.

이 계산기 사용 방법

1. 군 패밀리 선택: 탭을 사용하여 순환군, 직적, 이면군, 또는 대칭군 중 하나를 선택합니다.
2. 매개변수 입력: Z_n, D_n, S_n의 경우 정수 n을, 직적의 경우 m과 n을 모두 입력합니다.
3. 원소 조회(선택 사항): 강조 필드에 원소를 입력합니다. 예: Z₁₂의 경우 8, 직적의 경우 (1,2), D_n의 경우 r^2 또는 s·r^3, S_n의 경우 (1 2 3). 도구가 해당 원소의 위수와 생성되는 순환 부분군을 출력합니다.
4. 군 분석하기 클릭: 위수에 따라 색상이 지정된 Cayley 표, 위수 분포 막대 차트, 모든 원소와 위수 목록, 마우스를 올려 세부 정보를 확인할 수 있는 하세 도형 형태의 부분군 격자가 표시됩니다.
5. 격자 노드 탐색: 격자 노드에 마우스를 올리면 해당 부분군의 원소, 생성원 및 정규성 여부를 볼 수 있습니다. Cayley 셀에 마우스를 올리면 어떤 행과 열의 곱인지 확인할 수 있습니다.

이 버전의 제한 사항

• 순환군 Z_n: n ≤ 120.
• 직적 Z_m × Z_n: m · n ≤ 144.
• 이면군 D_n: n ≤ 20 (|D_n| ≤ 40).
• 대칭군 S_n: n ≤ 5 (|S₅| = 120).
• Cayley 표는 위수 24 이하인 군에 대해서만 렌더링됩니다.
• 전체 부분군 격자는 위수 60 이하인 군에 대해서만 계산됩니다.

일반적인 활용 사례

• 추상대수학 과제 — 원소의 위수, 라그랑주 정리 및 부분군 나열에 관한 숙제를 확인하세요.
• 암호학 — 소수 법에 대한 곱셈군은 순환군입니다. ord(g)는 디피-헬먼 보안의 핵심 요소입니다.
• 결정학 및 화학 — 이면군은 분자와 결정면의 회전 대칭을 설명합니다.
• 조합론 — 대칭군은 치환의 개수를 세는 데 사용되며 번사이드 보조정리나 폴리아 열거 정리에 활용됩니다.
• 물리학 — 점군, 리 군 및 양자역학의 대칭 논증은 이 계산기가 시각화하는 유한군에 대한 직관에서 시작됩니다.

자주 묻는 질문

군에서 원소의 위수란 무엇인가요?

유한군 G에서 원소 g의 위수는 g^k가 항등원이 되는 가장 작은 양의 정수 k입니다. 라그랑주 정리에 의해 모든 원소의 위수는 군의 위수의 약수입니다.

Z_n 원소의 위수는 어떻게 계산하나요?

법 n에 대한 덧셈군 Z_n의 경우, 원소 k의 위수는 n / gcd(n, k)입니다. 예를 들어 Z₁₂에서 원소 8의 위수는 12 / gcd(12, 8) = 12 / 4 = 3입니다.

군은 언제 순환군이 되나요?

유한군이 순환군이 될 필요충분조건은 군의 위수와 같은 위수를 가진 원소를 포함하는 것입니다. 위수가 n인 모든 순환군은 Z_n과 동형입니다. 직적 Z_m × Z_n이 순환군이 될 필요충분조건은 gcd(m, n) = 1인 것입니다.

Cayley 표란 무엇인가요?

Cayley 표는 군의 모든 원소 쌍의 곱을 나열한 정사각형 모양의 곱셈표입니다. a행 b열의 항목은 곱 a · b입니다. Cayley 표의 행과 열은 각각 군 원소들의 치환입니다. 이를 라틴 방진 속성이라고 합니다.

부분군 격자란 무엇인가요?

유한군 G의 부분군 격자는 포함 관계에 의해 정렬된 G의 모든 부분군들의 부분 순서 집합입니다. 하세 도형으로 그리면 어떤 부분군이 다른 부분군에 포함되는지 쉽게 확인할 수 있으며, 정규 부분군이나 주급수를 파악하는 데 유용합니다.

S₃와 D₃가 왜 동형인가요?

두 군 모두 위수가 6이며 원소 위수의 다중집합이 동일합니다(위수 1인 원소 1개, 위수 3인 원소 2개, 위수 2인 원소 3개). 정삼각형의 6가지 대칭(회전 3개와 반사 3개)은 세 꼭짓점의 6가지 치환과 정확히 일치하므로, 추상적으로 두 군은 같은 군입니다. 이 계산기에서 두 군을 생성해 보면 부분군 격자가 정확히 일치하는 것을 볼 수 있습니다.

더 읽어보기

• 위수 (군론) — 위키백과
• Cayley 표 — 위키백과
• Lattice of subgroups — Wikipedia
• 이면군 — 위키백과
• 대칭군 — 위키백과