Produk setengah langsung

Struktur aljabar → Teori grup Teori grup
Gagasan dasar Subgrup Subgrup normal Grup hasil bagi darab langsung semi-darab langsung Homomorfisme grup kernel bayangan jumlah langsung karangan bunga sederhana hingga takhingga kontinu multiplikatif aditif siklik Abel dihedral nilpoten terselesaikan aksi Glosarium teori grup Daftar topik teori grup
Grup hingga Klasifikasi grup sederhana hingga siklik bergantian tipe Lie sporadik Teorema Cauchy Teorema Lagrange Teorema Sylow Teorema Hall grup-p Grup Abel elementer Grup Frobenius Pengganda Schur Grup simetrik ${\displaystyle \mathrm {S} _{n}}$ Grup Klein ${\displaystyle \mathrm {V} }$ Grup dihedral ${\displaystyle \mathrm {D} _{n}}$ Grup kuaternion ${\displaystyle \mathrm {Q} }$ Grup disiklik ${\displaystyle \mathrm {Dic} _{n}}$
Grup diskret Kekisi Bilangan bulat (${\displaystyle \mathbb {Z} }$) Grup bebas Grup modular ${\displaystyle \mathrm {PSL} (2,\mathbb {Z} )}$ ${\displaystyle \mathrm {SL} (2,\mathbb {Z} )}$ Grup aritmetika Kekisi Grup hiperbolik
Topologis dan Grup Lie Solenoid Lingkaran Linear umum ${\displaystyle \mathrm {GL} (n)}$ Linear khusus ${\displaystyle \mathrm {SL} (n)}$ Ortogonal ${\displaystyle \mathrm {O} (n)}$ Euklides ${\displaystyle \mathrm {E} (n)}$ Ortogonal khusus ${\displaystyle \mathrm {SO} (n)}$ Uner ${\displaystyle \mathrm {U} (n)}$ Uniter khusus ${\displaystyle \mathrm {SU} (n)}$ Simplektik ${\displaystyle \mathrm {Sp} (n)}$ G2 F4 E6 E7 E8 Lorentz Poincaré konformal Difeomorfisme Gelung Grup Lie berdimensi takhingga ${\displaystyle O(\infty )}$ ${\displaystyle \mathrm {SU} (\infty )}$ ${\displaystyle \mathrm {Sp} (\infty )}$
Grup aljabar Grup aljabar linear Grup reduktif Varietas Abel Kurva eliptik
l b s

Dalam matematika, khususnya dalam teori grup, konsep produk setengah langsung adalah generalisasi dari produk langsung. Ada dua konsep yang terkait erat dari produk setengah langsung:

• produk setengah langsung dalam adalah cara tertentu di mana 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 membelah ekstensi).

Diberikan grup G dengan elemen identitas e , sebuah subgrup H , dan subgrup normal N ◁ G, pernyataan berikut ini setara:

• G adalah produk dari subgrup, G = NH, dan subgrup ini memiliki persimpangan yang sepele: N ∩ H = (e}.
• Untuk g ∈ G, pada n ∈ N dan h ∈ H sebagai g = nh.
• Untuk g ∈ G, pada h ∈ H dan n ∈ N sebagai g = hn.
• Komposisi π ∘ i dari embedding natural i: H → G dengan proyeksi alami π: G → G/N adalah isomorfisme antara H dan grup hasil bagi G/N.
• Terdapat homomorfisme G → H itu adalah identitas pada H dan yang kernel adalah N. Dengan kata lain, ada urutan yang tepat terpisah

${\displaystyle 1\to N\to G\to H\to 1}$

grup (yang juga dikenal sebagai ekstensi grup dari ${\displaystyle N}$ by ${\displaystyle H}$).

Jika salah satu dari pernyataan ini berlaku (dan karenanya semuanya berlaku, dengan kesetaraannya), kami mengatakan G adalah produk setengah langsung dari N dan H , ditulis

${\displaystyle G=N\rtimes H}$ atau ${\displaystyle G=H\ltimes N,}$

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

