Back تشاكل الزمر Arabic Qrupların homomorfizmi Azerbaijani Grupový homomorfismus Czech Gruppehomomorfi Danish Gruppenhomomorphismus German Group homomorphism English Grupa homomorfio Esperanto Homomorfismo de grupos Spanish همریختی گروهی Persian Ryhmähomomorfismi Finnish
En matemàtiques, donats dos grups (G, ∗) i (H, ·), un homomorfisme de grups de (G, ∗) a (H, ·), de vegades dit senzillament morfisme de grups, és una funció h : G → H tal que per a tot u i v de G es compleix que
on l'operació de grup a l'esquerra de l'equació és la de G i la de la dreta és la d'H.
A partir d'aquesta propietat, es pot deduir que h fa correspondre l'element identitat eG de G a l'element identitat eH d'H, i també fa correspondre els elements inversos amb els elements inversos en el sentit que
Per això es pot dir que h "és compatible amb l'estructura de grup".
Sigui , com que G és un grup, , i, per la definició d'homomorfisme, . Operant amb l'element invers de pel costat esquerre a banda i banda obtenim , que és el que volíem demostrar.
A continuació, vegem que "la imatge de l'invers és l'invers de la imatge"; hem vist que:
, i tenim que . Multiplicant de nou, per l'esquerra, per l'invers de , , obtenim:
, que és el que volíem demostrar.
Les notacions antigues per a l'homomorfisme h(x) poden ser xh, encara que això es pot confondre com un índex o un subíndex general. Una tendència més recent és escriure els homomorfismes de grup a la dreta dels seus arguments, ometent parèntesis, de manera que h(x) es converteix simplement en x h. Aquesta notació és especialment predominant en àrees de la teoria de grups on els autòmats hi tenen un paper significatiu, ja que concorda millor amb la convenció que els autòmats llegeixen les paraules d'esquerra a dreta.
En àrees de les matemàtiques on es tracta amb grups dotats d'una estructura addicional, un homomorfisme de vegades significa una funció que respecta no només l'estructura de grup (com s'ha explicat abans) sinó també l'estructura extra. Per exemple, s'exigeix sovint que un homomorfisme de grups topològics sigui continu. Aquest sentit es generalitza amb la noció de morfisme pròpia de la teoria de categories. Segons aquesta teoria els homomorfismes de grups són senzillament els morfismes de la categoria de grups.