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

*'''제2 실로우 정리''': <math>G</math>의 모든 실로우 p-부분군들은 서로 [[켤레류|켤레]]이다. 즉, 모든 실로우 ''p''-부분군의 크기는 <math>p^n</math>이다.

* '''제3 실로우 정리''': <math>G</math>의 실로우 p-부분군의 총 수가 <math>n_p</math>이며, <math>H</math>가 <math>G</math>의 임의의 실로우 <math>p</math>-부분군이라고 하자. 그렇다면 다음이 성립한다.

::<math>n_p=|G:N_G(H)|</math>

:여기서 <math>N_G(H)</math>는 <math>H</math>의 [[정규화 부분군]]이다. <math>|G:N_G(H)|</math>는 <math>|G|/|H|=m</math>의 배수이므로, <math>n_p\equiv0\pmod m</math>이다.