Morphisme de groupe


Morphisme de groupe

Morphisme de groupes

Un morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure des groupes.

Plus précisément, si (G,*) et (G',\star) sont deux groupes de neutres respectifs e et e', une application f : G \rightarrow G' \, est un morphisme du groupes lorsque :

 \forall (x,y) \in G^2, \; f(x*y)=f(x) \star f(y)

Les deux propriétés suivantes sont des conséquences immédiates de la définition :

  •  f(e)=e' \,
     \forall x \in G,\;  f(x^{-1})=[f(x)]^{-1} \,

On dit que f est un isomorphisme de groupes si f est un morphisme bijectif. Dans ce cas, f-1 est aussi un morphisme de groupes. Si de plus, (G,*)=(G',\star), on parle d'automorphisme du groupe G .

Un morphisme de groupe 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 par les morphismes.

Sommaire

Liens avec les sous-groupes

Soient  H \subset G \, un sous-groupe de  G \,

 H' \subset G' \, un sous-groupe de G' \, .

On a alors:

 f(H) \, est un sous-groupe de G' \,

 f^{<-1 >}(H') \, est un sous-groupe de G \,


Par ailleurs:

Si  H' \, est un sous-groupe distingué de G'\,, alors  f^{<-1>}(H') \, est un sous-groupe distingué de G=f^{<-1>}(G')\,

note: dans le cas où  f\, est surjectif, on a f(G)=G'\, et donc  f(H) \, est un sous-groupe distingué de G'\,

Noyau et image

Par définition, on appelle noyau (Kern en allemand, kernel en anglais) du morphisme f, l'ensemble :  \ker f=f^{<-1>} \{ e' \} \,

L'image de f est définie par :  \mbox{Im} f=f(G) \,


On a les propriétés suivantes :

 \ker f est un sous-groupe distingué de G\,.

 \mbox{Im} f \, est un sous-groupe de G' \, .


Équivalence fondamentale :

 f \,\mbox{est injective} \Leftrightarrow \ker f = \{e\}

Isomorphismes de groupe

On suppose dans cette section que f est un isomorphisme. Cela revient à dire que c'est un morphisme bijectif.

On dit alors que les deux groupes G et G' sont isomorphes.

L'application réciproque f − 1 de G' vers G est également un isomorphisme de groupe.

Les deux groupes G et G' vont avoir exactement les mêmes propriétés, c'est-à-dire que du point de vue de la théorie des groupes ils se comportent comme étant le même objet.

Théorèmes d'isomorphismes

Article détaillé : Théorèmes d'isomorphisme.

f induit un isomorphisme du groupe quotient G/ \ker f \, vers  f(G) \,

On peut noter mathématiquement cet isomophisme par :

G/ker f\simeq Im(f)

On déduit de ce théorème fondamental deux autres théorèmes d'isomorphisme.

Deuxième théorème d'isomorphisme

Si N est un sous-groupe normal de G et H un sous-groupe de G, alors  H \cap N est un sous-groupe normal de H et on a l'isomorphisme suivant :

H/(H \cap N) \simeq NH/N

Troisième théorème d'isomorphisme

Soit N et M deux sous-groupes normaux de G tels que M est inclus dans N. N/M est alors un sous-groupe normal de G/M et on a l'isomorphisme suivant :

(G/N)/(N/M)\simeq G/M

Ces trois théorèmes d'isomorphisme sont généralisables à d'autres structures que les groupes. Voir notamment Algèbre universelle#Passage au quotient et théorèmes d'isomorphie.

Bibliographie

  • Elements de théorie des groupes , Josette Calais , PUF , Paris 1984.
  • Algèbre générale , Bernard Charles et Denis Allouch , PUF , Paris , 1984.
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Morphisme de groupes ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Morphisme de groupe de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Groupe Alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est composé des… …   Wikipédia en Français

  • Groupe alterne — Groupe alterné En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est… …   Wikipédia en Français

  • Groupe Cyclique — En mathématiques et plus précisément en algèbre, un groupe cyclique est un groupe de cardinal fini dans lequel il existe un élément a tel que tout élément du groupe puisse (en notation additive) s exprimer sous forme d un multiple de a. Sa… …   Wikipédia en Français

  • Groupe monogène — Groupe cyclique En mathématiques et plus précisément en algèbre, un groupe cyclique est un groupe de cardinal fini dans lequel il existe un élément a tel que tout élément du groupe puisse (en notation additive) s exprimer sous forme d un multiple …   Wikipédia en Français

  • Groupe Abélien De Type Fini — Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi de composition interne est… …   Wikipédia en Français

  • Groupe abelien de type fini — Groupe abélien de type fini Les groupes abéliens de type fini forment une sous catégorie particulière d objets mathématiques de la catégorie des groupes abstraits. Ce sont les groupes qui sont, d une part, abéliens, c’est à dire ceux dont la loi… …   Wikipédia en Français

  • Groupe Quotient — Dans l étude des groupes, le quotient d un groupe est une opération classique permettant la construction de nouveaux groupes à partir d anciens. À partir d un groupe G et d un sous groupe H de G, on peut définir une loi de groupe sur l ensemble… …   Wikipédia en Français

  • Groupe Libre — Le groupe libre sur un ensemble S est le groupe F contenant S et caractérisé par la propriété universelle suivante : pour tout groupe G et toute application ensembliste f de S dans G, il existe un unique morphisme de groupe de F dans G… …   Wikipédia en Français

  • Groupe Des Classes D'idéaux — En mathématiques, la théorie des corps de nombres fait apparaître un groupe abélien fini construit à partir de chaque tel corps : son groupe des classes d idéaux. Sommaire 1 Histoire et origine du groupe des classes d idéaux 2 Développement… …   Wikipédia en Français

  • Groupe des classes — d idéaux En mathématiques, la théorie des corps de nombres fait apparaître un groupe abélien fini construit à partir de chaque tel corps : son groupe des classes d idéaux. Sommaire 1 Histoire et origine du groupe des classes d idéaux 2… …   Wikipédia en Français