Produk karangan bunga

Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Wreath product di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan.
(Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel)

Artikel ini perlu dirapikan agar memenuhi standar Wikipedia. Silakan kembangkan artikel ini semampu Anda. Merapikan artikel dapat dilakukan dengan wikifikasi atau membagi artikel ke paragraf-paragraf. Jika sudah dirapikan, silakan hapus templat ini. (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini)

Struktur aljabar → Teori grup
Teori grup

Gagasan dasar

Homomorfisme grup

Grup hingga

Klasifikasi grup sederhana hingga

Grup Frobenius

Pengganda Schur

Grup simetrik S n {\displaystyle \mathrm {S} _{n}} $\mathrm {S} _{n}$

Grup Klein V {\displaystyle \mathrm {V} } $\mathrm {V}$
Grup dihedral D n {\displaystyle \mathrm {D} _{n}} $\mathrm {D} _{n}$
Grup kuaternion Q {\displaystyle \mathrm {Q} } $\mathrm {Q}$
Grup disiklik D i c n {\displaystyle \mathrm {Dic} _{n}} $\mathrm {Dic} _{n}$

Bilangan bulat ( Z {\displaystyle \mathbb {Z} } $\mathbb {Z}$ )
Grup bebas

Grup modular

P S L ( 2 , Z ) {\displaystyle \mathrm {PSL} (2,\mathbb {Z} )} $\mathrm {PSL} (2,\mathbb {Z} )$
S L ( 2 , Z ) {\displaystyle \mathrm {SL} (2,\mathbb {Z} )} $\mathrm {SL} (2,\mathbb {Z} )$

Topologis dan Grup Lie

Linear umum G L ( n ) {\displaystyle \mathrm {GL} (n)} $\mathrm {GL} (n)$

Linear khusus S L ( n ) {\displaystyle \mathrm {SL} (n)} $\mathrm {SL} (n)$

Ortogonal O ( n ) {\displaystyle \mathrm {O} (n)} $\mathrm {O} (n)$

Euklides E ( n ) {\displaystyle \mathrm {E} (n)} $\mathrm {E} (n)$

Ortogonal khusus S O ( n ) {\displaystyle \mathrm {SO} (n)} $\mathrm {SO} (n)$

Uner U ( n ) {\displaystyle \mathrm {U} (n)} $\mathrm {U} (n)$

Uniter khusus S U ( n ) {\displaystyle \mathrm {SU} (n)} $\mathrm {SU} (n)$

Simplektik S p ( n ) {\displaystyle \mathrm {Sp} (n)} $\mathrm {Sp} (n)$

Grup Lie berdimensi takhingga

O ( ∞ ) {\displaystyle O(\infty )} $O(\infty )$
S U ( ∞ ) {\displaystyle \mathrm {SU} (\infty )} $\mathrm {SU} (\infty )$
S p ( ∞ ) {\displaystyle \mathrm {Sp} (\infty )} $\mathrm {Sp} (\infty )$

Grup aljabar

Grup aljabar linear

Grup reduktif

Varietas Abel

Kurva eliptik

Dalam teori grup, hasilkali karangan bunga atau darab karangan bunga (bahasa Inggris:Wreath product) adalah hasil kali khusus dari dua grup, berdasarkan hasilkali setengah langsung. hasilkali karangan bunga digunakan dalam klasifikasi grup permutasi dan juga menyediakan cara untuk membangun contoh grup yang menarik.

Diberikan dua grup A {\displaystyle A} $A$ dan H {\displaystyle H} $H$ , terdapat dua variasi hasilkali karangan bunga: hasilkali karangan bunga takterbatas A Wr ⁡ H {\displaystyle A\operatorname {Wr} H} $A\operatorname {Wr} H$ (juga ditulis A ≀ H {\displaystyle A\wr H} $A\wr H$ dengan simbol LaTeX \wr) dan hasilkali karangan bunga terbatas A wr ⁡ H {\displaystyle A\operatorname {wr} H} $A\operatorname {wr} H$ . Diberikan himpunan Ω dengan tindakan- H {\displaystyle H} $H$ , terdapat generalisasi dari hasilkali karangan bunga yang dilambangkan dengan A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ atau A wr Ω ⁡ H {\displaystyle A\operatorname {wr} _{\Omega }H} $A\operatorname {wr} _{\Omega }H$ .

