Lihat sumber Produk setengah langsung

{{Short description|Operasi dalam teori grup}}
{{Group theory sidebar |Basics}}

Dalam [[matematika]], khususnya dalam [[teori grup]], konsep '''produk setengah langsung''' adalah generalisasi dari [[produk langsung dari grup | produk langsung]]. Ada dua konsep yang terkait erat dari produk setengah langsung: 
* produk setengah langsung '' dalam '' adalah cara tertentu di mana [[Grup (matematika) | grup]] dapat terdiri dari dua [[subgrup]], salah satunya adalah [[subgrup normal]].
* produk setengah langsung '' luar '' adalah cara untuk membangun grup baru dari dua grup tertentu dengan menggunakan [[produk Kartesius]] sebagai himpunan dan operasi perkalian tertentu.
Seperti halnya produk langsung, terdapat persamaan alami antara produk semidirect bagian dalam dan luar, dan keduanya biasa disebut hanya sebagai "produk setengah langsung".

Untuk [[grup hingga]], [[teorema Schur-Zassenhaus]] memberikan kondisi yang cukup untuk keberadaan dekomposisi sebagai produk semidirect (juga dikenal sebagai [[Ekstensi grup#Mengklasifikasikan ekstensi perpecahan|membelah ekstensi]]).

== Definisi produk setengah langsung bagian dalam ==

Diberikan grup {{math | '' G ''}} dengan [[elemen identitas]] {{math | '' e ''}}, sebuah [[subgrup]] {{math | '' H ''}} , dan [[subgrup normal]] {{math|''N'' ◁ ''G''}}, pernyataan berikut ini setara:
* {{math|''G''}} adalah [[produk himpunan bagian grup#Produk dari subgrup | produk dari subgrup]], {{math|1=''G'' = ''NH''}}, dan subgrup ini memiliki persimpangan yang sepele: {{math|1=''N'' ∩ ''H'' = {{mset|''e''}}}}.
* Untuk {{math|''g'' ∈ ''G''}}, pada {{math|''n'' ∈ ''N''}} dan {{math|''h'' ∈ ''H''}} sebagai {{math|1=''g'' = ''nh''}}.
* Untuk {{math|''g'' ∈ ''G''}}, pada {{math|''h'' ∈ ''H''}} dan {{math|''n'' ∈ ''N''}} sebagai {{math|1=''g'' = ''hn''}}.
* Komposisi {{math|''π'' ∘ ''i''}} dari embedding natural {{math|''i'': ''H'' → ''G''}} dengan proyeksi alami {{math|''π'': ''G'' → ''G''/''N''}} adalah [[grup isomorfisme | isomorfisme]] antara {{math | '' H ''}} dan [[grup hasil bagi]] {{math|''G''/''N''}}.
* Terdapat [[homomorfisme gruo | homomorfisme]] {{math|''G'' → ''H''}} itu adalah identitas pada {{math | '' H ''}} dan yang [[kernel (aljabar) | kernel]] adalah {{math|''N''}}. Dengan kata lain, ada urutan yang tepat terpisah
:: <math> 1 \to N \to G \to H \to 1 </math>

: grup (yang juga dikenal sebagai ekstensi grup dari <math>N</math> by <math>H</math>).
 
Jika salah satu dari pernyataan ini berlaku (dan karenanya semuanya berlaku, dengan kesetaraannya), kami mengatakan {{math | '' G ''}} adalah '''produk setengah langsung''' dari {{math | '' N ''}} dan {{math | '' H ''}}, ditulis

:<math>G = N \rtimes H</math> atau <math>G = H \ltimes N,</math> 

atau bahwa {{math | '' G ''}} '' split '' over {{math | '' N ''}}; satu juga mengatakan bahwa {{math | '' G ''}} adalah '''setengah langsung''' dari {{math | '' H ''}} yang bekerja pada {{math|''N''}}, atau bahkan produk setengah langsung dari {{math | '' H ''}} dan {{math | '' N ''}}. Untuk menghindari ambiguitas, disarankan untuk menentukan subgrup yang normal.

== Hasilkali setengah langsung dalam dan luar ==

Pertama-tama mari kita pertimbangkan produk semidirect bagian dalam. Dalam kasus ini, untuk grup <math> G </math>, pertimbangkan subgrup normalnya {{math | '' N ''}} dan subgrup {{math | '' H ''}} (belum tentu normal). Asumsikan bahwa
kondisi pada daftar di atas tahan. Karena {{math|Aut(''N'')}} menunjukkan grup dari semua [[automorfisme]] dari {{math | '' N ''}}, yang merupakan grup dalam komposisi. Bangun homomorfisme grup {{math|''φ'': ''H'' → Aut(''N'')}} didefinisikan dengan konjugasi {{math|''φ''(''h'')(''n'') {{=}} ''hnh''<sup>−1</sup>}} untuk semua {{math | '' h ''}} di {{math | '' H ''}} dan {{math | '' n ''}} pada {{math | '' N ''}}. Ekspresi {{math|''φ''(''h'')}} sering ditulis sebagai {{math|''φ''<sub>''h''</sub>}} untuk singkatnya. Dengan cara ini kita dapat membuat grup <math>G'=(N,H)</math> dengan operasi grup didefinisikan sebagai <math> (n_1, h_1) \cdot (n_2, h_2) = (n_1 \varphi(h_1)(n_2),\, h_1 h_2) = (n_1 \varphi_{h_1}(n_2),\, h_1 h_2)</math> dari {{math|''n''<sub>1</sub>, ''n''<sub>2</sub>}} pada {{math|''N''}} dan {{math|''h''<sub>1</sub>, ''h''<sub>2</sub>}} in {{math|''H''}}. Subkelompok {{math | '' N ''}} dan {{math | '' H ''}} menentukan isomorfisme {{math | '' G ''}} [[hingga]], seperti yang akan kita tunjukkan nanti. Dengan cara ini, kita bisa membuat grup {{math | '' G ''}} dari subgrupnya. Konstruksi semacam ini disebut ''produk setengah langsung bagian dalam'''.

Sekarang mari kita pertimbangkan hasil kali setengah langsung luar. Diberikan dua grup apa saja {{math | '' N ''}} dan {{math | '' H ''}} dan satu kelompok homomorfisme {{math|''φ'': ''H'' → Aut(''N'')}}, kita bisa membuat grup {{math|''N'' ⋊{{sub|''φ''}} ''H''}}, disebut '''produk setengah langsung luar''' dari {{math | '' N ''}} dan {{math | '' H ''}} sehubungan dengan {{math|''φ''}}, defined as follows:<ref>{{cite book |last1=Robinson |first1=Derek John Scott |title=An Introduction to Abstract Algebra |url=https://archive.org/details/introductiontoab00robi |year=2003 |publisher=Walter de Gruyter |isbn=9783110175448 |pages=[https://archive.org/details/introductiontoab00robi/page/n84 75]–76}}</ref>
{{bulleted list
| Set yang mendasarinya adalah [[Produk Kartesius]] {{math|''N'' × ''H''}}.
| Operasi grup <math>\bullet</math> ditentukan oleh homomorfisme {{math|''φ''}}:
:<math>\begin{align}
  \bullet : (N \rtimes_\varphi H) \times (N \rtimes_\varphi H) &\to N \rtimes_\varphi H\\
                                         (n_1, h_1) \bullet (n_2, h_2) &= (n_1 \varphi(h_1)(n_2),\, h_1 h_2) = (n_1 \varphi_{h_1}(n_2),\, h_1 h_2)
\end{align}</math>
dari {{math|''n''<sub>1</sub>, ''n''<sub>2</sub>}} pada {{math|''N''}} dan {{math|''h''<sub>1</sub>, ''h''<sub>2</sub>}} pada {{math|''H''}}.
}}

Mendefinisikan grup di mana elemen identitasnya adalah {{math|(''e''<sub>''N''</sub>, ''e<sub>H</sub>'')}} dan kebalikan dari elemen {{math|(''n'', ''h'')}} adalah {{math|(''φ''<sub>''h''<sup>−1</sup></sub>(''n''<sup>−1</sup>), ''h''<sup>−1</sup>)}}. {{math|(''n'', ''e<sub>H</sub>'')}} membentuk subkelompok normal isomorfik menjadi {{math | '' N ''}}, sementara {{math|(''e<sub>N</sub>'', ''h'')}} membentuk subkelompok isomorfik ke {{math | '' H ''}}. Grup lengkap adalah produk setengah-langsung dari dua subgrup tersebut dalam pengertian yang diberikan sebelumnya.

Sebaliknya, misalkan kita diberi grup {{math | '' G ''}} dengan subgrup normal {{math | '' N ''}} dan subgrup {{math | '' H ''}}, sedemikian rupa sehingga setiap elemen {{math | '' g ''}} dari {{math | '' G ''}} dapat ditulis secara unik dalam bentuk {{math|''g {{=}} nh''}} di mana {{math | '' n ''}} terletak di {{math | '' N ''}} dan {{math | '' h ''}} ada di {{math | '' H ''}}. Maka {{math|''φ'': ''H'' → Aut(''N'')}} jadilah homomorfisme (tertulis {{math|''φ''(''h'') {{=}} ''φ''<sub>''h''</sub>}}) given by
:<math>\varphi_h(n) = hnh^{-1}</math>
untuk {{math|''n'' ∈ ''N'', ''h'' ∈ ''H''}}.

Maka {{math | '' G ''}} isomorfik pangkat semidirect {{math|''N'' ⋊{{sub|''φ''}} ''H''}}. Isomorfisme {{math|''λ'': ''G'' → ''N'' ⋊{{sub|''φ''}} ''H''}} didefinisikan dengan baik
oleh {{math|''λ''(''a'') {{=}} ''λ''(''nh'') {{=}} (''n, h'')}} karena keunikan dekomposisi {{math|''a'' {{=}} ''nh''}}.

Di {{math | '' G ''}}, kami punya
:<math>
  (n_1 h_1)(n_2 h_2) = n_1 h_1 n_2(h_1^{-1}h_1) h_2 =
    (n_1 \varphi_{h_1}(n_2))(h_1 h_2)
</math>
Jadi, untuk {{math|''a'' {{=}} ''n{{sub|1}}h{{sub|1}}''}} dan {{math|''b'' {{=}} ''n{{sub|2}}h{{sub|2}}''}} maka
:<math>
\begin{align}
\lambda(ab) & = \lambda(n_1 h_1 n_2 h_2) = \lambda(n_1 \varphi_{h_1} (n_2) h_1 h_2) = (n_1 \varphi_{h_1} (n_2), h_1 h_2) = (n_1, h_1) \bullet (n_2, h_2) \\[5pt]
& = \lambda(n_1 h_1) \bullet \lambda(n_2 h_2) = \lambda(a) \bullet \lambda(b),
\end{align}
</math>
yang membuktikan bahwa {{math | '' λ ''}} adalah homomorfisme. Karena {{math | '' λ ''}} jelas merupakan epimorfisme dan monomorfisme, maka itu memang merupakan [[isomorfisme]]. Ini juga menjelaskan definisi aturan perkalian di {{math|''N'' ⋊{{sub|''φ''}} ''H''}}.

Produk langsung adalah kasus khusus dari produk semidirect. Untuk melihat ini, maka {{math | '' φ ''}} menjadi homomorfisme yang sepele (yaitu, mengirim setiap elemen {{math | '' H ''}} ke automorfisme identitas {{math | '' N ''}}) lalu {{math|''N'' ⋊{{sub|''φ''}} ''H''}} adalah produk langsung {{math|''N'' × ''H''}}.

Versi [[lemma pemisah]] untuk grup menyatakan bahwa grup {{math | '' G ''}} isomorfik untuk produk semidirect dari dua grup {{math | '' N ''}} dan {{math | '' H ''}} [[jika dan hanya jika]] terdapat [[urutan tepat | urutan tepat pendek]]

:<math> 1 \longrightarrow N \,\overset{\beta}{\longrightarrow}\, G \,\overset{\alpha}{\longrightarrow}\, H \longrightarrow 1</math>

dan homomorfisme grup {{math|''γ'': ''H'' → ''G''}} seperti yang {{math|''α'' ∘ ''γ'' {{=}} id<sub>''H''</sub>}}, [[fungsi identitas | peta identitas]] di {{math | '' H ''}}. Pada kasus ini, {{math|''φ'': ''H'' → Aut(''N'')}} diberikan oleh {{math|''φ''(''h'') {{=}} ''φ''<sub>''h''</sub>}}, dimana
:<math>\varphi_h(n) = \beta^{-1}(\gamma(h)\beta(n)\gamma(h^{-1})).</math>

== Contoh ==

=== Grup dihedral ===
[[Grup dihedral]] {{math|D{{sub|2''n''}}}} dengan {{math|2''n''}} elemen isomorfik ke produk semidirect dari [[grup siklik]] {{math|C{{sub|''n''}}}} dan {{math|C{{sub|2}}}}.<ref name="mac-lane">{{cite book |last1=Mac Lane |first1=Saunders |author-link1=Saunders Mac Lane |last2=Birkhoff |first2=Garrett |author-link2=Garrett Birkhoff |title=Algebra |url=https://archive.org/details/algebra00lane |edition=3rd |year=1999 |publisher=American Mathematical Society |isbn=0-8218-1646-2 |pages=[https://archive.org/details/algebra00lane/page/414 414]–415}}</ref> Di sini, elemen non-identitas {{math|C{{sub|2}}}} para {{math|C{{sub|''n''}}}} dengan elemen pembalik; ini adalah automorfisme karena {{math|C{{sub|''n''}}}} adalah [[grup abelian | abelian]]. [[Presentasi grup | presentasi]] untuk grup ini adalah:
:<math>\langle a,\;b \mid a^2 = e,\; b^n = e,\; aba^{-1} = b^{-1}\rangle.</math>

==== Grup siklik ====
Secara lebih umum, produk semidirect dari dua grup siklik {{math|C{{sub|''m''}}}} dengan generator {{math | '' a ''}} dan {{math|C{{sub|''n''}}}} dengan generator {{math | '' b ''}} diberikan oleh satu relasi ekstra, {{math|''aba''{{sup|−1}} {{=}} ''b{{sup|k}}''}}, dengan {{math | '' k ''}} dan {{math | '' n ''}} [[coprime]]; yaitu presentasi:<ref name="mac-lane" />
:<math>\langle a,\;b \mid a^m = e,\;b^n = e,\;aba^{-1} = b^k\rangle.</math>

Jika {{math | '' r ''}} dan {{math | '' m ''}} coprime, {{math|''a{{sup|r}}''}} adalah generator {{math|C{{sub|''m''}}}} dan {{math|''a{{sup|r}}ba{{sup|−r}}'' {{=}} ''b{{sup|k{{sup|r}}}}''}}, karenanya penyajiannya:
:<math>\langle a,\;b \mid a^m = e,\;b^n = e,\;aba^{-1} = b^{k^{r}}\rangle</math>

memberikan gruo isomorfik ke yang sebelumnya.

=== Grup dasar dari lubang Klein ===
[[Grup fundamental]] dari [[lubang Klein]] dapat disajikan dalam bentuk
:<math>\langle a,\;b \mid aba^{-1} = b^{-1}\rangle.</math>

dan oleh karena itu merupakan produk setengah langsung dari kelompok bilangan bulat, {{math | ℤ}}, dengan {{math | ℤ}}. Homomorfisme yang sesuai {{math|''φ'': ℤ → Aut(ℤ)}} diberikan oleh {{math|''φ''(''h'')(''n'') {{=}} (−1){{sup|''h''}}''n''}}.

=== Matriks segitiga atas ===
Grup <math>\mathbb{T}_n</math> dari atas [[matriks segitiga]]{{Clarify|date=Oktober 2020|reason=Apa entri dari matriks: nyata, kompleks, dalam bidang apa pun? Definisikan grup T_n dengan tepat.}} dengan bukan nol [[determinan]], yaitu dengan entri bukan nol pada [[diagonal utama | diagonal]], memiliki dekomposisi menjadi perkalian setengah langsung
<math>\mathbb{T}_n \cong \mathbb{U}_n \rtimes \mathbb{D}_n</math><ref>{{Cite book|last=Milne|url=https://www.jmilne.org/math/CourseNotes/iAG200.pdf|title=Algebraic Groups|pages=45, semi-direct products}}</ref> dimana
<math>\mathbb{U}_n</math> adalah subkelompok matriks dengan hanya <math> 1 </math> pada diagonal, yang disebut kelompok [[matriks segitiga | matriks satuan]] atas, dan <math>\mathbb{D}_n</math> adalah subgrup dari [[matriks diagonal]].<br />
Grup aksi <math>\mathbb{D}_n</math> pada <math>\mathbb{U}_n</math> diinduksi oleh perkalian matriks. Jika kita mengatur

<math>A = \begin{bmatrix}
x_1 & 0 & \cdots & 0 \\
0 & x_2 & \cdots & 0 \\
\vdots & \vdots & & \vdots \\
0 & 0 & \cdots & x_n
\end{bmatrix}</math>
dan <math>B = \begin{bmatrix}
1 & a_{12} & a_{13} & \cdots & a_{1n} \\
0 & 1 & a_{23} & \cdots & a_{2n} \\
\vdots & \vdots & \vdots & & \vdots \\
0 & 0 & 0 & \cdots & 1
\end{bmatrix}</math>

maka [[perkalian matriks]] adalah
:<math>AB = 
\begin{bmatrix}
x_1 & x_1a_{12} & x_1a_{13} & \cdots & x_1a_{1n} \\
0 & x_2 & x_2a_{23} & \cdots & x_2a_{2n} \\
\vdots & \vdots & \vdots & & \vdots \\
0 & 0 & 0 & \cdots & x_n
\end{bmatrix}.</math>
Ini memberikan tindakan grup yang diinduksi <math>m:\mathbb{D}_n\times \mathbb{U}_n \to \mathbb{U}_n</math>{{Clarify|date=Oktober 2020|reason=Tentukan fungsi m. Nilainya saja tidak cukup. Bagaimana nilai diperoleh dari argumen?}}
:<math>m(A,B) = \begin{bmatrix}
1 & x_1a_{12} & x_1a_{13} & \cdots & x_1a_{1n} \\
0 & 1 & x_2a_{23} & \cdots & x_2a_{2n} \\
\vdots & \vdots & \vdots & & \vdots \\
0 & 0 & 0 & \cdots & 1
\end{bmatrix}.</math>
Sebuah matriks dalam <math>\mathbb{T}_n</math> dapat diwakili oleh matriks dalam <math>\mathbb{U}_n</math> dan <math>\mathbb{D}_n</math>. Karenanya <math>\mathbb{T}_n \cong \mathbb{U}_n \rtimes \mathbb{D}_n</math>.

=== Grup isometri pada bidang ===
[[Grup Euklides]] dari semua gerakan kaku ([[isometri]]) dari pesawat (peta {{math|''f'': ℝ{{sup|2}} → ℝ{{sup|2}}}} sedemikian rupa sehingga jarak Euclidean antara {{math | '' x ''}} dan {{math | '' y ''}} sama dengan jarak antara {{math|''f''(''x'')}} dan {{math|''f''(''y'')}} untuk semua {{math | '' x ''}} dan {{math | '' y ''}} di {{math|ℝ{{sup|2}}}}) isomorfik ke produk semidirect dari grup abelian {{math|ℝ{{sup|2}}}} (yang menjelaskan terjemahan) dan grup {{math | O(2)}} dari [[matriks ortogonal | ortogonal]] {{math | 2 × 2}} matriks (yang mendeskripsikan rotasi dan refleksi yang menjaga asal tetap). Menerapkan terjemahan dan kemudian rotasi atau refleksi memiliki efek yang sama seperti menerapkan rotasi atau refleksi terlebih dahulu dan kemudian terjemahan oleh vektor terjemahan yang diputar atau dipantulkan (yaitu menerapkan [[Konjugasi isometri dalam ruang Euklides | konjugasi]] dari terjemahan aslinya). Ini menunjukkan bahwa kelompok terjemahan adalah subkelompok normal dari grup Euklides, bahwa grup Euklides adalah produk setengah langsung dari kelompok terjemahan dan {{math|O(2)}}, dan bahwa homomorfisme yang sesuai {{math|''φ'': O(2) → Aut(ℝ{{sup|2}})}} diberikan oleh [[perkalian matriks]]: {{math|''φ''(''h'')(''n'') {{=}} ''hn''}}.

=== Grup ortogonal O(n) ===
[[Grup ortogonal]] {{math|O(''n'')}} dari semua ortogonal riil {{math|''n'' × ''n''}} matriks (secara intuitif himpunan dari semua rotasi dan refleksi dari {{math | '' n ''}} - ruang dimensi yang menjaga asal tetap) isomorfik ke produk semidirect grup {{math|SO(''n'')}} (terdiri dari semua matriks ortogonal dengan [[determinan]] {{math | 1}}, secara intuitif rotasi ruang dimensi {{math | '' n ''}}) dan {{math|C{{sub|2}}}}. Jika kami mewakili {{math|C{{sub|2}}}} sebagai kelompok perkalian matriks {{math|{''I'', ''R''}{{null}}}}, di mana {{math | '' R ''}} adalah refleksi dari {{math | '' n ''}} ruang dimensi yang menjaga asal tetap (yaitu, matriks ortogonal dengan determinan {{math | –1}} mewakili [[involusi (matematika) | involusi]]), maka {{math|''φ'': C{{sub|2}} → Aut(SO(''n''))}} diberikan oleh {{math|''φ''(''H'')(''N'') {{=}} ''HNH''{{sup|−1}}}} untuk '' H '' pafa {{math|C{{sub|2}}}} dan {{math|''N''}} in {{math|SO(''n'')}}. Dalam kasus non-sepele ({{math | '' H ''}} bukanlah identitas) ini berarti bahwa {{math|''φ''(''H'')}} adalah operasi konjugasi oleh refleksi (dalam ruang 3 dimensi sumbu rotasi dan arah rotasi digantikan oleh "bayangan cermin" mereka).

=== Grup kristalografi ===
Dalam kristalografi, kelompok ruang dari kristal terpecah sebagai hasilkali setengah langsung dari kelompok titik dan kelompok terjemahan jika dan hanya jika kelompok ruangnya adalah [[wikt: simorfis|simorfis]]. Kelompok ruang non-simorfik memiliki kelompok titik yang bahkan tidak terdapat sebagai bagian dari kelompok ruang, yang bertanggung jawab untuk banyak komplikasi dalam analisis mereka.<ref>{{cite web|last1=Thompson|first1=Nick|title=Irreducible Brillouin Zones and Band Structures|url=https://bandgap.io/blog/brillouin_zones/|website=bandgap.io|accessdate=13 Desember 2017}}{{Pranala mati|date=Maret 2021 |bot=InternetArchiveBot |fix-attempted=yes }}</ref>

== Bukan contoh ==
Ada banyak grup yang tidak dapat diekspresikan sebagai produk semi langsung dari grup namun berisi subgrup normal non-trivial. Tentu saja, setiap [[grup sederhana]] tidak dapat dinyatakan sebagai produk semi-langsung, tetapi ada beberapa contoh balasan yang umum juga. Perhatikan bahwa meskipun tidak setiap grup <math> G </math> dapat diekspresikan sebagai ekstensi terpisah dari <math> H </math> oleh <math> A </math>, ternyata kelompok seperti itu dapat disematkan ke dalam [[produk karangan bunga]] <math>A\wr H</math> oleh [[teorema embedding universal]].

=== Z<sub>4</sub> ===
Grup siklik <math>\mathbb{Z}_4</math> bukan grup sederhana karena memiliki subgrup orde 2, yaitu <math>\{0,2\} \cong \mathbb{Z}_2</math> adalah subkelompok dan hasil bagi mereka adalah <math>\mathbb{Z}_2</math>, jadi ada ekstensi<blockquote><math>0 \to \mathbb{Z}_2 \to \mathbb{Z}_4 \to \mathbb{Z}_2 \to 0</math></blockquote>If the extension was [[Split extension|split]], then the group <math>G</math> in<blockquote><math>0 \to \mathbb{Z}_2 \to G \to \mathbb{Z}_2 \to 0</math></blockquote>would be isomorphic to <math>\mathbb{Z}_2\times\mathbb{Z}_2</math>.

=== Q<sub>8</sub> ===
Grup dari delapan [[Grup hasil bagi | angka empat]] <math>\{\pm 1,\pm i,\pm j,\pm k\}</math> where <math>ijk = -1</math> and <math>i^2 = j^2 = k^2 = -1</math>, adalah contoh lain dari grup<ref>{{Cite web|title=abstract algebra - Can every non-simple group $G$ be written as a semidirect product?|url=https://math.stackexchange.com/questions/1504422/can-every-non-simple-group-g-be-written-as-a-semidirect-product|access-date=2020-10-29|website=Mathematics Stack Exchange}}</ref> yang memiliki subkelompok non-sepele namun masih belum terpecah. Misalnya, subgrup yang dibuat oleh <math> i </math> bersifat isomorfik <math>\mathbb{Z}_4</math> dan normal. Ini juga memiliki subkelompok pesanan <math> 2 </math> yang dihasilkan oleh <math> -1 </math>. Ini berarti <math> Q_8 </math> harus menjadi ekstensi terpisah<blockquote><math>0 \to \mathbb{Z}_4 \to Q_8 \to \mathbb{Z}_2 \to 0</math> </blockquote>yang tidak bisa terjadi. Hal ini dapat ditunjukkan dengan menghitung kelompok kohomologi kelompok pertama <math>\mathbb{Z}_2</math> dengan koefisien dalam <math>\mathbb{Z}_4</math>, begitu <math>H^1(\mathbb{Z}_2,\mathbb{Z}_4) \cong \mathbb{Z}/2</math> dan mencatat dua kelompok dalam ekstensi ini <math>\mathbb{Z}_2\times\mathbb{Z}_4</math> dan grup dihedral <math> D_8 </math>. Tapi, karena tidak satu pun dari grup ini isomorfik dengan <math> Q_8 </math>, grup quaternion tidak dipisahkan. Tidak adanya isomorfisme ini dapat diperiksa dengan mencatat ekstensi trivial adalah abelian sedangkan <math> Q_8 </math> adalah non-abelian, dan mencatat satu-satunya subgrup normal adalah <math>\mathbb{Z}_2</math> dan <math>\mathbb{Z}_4</math>, tetapi <math> Q_8 </math> memiliki tiga subgrup isomorfik <math>\mathbb{Z}_4</math>.

== Notasi ==

Biasanya produk semidirect dari grup {{math | '' H ''}} yang bekerja pada grup {{math | '' N ''}} (dalam banyak kasus dengan konjugasi sebagai subgrup dari grup yang sama) dilambangkan dengan {{math|''N'' ⋊ ''H''}} atau {{math|''H'' ⋉ ''N''}}. Namun, beberapa sumber{{which|date=November 2020}} boleh menggunakan simbol ini dengan arti yang berlawanan. Dalam kasus tindakan {{math|''φ'': ''H'' → Aut(''N'')}} harus dibuat eksplisit, salah satunya juga menulis {{math|''N'' ⋊{{sub|''φ''}} ''H''}}. Salah satu cara berpikir tentang {{math|''N'' ⋊ ''H''}} simbol adalah kombinasi dari simbol untuk subkelompok normal ({{math | ◁}}) dan simbol untuk hasil kali ({{math | ×}}). [[Barry Simon]], dalam bukunya tentang [[teori representasi]] kelompok,<ref name="Simon1996">{{cite book|author=B. Simon|title=Representations of Finite and Compact Groups|url=https://archive.org/details/representationsf00simo|location=Providence, RI|publisher=American Mathematical Society|page=[https://archive.org/details/representationsf00simo/page/n15 6]|isbn=0-8218-0453-7|date=1996}}</ref> menggunakan notasi yang tidak biasa <math>N\circledS_{\varphi}H</math> untuk produk semidirect.

[[Unicode]] mencantumkan empat varian:<ref>Lihat [https://www.unicode.org/charts/#symbols unicode.org]</ref>

:{| class="wikitable"
!   !! Nilai !! MathML !! Deskripsi Unicode
|-
| ⋉ || U+22C9 || ltimes || PRODUK KIRI SEMIDIRECT FAKTOR NORMAL
|-
| ⋊ || U+22CA || rtimes || PRODUK KANAN SEMIDIRECT FAKTOR NORMAL
|-
| ⋋ || U+22CB || lthree || SEMIDIREK PRODUK KIRI
|-
| ⋌ || U+22CC || rthree || PRODUK SEMIDIRECT KANAN
|}

Di sini deskripsi Unicode dari simbol waktu mengatakan "faktor normal benar", berbeda dengan arti biasanya dalam praktik matematika.

Dalam [[LaTeX]], perintah \rtimes dan \ltimes menghasilkan karakter yang sesuai.

== Lihat pula ==
* [[Aljabar Affine Lie]]
* [[Konstruksi Grothendieck]], konstruksi kategoris yang menggeneralisasi produk semidirect
*[[Holomorph (matematika) | Holomorph]]
* [[Ekstensi aljabar Lie#Dengan jumlah setengah langsung | Lie aljabar semidirect sum]]
* [[Produk setengah sub]]
* [[Produk karangan bunga]]
* [[Produk Zappa–Szép]]

== Catatan ==
{{reflist}}

== Referensi ==
{{refimprove|date=Desember 2020}}
* R. Brown, Topology and groupoids, Booksurge 2006. {{isbn|1-4196-2722-8}}

[[Kategori:Teori grup]]