쉴로브 정리: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
172번째 줄:
 
따라서, 류의 방정식과 궤도-안정자군 정리에 의하여
:<math>1\equiv|H^G\mathcal S|=\frac{|G|}{|{\operatorname N_G(H)}|}=\frac{|G|}{|H|}\pmod p</math>
이며, 특히 <math>H</math>는 <math>G</math>의 쉴로브 ''p''-부분군이다.
{{증명 끝}}