Ekstensi grup

Dalam matematika, ekstensi grup adalah cara umum untuk mendeskripsikan grup dalam istilah subgrup normal dan grup hasil bagi tertentu.  Jika  Q  dan  N  adalah dua grup, maka  G  adalah ekstensi dari  Q  oleh  N  jika ada barisan eksak pendek.

Jika  G  adalah perpanjangan dari  Q  oleh  N , maka  G  adalah grup,  adalah subgrup normal dari  G  dan grup hasil bagi  adalah isomorfik ke grup  Q . Ekstensi grup muncul dalam konteks masalah ekstensi, dimana grup  Q  dan  N  diketahui dan properti dari  G  harus ditentukan. Perhatikan bahwa frase " G  merupakan perpanjangan dari  N  oleh  Q " juga digunakan oleh beberapa orang.

Karena grup hingga  G  memiliki maksimal subgrup normal  N  dengan grup faktor sederhana G/N, semua grup hingga dapat dibangun sebagai serangkaian ekstensi dengan grup sederhana hingga. Fakta ini menjadi motivasi untuk menyelesaikan klasifikasi grup sederhana hingga.

Sebuah ekstensi disebut ekstensi pusat jika subgrup  N  terletak di pusat dari G.

Ekstensi secara umum 

Satu ekstensi, produk langsung, langsung terlihat.  Jika seseorang membutuhkan  G  dan  Q  menjadi grup abelian, maka himpunan kelas isomorfisme dari ekstensi  Q  oleh grup (abelian)  N  sebenarnya adalah grup isomorfik pada 

cf. Ext funktor. Beberapa kelas ekstensi umum lainnya diketahui tetapi tidak ada teori yang memperlakukan semua ekstensi yang mungkin pada satu waktu. Perpanjangan grup biasanya digambarkan sebagai masalah yang sulit; itu disebut masalah ekstensi.

Untuk mempertimbangkan beberapa contoh, jika , lalu  G  adalah perpanjangan dari  H  dan  K . Secara lebih umum, jika  G  adalah produk setengah langsung dari  K  dan  H , ditulis sebagai , lalu  G  adalah perpanjangan dari  H  oleh  K , sehingga produk seperti produk karangan bunga memberikan contoh ekstensi lebih lanjut.

Masalah ekstensi 

Pertanyaan tentang grup apa  G  yang merupakan perpanjangan dari  H  oleh  N  disebut masalah perluasan, dan telah dipelajari secara mendalam sejak akhir abad kesembilan belas. Mengenai motivasinya, pertimbangkan bahwa rangkaian komposisi dari suatu grup terbatas adalah urutan subkelompok yang terbatas {Ai}, dimana Ai+1 merupakan perpanjangan dari Ai oleh beberapa grup sederhana. Klasifikasi grup sederhana hingga memberi kita daftar lengkap grup sederhana hingga; jadi solusi untuk masalah ekstensi akan memberi kita informasi yang cukup untuk membangun dan mengklasifikasikan semua grup hingga secara umum.

Mengklasifikasikan ekstensi 

Memecahkan masalah ekstensi sama dengan mengklasifikasikan semua ekstensi  H  oleh  K ; atau lebih praktis, dengan mengekspresikan semua ekstensi tersebut dalam istilah objek matematika yang lebih mudah untuk dipahami dan dihitung.  Secara umum, masalah ini sangat sulit, dan semua hasil yang paling berguna mengklasifikasikan ekstensi yang memenuhi beberapa kondisi tambahan.

Penting untuk mengetahui kapan dua ekstensi ekuivalen atau kongruen. Kami mengatakan bahwa ekstensi
 
dan  

adalah ekuivalen (atau kongruen) jika terdapat isomorfisme grup  membuat komutatif diagram Gambar 1.
Sebenarnya sudah cukup untuk memiliki homomorfisme grup; karena asumsi komutatifitas diagram, peta  dipaksa menjadi isomorfisme oleh short five lemma.

Peringatan 

Mungkin saja ekstensi  dan  tidak sama tetapi  G  dan  G  isomorfik sebagai grup. Misalnya, ada  ekstensi yang tidak sama dari Klein empat grup oleh , tetapi ada, hingga grup isomorfisme, hanya empat grup order  yang berisi subgrup normal order  dengan grup hasil bagi isomorfik pada Klein empat gruo.

 Ekstensi trivial ekstensi trivial adalah sebuah ekstensi

yang setara dengan ekstensi

dimana panah kiri dan kanan masing-masing merupakan penyertaan dan proyeksi dari masing-masing faktor .

 Mengklasifikasikan ekstensi terpisah Perpecahan ekstensi adalah perpanjangan