Gagasan tersebut masuk dalam kelompok semigrup dan merupakan konstruksi sentral dalam teori struktur Krohn–Rhodes dari semigrup hingga.

Definisi

Misalkan A {\displaystyle A} $A$ dan H {\displaystyle H} $H$ menjadi grup dan Ω {\displaystyle \Omega } $\Omega$ satu himpunan dengan H {\displaystyle H} $H$ bertindak di atasnya (dari kanan). Misalkan K {\displaystyle K} $K$ menjadi hasilkali grup langsung

K = ∏ ω ∈ Ω A ω {\displaystyle K=\prod _{\omega \in \Omega }A_{\omega }} $K=\prod _{\omega \in \Omega }A_{\omega }$

dari salinan A ω := A {\displaystyle A_{\omega }:=A} $A_{\omega }:=A$ diindeks oleh himpunan Ω {\displaystyle \Omega } $\Omega$ . Elemen K {\displaystyle K} $K$ dapat dilihat sebagai sembarang urutan ( a ω ) {\displaystyle (a_{\omega })} $(a_{\omega })$ dari elemen A {\displaystyle A} $A$ diindeks oleh Ω {\displaystyle \Omega } $\Omega$ dengan perkalian sesekomponen. Kemudian tindakan H {\displaystyle H} $H$ pada Ω {\displaystyle \Omega } $\Omega$ meluas secara alami menjadi tindakan H {\displaystyle H} $H$ pada grup K {\displaystyle K} $K$ oleh

h ( a ω ) := ( a h − 1 ω ) {\displaystyle h(a_{\omega }):=(a_{h^{-1}\omega })} $h(a_{\omega }):=(a_{h^{-1}\omega })$ .

Kemudian hasilkali karangan bunga takterbatas A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ dari A {\displaystyle A} $A$ oleh H {\displaystyle H} $H$ adalah hasilkali setengah langsung K ⋊ H {\displaystyle K\rtimes H} $K\rtimes H$ . Subgrup K {\displaystyle K} $K$ dari A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ disebut basis dari hasilkali karangan bunga.

Hasilkali karangan bunga terbatas A wr Ω ⁡ H {\displaystyle A\operatorname {wr} _{\Omega }H} $A\operatorname {wr} _{\Omega }H$ dibuat dengan cara yang sama seperti hasil kali karangan bunga tidakterbatas, kecuali yang menggunakan jumlah langsung

K = ⨁ ω ∈ Ω A ω {\displaystyle K=\bigoplus _{\omega \in \Omega }A_{\omega }} $K=\bigoplus _{\omega \in \Omega }A_{\omega }$

sebagai dasar hasil kali karangan bunga. Dalam hal ini elemen K {\displaystyle K} $K$ adalah urutan ( a ω ) {\displaystyle (a_{\omega })} $(a_{\omega })$ elemen di A {\displaystyle A} $A$ diindeks oleh Ω {\displaystyle \Omega } $\Omega$ yang semuanya kecuali banyak a ω {\displaystyle a_{\omega }} $a_{\omega }$ adalah elemen identitas dari A {\displaystyle A} $A$ .

Dalam kasus yang paling umum, salah satunya membutuhkan Ω := H {\displaystyle \Omega :=H} $\Omega :=H$ , di mana H {\displaystyle H} $H$ bekerja secara alami dengan perkalian sebelah kiri. Dalam hal ini, hasil kali karangan bunga yang tidak dibatasi dan dibatasi dapat dilambangkan dengan A Wr ⁡ H {\displaystyle A\operatorname {Wr} H} $A\operatorname {Wr} H$ dan A wr ⁡ H {\displaystyle A\operatorname {wr} H} $A\operatorname {wr} H$ . Ini disebut hasil kali karangan bunga beraturan.