Pertama-tama mari kita pertimbangkan produk semidirect bagian dalam. Dalam kasus ini, untuk grup ${\displaystyle G}$, pertimbangkan subgrup normalnya N dan subgrup H (belum tentu normal). Asumsikan bahwa kondisi pada daftar di atas tahan. Karena Aut(N) menunjukkan grup dari semua automorfisme dari N , yang merupakan grup dalam komposisi. Bangun homomorfisme grup φ: H → Aut(N) didefinisikan dengan konjugasi φ(h)(n) = hnh⁻¹ untuk semua h di H dan n pada N . Ekspresi φ(h) sering ditulis sebagai φ_h untuk singkatnya. Dengan cara ini kita dapat membuat grup ${\displaystyle G'=(N,H)}$ dengan operasi grup didefinisikan sebagai ${\displaystyle (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})}$ dari n₁, n₂ pada N dan h₁, h₂ in H. Subkelompok N dan H menentukan isomorfisme G hingga, seperti yang akan kita tunjukkan nanti. Dengan cara ini, kita bisa membuat grup 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 N dan H dan satu kelompok homomorfisme φ: H → Aut(N), kita bisa membuat grup N ⋊_φ H, disebut produk setengah langsung luar dari N dan H sehubungan dengan φ, defined as follows:^[1]

Mendefinisikan grup di mana elemen identitasnya adalah (e_N, e_H) dan kebalikan dari elemen (n, h) adalah (φ_h⁻¹(n⁻¹), h⁻¹). (n, e_H) membentuk subkelompok normal isomorfik menjadi N , sementara (e_N, h) membentuk subkelompok isomorfik ke H . Grup lengkap adalah produk setengah-langsung dari dua subgrup tersebut dalam pengertian yang diberikan sebelumnya.

Sebaliknya, misalkan kita diberi grup G dengan subgrup normal N dan subgrup H , sedemikian rupa sehingga setiap elemen g dari G dapat ditulis secara unik dalam bentuk g = nh di mana n terletak di N dan h ada di H . Maka φ: H → Aut(N) jadilah homomorfisme (tertulis φ(h) = φ_h) given by

${\displaystyle \varphi _{h}(n)=hnh^{-1}}$

untuk n ∈ N, h ∈ H.

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

Di G , kami punya

${\displaystyle (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})}$

Jadi, untuk a = n₁h₁ dan b = n₂h₂ maka

${\displaystyle {\begin{aligned}\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{aligned}}}$

yang membuktikan bahwa λ adalah homomorfisme. Karena λ jelas merupakan epimorfisme dan monomorfisme, maka itu memang merupakan isomorfisme. Ini juga menjelaskan definisi aturan perkalian di N ⋊_φ H.

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

Versi lemma pemisah untuk grup menyatakan bahwa grup G isomorfik untuk produk semidirect dari dua grup N dan H jika dan hanya jika terdapat urutan tepat pendek

${\displaystyle 1\longrightarrow N\,{\overset {\beta }{\longrightarrow }}\,G\,{\overset {\alpha }{\longrightarrow }}\,H\longrightarrow 1}$

dan homomorfisme grup γ: H → G seperti yang α ∘ γ = id_H, peta identitas di H . Pada kasus ini, φ: H → Aut(N) diberikan oleh φ(h) = φ_h, dimana

${\displaystyle \varphi _{h}(n)=\beta ^{-1}(\gamma (h)\beta (n)\gamma (h^{-1})).}$

Grup dihedral D_2n dengan 2n elemen isomorfik ke produk semidirect dari grup siklik C_n dan C₂.^[2] Di sini, elemen non-identitas C₂ para C_n dengan elemen pembalik; ini adalah automorfisme karena C_n adalah abelian. presentasi untuk grup ini adalah:

${\displaystyle \langle a,\;b\mid a^{2}=e,\;b^{n}=e,\;aba^{-1}=b^{-1}\rangle .}$

Secara lebih umum, produk semidirect dari dua grup siklik C_m dengan generator a dan C_n dengan generator b diberikan oleh satu relasi ekstra, aba⁻¹ = b^k, dengan k dan n coprime; yaitu presentasi:^[2]

${\displaystyle \langle a,\;b\mid a^{m}=e,\;b^{n}=e,\;aba^{-1}=b^{k}\rangle .}$

Jika r dan m coprime, a^r adalah generator C_m dan a^rba^−r = b^kr, karenanya penyajiannya:

${\displaystyle \langle a,\;b\mid a^{m}=e,\;b^{n}=e,\;aba^{-1}=b^{k^{r}}\rangle }$

