Kehomomorfan grup

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, diberikan dua grup, (G, ∗) dan (H, ·), sebuah kehomomorfan grup dari ( G , ∗) ke ( H , ·) adalah fungsi h : G → H, u dan v dengan G dirumuskan

${\displaystyle h(u*v)=h(u)\cdot h(v)}$

dimana operasi grup di sisi kiri persamaan adalah G dan di sisi kanan H .

Dari sifat ini, bahwa h elemen identitas e_G dari G ke elemen identitas e_H dari H ,

${\displaystyle h(e_{G})=e_{H}}$

dan invers ke invers dalam arti

${\displaystyle h\left(u^{-1}\right)=h(u)^{-1}.\,}$

Maka, dikatakan bahwa h "sesuai dengan struktur grup".

Notasi lama untuk kehomomorfan h(x) maka x^h atau x_h,^{[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.