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

Artikel utama: 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₁ g₂ ... 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 kelompok hipoabelian; ini lebih lemah dari solvable, yang mana kasus α terbatas (bilangan asli).

Grup sempurna

Templat:Main articles 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\neq 2$ atau k bukan bidang dengan dua elemen.
• Subgrup komutator dari alternating group A ₄ adalah Klein four group.
• Subgrup komutator dari grup simetris S _n adalah alternatif grup A_n.
• 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 π₁(X) dari path-connected topological space X adalah kernel dari homomorfisme natural ke dalam singular pertama grup homology H₁(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

Referensi

• Dummit, David S.; Foote, Richard M. (2004), Abstract Algebra (edisi ke-3rd), John Wiley & Sons, ISBN 0-471-43334-9 
• Fraleigh, John B. (1976), A First Course In Abstract Algebra (edisi ke-2nd), Reading: Addison-Wesley, ISBN 0-201-01984-1 
• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, Springer, ISBN 0-387-95385-X 
• Suárez-Alvarez, Mariano. "Derived Subgroups and Commutators". 

Pranala luar

• Hazewinkel, Michiel, ed. (2001) [1994], "Commutator subgroup", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4