Notasi dan konvensi

Struktur hasil kali karangan bunga dari A {\displaystyle A} $A$ oleh H {\displaystyle H} $H$ bergantung pada himpunan H {\displaystyle H} $H$ dari Ω {\displaystyle \Omega } $\Omega$ dan jika Ω {\displaystyle \Omega } $\Omega$ tak terbatas, itu juga tergantung pada apakah salah satunya menggunakan hasil kali karangan bunga yang dibatasi atau tidak dibatasi. Namun, dalam literatur, notasi yang digunakan mungkin kurang dan perlu diperhatikan keadaannya.

Dalam literatur, A ≀ Ω H {\displaystyle A\wr _{\Omega }H} $A\wr _{\Omega }H$ dapat diartikan sebagai hasilkali karangan bunga takterbatas A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ atau hasilkali karangan bunga terbatas A wr Ω ⁡ H {\displaystyle A\operatorname {wr} _{\Omega }H} $A\operatorname {wr} _{\Omega }H$ .
Demikian, A ≀ H {\displaystyle A\wr H} $A\wr H$ dapat diartikan sebagai hasilkali karangan bunga beraturan takterbatas A Wr ⁡ H {\displaystyle A\operatorname {Wr} H} $A\operatorname {Wr} H$ atau hasilkali karangan bunga beraturan terbatas A wr ⁡ H {\displaystyle A\operatorname {wr} H} $A\operatorname {wr} H$ .
Dalam literatur, himpunan- H {\displaystyle H} $H$ dari Ω {\displaystyle \Omega } $\Omega$ dapat dihilangkan dari notasi meskipun Ω ≠ H {\displaystyle \Omega \neq H} $\Omega \neq H$ .
Dalam kasus khusus bahwa H = S n {\displaystyle H=S_{n}} $H=S_{n}$ adalah grup simetrik derajat n {\displaystyle n} $n$ adalah hal yang umum dalam literatur untuk mengasumsikannya Ω = { 1 , … , n } {\displaystyle \Omega =\{1,\dots ,n\}} $\Omega =\{1,\dots ,n\}$ (dengan tindakan alami S n {\displaystyle S_{n}} $S_{n}$ ) dan kemudian hilangkan Ω {\displaystyle \Omega } $\Omega$ dari notasi. Yaitu, A ≀ S n {\displaystyle A\wr S_{n}} $A\wr S_{n}$ biasanya menunjukkan A ≀ ( 1 , … , n ) S n {\displaystyle A\wr _{(1,\dots ,n)}S_{n}} $A\wr _{(1,\dots ,n)}S_{n}$ bukan hasilkali karangan bunga beraturan A ≀ S n S n {\displaystyle A\wr _{S_{n}}S_{n}} $A\wr _{S_{n}}S_{n}$ . Dalam kasus pertama, grup basisnya adalah hasilkali dari n {\displaystyle n} $n$ salinan dari A {\displaystyle A} $A$ , dalam kasus terakhirnya adalah hasilkali dari n ! {\displaystyle n!} $n!$ salinan dari A {\displaystyle A} $A$ (dimana ! {\displaystyle !} $!$ melambangkan faktorial).

Sifat

Perjanjian hasil kali karangan bunga yang tidak terbatas dan terbatas pada terhingga Ω {\displaystyle \Omega } $\Omega$

Karena hasil kali langsung hingga adalah sama dengan jumlah langsung grup hingga, ini mengikuti bahwa hasi lkali karangan bunga tak terbatas A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ dan terbatas A wr Ω ⁡ H {\displaystyle A\operatorname {wr} _{\Omega }H} $A\operatorname {wr} _{\Omega }H$ setuju jika himpunan- H {\displaystyle H} $H$ dari Ω {\displaystyle \Omega } $\Omega$ terbatas. Khususnya, ini benar ketika Ω = H {\displaystyle \Omega =H} $\Omega =H$ .

