Kehomomorfan grup: Perbedaan antara revisi
Dedhert.Jr (bicara | kontrib) k Dedhert.Jr memindahkan halaman Grup homomorfisme ke Kehomomorfan grup: Judul yang diterjemahkan kurang tepat |
Dedhert.Jr (bicara | kontrib) Memperbaiki terjemahan |
||
Baris 1: | Baris 1: | ||
[[Gambar:Group homomorphism ver.2.svg|right|thumb|250px|Gambar |
[[Gambar:Group homomorphism ver.2.svg|right|thumb|250px|Gambar kehomomorfan grup ('''h''') dari '''G''' (kiri) ke '''H''' (kanan). Oval yang lebih kecil di dalam '''H''' adalah gambar '''h'''. '' 'N' '' adalah inti dari '''h''' dan '''aN''' adalah [[coset]] dari '''N'''.]] |
||
{{Group theory sidebar |Basics}} |
{{Group theory sidebar |Basics}} |
||
Dalam [[matematika]], diberikan dua [[grup (matematika)|grup]], (''G'', ∗) dan (''H'', ·), sebuah ''' |
Dalam [[matematika]], diberikan dua [[grup (matematika)|grup]], (''G'', ∗) dan (''H'', ·), sebuah '''kehomomorfan grup''' dari ('' G '', ∗) ke ('' H '', ·) adalah [[fungsi (matematika)|fungsi]] ''h'' : ''G'' → ''H'', '' u '' dan '' v '' dengan '' G '' dirumuskan |
||
:<math> h(u*v) = h(u) \cdot h(v) </math> |
:<math> h(u*v) = h(u) \cdot h(v) </math> |
||
Baris 13: | Baris 13: | ||
:<math> h\left(u^{-1}\right) = h(u)^{-1}. \,</math> |
:<math> h\left(u^{-1}\right) = h(u)^{-1}. \,</math> |
||
Maka, dikatakan bahwa '' h '' " |
Maka, dikatakan bahwa '' h '' "sesuai dengan struktur grup". |
||
Notasi lama untuk [[homomorfisme]] ''h''(''x'') maka ''x''<sup>''h''</sup> atau ''x''<sub>''h''</sub>,{{fact|date=Januari 2021}} sebagai indeks atau subskrip umum. Dalam [[teori automata]], terkadang |
Notasi lama untuk [[homomorfisme|kehomomorfan]] ''h''(''x'') maka ''x''<sup>''h''</sup> atau ''x''<sub>''h''</sub>,{{fact|date=Januari 2021}} sebagai indeks atau subskrip umum. Dalam [[teori automata]], terkadang kehomomorfan ditulis dibagian kanan argumen tanpa tanda kurung, sehingga ''h''(''x'') menjadi '' x h ''.{{fact|date=Januari 2021}} |
||
Dalam bidang matematika di mana grup dengan struktur tambahan, '' |
Dalam bidang matematika di mana grup dengan struktur tambahan, ''kehomomorfan'' berarti peta struktur grup tetapi juga struktur ekstra. Misalnya, kehomomorfan [[grup topologi]] harus menggunakan kontinu. |
||
== Intuisi == |
== Intuisi == |
||
Tujuan dari definisi |
Tujuan dari definisi kehomomorfan grup adalah untuk menciptakan fungsi pada struktur aljabar. Definisi yang setara dari kehomomorfan grup adalah: Fungsi ''h'' : ''G'' → ''H'' adalah kehomomorfan grup |
||
''a'' ∗ ''b'' = ''c'' dirumuskan ''h''(''a'') ⋅ ''h''(''b'') = ''h''(''c''). |
''a'' ∗ ''b'' = ''c'' dirumuskan ''h''(''a'') ⋅ ''h''(''b'') = ''h''(''c''). |
||
Grup '' H '' dalam beberapa hal memiliki struktur aljabar dengan '' |
Grup '' H '' dalam beberapa hal memiliki struktur aljabar dengan ''G'' dan kehomomorfan'' h ''. |
||
== Jenis == |
== Jenis == |
||
;[[Monomorfisme]]{{anchor|monomorfisme}}: |
;[[Monomorfisme]]{{anchor|monomorfisme}}: Kehomomorfan grup yaitu [[fungsi injeksi|injeksi]] (atau, satu-ke-satu); yaitu, perbedaan. |
||
;[[Epimorfisme]]: |
;[[Epimorfisme]]: Kehomomorfan grup yaitu [[fungsi surjektif|surjektif]] (atau, ke); yaitu mencapai setiap titik di kodomain. |
||
;[[grup isomorfisme|Isomorfisme]]: Suatu |
;[[grup isomorfisme|Isomorfisme]]: Suatu kehomomorfan grup yaitu [[bijeksi|bijektif]]; yaitu, injeksi dan surjektif. Kebalikannya juga merupakan kehomomorfan grup. Dalam hal ini, grup '' G '' dan '' H '' disebut '' isomorfik ''; mereka hanya berbeda dalam notasi elemennya dan identik untuk semua tujuan praktis. |
||
;[[ |
;[[Keendomorfan]]: Kehomomorfan, ''h'': ''G'' → ''G''; ranah dan kodomain adalah sama. Juga disebut keendomorfan dari '' G ''. |
||
;[[ |
;[[Keautomorfan]]: Keendomorfan bersifat bijektiva, dan karenanya merupakan isomorfisme. Himpunan semua [[keautomorfan]] dari grup ''G'', dengan komposisi fungsional sebagai operasi, membentuk grup itu sendiri, ''grup keautomorfan '' dari'' G.'' Dilambangkan dengan Aut(''G''). Sebagai contoh, kelompok keautomorfan ('''Z''', +) hanya mengandung dua elemen, transformasi identitas dan perkalian dengan −1; itu isomorfik untuk '''Z'''/2'''Z'''. |
||
== Galeri dan kernel == |
== Galeri dan kernel == |
||
Baris 41: | Baris 41: | ||
: <math> \operatorname{im}(h) \equiv h(G) \equiv \left\{h(u)\colon u \in G\right\}.</math> |
: <math> \operatorname{im}(h) \equiv h(G) \equiv \left\{h(u)\colon u \in G\right\}.</math> |
||
Kernel dan Galeri |
Kernel dan Galeri kehomomorfan dapat diartikan sebagai mengukur dekat menjadi isomorfisme. [[teorema isomorfisme | teorema isomorfisme pertama]] menyatakan bahwa citra suatu kelompok kehomomorfan, ''h''(''G'') isomorfik ke grup hasil bagi ''G''/ker ''h''. |
||
Kernel h adalah [[subgrup normal]] dari '' G '' dan galeri h adalah [[subgrup]] dari '' H '': |
Kernel h adalah [[subgrup normal]] dari '' G '' dan galeri h adalah [[subgrup]] dari '' H '': |
||
Baris 50: | Baris 50: | ||
\end{align}</math> |
\end{align}</math> |
||
Jika dan hanya jika {{nowrap|ker(''h'') {{=}} {''e''<sub>''G''</sub>}}}, |
Jika dan hanya jika {{nowrap|ker(''h'') {{=}} {''e''<sub>''G''</sub>}}}, kehomomorfan, '' h '', adalah [[#monomorfisme|'' grup monomorfisme '']]; yaitu, '' h '' adalah injektif (satu-ke-satu). Injeksi secara langsung memberikan bahwa ada elemen unik di kernel, dan elemen unik di kernel memberikan injeksi: |
||
:<math>\begin{align} |
:<math>\begin{align} |
||
&& h(g_1) &= h(g_2) \\ |
&& h(g_1) &= h(g_2) \\ |
||
Baris 60: | Baris 60: | ||
== Contoh == |
== Contoh == |
||
* Pertimbangkan [[grup siklik]] '''Z'''/3'''Z''' = {0, 1, 2} dan kelompok bilangan bulat '''Z''' dengan penambahan. Peta ''h'' : '''Z''' → '''Z'''/3'''Z''' dengan ''h''(''u'') = ''u'' [[modular aritmetika|mod]] 3 adalah |
* Pertimbangkan [[grup siklik]] '''Z'''/3'''Z''' = {0, 1, 2} dan kelompok bilangan bulat '''Z''' dengan penambahan. Peta ''h'' : '''Z''' → '''Z'''/3'''Z''' dengan ''h''(''u'') = ''u'' [[modular aritmetika|mod]] 3 adalah kehomomorfan grup. Ini [[surjektif]] dan kernelnya terdiri dari semua bilangan bulat yang habis dibagi 3. |
||
{{bulleted list| |
{{bulleted list| |
||
Pertimbangkan grup |
Pertimbangkan grup |
||
Baris 83: | Baris 83: | ||
adalah homomorfisme grup. |
adalah homomorfisme grup. |
||
}} |
}} |
||
* [[Fungsi eksponensial|Peta eksponensial]] menghasilkan |
* [[Fungsi eksponensial|Peta eksponensial]] menghasilkan kehomomorfan grup dari grup [[bilangan riil]] '''R''' dengan penambahan ke grup bilangan real bukan-nol '''R'''* dengan perkalian. Kernel adalah {0} dan gambar terdiri dari bilangan riil positif. |
||
* Peta eksponensial juga menghasilkan |
* Peta eksponensial juga menghasilkan kehomomorfan grup dari grup [[bilangan kompleks]] '''C''' dengan tambahan grup bilangan kompleks bukan nol '''C'''* dengan perkalian. Peta bersifat surjektif dan memiliki kernel {2π''ki'' : ''k'' ∈ '''Z'''}, seperti yang bisa dilihat dari [[Rumus Euler]]. Field seperti '''R''' dan '''C''' yang memiliki kehomomorfan dari grup aditif ke grup perkaliannya disebut [[bidang eksponensial]]. |
||
== Kategori grup == |
== Kategori grup == |
||
Jika {{nowrap|''h'' : ''G'' → ''H''}} dan {{nowrap|''k'' : ''H'' → ''K''}} adalah |
Jika {{nowrap|''h'' : ''G'' → ''H''}} dan {{nowrap|''k'' : ''H'' → ''K''}} adalah kehomomorfan grup, maka {{nowrap|''k'' ∘ ''h'' : ''G'' → ''K''}}. Hal ini menunjukkan bahwa kelas dari semua grup, bersama dengan kehomomorfan grup sebagai morfisme, membentuk suatu [[teori kategori|kategori]]. |
||
== |
== Kehomomorfan grup abelian == |
||
Jika '' G '' dan '' H '' adalah [[grup abelian|abelian]] (yaitu, Komutatif) grup, maka himpunan {{nowrap|Hom(''G'', ''H'')}} dari semua |
Jika '' G '' dan '' H '' adalah [[grup abelian|abelian]] (yaitu, Komutatif) grup, maka himpunan {{nowrap|Hom(''G'', ''H'')}} dari semua kehomomorfan grup dari '' G '' hingga '' H '' adalah grup abelian itu sendiri: jumlah {{nowrap|''h'' + ''k''}} dari dua kehomomorfan didefinisikan oleh |
||
:(''h'' + ''k'')(''u'') = ''h''(''u'') + ''k''(''u'') pada '' u '' ke '' G ''. |
:(''h'' + ''k'')(''u'') = ''h''(''u'') + ''k''(''u'') pada '' u '' ke '' G ''. |
||
Komutatif'' H '' diperlukan untuk membuktikan {{nowrap|''h'' + ''k''}} sekali lagi merupakan kehomomorfan kelompok. |
|||
Penambahan |
Penambahan kehomomorfan dengan komposisi kehomomorfan dalam pengertian berikut: maka '' f '' adalah {{nowrap|Hom(''K'', ''G'')}}, ''h'', ''k'' adalah elemen dari {{nowrap|Hom(''G'', ''H'')}}, dan '' g '' termasuk {{nowrap|Hom(''H'', ''L'')}}, maka |
||
:{{nowrap|1=(''h'' + ''k'') ∘ ''f'' = (''h'' ∘ ''f'') + (''k'' ∘ ''f'')}} dan {{nowrap|1=''g'' ∘ (''h'' + ''k'') = (''g'' ∘ ''h'') + (''g'' ∘ ''k'')}}. |
:{{nowrap|1=(''h'' + ''k'') ∘ ''f'' = (''h'' ∘ ''f'') + (''k'' ∘ ''f'')}} dan {{nowrap|1=''g'' ∘ (''h'' + ''k'') = (''g'' ∘ ''h'') + (''g'' ∘ ''k'')}}. |
||
Karena komposisinya [[asosiatif]], ini menunjukkan bahwa himpunan End('' G '') dari semua |
Karena komposisinya [[asosiatif]], ini menunjukkan bahwa himpunan End('' G '') dari semua keendomorfan dari grup abelian membentuk [[gelanggang (aljabar)|gelanggang]], yang '' [[gelanggang keendomorfan]] '' dari '' G ''. Misalnya, cincin endomorfisma dari grup abelian yang terdiri dari [[Jumlah langsung grup|jumlah langsung]] dari salinan '' m '' dari '''Z'''/''n'''''Z''' isomorfik terhadap gelanggang '' m ''-oleh-'' m '' [[matriks (matematika)|matriks]] dengan entri dalam '''Z'''/''n'''''Z'''. Menunjukkan bahwa kategori semua grup abelian dengan kehomomorfan grup membentuk [[kategori preadditif]]; keberadaan jumlah langsung dan kernel menjadikan kategori ini contoh prototipe dari sebuah [[kategori abelian]]. |
||
== Lihat pula == |
== Lihat pula == |
||
{{Div col}} |
{{Div col}} |
||
*[[Teorema |
*[[Teorema dasar kehomomorfan]] |
||
*[[Gelanggang homomorfisme]] |
*[[Gelanggang homomorfisme]] |
||
{{Div col end}} |
{{Div col end}} |
Revisi terkini sejak 28 April 2021 04.48
Struktur aljabar → Teori grup Teori grup |
---|
Dalam matematika, diberikan dua grup, (G, ∗) dan (H, ·), sebuah kehomomorfan grup dari ( G , ∗) ke ( H , ·) adalah fungsi h : G → H, u dan v dengan G dirumuskan
dimana operasi grup di sisi kiri persamaan adalah G dan di sisi kanan H .
Dari sifat ini, bahwa h elemen identitas eG dari G ke elemen identitas eH dari H ,
dan invers ke invers dalam arti
Maka, dikatakan bahwa h "sesuai dengan struktur grup".
Notasi lama untuk kehomomorfan h(x) maka xh atau xh,[butuh rujukan] sebagai indeks atau subskrip umum. Dalam teori automata, terkadang kehomomorfan ditulis dibagian kanan argumen tanpa tanda kurung, sehingga h(x) menjadi x h .[butuh rujukan]
Dalam bidang matematika di mana grup dengan struktur tambahan, kehomomorfan berarti peta struktur grup tetapi juga struktur ekstra. Misalnya, kehomomorfan grup topologi harus menggunakan kontinu.
Intuisi
[sunting | sunting sumber]Tujuan dari definisi kehomomorfan grup adalah untuk menciptakan fungsi pada struktur aljabar. Definisi yang setara dari kehomomorfan grup adalah: Fungsi h : G → H adalah kehomomorfan grup
a ∗ b = c dirumuskan h(a) ⋅ h(b) = h(c).
Grup H dalam beberapa hal memiliki struktur aljabar dengan G dan kehomomorfan h .
Jenis
[sunting | sunting sumber]- Monomorfisme
- Kehomomorfan grup yaitu injeksi (atau, satu-ke-satu); yaitu, perbedaan.
- Epimorfisme
- Kehomomorfan grup yaitu surjektif (atau, ke); yaitu mencapai setiap titik di kodomain.
- Isomorfisme
- Suatu kehomomorfan grup yaitu bijektif; yaitu, injeksi dan surjektif. Kebalikannya juga merupakan kehomomorfan grup. Dalam hal ini, grup G dan H disebut isomorfik ; mereka hanya berbeda dalam notasi elemennya dan identik untuk semua tujuan praktis.
- Keendomorfan
- Kehomomorfan, h: G → G; ranah dan kodomain adalah sama. Juga disebut keendomorfan dari G .
- Keautomorfan
- Keendomorfan bersifat bijektiva, dan karenanya merupakan isomorfisme. Himpunan semua keautomorfan dari grup G, dengan komposisi fungsional sebagai operasi, membentuk grup itu sendiri, grup keautomorfan dari G. Dilambangkan dengan Aut(G). Sebagai contoh, kelompok keautomorfan (Z, +) hanya mengandung dua elemen, transformasi identitas dan perkalian dengan −1; itu isomorfik untuk Z/2Z.
Galeri dan kernel
[sunting | sunting sumber]Mendefinisikan kernel dari h menjadi himpunan elemen pada G yang dipetakan ke identitas ke H
dan galeri dari h dirumuskan
Kernel dan Galeri kehomomorfan dapat diartikan sebagai mengukur dekat menjadi isomorfisme. teorema isomorfisme pertama menyatakan bahwa citra suatu kelompok kehomomorfan, h(G) isomorfik ke grup hasil bagi G/ker h.
Kernel h adalah subgrup normal dari G dan galeri h adalah subgrup dari H :
Jika dan hanya jika ker(h) = {eG}, kehomomorfan, h , adalah grup monomorfisme ; yaitu, h adalah injektif (satu-ke-satu). Injeksi secara langsung memberikan bahwa ada elemen unik di kernel, dan elemen unik di kernel memberikan injeksi:
Contoh
[sunting | sunting sumber]- Pertimbangkan grup siklik Z/3Z = {0, 1, 2} dan kelompok bilangan bulat Z dengan penambahan. Peta h : Z → Z/3Z dengan h(u) = u mod 3 adalah kehomomorfan grup. Ini surjektif dan kernelnya terdiri dari semua bilangan bulat yang habis dibagi 3.
- Pertimbangkan grup
Untuk bilangan kompleks u fungsi fu : G → C* didefinisikan oleh:
- Pertimbangkan kelompok perkalian bilangan riil positif (R+, ⋅) untuk bilangan kompleks u fungsi fu : R+ → C didefinisikan oleh:
- Peta eksponensial menghasilkan kehomomorfan grup dari grup bilangan riil R dengan penambahan ke grup bilangan real bukan-nol R* dengan perkalian. Kernel adalah {0} dan gambar terdiri dari bilangan riil positif.
- Peta eksponensial juga menghasilkan kehomomorfan grup dari grup bilangan kompleks C dengan tambahan grup bilangan kompleks bukan nol C* dengan perkalian. Peta bersifat surjektif dan memiliki kernel {2πki : k ∈ Z}, seperti yang bisa dilihat dari Rumus Euler. Field seperti R dan C yang memiliki kehomomorfan dari grup aditif ke grup perkaliannya disebut bidang eksponensial.
Kategori grup
[sunting | sunting sumber]Jika h : G → H dan k : H → K adalah kehomomorfan grup, maka k ∘ h : G → K. Hal ini menunjukkan bahwa kelas dari semua grup, bersama dengan kehomomorfan grup sebagai morfisme, membentuk suatu kategori.
Kehomomorfan grup abelian
[sunting | sunting sumber]Jika G dan H adalah abelian (yaitu, Komutatif) grup, maka himpunan Hom(G, H) dari semua kehomomorfan grup dari G hingga H adalah grup abelian itu sendiri: jumlah h + k dari dua kehomomorfan didefinisikan oleh
- (h + k)(u) = h(u) + k(u) pada u ke G .
Komutatif H diperlukan untuk membuktikan h + k sekali lagi merupakan kehomomorfan kelompok.
Penambahan kehomomorfan dengan komposisi kehomomorfan dalam pengertian berikut: maka f adalah Hom(K, G), h, k adalah elemen dari Hom(G, H), dan g termasuk Hom(H, L), maka
- (h + k) ∘ f = (h ∘ f) + (k ∘ f) dan g ∘ (h + k) = (g ∘ h) + (g ∘ k).
Karena komposisinya asosiatif, ini menunjukkan bahwa himpunan End( G ) dari semua keendomorfan dari grup abelian membentuk gelanggang, yang gelanggang keendomorfan dari G . Misalnya, cincin endomorfisma dari grup abelian yang terdiri dari jumlah langsung dari salinan m dari Z/nZ isomorfik terhadap gelanggang m -oleh- m matriks dengan entri dalam Z/nZ. Menunjukkan bahwa kategori semua grup abelian dengan kehomomorfan grup membentuk kategori preadditif; keberadaan jumlah langsung dan kernel menjadikan kategori ini contoh prototipe dari sebuah kategori abelian.
Lihat pula
[sunting | sunting sumber]Referensi
[sunting | sunting sumber]- Dummit, D. S.; Foote, R. (2004). Abstract Algebra (edisi ke-3rd). Wiley. hlm. 71–72. ISBN 978-0-471-43334-7.
- Templat:Lang Algebra
Pranala luar
[sunting | sunting sumber]- (Inggris) Rowland, Todd; Weisstein, Eric W. "Group Homomorphism". MathWorld.