최근 수정 시각 : 2026-10-13 19:26:29

몫군


[[대수학|대수학
Algebra
]]
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"		 이론
기본 대상 연산 · 이항 연산 · 항등원 · 역원 · 항등식(가비의 이 · 곱셈 공식(통분 · 약분) · 인수분해) · 부등식(절대부등식) · 방정식(방정식론 · /풀이 · 근(무연근 · 허근 · 비에트의 정리(근과 계수의 관계) · 제곱근(이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술(시계 산술)
수 체계 자연수 · 소수 · 정수 · 음수 · 유리수 · 실수(무리수(대수적 무리수 · 초월수) · 초실수) · 복소수(허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간
다루는 대상과 주요 토픽
대수 구조
군(group) 자명군 · 부호군 · 아벨군(아벨화) · 이면군 · 몫군 · 대칭군 · 교대군 · 기본군 · 자유군 · 리 군 · 유한 단순군(괴물군) · 점군 · 순환군 · 공간대칭군 · 콕서터 군 · 군의 작용 · 동형 정리 · 케일리 정리 · 실로우 정리 · 클라인 사원군
환(ring) 자명환 · 덧셈의 항등원 · 영인자 · 멱영원 · 단원군 · 아이디얼 · 불 환
체(field) 갈루아 이론 · 분해체
대수 가환대수 · 리 대수 · 불 대수(크로네커 델타)
기타 대수 구조 마그마 · 반군(semigroup) · 모노이드(자유 모노이드 · 가환 모노이드 · 모노이드 대상) · 준군(quasigroup)
선형대수학 스칼라 · 벡터 · 행렬 · 텐서(텐서곱) · 벡터 공간(선형사상) · 가군(module) · 내적 공간(그람-슈미트 과정 · 수반 연산자)
정리·추측
대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결
관련 하위 분야
범주론 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론
대수위상수학 연속변형성 · 기본군 · 피복공간 · 사슬 복합체 · 호몰로지 대수학(호몰로지 · 코호몰로지) · 사상류군 · 닐센-서스턴 분류 · 호프대수
대수기하학 대수 다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브
대수적 정수론 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리
가환대수학 스펙트럼 정리
표현론 실베스터 행렬
기타 및 관련 문서
수학 관련 정보 · 대수적 · 추상화 · 케일리 표 · 1학년의 꿈 · 노름 · 혼합계산 · 이항연산의 성질(결합법칙 · 분배법칙 · 소거법칙 · 교환법칙 · 흡수법칙) · 교재 · 과일 분수방정식 문제 }}}}}}}}}

1. 개요2. 정규부분군
2.1. 정규부분군의 잉여류와 합동
3. 몫군
3.1. 증명
4. 정준 사상

1. 개요

quotient group, factor group

한 군(group)을 정규부분군(normal subgroup)으로 나누어, 즉 잉여류(coset)를 동치류(equivalence class)로 하여 얻어지는 군.

흔히 [math(G)] quotient [math(H)], [math(G)] mod [math(H)] 등으로 읽는다.

2. 정규부분군

우선 정규부분군이 뭔지부터 정의하자. 사실 처음 정의를 보면 굉장히 작위적(?)으로 보이지만 근본적으로 군에서의 kernel의 특징을 일반화한 것이라고 볼 수 있다. 이어서 보이지만 모든 kernel은 정규부분군이고 모든 정규부분군은 kernel이다.
정규부분군(normal subgroup)
군 [math(G)]의 부분군 [math(H \leq G)]에 대해 [math(\forall x \in G (x H x^{-1} = H))]인 부분군을 정규부분군(normal subgroup)이라 하며, [math(H \vartriangleleft G)]로 나타낸다.

참고로 [math(H)]가 부분군이니 이항해서 [math(x H = H x)]로 적어도 같은 내용이다. 또 어떤 부분군 [math(H)]에 대해 [math(x H \sub H x)]가 성립하면 이는 [math(H x^{-1} \sub x^{-1} H)]인 것과 같으며, [math(x^{-1})]를 [math(x)]로 자연스럽게바꾸면 [math(H x \sub x H)]가 되어 결국 두 집합이 같음을 알 수 있다. 비슷하게, [math(x H x^{-1} \sub H)]이기만 해도 [math(H \subset x^{-1} H x)]이므로 원래 정의와 동치임을 알 수 있다. 그래서 보통은 증명시 반쪽만 보인다.

모든 kernel이 normal함을 보이는 것은 쉽다. 적당히 [math(f)]가 [math(G)]를 정의역으로 가지는 group homomorphism이고 [math(\ker f)]가 [math(f)]의 kernel이라 하고, 임의의 원소 [math(x \in G)], [math(k \in \ker f)]를 각각 잡자. [math(f)]가 homomorphism임을 생각하면
#!latex
f( x k x^{-1} ) = f(x) f(k) f(x^{-1}) = f(x) 1 f(x)^{-1} = 1

