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,  G/N  adalah abelian jika dan hanya jika  N  berisi subgrup komutator dari  G . 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  g  dan  h  dari grup * G *, komutator dari  g  dan  h  adalah [g,h] = g^{-1}h^{-1}gh.  Komutator  [g,h]  sama dengan elemen identitas * e * jika dan hanya jika  gh = hg , yaitu jika dan hanya jika  g  dan  h .  Secara umum, gh = hg[g,h].

Namun, notasinya agak sewenang-wenang dan ada definisi varian yang tidak setara untuk komutator yang memiliki invers di sisi kanan persamaan: [g,h] = ghg^{-1}h^{-1} dalam hal ini gh \neq hg[g,h] melainkan gh = [g,h]hg.

Elemen * G * dengan bentuk  [g,h]  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 *:

* [g,h]^{-1} = [h,g],
* [g,h]^s = [g^s,h^s], dimana g^s = s^{-1}gs (atau, masing-masing,  g^s = sgs^{-1}) adalah konjugasi dari g ke s,
* untuk setiap homomorfisme f: G \to H , f([g, h]) = [f(g), f(h)].

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*,  x \mapsto x^s , 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** [G, G] (juga disebut **subgrup turunan**, dan dilambangkan dengan G' atau G^{(1)}) dari * G *: ini adalah subgrup dihasilkan oleh semua komutator.

Properti komutator mengikuti bahwa setiap elemen  [G, G]  adalah dalam bentuk

:[g_1,h_1] \cdots [g_n,h_n] 

untuk beberapa bilangan asli  n , di mana *g**i* dan *h**i* adalah elemen * G *. Selain itu, karena untuk setiap * s * di * G * yang kita miliki ([g_1,h_1] \cdots [g_n,h_n])^s = [g_1^s,h_1^s] \cdots [g_n^s,h_n^s], subgrup komutator normal di * G *. Untuk homomorfisme *f*: *G* → *H*,

:f([g_1,h_1] \cdots [g_n,h_n]) = [f(g_1),f(h_1)] \cdots [f(g_n),f(h_n)],

Jadi f([G,G]) \leq [H,H].

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* = *g*1 *g*2 ... *g**k* yang dapat diatur ulang untuk memberikan identitas.

### Deret turunan
Konstruksi ini dapat diulang:
:G^{(0)} := G
:G^{(n)} := [G^{(n-1)},G^{(n-1)}] \quad n \in \mathbf{N}
The groups G^{(2)}, G^{(3)}, \ldots disebut **subgrup turunan kedua**, **subgrup turunan ketiga**, dan seterusnya, dan turunan deret normal
:\cdots \triangleleft G^{(2)} \triangleleft G^{(1)} \triangleleft G^{(0)} = G
disebut **deret turunan**. Ini tidak boleh disamakan dengan **[[deret tengah bawah]]**, yang suku-suku nya adalah G_n := [G_{n-1},G].

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  G , sebuah grup hasil bagi  G/N  adalah abelian jika dan hanya jika [G, G]\leq N.

Hasil bagi  G/[G, G]  adalah grup abelian yang disebut * 'abelianization' * dari  G  atau  G  **dibuat abelian**. Biasanya dilambangkan dengan G^{\operatorname{ab}} atau G_{\operatorname{ab}}.

Ada interpretasi kategoris yang berguna dari peta \varphi: G \rightarrow G^{\operatorname{ab}}.  Yaitu \varphi bersifat universal untuk homomorfisme dari  G  ke grup abelian  H : untuk setiap grup abelian  H  dan homomorfisme grup f: G \to H ada homomorfisme unik F: G^{\operatorname{ab}}\to H such that f = F \circ \varphi.  Seperti biasa untuk objek yang ditentukan oleh properti pemetaan universal, ini menunjukkan keunikan abelianisasi G^{\operatorname{ab}} hingga isomorfisme kanonik, sedangkan konstruksi eksplisit G\to G/[G, G] 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 G^{\operatorname{ab}} adalah H_1(G, \mathbb{Z}), grup homologi pertama dari  G  dengan koefisien integral.

### Kelas kelompok
Grup  G  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  G  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 G^{(n)}=\{e\} untuk beberapa * n * dalam **N** disebut **[[grup solvabel]]**; ini lebih lemah dari abelian, yaitu kasus * n * = 1.

Grup dengan G^{(n)} \neq \{e\} untuk semua * n * dalam **N** disebut **grup yang tidak dapat dipecahkan**.

Grup dengan G^{(\alpha)}=\{e\} untuk beberapa nomor urut, mungkin tak terbatas, disebut **[[radikal sempurna|kelompok hipoabelian]]**; ini lebih lemah dari solvable, yang mana kasus * α * terbatas (bilangan asli).

### Grup sempurna

Kapanpun grup  G  telah menurunkan subgrup yang sama dengan dirinya sendiri, G^{(1)} =G, itu disebut **grup sempurna**. Ini termasuk non-abelian grup sederhana dan grup linier khusus \text{GL}_n(k) untuk bidang tetap k.

## Contoh
* Subgrup komutator dari grup abelian adalah sepele.
* Subgrup komutator dari grup linear umum GL_n(k) di atas bidang atau gelanggang pembagian * k * sama dengan grup linear khusus SL_n(k) dengan ketentuan n \ne 2 atau * k * bukan bidang dengan dua elemen.
* Subgrup komutator dari alternating group * A * 4  adalah Klein four group.
* Subgrup komutator dari grup simetris * S<sub> n </sub> * adalah alternatif grup *A<sub>n</sub>*.
* Subgrup komutator dari grup hasil bagi *Q* = {1, &minus;1, *i*, &minus;*i*, *j*, &minus;*j*, *k*, &minus;*k*} adalah [*Q*,*Q*] = {1, &minus;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 *H*1(*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
:\mbox{Out}(G) \to \mbox{Aut}(G^{\mbox{ab}})

## Lihat pula
* Grup sovabel
* Grup nilpoten

## Catatan


## Referensi
* 
* 
* 
* 

## Pranala luar
*