Sub grup

A wr Ω ⁡ H {\displaystyle A\operatorname {wr} _{\Omega }H} $A\operatorname {wr} _{\Omega }H$ selalu merupakan subgrup dari A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ .

Kekardinalan

Jika A {\displaystyle A} $A$ , H {\displaystyle H} $H$ dan Ω {\displaystyle \Omega } $\Omega$ adalah terhingga, maka

| A ≀ Ω H | = | A | | Ω | | H | {\displaystyle \left|A\wr _{\Omega }H\right|=\left|A\right|^{\left|\Omega \right|}\left|H\right|} $\left|A\wr _{\Omega }H\right|=\left|A\right|^{\left|\Omega \right|}\left|H\right|$ .^[1]

Teorema pembenaman semesta

Artikel utama: Teorema pembenaman semesta

Jika G {\displaystyle G} $G$ adalah ekstensi dari A {\displaystyle A} $A$ oleh H {\displaystyle H} $H$ , maka terdapat subgrup hasilkali karangan bunga tak terbatas A ≀ H {\displaystyle A\wr H} $A\wr H$ yang isomorfik dengan G {\displaystyle G} $G$ .^[2] Ini juga dikenal sebagai teorema pembenaman Krasner–Kaloujnine. Teorema Krohn–Rhodes melibatkan apa yang pada dasarnya setara dengan semigrup ini.^[3]

Tindakan kanonik hasilkali karangan bunga

Jika grup A {\displaystyle A} $A$ bertindak pada himpunan Λ {\displaystyle \Lambda } $\Lambda$ , maka ada dua cara kanonik untuk membangun himpunan dari Ω {\displaystyle \Omega } $\Omega$ dan Λ {\displaystyle \Lambda } $\Lambda$ yang mana A Wr Ω ⁡ H {\displaystyle A\operatorname {Wr} _{\Omega }H} $A\operatorname {Wr} _{\Omega }H$ (and therefore also A wr_Ω H) can act.

Tindakan hasilkali karangan bunga takprimitif pada Λ × Ω.

Jika ((a_ω),h) ∈ A Wr_Ω H and (λ,ω′) ∈ Λ × Ω, then

( ( a ω ) , h ) ⋅ ( λ , ω ′ ) := ( a h ( ω ′ ) λ , h ω ′ ) . {\displaystyle ((a_{\omega }),h)\cdot (\lambda ,\omega '):=(a_{h(\omega ')}\lambda ,h\omega ').} $((a_{\omega }),h)\cdot (\lambda ,\omega '):=(a_{h(\omega ')}\lambda ,h\omega ').$

Tindakan hasilkali karangan bunga primitif di Λ^Ω.

Elemen pada Λ^Ω adalah urutan (λ_ω) diindeks dari himpunan H Ω. Diberikan sebuah elemen ((a_ω), h) ∈ A Wr_Ω H operasinya pada (λ_ω) ∈ Λ^Ω is given by

( ( a ω ) , h ) ⋅ ( λ ω ) := ( a h − 1 ω λ h − 1 ω ) . {\displaystyle ((a_{\omega }),h)\cdot (\lambda _{\omega }):=(a_{h^{-1}\omega }\lambda _{h^{-1}\omega }).} $((a_{\omega }),h)\cdot (\lambda _{\omega }):=(a_{h^{-1}\omega }\lambda _{h^{-1}\omega }).$

Referensi

↑ Joseph J. Rotman, An Introduction to the Theory of Groups, p. 172 (1995)
↑ M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de groupes III", Acta Sci. Math. Szeged 14, pp. 69–82 (1951)
↑ J D P Meldrum (1995). Wreath Products of Groups and Semigroups. Longman [UK] / Wiley [US]. hlm. ix. ISBN 978-0-582-02693-3.