🔒 Contenu réservé aux abonnés
Pour dĂ©bloquer cette page de mathĂ©matiques, cliquez sur « Autoriser » dans la petite cloche en bas de l’Ă©cran pour vous abonner Ă nos notifications.
Isomorphismes, Endomorphismes et Automorphismes
Les morphismes sont des applications qui prĂ©servent la structure. Parmi eux, certains types particuliers jouent un rĂ´le prĂ©pondĂ©rant en algèbre. Ils correspondent Ă des situations spĂ©cifiques : un morphisme d’un groupe dans lui-mĂŞme, un morphisme qui est une « traduction parfaite » entre deux structures, etc.
Un endomorphisme d’un groupe $(G, \star)$ est un morphisme de $G$ dans lui-mĂŞme. C’est une application $f: G \to G$ qui vĂ©rifie $f(x \star y) = f(x) \star f(y)$.
Un isomorphisme entre deux groupes $(G, \star)$ et $(H, \bullet)$ est un morphisme $f: G \to H$ qui est bijectif.
Lorsqu’il existe un isomorphisme entre $G$ et $H$, on dit que les deux groupes sont isomorphes, et on note $G \simeq H$. Cela signifie qu’ils ont exactement la mĂŞme structure, mĂŞme si leurs Ă©lĂ©ments sont de nature diffĂ©rente.
Un automorphisme d’un groupe $G$ est un isomorphisme de $G$ dans lui-mĂŞme. C’est donc un morphisme bijectif de $G$ sur $G$.
Résumé de la Hiérarchie
- Endomorphisme = Morphisme de $G$ vers $G$.
- Isomorphisme = Morphisme + Bijectif.
- Automorphisme = Endomorphisme + Isomorphisme (donc morphisme bijectif de $G$ vers $G$).
Exemples
- Endomorphisme : L’application $f: (\mathbb{Z}, +) \to (\mathbb{Z}, +)$ dĂ©finie par $f(x) = 2x$ est un endomorphisme. Elle n’est pas surjective, donc ce n’est pas un automorphisme.
- Isomorphisme : L’application $\exp: (\mathbb{R}, +) \to (\mathbb{R}_+^*, \times)$ est un isomorphisme. Ces deux groupes sont structurellement identiques.
- Automorphisme : L’application $f: (\mathbb{Z}, +) \to (\mathbb{Z}, +)$ dĂ©finie par $f(x) = -x$ est un automorphisme. Elle est bien un morphisme ($f(x+y) = -(x+y) = (-x)+(-y) = f(x)+f(y)$) et elle est bijective.