dengan homomorphism  sedemikian rupa sehingga pergi dari  H  ke  G  oleh  s  dan kemudian kembali ke  H  dengan peta hasil bagi dari urutan yang tepat pendek menginduksi peta identitas pada  H  yaitu, .  Dalam situasi ini, biasanya dikatakan bahwa membagi di atas urutan yang tepat.

Perpecahan ekstensi sangat mudah untuk diklasifikasikan, karena ekstensi dipisahkan jika dan hanya jika grup  G  adalah produk semidirect dari  K  dan  H . Produk semidirect sendiri mudah untuk diklasifikasikan, karena dalam korespondensi one-to-one dengan homomorfisme dari , dimana Aut(K) adalah grup automorphism dari  K . Untuk diskusi lengkap tentang mengapa ini benar, lihat produk setengah langsung.

 Peringatan 

Secara umum dalam matematika, perpanjangan struktur  K  biasanya dianggap sebagai struktur  L  dimana  K  adalah substruktur. Lihat misalnya ekstensi bidang. Namun, dalam teori grup terminologi yang berlawanan telah merayap masuk, sebagian karena notasi , yang terbaca dengan mudah sebagai ekstensi dari  Q  oleh  N , dan fokusnya ada pada grup  Q .

Makalah Brown dan Porter (1996) tentang Schreier teori ekstensi nonabelian (dikutip di bawah) menggunakan terminologi bahwa perpanjangan dari  K  memberikan struktur yang lebih besar.

 Perpanjangan pusat Ekstensi pusat''' dari grup  G  adalah urutan tepat singkat dari grup

sedemikian rupa sehingga  A  pada Z(E), yang pusat dari grup E. Himpunan kelas isomorfisme ekstensi pusat  G  oleh  A  (di mana  G  bertindak sepele pada  A ) dalam korespondensi satu-ke-satu dengan grup kohomologi.

Contoh ekstensi pusat dapat dibuat dengan mengambil grup  G  dan grup abelian  A , dan menyetel  E  menjadi . Contoh  membagi  semacam ini sesuai dengan elemen  0  di  di bawah korespondensi di atas. Contoh yang lebih serius ditemukan dalam teori representasi proyektif, dalam kasus di mana representasi proyektif tidak dapat diangkat ke representasi linear biasa.

Dalam kasus kelompok sempurna hingga, terdapat perluasan pusat sempurna universal.

Demikian pula, ekstensi pusat dari aljabar Lie  adalah urutan yang tepat

sehingga  berada di tengah .

Ada teori umum tentang perluasan pusat dalam varietas Maltsev, lihat makalah oleh Janelidze dan Kelly yang tercantum di bawah ini.

 Generalisasi untuk ekstensi umum 

Makalah tentang Ekstensi Grup dan  diberikan di bawah ini memberikan klasifikasi serupa dari semua ekstensi  G  oleh  A  dalam hal homomorfisme dari , kondisi keberadaan yang membosankan tetapi dapat diperiksa secara eksplisit yang melibatkan  dan grup cohomology .

 Grup Lie 

Dalam teori grup lie, ekstensi pusat muncul sehubungan dengan topologi aljabar. Secara kasar, perluasan pusat grup Lie oleh grup diskrit sama dengan grup penutup. Lebih tepatnya, terhubung ruang tertutup  dari grup Lie yang terhubung  secara alami merupakan perluasan pusat dari , sedemikian rupa sehingga proyeksi

adalah homomorfisme kelompok, dan dugaan. (Struktur grup di  tergantung pada pilihan pemetaan elemen identitas untuk identitas pada .) Misalnya, saat  adalah sampul universal dari , kernel dari π adalah kelompok fundamental dari , yang dikenal jadilah abelian (lihat Ruang-H). Sebaliknya, diberi grup Lie  dan subgrup pusat diskrit , hasil bagi  adalah grup Lie dan  adalah ruang penutupnya.

 Lihat pula 
 ekstensi aljabar Lie
 Ekstensi gelanggang
 Aljabar Virasoro
 Ekstensi HNN
 Kontraksi grup
 Ekstensi grup topologi

 Referensi 

 R.L. Taylor, Covering  groups  of  non  connected topological  groups, Proceedings of the American Mathematical Society, vol. 5 (1954), 753–768.
 R. Brown and O. Mucuk, Covering groups of non-connected topological  groups revisited, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 115 (1994), 97–110.
  R. Brown and T. Porter, On the Schreier theory of non-abelian extensions: generalisations and computations, Proceedings of the Royal Irish Academy, vol. 96A (1996), 213–227.
 G. Janelidze and G. M. Kelly, Central extensions in Malt'sev varieties, Theory and Applications of Categories'', vol. 7 (2000), 219–226.
 P. J. Morandi, Group Extensions and H3 . From his collection of short mathematical notes.

Teori grup