Subgrup komutator

Dalam matematika, lebih khusus lagi dalam aljabar abstrak, subgrup komutator atau subgrup turunan dari grup adalah subgrup dihasilkan oleh semua komutator grup.

Subgrup komutator penting karena merupakan terkecil subgrup normal sedemikian rupa sehingga grup hasil bagi dari grup asli oleh subgrup ini adalah abelian. Dengan kata lain,  adalah abelian jika dan hanya jika  berisi subgrup komutator dari . Jadi dalam beberapa hal ini memberikan ukuran seberapa jauh grup tersebut dari menjadi abelian; semakin besar subgrup komutator, semakin "kurang abelian" grup tersebut.

Komutator 

Untuk elemen  dan  dari grup  G , komutator dari  dan  adalah .  Komutator  sama dengan elemen identitas  e  jika dan hanya jika , yaitu jika dan hanya jika  dan .  Secara umum, .

Namun, notasinya agak sewenang-wenang dan ada definisi varian yang tidak setara untuk komutator yang memiliki invers di sisi kanan persamaan:  dalam hal ini  melainkan .

Elemen  G  dengan bentuk  untuk beberapa  g  dan  h  disebut komutator.  Elemen identitas e = [e,e] adalah komutator, dan itu adalah satu-satunya komutator jika dan hanya jika  G  adalah abelian.

Berikut adalah beberapa identitas komutator yang sederhana namun berguna, berlaku untuk setiap elemen  s ,  g ,  h  dari grup  G :

 
  dimana  (atau, masing-masing, ) adalah konjugasi dari  ke 
 untuk setiap homomorfisme , 

Identitas pertama dan kedua menyiratkan bahwa himpunan dari komutator di  G  ditutup di bawah inversi dan konjugasi.  Jika dalam identitas ketiga kita mengambil  H  =  G , kita mendapatkan bahwa himpunan komutator stabil di bawah endomorfisme dari  G .  Ini sebenarnya adalah generalisasi dari identitas kedua, karena kita dapat menganggap  f  sebagai konjugasi automorfisme pada G, , untuk mendapatkan identitas kedua.

Namun, produk dari dua atau lebih komutator tidak perlu berupa komutator.  Contoh umum adalah [a,b][c,d] di grup bebas pada a,b,c,d.  Diketahui bahwa urutan terkecil dari sebuah grup hingga dimana terdapat dua komutator yang produknya bukan komutator adalah 96; sebenarnya ada dua grup nonisomorfik ordo 96 dengan sifat ini.

Definisi 
Ini memotivasi definisi dari subgrup komutator  (juga disebut subgrup turunan, dan dilambangkan dengan  atau ) dari  G : ini adalah subgrup dihasilkan oleh semua komutator.

Properti komutator mengikuti bahwa setiap elemen  adalah dalam bentuk

untuk beberapa bilangan asli , di mana gi dan hi adalah elemen  G . Selain itu, karena untuk setiap  s  di  G  yang kita miliki , subgrup komutator normal di  G . Untuk homomorfisme f: G → H,

,

Jadi .

Hal ini menunjukkan bahwa subgrup komutator dapat dilihat sebagai functor pada kategori kelompok, beberapa implikasinya dieksplorasi di bawah ini.  Selain itu, mengambil  G  =  H  itu menunjukkan bahwa subkelompok komutator stabil di bawah setiap endomorfisme  G : artinya, [ G ,  G ] adalah subgrup yang memiliki karakteristik lengkap dari  G , sebuah properti yang jauh lebih kuat daripada normalitas.

Subgrup komutator juga dapat didefinisikan sebagai himpunan elemen  g  dari grup yang memiliki ekspresi sebagai produk g = g1 g2 ... gk yang dapat diatur ulang untuk memberikan identitas.

Deret turunan 
Konstruksi ini dapat diulang:

The groups  disebut subgrup turunan kedua, subgrup turunan ketiga, dan seterusnya, dan turunan deret normal

disebut deret turunan. Ini tidak boleh disamakan dengan deret tengah bawah, yang suku-suku nya adalah .

