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
.
Continue reading Subgrup Sylow, Teorema Cauchy, dan Teorema Sylow