H≤G라 하자. 곱셈 규칙 (gH)(kH)=gkH 이 잉여류들의 집합 위에 군 구조를 정의하는 것은 H가 G의 정규부분군일 때, 그리고 오직 그때에 한한다. 의의 이것이 바로 몫군을 가능하게 하는 정확한 조건이다.