**몫군** 또는 **상군**(商群)은 수학의 군론에서 어떤 군의 정규 부분군의 잉여류들이 이루는 군이다. 몫공간이나 몫환과 같이 군에 동치관계를 줘서 몫을 취하는 연산이다. 예를 들어 ''n''의 배수로 다른 요소를 식별하고 그러한 각 등급(합동류로 알려져 있음)에서 작동하는 그룹 구조를 단일 개체로 정의함으로써 추가되는 정수의 그룹에서 모듈러 산술로 ''n''의 순환군을 얻을 수 있다.

몫군에서 항등원의 동치관계는 항상 원래 집단의 정규 부분군이며 다른 동치관계는 정확히 그 정규 부분군의 잉여류이다. 결과 몫은 ''은 정규 부분군이다. 이러한 표기 방식은 1889년에 오토 횔더에 의해 제안되어 처음 등장했다. 이러한 결과 몫은 "''G mod N''"으로 표기하는데 여기서 "mod"는 modulo(모듈러 산술)의 줄임말이다.

몫군의 중요성은 군 준동형사상과의 관계에서 비롯된다. 1번째 동형 정리에서는 동형인 특정한 군 ''에 이형성이 있다.

몫군의 쌍대 개념은 부분군이며 이것은 더 큰 군에서 더 작은 군을 형성하는 2가지 주요한 방법이다. 모든 정규 부분군에는 그에 대응하는 몫군이 존재하는데, 이 몫군은 더 큰 군에서 부분군 요소 간의 구분을 제거함으로써 만들어진다. 범주론에서 몫군은 부분 대상의 쌍대인 몫 대상의 한 예이다.

## 정의
군 이다. (여기서 우리는 군의 이항 연산을 위해 곱셈 대신 덧셈 표기법을 사용하고 있다.)

일반 부분군 로 표시된다.

### 정의
이 군 ''G''의 정규 부분군이라고 하자. 집합 ''G''/''N''을 ''G''속의 ''N''의 모든 왼쪽 잉여류의 집합으로 정의한다. 즉, {{개행 금지|1=''G''/''N'' = {''aN'' : ''a'' ∈ ''G''}}}이다. ''e'' ∈ ''N''이므로 ''a'' ∈ ''aN''이다. 잉여류의 집합 ''G''/''N''에서 이항 연산을 다음과 같이 정의한다. ''g''/''N''의 각 ''aN''과 ''bN''에 대해 ''aN''과 ''bN'', (''aN'')(''bN'')의 곱은 (''ab'')''N''이다. 이것이 잘 정의되는 이유는 (''ab'')''N''이 각 왼쪽 잉여류의 대표원인 ''a''와 ''b''의 선택에 의존하지 않기 때문이다. 이를 증명하기 위해 어떤 ''x'', ''y'', ''a'', ''b'' ∈ ''G''에 대해 ''xN'' = ''aN'', ''yN'' = ''bN''이라고 가정하자. 그러면 (''ab'')''N'' = ''a''(''bN'') = ''a''(''yN'') = ''a''(''Ny'') = (''aN'')''y'' = (''xN'')''y'' = ''x''(''Ny'') = ''x''(''yN'') = (''xy'')''N''이 된다.

이는 ''N''이 정규 부분군이라는 사실에 의존한다. 이 조건이 충분할 뿐만 아니라 ''G''/''N''의 연산을 정의하는데도 여전히 필요하다는 것을 보여야 한다. 그것이 필요하다는 것을 보여주기 위해 우리는 ''G''의 부분군 ''N''에 대해 연산이 제대로 정의되었다고 간주한다. 즉 모든 ''x'', ''y'', ''a'', ''b'' ∈ ''G''에 대해 ''xN'' = ''aN'', ''yN'' = ''bN''이면 , (''ab'')''N'' = (''xy'')''N''이다. ''n'' ∈ ''N'', ''g'' ∈ ''G''라 하자. ''eN'' = ''nN''이므로 ''gN'' = (''eg'')''N'' = (''ng'')''N''이다. 여기서 ''gN'' = (''ng'')''N'' ⇔ ''N'' = ''g''''ng'' ∈ ''N'' ∀ ''n'' ∈ ''N'', ''g'' ∈ ''G''이라는 등식이 나온다. 따라서 ''N''은 ''G''의 정규 부분군이 된다.

또한 ''G''/''N''에 대한 연산이 항상 결합성이 있는지 확인할 수 있다. ''G''/''N''은 식별 요소 ''N''을 가지며 요소 ''aN''의 역행은 항상 ''a''''N''으로 나타낼 수 있다. 따라서, 집합 ''G''/''N''과 (''aN'')(''bN'') = (''ab'')''N''에 의해 정의된 연산을 함께 사용하여 ''G''의 몫군을 형성한다. ''N''의 정규성 때문에 ''G''에서 ''N''의 왼쪽 잉여류와 오른쪽 잉여류는 동일하므로 ''G''/''N''은 ''G''에서 ''N''의 오른쪽 잉여류의 집합으로 정의될 수 있었다.

