Un morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure de groupe.
Plus précisément, c'est un morphisme de magmas d'un groupe dans un groupe , c'est-à-dire une application telle que
et l'on en déduit alors que
Un morphisme d'un groupe G dans lui-même est appelé un endomorphisme de G.
On dit que est un isomorphisme de groupes si est un morphisme bijectif. Dans ce cas, est aussi un isomorphisme de groupes. Si de plus , autrement dit si l'isomorphisme est un endomorphisme, on dit que est un automorphisme du groupe .
Un morphisme de groupes transporte la loi de groupe, et va ainsi conserver toutes les propriétés liées à cette loi. Il est donc intéressant d'étudier comment se comportent les principaux objets de la théorie des groupes sous l'effet des morphismes.
Soit un morphisme de groupes. Alors :
Comme pour toute application, l'image d'un morphisme de groupes est définie par :
et est surjectif si et seulement si son image est égale à .
Le noyau (Kern en allemand, kernel en anglais) est plus spécifique aux morphismes. On appelle noyau du morphisme l'ensemble
et est injectif si et seulement si son noyau est réduit à .
D'après le § précédent, pour tout morphisme , est un sous-groupe de et est un sous-groupe normal de . De plus, si S est une partie génératrice de G, alors f(S) est une partie génératrice de im(f).
Un isomorphisme de groupes est un morphisme de groupes qui est bijectif.
Lorsqu'il existe un isomorphisme du groupe vers le groupe , sa bijection réciproque est un isomorphisme du groupe vers le groupe ; on dit alors que les deux groupes sont isomorphes, ce que l'on note .
Un automorphisme de groupe est un morphisme qui est à la fois un isomorphisme de groupes et un endomorphisme de groupe
L'ensemble des automorphismes du groupe G est généralement noté Aut(G). C'est un sous-groupe du groupe des bijections de G dans G (muni de la loi de composition).
Les trois théorèmes d'isomorphisme suivants sont généralisables à d'autres structures que les groupes. Voir notamment Algèbre universelle#Passage au quotient et théorèmes d'isomorphie.
induit un isomorphisme du groupe quotient vers .
On déduit de ce théorème fondamental deux autres théorèmes d'isomorphisme.
Si N est un sous-groupe normal de G et H un sous-groupe de G, alors est un sous-groupe normal de H et on a l'isomorphisme suivant :
Soient N et M deux sous-groupes normaux de G tels que M soit inclus dans N. Alors N/M est un sous-groupe normal de G/M et on a l'isomorphisme suivant :
This article uses material from the Wikipedia Français article Morphisme de groupes, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Le contenu est disponible sous licence CC BY-SA 4.0 sauf mention contraire. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Français (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.