Produk karangan bunga: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Perbaikan kata agar mudah dimengerti |
Putriuzdahw (bicara | kontrib) Membenarkan tulisan |
||
Baris 1:
{{Periksa terjemahan|en|Wreath product}}{{Rapikan|2=Tata bahasa dan terjemahan yang cukup buruk.}}{{Group theory sidebar |Basics}}
Dalam [[teori grup]], '''hasilkali karangan bunga''' atau '''darab karangan bunga''' ({{Lang-en|Wreath product}}) adalah hasilkali khusus dari dua [[Grup (matematika) |grup]], berdasarkan
Diberikan dua grup <math>A</math> dan <math>H</math>, terdapat dua variasi hasilkali karangan bunga: '''hasilkali karangan bunga takterbatas''' <math>A \operatorname{Wr} H</math> (juga ditulis <math>A \wr H</math> dengan simbol LaTeX '''\wr''') dan '''hasilkali karangan bunga terbatas''' <math>A \operatorname{wr} H</math>. Diberikan [[Himpunan (matematika) |himpunan]] Ω dengan [[Tindakan grup (matematika)|''tindakan-''<math>H</math>]], terdapat generalisasi dari hasilkali karangan bunga yang dilambangkan dengan <math>A \operatorname{Wr}_\Omega H</math> atau <math>A \operatorname{wr}_\Omega H</math>.
Gagasan tersebut masuk dalam kelompok [[semigrup]] dan merupakan konstruksi sentral dalam
== Definisi ==
Misalkan <math>A</math> dan <math>H</math> menjadi grup dan <math>\Omega</math> satu himpunan dengan <math>H</math>[[Tindakan grup (matematika)|bertindak]] di atasnya (dari kanan). Misalkan <math>K</math> menjadi
: <math>K = \prod_{\omega \in \Omega} A_\omega</math>
Baris 19:
Kemudian '''hasilkali karangan bunga takterbatas''' <math>A \operatorname{Wr}_\Omega H</math> dari <math>A</math> oleh <math>H</math> adalah [[produk setengah langsung|hasilkali setengah langsung]] <math>K \rtimes H</math>. Subgrup <math>K</math> dari <math>A \operatorname{Wr}_\Omega H</math> disebut '''basis''' dari hasilkali karangan bunga.
'''Hasilkali karangan bunga terbatas''' <math>A \operatorname{wr}_\Omega H</math> dibuat dengan cara yang sama seperti
: <math>K = \bigoplus_{\omega \in \Omega} A_\omega</math>
sebagai dasar
Dalam kasus yang paling umum, salah satunya membutuhkan <math>\Omega := H</math>, di mana <math>H</math> bekerja secara alami dengan perkalian sebelah kiri. Dalam hal ini,
== Notasi dan konvensi ==
Struktur
* Dalam literatur, <math>A \wr_\Omega H</math> dapat diartikan sebagai hasilkali karangan bunga takterbatas <math>A \operatorname{Wr}_\Omega H</math> atau hasilkali karangan bunga terbatas <math>A \operatorname{wr}_\Omega H</math>.
Baris 38:
== Sifat ==
=== Perjanjian
Karena
===
<math>A \operatorname{wr}_\Omega H</math>selalu merupakan [[subgrup]] dari <math>A \operatorname{Wr}_\Omega H</math>.
|