memberikan gruo isomorfik ke yang sebelumnya.

Grup fundamental dari lubang Klein dapat disajikan dalam bentuk

${\displaystyle \langle a,\;b\mid aba^{-1}=b^{-1}\rangle .}$

dan oleh karena itu merupakan produk setengah langsung dari kelompok bilangan bulat, ℤ, dengan ℤ. Homomorfisme yang sesuai φ: ℤ → Aut(ℤ) diberikan oleh φ(h)(n) = (−1)^hn.

Grup ${\displaystyle \mathbb {T} _{n}}$ dari atas matriks segitiga^{[butuh klarifikasi]} dengan bukan nol determinan, yaitu dengan entri bukan nol pada diagonal, memiliki dekomposisi menjadi perkalian setengah langsung ${\displaystyle \mathbb {T} _{n}\cong \mathbb {U} _{n}\rtimes \mathbb {D} _{n}}$^[3] dimana ${\displaystyle \mathbb {U} _{n}}$ adalah subkelompok matriks dengan hanya ${\displaystyle 1}$ pada diagonal, yang disebut kelompok matriks satuan atas, dan ${\displaystyle \mathbb {D} _{n}}$ adalah subgrup dari matriks diagonal.
Grup aksi ${\displaystyle \mathbb {D} _{n}}$ pada ${\displaystyle \mathbb {U} _{n}}$ diinduksi oleh perkalian matriks. Jika kita mengatur

${\displaystyle A={\begin{bmatrix}x_{1}&0&\cdots &0\\0&x_{2}&\cdots &0\\\vdots &\vdots &&\vdots \\0&0&\cdots &x_{n}\end{bmatrix}}}$ dan ${\displaystyle 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}}}$

maka perkalian matriks adalah

${\displaystyle AB={\begin{bmatrix}x_{1}&x_{1}a_{12}&x_{1}a_{13}&\cdots &x_{1}a_{1n}\\0&x_{2}&x_{2}a_{23}&\cdots &x_{2}a_{2n}\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\cdots &x_{n}\end{bmatrix}}.}$

Ini memberikan tindakan grup yang diinduksi ${\displaystyle m:\mathbb {D} _{n}\times \mathbb {U} _{n}\to \mathbb {U} _{n}}$^{[butuh klarifikasi]}

${\displaystyle m(A,B)={\begin{bmatrix}1&x_{1}a_{12}&x_{1}a_{13}&\cdots &x_{1}a_{1n}\\0&1&x_{2}a_{23}&\cdots &x_{2}a_{2n}\\\vdots &\vdots &\vdots &&\vdots \\0&0&0&\cdots &1\end{bmatrix}}.}$

Sebuah matriks dalam ${\displaystyle \mathbb {T} _{n}}$ dapat diwakili oleh matriks dalam ${\displaystyle \mathbb {U} _{n}}$ dan ${\displaystyle \mathbb {D} _{n}}$. Karenanya ${\displaystyle \mathbb {T} _{n}\cong \mathbb {U} _{n}\rtimes \mathbb {D} _{n}}$.

Grup Euklides dari semua gerakan kaku (isometri) dari pesawat (peta f: ℝ² → ℝ² sedemikian rupa sehingga jarak Euclidean antara x dan y sama dengan jarak antara f(x) dan f(y) untuk semua x dan y di ℝ²) isomorfik ke produk semidirect dari grup abelian ℝ² (yang menjelaskan terjemahan) dan grup O(2) dari ortogonal 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 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 O(2), dan bahwa homomorfisme yang sesuai φ: O(2) → Aut(ℝ²) diberikan oleh perkalian matriks: φ(h)(n) = hn.

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

Dalam kristalografi, kelompok ruang dari kristal terpecah sebagai hasilkali setengah langsung dari kelompok titik dan kelompok terjemahan jika dan hanya jika kelompok ruangnya adalah 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.^[4]

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 ${\displaystyle G}$ dapat diekspresikan sebagai ekstensi terpisah dari ${\displaystyle H}$ oleh ${\displaystyle A}$, ternyata kelompok seperti itu dapat disematkan ke dalam produk karangan bunga ${\displaystyle A\wr H}$ oleh teorema embedding universal.

