In this post, I would like to talk about Sylow theorems. The Sylow theorems are a collection of theorems named after the Norwegian mathematician Sylow that give detailed information about the number of subgroups of fixed order that a given finite group contains. The Sylow theorems form a fundamental part of finite group theory and have very important applications in the classification of finite simple groups. Before we get to know about Sylow theorems, let's find out what Sylow subgroups are.
이번 글에서는 쉴로브 정리에 대해 알아보려 한다. 쉴로브 정리는 노르웨이 수학자 쉴로브가 제시한 세 개의 정리로, 어떤 유한군의 부분군 중 특정 위수를 가진 부분군의 개수에 대한 정보를 알려주는 정리들이다. 쉴로브 정리는 유한군 이론의 가장 기본적인 정리 중 하나이며, 유한단순군의 분류작업에 사용된 중요한 정리 중 하나이다. 쉴로브 정리에 대해 알아보기에 앞서, 쉴로브 부분군이 무엇인지부터 알아보자.
Definition 1. The -Groups & The Sylow -Subgroups
Definition 1. -군과 쉴로브 -부분군 ( -Group & Sylow -Subgroup )
Let be a prime number. By a -Group, we mean a finite group whose order is a power of i.e., a finite group whose order is for some integer . Let be a finite group and a subgroup. We call a -Subgroup of if is a -group. We call a -Sylow Subgroup if is a maximal -subgroup of .
소수 가 주어졌다고 하자. 이때, -군 ( -Group )이란, 위수가 의 거듭제곱인 군을 말한다. 즉, 위수가 어떤 정수 에 대하여 인 군을 -군이라 부른다. 이제 가 유한군이고 는 의 부분군이라고 하자. 만약 가 -군이라면, 를 의 -부분군 ( -Subgroup )이라고 부른다. 또한, 만약 가 의 극대 -부분군인 경우, 를 의 쉴로브 -부분군 ( Sylow -Subgroup )이라고 한다.
|
이제 본격적으로 쉴로브 정리를 다뤄보자. 쉴로브 정리는 위에서 언급했듯이 총 3개의 정리로 이루어졌으므로 본문을 총 세 개의 파트로 쪼개서 작성해보려 한다. 아래의 목차를 클릭하면 해당 부분을 볼 수 있다.
Now, let's deal with the Sylow theorems. As mentioned above, the Sylow theorems consist of three theorems, so we will divide the text into three parts. Click on the table of contents below to see those parts.
Table of Contents
Part 1.
Before proving the 1st theorem of the Sylow theorems, let's show a lemma to prove it.
쉴로브 정리의 첫 번째 정리를 증명하기에 앞서, 이를 보이기 위한 보조정리 하나를 보이자.
Lemma 1.
Let be a finite abelian group of order , let be a prime number dividing . Then has a subgroup of order .
유한 아벨군 의 위수가 이고 소수 가 을 나눈다고 하자. 그러면 는 위수가 인 부분군을 가진다.
|
Proof.
We first prove by induction that if a finite abelian group has exponent then the order of divides some power of . Let , , and let be the cyclic sugroup generated by . (At this point, means an identity element of .) Then the order of divides since , and is a multiple of exponent for . Hence the order of divides a power of by induction hypothesis, and consequently so does the order of because .
Let have order divisible by . By what we have just seen, there exists whose order is divisible by . Let this order be for some integer . Then and obviously has order , and generates a subgroup of order , as was to be shown.
보조정리를 증명하기에 앞서 "만약 가 지수 을 가지면 의 위수는 의 한 거듭제곱을 나눈다."는 명제를 귀납법을 이용하여 보이자. 항등원이 아닌 와 로부터 생성된 순환부분군 를 생각하자. 그러면 이 항등원이라는 사실로부터 의 위수가 을 나눈다는 것을 알 수 있으며, 이 의 지수의 배수가 됨을 알 수 있다. 귀납가정에 의해 의 위수가 의 한 거듭제곱을 나누므로 에 의해 의 위수 역시 의 한 거듭제곱을 나눈다.
이제 의 위수가 로 나누어진다고 하자. 그러면 방금 보인 사실로부터, 가 를 나누는 가 존재한다는 사실을 알 수 있으며, 의 위수를 라고 하면 가 항등원이 아니며, 의 위수가 가 된다는 사실을 쉽게 알 수 있다. 따라서 로부터 생성된 순환부분군 의 위수가 이며, 따라서 보조정리가 증명된다.
Theorem 1. The 1st Theorem of Sylow Theorems
Let be a finite group and be a prime factor with multiplicity of the order of . Then there exists a Sylow -subgroup of , of order .
유한군 와 의 위수의 소인수 를 생각하자. 만약 이 의 위수를 나누고 은 의 위수를 나누지 않는다면, 위수가 인 의 쉴로브 -부분군이 존재한다.
|
Proof.
We will prove by induction on the order of . If the order of is a prime, our assertion is obvious. We now assume given a finite group , and assume that the theorem proved for all groups of order smaller than that of . If there exists a proper subgroup of whose index is relatively prime to , then a Sylow -subgroup of will also be one of , and our assertion follows by induction. We may therefore assume that every proper subgroup of has an index divisible by . We now let act on itself by conjugation. From the fact that the set of the orbits under is a partition of , we obtain .
Here, is then center of , and the term corresponds to the orbits having one element, namely the element of . The sum of the right is taken over the other orbits, and each index is then , hence is divisible by . Since is divisible by , is also divisible by , hence has a non-trivial center.
Since is a finite abelian group, by the Lemma 1, has an element whose order is . Let be the cyclic subgroup generated by . Since is a subgroup of the center of , is normal in . Let be a canonical map and let be the highest power of dividing the order of . Then divides . Let be a Sylow -subgroup of . And let . Then and maps onto . Hence we have an isomorphism by the first isomorphism theorem for groups. Hence has order , as desired and this proves the theorem.
의 위수에 대한 귀납법을 통해 정리를 증명할 것이다. 만약 의 위수가 소수라면, 정리가 성립함은 자명하다. 이제 유한군 가 주어졌다고 가정하고 위수가 보다 작은 모든 유한군에 대해 정리가 성립한다고 가정하자. 만약 의 진부분군 의 지수가 와 서로소라면 의 위수가 인 쉴로브 -부분군은 의 위수가 인 쉴로브 -부분군이 될 것이며, 그러한 부분군은 귀납가정에 의해 존재함을 알 수 있다. 따라서 이제 의 모든 진부분군의 지수가 의 배수라고 가정하고 가 자기자신 위로 켤레로서 작용한다고 하자. 그러면 아래의 모든 궤도의 집합이 의 분할이 된다는 사실로부터 를 얻을 수 있다.
여기서, 는 의 center이며, 항 는 단원소 궤도들에 대응된다. 또한 우변의 시그마에서 각 지수 는 원소가 하나 이상인 나머지 궤도들에 대응되며, 따라서 는 로 나누어 떨어진다. 가 로 나누어 떨어지므로 역시 로 나누어 떨어지며, 따라서 는 비자명 center를 가진다.
가 유한 아벨군이라는 사실로부터 Lemma 1에 의해 는 위수가 인 원소 를 가진다. 를 로부터 생성된 순환 부분군이라고 하자. 그러면 가 의 center의 부분군이므로 는 의 정규부분군임을 알 수 있으며, 따라서 자연스러운 대응관계 가 존재한다. 그러면 귀납가정에 의해 위수가 인 의 쉴로브 -부분군 이 존재하며, 를 와 같이 정의하면 군에서의 제1동형 정리에 의해 임을 알 수 있다. 따라서 의 위수는 이며, 이로 인해 정리가 증명된다.
Part 2.
Before proving the 2nd theorem of the Sylow theorems, let's show a lemma to prove it.
쉴로브 정리의 두 번째 정리를 증명하기에 앞서, 이를 증명하기 위한 보조정리 하나를 보이자.
Lemma 2.
Let be a finite -group, let be a finite set acted on by , and let denote the set of points of that are fixed under the action of . Then .
가 -군이고 가 유한 -Set이며 은 위로의 의 작용의 고정점의 집합이라고 하자. 그러면 이다.
|
Proof.
Any element not fixed by will lie in an orbit of order (where denotes the stabilizer), which is a multiple of by assumption. The result follows immediately by writing as the sum of over all distinct orbits and reducing mod .
고정점이 아닌 를 생각하자. 그러면 는 위수가 인 궤도의 원소임이 자명하다. 단, 여기서 는 안정자군을 나타내며, 따라서 는 위수가 의 배수인 궤도의 원소가 된다. 따라서 를 모든 궤도 에 대하여 의 합으로 바꾸어 쓰면 보조정리가 증명됨을 알 수 있다.
Theorem 2. The 2nd Theorem of Sylow Theorems
If is a -subgroup of and is a Sylow -subgroup of , then there exists an element in such that . In particular, all Sylow -subgroups of are conjugate to each other, that is, if and are Sylow -subgroups of , then there exists an element in with .
가 의 -부분군이고 가 의 쉴로브 -부분군이라고 하자. 그러면 이도록 하는 가 존재한다. 더 나아가서, 의 모든 쉴로브 -부분군은 켤레관계에 있다. 즉, 와 가 의 쉴로브 -부분군이면 이도록 하는 가 존재한다.
|
Proof.
Let be the set of left cosets of in and let act on by left multiplication. Applying the Lemma 2 to on , we see . Now by definition so , hence in particular so there exists some . With this , we have for all , so and therefore . Furthermore, if is a Sylow -subgroup, then so that .
에서 의 좌잉여류의 집합을 라고 하고 가 에 왼쪽 곱셈으로서 작용한다고 하자. 와 에 대하여 Lemma 2를 적용하면 임을 알 수 있다. 그런데 의 정의에 의해 임이 자명하므로 임을 알 수 있다. 따라서 어떤 에 대하여 이 성립하며, 따라서 [임의의 에 대해 임을 알 수 있다. 이로부터 임을 알 수 있으며, 따라서 를 얻는다. 더 나아가서, 가 쉴로브 -부분군이라면, 이며 이로 인해 임을 알 수 있다.
Part 3. The 3rd Theorem of Sylow Theorems
As the above two theorems give information about the order of the Sylow p-subgroup, the last theorem gives information about the number of the Sylow p-subgroup.
위의 두 정리가 쉴로브 p-부분군의 위수에 대한 정보를 준다면, 이번 정리는 쉴로브 p-부분군의 개수에 대한 정보를 준다.
Theorem 3.
Let denote the order of any Sylow -subgroup of a finite group . Let denote the number of Sylow -subgroups of . Then: (a) , (b) divides , and (c) .
유한군 의 쉴로브 -부분군 에 대하여 의 위수가 라고 하고 가 의 쉴로브 -부분군의 개수를 나타낸다고 하자. 그러면 다음이 성립한다. (a) (b) 가 를 나눈다. (c)
|
Proof.
Let be the set of all Sylow -subgroups of and let act on by conjugation. Let be a Sylow -subgroup. By Theorem 2, the orbit of has size , so by the orbit-stabilizer theorem . For this group action, the stabilizer is given by , the normalizer of in . Thus, , and it follows that this number is a divisor of .
Now let act on by conjugation, and again let denote the set of fixed points of this action. Let and observe that then for all so that . By Theorem 2, and are conjugate in in particular, and is normal in , so then . It follows that so that by the Lemma 2, .
의 모든 쉴로브 -부분군의 집합을 라고 하고 가 위로 켤레로서 작용한다고 하자. 그리고 가 의 쉴로브 -부분군이라고 하자. Theorem 2에 의해 의 궤도는 개의 원소를 가지므로 궤도-안정자군 정리에 의해 가 성립한다. 군의 작용에 대하여 안정자군 는 로 주어지므로 의 normalizer임을 알 수 있다. 따라서 이며, 이는 곧 가 의 약수임을 함의한다.
이제 가 위로 켤레로서 작용한다고 하고 이 이 작용의 고정점의 집합이라고 하자. 이때 이라고 하면 임의의 에 대하여 이 성립하므로 임을 알 수 있다. Theorem 2에 의해 와 는 에서 켤레관계이며, normalizer의 정의에 의해 가 의 정규부분군이므로 임을 알 수 있다. 이는 곧 를 의미하며, 따라서 Lemma 2에 의해 임을 알 수 있다.