이므로 [math(x k x^{-1})]은 [math(\ker f)]의 원소이고, [math(x (\ker f) x^{-1} \sub \ker f)]가 성립한다.

2.1. 정규부분군의 잉여류와 합동

합동(congruence)
군 [math(G)]와 정규부분군 [math(H \vartriangleleft G)]에 대해, [math(x, y \in G)]가 같은 [math(H)]의 잉여류(coset)에 속할 때

#!latex
x \equiv y \pmod H

라고 쓰며 [math(x)]와 [math(y)]가 [math(H)]를 법으로 합동(congruent modulo [math(H)])이라고 한다.

[math(x)]와 [math(y)]가 합동이라는 것은 [math(x \in y H)]와 동치이므로 [math(y^{-1} x \in H)]와 같이 다시 쓸 수 있다. 정규부분군의 곱은 교환하므로 [math(x \in H y)]이기도 하며, [math(x y^{-1} \in H)]로 써도 무방하다. 정말 직관적으로 정수의 나머지 합동이 어떤 성질을 가지는지 떠올리면 좋다.

사실 모든 부분군 [math(H)]의 잉여류들은 전부 분할(partition)이지만 굳이 [math(H)]가 normal할 때만 합동이라고 하는 이유는 후술하듯이 [math(H)]의 잉여류들이 원래 군 [math(G)] 연산을 동일하게 사용하기 때문이다.

3. 몫군

몫군(quotient group)
군 [math(G)]와 그 정규부분군 [math(H \vartriangleleft G)]에 대해 [math(H)]에 대한 몫(quotient) 또는 몫군(quotient group)이란 [math(G)]에서 [math(H)]의 모든 잉여류(coset)들의 집합에 다음과 같은 연산을 준 군을 말한다. (단, [math(A B)]는 부분집합의 곱)
#!latex
\begin{aligned}
G / H \times G / H & \longrightarrow G / H \\
(A, B) & \longmapsto A B \\
\end{aligned}

후술할 증명에서 잉여류의 방향을 구분할 필요가 없으므로 편의상 좌잉여류 꼴로 통일하자.

3.1. 증명

이 [math(G / H)]가 실제로 군을 이루는지 확인하자.

우선 잉여류 간 연산이 실질적으로는 [math(a H \cdot b H = a b H)] 꼴로 대표원의 선택과 무관하게 각 대표원끼리의 연산으로써 잘 정의됨을 보이자. 정규부분군의 정의상 [math(a H = H a)]와 같이 교환이 가능하고 부분군의 곱은 멱등성을 띠므로 [math(a H b H = a b H H = a b H)]이다.

결과가 잉여류 꼴로 나오니 [math(G / H)]는 해당 연산에 대해 닫혀 있고 결합법칙은 자명하며 [math(1 H)] 꼴인 [math(H)]가 항등원 역할을 하며 [math(a H)]의 역원은 [math(a^{-1} H)]인 잉여류임을 알 수 있다.

참고로 [math(H)]를 떼고 잉여류 꼴로 쓰면 [math([ a ] [ b ] = [ a b ])]라는 소리임을 알 수 있는데, 생긴 게 너무 canonical하게준동형 사상 스럽게 생겼다면 정답이다(...). 왠지 이대로 decomposition이 유일하게 될 것 같고 막 보편 성질이 성립할 것 같다면 정답이다.대학원스포

4. 정준 사상

canonical homomorphism

가장 canonical한 canonical
위 문단에서 [math(H)]에 대한 잉여류 대응 [math([ \cdot ])]이 사실상 준동형 사상처럼 생겼다는 말을 했는데, 당연히실제로 준동형 사상이 맞다! 이를 함수로 쓰고 [math(\varphi)]라고 쓰면 다음과 같다.
#!latex
\begin{aligned}
\varphi : G & \longrightarrow G / H \\
a & \longmapsto a H \\
\end{aligned}

이렇게 몫군에 대해 항상 존재하는 준동형 사상을 canonical homomorphism이라고 한다. 보통 정준 사상, 표준 사상 등으로 번역한다.

앞서 quotient [math(G / H)]의 항등원은 [math(H)]임을 보였으므로 [math(\ker \varphi = H)]가 임을 알 수 있다. 모든 정규부분군은 canonical homomorphism이 반드시 존재하여 그 kernel이므로 사실상 정규부분군과 kernel이 본질적으로 같은 개념임을 알 수 있다.

분류