잉여류: 두 판 사이의 차이

 

지표가 2인 부분군은 항상 [[정규 부분군]]이다. 보다 일반적으로, 유한군 <math>G</math> 및 소수 <math>p</math>에 대하여, 만약 <math>p</math>가 <math>|G|</math>의 최소 [[소인수]]라면, 지표가 <math>p</math>인 부분군은 항상 [[정규 부분군]]이다.

우선, 군 <math>G</math>와 부분군 <math>N\le G</math>가 주어졌고, <math>|G:N|=2</math>라고 하자. 그렇다면, 임의의 <math>g\in G</math>에 대하여

:<math>gN=Ng=\begin{cases}