Factor Group

몫군(factor group) 또는 상군(quotient group) $G/N$ 은 정규부분군 $N$ 의 잉여류들로부터 만들어진다.

그 곱셈은 다음과 같이 정의된다.

$(gN)(hN) = ghN$.

이 정의가 잘 작동하는 것은 바로 $N$ 이 정규이기 때문이다.

한 줄 직관

몫군은 같은 잉여류에 속하는 모든 원소를 동등한 것으로 취급한다.