Grup siklik ${\displaystyle \mathbb {Z} _{4}}$ bukan grup sederhana karena memiliki subgrup orde 2, yaitu ${\displaystyle \{0,2\}\cong \mathbb {Z} _{2}}$ adalah subkelompok dan hasil bagi mereka adalah ${\displaystyle \mathbb {Z} _{2}}$, jadi ada ekstensi

${\displaystyle 0\to \mathbb {Z} _{2}\to \mathbb {Z} _{4}\to \mathbb {Z} _{2}\to 0}$

If the extension was split, then the group ${\displaystyle G}$ in

${\displaystyle 0\to \mathbb {Z} _{2}\to G\to \mathbb {Z} _{2}\to 0}$

would be isomorphic to ${\displaystyle \mathbb {Z} _{2}\times \mathbb {Z} _{2}}$.

Grup dari delapan angka empat ${\displaystyle \{\pm 1,\pm i,\pm j,\pm k\}}$ where ${\displaystyle ijk=-1}$ and ${\displaystyle i^{2}=j^{2}=k^{2}=-1}$, adalah contoh lain dari grup^[5] yang memiliki subkelompok non-sepele namun masih belum terpecah. Misalnya, subgrup yang dibuat oleh ${\displaystyle i}$ bersifat isomorfik ${\displaystyle \mathbb {Z} _{4}}$ dan normal. Ini juga memiliki subkelompok pesanan ${\displaystyle 2}$ yang dihasilkan oleh ${\displaystyle -1}$. Ini berarti ${\displaystyle Q_{8}}$ harus menjadi ekstensi terpisah

${\displaystyle 0\to \mathbb {Z} _{4}\to Q_{8}\to \mathbb {Z} _{2}\to 0}$

yang tidak bisa terjadi. Hal ini dapat ditunjukkan dengan menghitung kelompok kohomologi kelompok pertama ${\displaystyle \mathbb {Z} _{2}}$ dengan koefisien dalam ${\displaystyle \mathbb {Z} _{4}}$, begitu ${\displaystyle H^{1}(\mathbb {Z} _{2},\mathbb {Z} _{4})\cong \mathbb {Z} /2}$ dan mencatat dua kelompok dalam ekstensi ini ${\displaystyle \mathbb {Z} _{2}\times \mathbb {Z} _{4}}$ dan grup dihedral ${\displaystyle D_{8}}$. Tapi, karena tidak satu pun dari grup ini isomorfik dengan ${\displaystyle Q_{8}}$, grup quaternion tidak dipisahkan. Tidak adanya isomorfisme ini dapat diperiksa dengan mencatat ekstensi trivial adalah abelian sedangkan ${\displaystyle Q_{8}}$ adalah non-abelian, dan mencatat satu-satunya subgrup normal adalah ${\displaystyle \mathbb {Z} _{2}}$ dan ${\displaystyle \mathbb {Z} _{4}}$, tetapi ${\displaystyle Q_{8}}$ memiliki tiga subgrup isomorfik ${\displaystyle \mathbb {Z} _{4}}$.

Biasanya produk semidirect dari grup H yang bekerja pada grup N (dalam banyak kasus dengan konjugasi sebagai subgrup dari grup yang sama) dilambangkan dengan N ⋊ H atau H ⋉ N. Namun, beberapa sumber^{[yang mana?]} boleh menggunakan simbol ini dengan arti yang berlawanan. Dalam kasus tindakan φ: H → Aut(N) harus dibuat eksplisit, salah satunya juga menulis N ⋊_φ H. Salah satu cara berpikir tentang N ⋊ H simbol adalah kombinasi dari simbol untuk subkelompok normal ( ◁) dan simbol untuk hasil kali ( ×). Barry Simon, dalam bukunya tentang teori representasi kelompok,^[6] menggunakan notasi yang tidak biasa ${\displaystyle N\circledS _{\varphi }H}$ untuk produk semidirect.

Unicode mencantumkan empat varian:^[7]

	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.

• Aljabar Affine Lie
• Konstruksi Grothendieck, konstruksi kategoris yang menggeneralisasi produk semidirect
• Holomorph
• Lie aljabar semidirect sum
• Produk setengah sub
• Produk karangan bunga
• Produk Zappa–Szép

• R. Brown, Topology and groupoids, Booksurge 2006. ISBN 1-4196-2722-8