[일반] 실로우 정리 질문

[익명(118.235)]

|G|=mp^n m과 p는 서로소 이면
실로우 부분군의 크기는 p^n 이다.

어떤군에서 실로우 부분군이 반드시 존재하는건 어떻게 증명함?

[익명(112.152)]

그 존재성까지 실로우 정리에 포함되는 거임

[익명(183.102)]

게다가 크기가 p^n인게 아니라 p^n인걸 쉴로브 부분군이라 정한거임 ㅋㅋ

[수갤러 1(125.143)]

p 부분군 중에서 p^m이 제일 위수가 크기땜에 실로우 인거야?