Untuk grup terbatas, deret turunan berakhir dalam grup sempurna, yang mungkin sepele atau tidak. Untuk grup tak hingga, deret turunan tidak perlu berhenti pada tahap berhingga, dan seseorang dapat melanjutkannya hingga bilangan ordinal tak hingga melalui rekursi transfinite, dengan demikian memperoleh deret turunan transfinite, yang akhirnya berakhir di inti sempurna grup.

Abelianisasi 
Diberikan grup , sebuah grup hasil bagi  adalah abelian jika dan hanya jika .

Hasil bagi  adalah grup abelian yang disebut  'abelianization'  dari  atau  dibuat abelian. Biasanya dilambangkan dengan  atau .

Ada interpretasi kategoris yang berguna dari peta .  Yaitu  bersifat universal untuk homomorfisme dari  ke grup abelian : untuk setiap grup abelian  dan homomorfisme grup  ada homomorfisme unik  such that .  Seperti biasa untuk objek yang ditentukan oleh properti pemetaan universal, ini menunjukkan keunikan abelianisasi  hingga isomorfisme kanonik, sedangkan konstruksi eksplisit  menunjukkan keberadaan.

Functor abelianisasi adalah luar adjoint dari fungsi inklusi dari kategori grup abelian ke kategori grup. Adanya fungsi abelianization Grp → Ab membuat kategori Ab menjadi subkategori reflektif dari kategori grup, yang didefinisikan sebagai subkategori lengkap yang fungsi penyertaannya memiliki adjoint kiri.

Interpretasi penting lainnya dari  adalah , grup homologi pertama dari  dengan koefisien integral.

Kelas kelompok 
Grup  adalah grup abelian jika dan hanya jika grup turunannya sepele: [G,G] = {e}. Sama halnya, jika dan hanya jika grup tersebut sama dengan abelianisasinya. Lihat di atas untuk definisi abelianisasi grup.

Grup  adalah grup sempurna jika dan hanya jika grup turunan sama dengan grup itu sendiri: [G,G] = G. Demikian pula, jika dan hanya jika abelianisasi grup itu sepele. Ini "berlawanan" dengan abelian.

Grup dengan  untuk beberapa  n  dalam N disebut grup solvabel; ini lebih lemah dari abelian, yaitu kasus  n  = 1.

Grup dengan  untuk semua  n  dalam N disebut grup yang tidak dapat dipecahkan.

Grup dengan  untuk beberapa nomor urut, mungkin tak terbatas, disebut kelompok hipoabelian; ini lebih lemah dari solvable, yang mana kasus  α  terbatas (bilangan asli).

Grup sempurna 

Kapanpun grup  telah menurunkan subgrup yang sama dengan dirinya sendiri, , itu disebut grup sempurna. Ini termasuk non-abelian grup sederhana dan grup linier khusus  untuk bidang tetap .

Contoh 
 Subgrup komutator dari grup abelian adalah sepele.
 Subgrup komutator dari grup linear umum  di atas bidang atau gelanggang pembagian  k  sama dengan grup linear khusus  dengan ketentuan  atau  k  bukan bidang dengan dua elemen.
 Subgrup komutator dari alternating group  A  4  adalah Klein four group.
 Subgrup komutator dari grup simetris  S n   adalah alternatif grup An.
 Subgrup komutator dari grup hasil bagi Q = {1, −1, i, −i, j, −j, k, −k} adalah [Q,Q] = {1, −1}.
 Subgrup komutator dari grup fundamental π1(X) dari path-connected topological space  X  adalah kernel dari homomorfisme natural ke dalam singular pertama grup homology H1(X).

Peta dari Out 
Karena subkelompok turunan adalah karakteristik, setiap automorfisme dari  G  menyebabkan automorfisme abelianisasi. Karena abelianisasinya adalah abelian, automorfisme dalam bertindak sepele, maka ini menghasilkan peta

Lihat pula 
 Grup sovabel
 Grup nilpoten

Catatan

Referensi

Pranala luar 
 

Teori grup
Subgrup fungsional
Artikel yang berisi bukti
Properti subgrup