정규부분군

군 $G$의 부분군 $N$이 다음을 만족하면 정규(normal)라고 한다.

$gN = Ng$

이는 $G$의 모든 $g$에 대해 성립해야 한다.

정규부분군은 정확히 몫군을 만드는 데 쓸 수 있는 부분군이다.

아벨군의 모든 부분군은 정규부분군이다.

한 줄 직관

정규부분군은 몫을 취하는 연산과 양립하는 부분군이다.