### 예: 6을 법으로 하는 덧셈
예를 들어 6을 법으로 하는 덧셈이 주어진 군''G'' = {0, 1, 2, 3, 4, 5}를 생각해 보자. 여기서 부분군 ''N'' = {0, 3}을 생각하자. ''G''가 아벨 군이므로 이는 정규 부분군이다. 그러면 (왼쪽) 잉여류의 크기는 3이다.

위에서 정의한 이항 연산은 이 집합을 몫군으로 알려진 그룹으로 만들고 이 경우 순서 3의 순환군과 동형이다.

## "몫"이라는 이름에 대한 동기 부여
이 몫군이라고 불리는 이유는 정수의 나눗셈에서 비롯된다. 12를 3으로 나누면 12개의 대상을 3개의 대상으로 구성된 4개의 부분 모임으로 다시 묶을 수(regroup) 있기 때문에 4라는 답이 나온다. 비록 우리가 숫자 대신에 최종적으로 군을 얻지만, 군은 임의적인 대상의 모임보다 더 많은 구조를 갖고 있기 때문에 몫군을 같은 관점으로 볼 수 있다.

상술하자면, 의 잉여류들이다. 우리가 숫자 대신 군과 정규 부분군을 갖고 시작했으므로 최종적으로 얻는 몫군은 단지 잉여류의 개수보다 더 많은 정보, 다시 말해 군 구조 자체를 가진다.

## 예

### 짝수와 홀수인 정수
정수 군 **Z** (아래에 추가 설명이 나와 있음) 모든 짝수인 정수로 부분군 2**Z**를 고려한다. **Z**는 아벨 군이기 때문에 정규 부분군이 된다. 짝수인 정수와 홀수인 정수의 집합, 2개의 잉여류만 존재하기 때문에 소수군 **Z**/2**Z**는 2개의 요소를 가진 순환군이다. 이러한 몫군은 추가 모듈 2가 있는 {{개행 금지|{0,1}}}과 "동일하다"고 말할 수 있다.

**추가 설명 예제...**

### 정수 분할의 나머지
마지막 예제를 약간 일반화한다. 다시 한번 더 추가하는 정수인 군 **Z**을 고려한다. 그런 다음에 ''n''이 임의의 양의 정수가 되도록 한다. 우리는 모든 ''n''의 배수로 구성된 **Z**의 부분군인 ''n**''Z**를 고려할 것이다. **Z**는 아벨 군이기 때문에 **Z**에서는 다시 한번 **Z**가 정상이다. 잉여류는 {''n**''Z**, 1+''n**''Z**, ..., (''n''&minus;2)+''n**''Z**, (''n''&minus;1)+''n**''Z**} 집합입니다. 정수 ''k''는 잉여류 ''r''+''n**''Z**에 속하며 여기서 ''r''은 ''k''를 ''n''으로 나눌 때의 나머지이다. 몫 **Z**/''n**''Z**는 "나머지" 모듈 그룹으로 간주할 수 있다. 이것은 ''n''의 순환군이다.

### 복소수 상에서의 1의 거듭제곱근
복소수 단위원의 점인 1의 12 제곱근은 곱셈 아벨 군 ''G''를 형성하며 오른쪽 그림에는 각 점의 숫자가 복소수 편각을 표시한 색을 띤 공으로 표시했다. 빨간색 공으로 표시된 1의 4제곱근으로 구성된 부분군 ''N''을 고려하자. 이 정규 부분군은 전체 군을 빨간색, 녹색 및 파란색으로 표시된 세 개의 잉여류로 분할한다. 잉여류가 3종류의 원소로 이루어진 것을 확인할 수 있다. 따라서 몫군 ''G''/''N''은 3가지 색상으로 이루어진 군이며 원소 셋을 가진 순환군임을 보였다.

