Subgrup Sylow, Teorema Cauchy, dan Teorema Sylow
Diberikan
grup hingga yang mempunyai order
. Diberikan bilangan prima
. Suatu subgrup
dari
disebut
-subgrup jika
mempunyai order
, untuk suatu bilangan bulat nonnegatif
. Suatu subgrup
dari
disebut
-subgrup Sylow jika
mempunyai order
, untuk suatu bilangan bulat nonnegatif
sedemikian hingga
membagi
dan
tidak membagi
, atau dengan kata lain,
adalah bentuk pangkat terbesar dari
sedemikian hingga
membagi
. Jika
berorder suatu pangkat dari
, maka
disebut dengan
-grup.
Teorema Cauchy: Diberikan
grup hingga yang mempunyai order
. Diberikan bilangan prima
. Jika
membagi
, maka
memuat suatu elemen yang berorder
.
Teorema Sylow Pertama: Diberikan
grup hingga yang mempunyai order
. Diberikan bilangan prima
. Jika
membagi
dan
tidak membagi
, untuk suatu bilangan bulat nonnegatif
, maka terdapat
subgrup dari
sedemikian hingga order
adalah
.
Teorema Sylow Kedua: Jika
adalah subgrup dari grup hingga
, dan
merupakan
-grup, maka
termuat dalam suatu
-subgrup Sylow dari
.
Teorema Sylow Ketiga: Sebarang dua
-subgrup Sylow dari suatu grup hingga
saling konjugat. Jika
menyatakan banyaknya
-subgrup Sylow yang berbeda dari
, maka
kongruen dengan
modulo
, yaitu
, untuk suatu bilangan bulat
.
Keterangan:
Definisi: Diberikan
dan
subset tak kosong dari grup
. Himpunan
dikatakan konjugat dengan
jika
, untuk suatu
.
Buktinya menyusul…
Sumber:
- Baumslag, B., and Chandler, B., 1968, Schaums Outline Series: Theory and Problems of Group Theory, McGraw-Hill
- Fraleigh, J.B., 2000, A First Course in Abstract Algebra, Sixth Edition, Addison-Wesley