Lompat ke isi

Subgrup komutator

Dari Wikipedia bahasa Indonesia, ensiklopedia bebas

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

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

[sunting | sunting sumber]

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.[3]

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: GH,

,

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

[sunting | sunting sumber]

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

[sunting | sunting sumber]

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

Hasil bagi adalah grup abelian yang disebut 'abelianization' dari atau dibuat abelian.[4] 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 GrpAb 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

[sunting | sunting sumber]

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

[sunting | sunting sumber]

Templat:Main articles 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 .

Peta dari Out

[sunting | sunting sumber]

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

[sunting | sunting sumber]
  1. ^ (Dummit & Foote 2004)
  2. ^ (Lang 2002)
  3. ^ (Suárez-Alvarez)
  4. ^ (Fraleigh 1976, hlm. 108)
  5. ^ Suprunenko, D.A. (1976), Matrix groups, Translations of Mathematical Monographs, American Mathematical Society , Theorem II.9.4

Referensi

[sunting | sunting sumber]

Pranala luar

[sunting | sunting sumber]