군론에서 코시의 정리

Cauchy's theorem

군론의 정리 중 하나로 제1 쉴로브 정리의 특수한 경우이다.

1. 진술
2. 증명
2.1. G가 아벨군인 경우
2.2. 일반적인 경우
3. 영상

1. 진술 ✎

G가 유한군이고 소수 p가 G의 위수의 약수라면 G는 위수가 p인 원소를 갖는다.

2. 증명 ✎

2.1. `G`가 아벨군인 경우 ✎

수학적 귀납법을 사용하자.

|G|=2일 경우 자명하다. |G|가 3 이상일 때, 위수가 |G|보다 작은 모든 유한군에 대해 위 명제가 성립한다고 가정하자.

G의 임의의 원소 x의 위수 |x|=a가 소수가 아니면 a=qb()]q)]는 소수) 꼴로 나타낼 수 있고, |x^b|=q가 되므로 G는 항상 위수가 소수인 원소를 갖는다.

일반성을 잃지않고 x를 위수가 q(q는 소수)인 G의 원소라고 하자.

q=p이면 G는 위수가 p인 원소를 갖는다.

q\ne p일 경우, H=G/\langle x\rangle의 위수는 |G|/q이고 |G|/q는 |G|보다 작으므로 가정에 따라 H는 위수가 p인 원소 y\langle x\rangle(y는 G의 원소)를 갖는다.

y의 위수를 m이라고 하면 (y\langle x\rangle)^m=\langle x\rangle이므로 p는 m의 약수이고, m=pn이라고 하면 |y^n|=p이므로 G는 위수가 p인 원소를 갖는다.

2.2. 일반적인 경우 ✎

다음과 같은 집합 )]S)]를 고려하자:

S=\{(g_1,\cdots,g_n) : g_1g_2\cdots g_n=e\}.

이 때 S의 원소는 g_1,\cdots,g_{n-1}만으로 결정되므로, |S|=|G|^{n-1}이다.
이제 S 위의 작용 \alpha: (\Bbb{Z}/p\Bbb{Z})\times S\to S를

\alpha(k,(g_1,\cdots,g_n)) = (g_{k+1},\cdots,g_n,g_1,\cdots,g_k)

로 정의하자.
이 때 S_0\subset S를 \Bbb{Z}/p\Bbb{Z}의 임의의 원소를 작용해도 변하지 않는 원소들의 집합이라 하면, S_0=\{(a,a,\cdots,a)\in G^p : a^p=e\}가 된다.
Gx_1, \cdots, Gx_k를 원소가 둘 이상인 궤도라 할 때,

|S| = |S_0| + \sum_{i=1}^k |Gx_i|

이다. 이 때 궤도-안정자군 정리에 의해 |Gx_i|=p이다. 또한 p\mid |S|이므로, p\mid |S_0|이다.
그런데 (e,e,\cdots,e)\in S_0이다. 따라서 |S_0|\ge p여야 한다.
그러므로 어느 a\neq e가 있어 a^p=e이다.

3. 영상 ✎

이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.
본 문서의 원본은 링크에서 확인할 수 있습니다.

1. 진술 ✎

2. 증명 ✎

2.1. G가 아벨군인 경우 ✎

2.2. 일반적인 경우 ✎

3. 영상 ✎

2.1. `G`가 아벨군인 경우 ✎