### 정수에 대한 실수 모듈
덧셈 연산 하에서의 실수 **R**의 군과 정수 부분군 **Z**를 고려하자. **R**에서 **Z**의 각 잉여류는 ''a''+**Z** 형식의 집합인데 여기서 ''a''는 실수이다. ''a''+**Z**는 동일한 집합이기 때문에 의미 변환 없이 제한된 을 부과할 수 있다. 그러한 잉여류를 추가하는 것은 해당하는 실제 숫자를 더하고 결과가 1보다 크거나 같으면 1을 빼는 것으로 이루어진다. 몫군 **R**/**Z**는 곱셈에서 절댓값 1의 복소수 군인 원군과 동형이며 그에 따라 원점에 대한 2D 회전군인 특수 직교군 SO(2)와 동형이다. 동형성은 에 의해 주어진다(오일러 항등식 참고).

### 실수의 행렬
만약 ''G''가 가역 가능한 3 × 3 실수 행렬의 군이고 ''N''이 행렬식 1을 가진 3 × 3 실수 행렬의 부분군이라면 ''N''은 ''G''에서 정규적이다. 이는 행렬식 동형의 핵이기 때문이다. ''N''의 잉여류는 주어진 행렬식을 가진 행렬의 집합이다. 따라서 ''G''/''N''은 영점이 아닌 실수의 곱셈 군과 동형이다. '군 'N''은 특수 선형군 SL(3)로 알려져 있다.

### 정수 모듈식 산술
아벨 군 (즉 추가 모듈 4가 있는 집합 {{개행 금지|{ 0, 1, 2, 3 }와 동형이다.

### 정수 곱셈
곱셈 군 N이다. 페일리어 암호 체계는 ''n''의 인수 분해법을 알지 못하면 ''G''의 무작위 원소의 잉여류를 결정하기 어렵다는 추측에 기초한다.

## 특성
몫군 는 자명성을 갖는 군과 동형이고 {{개행 금지|''G''/{''e''}}}는 ''G''와 동형이다.

"자연적"인 전사 함수인 에는 ''G''의 각 원소 ''g''를 ''g''가 속한 ''N''의 잉여류로 보내는 의 집단 동형이 있다. 함수 ''π''은 ''G''와 의 표준 투영이라고도 한다. 그것의 핵은 ''N''이다.

''N''을 포함하는 ''G''의 부분군과 의 부분군은 객관적으로 대응한다. ''H''가 ''N''을 포함하는 ''G''의 부분군이라면 의 해당 부분군은 ''π''(''H'')이다. 이러한 대응은 ''G''와 의 정규 부분군에 대해서도 유효하며 격자 정리에 공식화된다.

몫군의 몇 가지 중요한 특성은 동형 및 동형 이론에 대한 기본 정리에 기록된다. ''G''가 아벨 군, 멱영군, 가해군, 순환군이거나 최종 생성된다면 도 마찬가지이다.

''H''가 유한군 ''G''의 부분군이고 ''H''의 위수가 ''G''의 차수의 1/2이면 ''H''는 정규 부분군이므로 가 존재하며 ''C''와 동형이다. 이 결과는 또한 "지표 2의 모든 부분군은 정상"으로 언급될 수 있으며 이러한 형식에서는 무한군에도 적용된다. 또한 ''p''가 유한군 ''G''의 위수를 나누는 가장 작은 소수이고 가 순서 ''p''를 갖는다면 ''H''는 ''G''의 정규 부분군이 되어야 한다.

''G''와 정규 부분군 ''N''이 주어지면 ''G''는 ''N''에 의한 의 군의 확대이다. 이러한 확대가 사소한 것인지 분할된 것인지 물어볼 수 있으며 다시 말해서 ''G''가 ''N''과 의 군의 직접곱인지 반직접곱인지를 물을 수 있다. 이것은 확대 문제의 특별한 경우이다. 확대를 분할하지 않는 예는 다음과 같다. ''G'' = **Z**는 와 다르기 때문에 우리는 ''G''가 ''N''과 의 반직접곱이 아니라고 결론짓는다.

## 리 군의 몫
''과 같다.

''''이 닫히지 않는다면 몫 공간은 T1 공간이 아닌데 이는 열린 집합에 의해 항등원으로부터 분리될 수 없는 몫에는 잉여류가 있기 때문이다. 따라서 하우스도르프 공간이 아니다.

비정규 리 부분군 ''''의 경우, 왼쪽 잉여류 공간 은 군이 아니라 G가 작용하는 매끄러운 다양체이다. 그러한 결과를 동차 공간이라고 한다.