Processing math: 35%

실로우 정리

대수학
이론
기본대상방정식부등식산술
수 체계실수 · 복소수 · 사원수
구조와 관심대상
군(Group)군의 작용, 실로우 정리
환(Ring)가환대수학
체(Field)갈루아 이론
가군(Module)
대수(Algebra)
정리
대수학의 기본정리 · 나머지 정리
다항식 · 유클리드 호제법 · 대수#s-1 · 노름
분야와 관심대상
대수학
정수론대수적 정수론 · 해석적 정수론
선형대수학벡터 · 행렬 · 선형변환
대수기하학스킴 · 모티브 · 사슬 복합체

실로우 정리(Sylow theorem)은 유한군을 분석하기 위한 강력한 도구이다. 주어진 유한군의 구조에 대해 전혀 모르고, 위수(order)[1]만으로도 많은 정보를 주기 때문이다. 라그랑주의 정리가 부분군이 없음을 말하는 데에 유용하다면[2], 실로우의 정리는 부분군이 있다고 말하는 것에 유용하다.
학부 수준에서 군의 작용의 거의 유일한 응용이다.

실로우의 정리는, 위수가 소수의 거듭제곱꼴인 부분군에 대해 말해준다. 이하에서, p는 어떤 소수를 나타낼 것이고, 군 G는 유한군, exppnn이 갖는 p의 지수를 나타낸다.[3]

1 몇 가지 정의들

1.1 p-군

Gp-군이라 함은, |G|=pk[4]인 것이다.

1.2 p-부분군

H\ltGp-부분군이라 함은, |H|=pk[5]인 것이다. 이 문서에서는 이를 H<pG라 표현한다.

1.3 실로우-p-부분군

H<pG가 실로우-p-부분군이라 함은, expp(|G|)=expp(|H|)인 것이다. 이 문서에서는 G의 실로우-p-부분군들의 모임을 SylpG라 표현한다.

2 제 1 실로우 정리(1st Sylow theorem)

제 1 정리는 유한군에 대한 코시의 정리[6]의 확장이다. 그리고 증명에서 수학적 귀납법을 쓸 때, 기본 경우와 귀납 단계[7] 모두에 쓰인다.

제 1 실로우 정리(1st Sylow theorem)

H<pGexpp|G|expp|H|이면, K<pG가 존재하여, H이고, \left[K:H\right]=p이다.

여기서 다음 따름 정리를 얻는다.

\text{Syl}_{p}\left(G\right)\neq\emptyset

이 따름 정리를 실로우 정리라 하는 경우가 더 많지만, 앞의 정리가 더 많은 내용을 담고 있어[8], 여기서는 앞의 정리를 실로우 정리라 하였다.

3 제 2 실로우 정리(2nd Sylow theorem)

자명하게, H\ltP\in\text{Syl}_{p}G에 대해, H\lt_{p}G이다. 그러면 자연스러운 질문은, 임의의 H\lt_{p}G에 대해, P\in\text{Syl}_{p}G가 존재하여 H\ltP인가 하는 문제이다. 제 2 정리는 그에 대한 대답을 해주며, 더 만족스럽다.

제 2 실로우 정리(2nd Sylow theorem)

임의의 P\in\text{Syl}_{p}GH\lt_{p}G에 대해, a\in G가 존재하여, H\ltaPa^{-1}이다.

aPa^{-1}\in\text{Syl}_{p}G이므로 질문에 대한 긍정적인 답을 얻었다. 한편, 임의의Q\in\text{Syl}_{p}GQ\lt_{p}G이므로, Q\ltaPa^{-1}이다. P, Q의 위수가 같으므로 Q=aPa^{-1}이다. 여기서 다음의 따름 정리를 얻는다.

임의의 P\in\text{Syl}_{p}G에 대해,
  • \text{Syl}_{p}\left(G\right)=\left\{aPa^{-1}:a\in G\right\}이다.[9]
  • P\vartriangleleft G \text{Syl}_{p}\left(G\right)=\left\{ P\right\}는 동치이다.

따름 정리의 두번째 명제와 P\vartriangleleft N_{G}\left(P\right)를 결합하여 다음을 얻는다.

N_{G}\left(P\right)=N_{G}\left(N_{G}\left(P\right)\right)

그리고 이는, 유한멱영군이 {\displaystyle \prod_{p}}\text{Syl}_{p}\left(G\right)꼴임을 보여준다.[10]

4 제 3 실로우 정리(3rd Sylow theorem)

\text{Syl}_{p}G에 대한 기본적인 질문 중 하나는 그것의 크기이다.즉, 실로우-p-부분군의 갯수에 대해 알고 싶다. 제 3 정리는 가능성이 있는 갯수를 제한해준다. n_{p}:=\left|\text{Syl}_{p}G\right|라 하자.

제 3 실로우 정리(3rd Sylow theorem)
  • n_{p}=\left[G:N_{G}\left(P\right)\right]\mid\left|G\right|
  • n_{p}\equiv1\left(p\right)

이 정리는 정규부분군의 존재를 보이는 것에 아주 유용하다. n_{p}=1라 결론짓기만 하면 되기 때문이다. 이 점이 실로우 정리의 가장 강력한 점이다. 대개 두 가지 방법이 있다.

단순히, 이 두 조건을 같이 쓰면, 어떤 소수 p에 대해서는, n_{p}=1이라 결론 내릴 수도 있다. 그렇지 않더라도 q\mid \left|G\right|인 소수 q에 대해, 모두 n_{q}\gt1를 가정하여, \left|G\right|\leq\left|{\displaystyle \bigcup_{p}}\left(\bigcup\text{Syl}_{p}G\right)\right|를 얻어 모순을 얻을 수도 있다.
  1. 이동 군을 구성하는 원소의 수
  2. 이동 라그랑주의 정리에 따르면, 위수가 15인 군에 위수가 4인 부분군은 있을 수 없다.
  3. 이동 \text{exp}_{2}\left(2^{5}\cdot 3^{3}\cdot 5^{6}\right)=5이다.
  4. 이동 군의 위수
  5. 이동 군의 위수
  6. 이동 p\mid \left|G\right|면, 1\neq a\in G가 존재하여, a^{p}=1이다. 즉, H\ltG이 존재하여 p=\left|H\right|이다.
  7. 이동 영문 위키에서는 base case와 induction step이라 표현하고 있는데, 이에 대한 공식적인 한글 번역을 알고 있는 분이 수정 바람.
  8. 이동 그것이 유용한지와는 별개로
  9. 이동 요약하자면, 실로우-p-부분군은 서로 공액(conjugation)이라는 것이다. 이것을 제 2 정리라 하기도 한다.
  10. 이동 위의 정리와 다른 정리에 따르면, G가 멱영군일 때, N_{G}\left(P\right)=G이다. 따라서, P\in\text{Syl}_{p}\left(G\right)는 유일하여 관습상 {\displaystyle \prod_{p}}\text{Syl}_{p}\left(G\right)라는 표현을 쓸 수 있다.