Rédigé et vérifié par un professeur diplômé de l’École Polytechnique. Découvrir le professeur
« Deux groupes isomorphes, c’est le même groupe habillé différemment. » Cette phrase, tu vas l’entendre en boucle dès les premières semaines de sup — et derrière elle se cache l’un des concepts les plus puissants de toute l’algèbre. Un isomorphisme, c’est un dictionnaire parfait entre deux structures : tout ce qui est vrai d’un côté se traduit exactement de l’autre. Dans cet article, tu vas comprendre ce qu’est réellement un isomorphisme, apprendre la méthode en trois étapes pour en démontrer un sur ta copie, et surtout maîtriser la question inverse que les colleurs adorent : comment prouver que deux structures ne sont pas isomorphes.
Réponse directe. Un isomorphisme est un morphisme bijectif entre deux structures algébriques (deux groupes, deux anneaux, deux espaces vectoriels…). Il conserve les opérations et sa réciproque aussi. Deux structures reliées par un isomorphisme sont dites isomorphes : elles ont exactement les mêmes propriétés algébriques et on les note \(E \cong F\). Concrètement, un isomorphisme permet d’identifier deux objets qui « fonctionnent pareil ».
I. À quoi sert un isomorphisme
Avant toute définition formelle, il faut comprendre pourquoi ce concept existe. Un isomorphisme est un outil de transport : il permet de déménager toutes les propriétés algébriques d’une structure vers une autre.
Étymologie : le mot vient du grec iso- (égal) et morphê (forme). Un isomorphisme est donc littéralement une « égalité de forme » : deux objets qui ont la même structure, au renommage des éléments près. C’est ce sens géométrique et intuitif qu’il faut garder en tête, bien avant la notation.
L’exemple fondateur est celui du logarithme. La fonction \(\ln\) est un isomorphisme du groupe \((\mathbb{R}_+^*, \times)\) vers le groupe \((\mathbb{R}, +)\), car \(\ln(xy) = \ln(x) + \ln(y)\) et \(\ln\) est bijective, de réciproque \(\exp\). Elle transforme les produits en sommes. C’est exactement ce qui permettait, avant les calculatrices, de multiplier deux grands nombres à l’aide d’une table de logarithmes : on remplaçait une multiplication difficile par une addition facile. L’isomorphisme transporte le calcul d’une structure vers une autre où il est plus simple.
En prépa, cette idée devient un principe de travail permanent : quand deux structures sont isomorphes, tout ce que tu démontres dans l’une est automatiquement vrai dans l’autre. Prouver qu’un groupe abstrait est isomorphe à \(\mathbb{Z}/n\mathbb{Z}\), c’est ramener son étude à des calculs de congruences que tu maîtrises déjà. L’isomorphisme est donc un formidable outil de réduction : il permet de reconnaître qu’un objet compliqué n’est qu’un déguisement d’un objet connu.
Cette philosophie prolonge celle des applications entre ensembles : là où une bijection identifie deux ensembles « à leur cardinal près », un isomorphisme les identifie « à toute leur structure algébrique près ». C’est bien plus exigeant, et bien plus riche.
II. Définition et notation de l’isomorphisme
Maintenant que l’intuition est en place, formalisons. La définition repose entièrement sur celle de morphisme : un isomorphisme n’est rien d’autre qu’un morphisme bijectif.
Définition — Isomorphisme
Soient \((E, \star)\) et \((F, \bullet)\) deux structures algébriques de même type (deux groupes, deux anneaux, deux espaces vectoriels…). Une application \(f : E \to F\) est un isomorphisme lorsque :
- \(f\) est un morphisme : elle est compatible avec les lois, c’est-à-dire \(f(x \star y) = f(x) \bullet f(y)\) pour tous \(x, y \in E\) ;
- \(f\) est bijective.
On dit alors que \(E\) et \(F\) sont isomorphes, ce qu’on note \(E \cong F\).
La notation \(\cong\) (parfois \(\simeq\)) se lit « est isomorphe à ». Elle définit une relation d’équivalence sur les structures : elle est réflexive (\(E \cong E\) via l’identité), symétrique et transitive. Retenir cela évite bien des maladresses de rédaction.
A. La réciproque est automatiquement un morphisme
C’est le point élégant de la théorie, et une source d’erreurs si on ne l’a pas compris. Quand \(f\) est un isomorphisme, on n’a pas besoin de vérifier que \(f^{-1}\) est un morphisme : c’est automatique.
Preuve — La réciproque d’un isomorphisme est un morphisme.
Soit \(f : (E,\star) \to (F,\bullet)\) un isomorphisme. Soient \(a, b \in F\). Comme \(f\) est bijective, il existe des uniques \(x, y \in E\) tels que \(a = f(x)\) et \(b = f(y)\), donc \(x = f^{-1}(a)\) et \(y = f^{-1}(b)\). Alors :
\(f^{-1}(a \bullet b) = f^{-1}\big(f(x) \bullet f(y)\big) = f^{-1}\big(f(x \star y)\big) = x \star y = f^{-1}(a) \star f^{-1}(b).\)
Donc \(f^{-1}\) est bien un morphisme. ∎
Cette propriété n’est pas seulement esthétique : elle signifie que la relation « être isomorphe » est vraiment symétrique. Si \(E \cong F\) alors \(F \cong E\), sans travail supplémentaire.
Attention — le cadre compte. Le caractère automatique de \(f^{-1}\) est garanti pour les structures algébriques (groupes, anneaux, ev). Ce n’est pas vrai en topologie : une bijection continue n’a pas forcément une réciproque continue. Ne transpose jamais cette propriété hors du contexte algébrique sans précaution.
La fiche méthode « Démontrer un isomorphisme » en recto-verso
La méthode en 3 étapes, la liste des invariants pour la non-isomorphie et le tableau des 4 notions — tout tient sur une page à glisser dans ton classeur.
📄 Télécharger la fiche méthodePrête à imprimer, pensée pour les colles et les DS.
III. Comment montrer qu’une application est un isomorphisme
C’est la question qui tombe en colle, en DS et à l’oral. La bonne nouvelle : il existe une méthode systématique en trois étapes. La mauvaise : la plupart des élèves en oublient une, ou traitent la bijectivité de travers.
A. La méthode en 3 étapes
- Étape 1 — Vérifier que \(f\) est bien définie et est un morphisme. On établit l’identité \(f(x \star y) = f(x) \bullet f(y)\) pour tous \(x, y\). C’est le cœur du travail : sans cette compatibilité, \(f\) n’est qu’une bijection banale, pas un isomorphisme.
- Étape 2 — Prouver l’injectivité. Pour les morphismes de groupes, le raccourci décisif : \(f\) est injective si et seulement si son noyau est réduit à l’élément neutre, \(\ker f = \{e_E\}\). Sinon, on revient à la définition \(f(x) = f(y) \Longrightarrow x = y\).
- Étape 3 — Prouver la surjectivité. On montre que tout élément de \(F\) possède un antécédent. En dimension finie, un argument de dimension suffit souvent (voir plus bas).
À écrire sur la copie. Structure toujours ta rédaction ainsi, dans cet ordre :
- « Montrons que \(f\) est un morphisme. » → calcul de \(f(x\star y)\).
- « Montrons que \(f\) est injective. » → soit \(x \in \ker f\)… donc \(\ker f = \{e\}\).
- « Montrons que \(f\) est surjective. » → soit \(y \in F\), je cherche un antécédent.
- « \(f\) est un morphisme bijectif, c’est donc un isomorphisme, et \(E \cong F\). »
B. Exemple modèle entièrement rédigé
Exemple : montrer que \(\exp : (\mathbb{R}, +) \to (\mathbb{R}_+^*, \times)\) est un isomorphisme de groupes.
Morphisme : pour tous réels \(x, y\), on a \(\exp(x + y) = \exp(x)\,\exp(y)\). L’image d’une somme est le produit des images : \(\exp\) est bien un morphisme de \((\mathbb{R},+)\) vers \((\mathbb{R}_+^*,\times)\).
Injectivité : le neutre de \((\mathbb{R}_+^*,\times)\) est \(1\). Si \(\exp(x) = 1\) alors \(x = 0\). Donc \(\ker(\exp) = \{0\}\) et \(\exp\) est injective.
Surjectivité : tout réel \(y\) > \(0\) s’écrit \(y = \exp(\ln y)\), donc \(y\) admet \(\ln y\) pour antécédent. \(\exp\) est surjective.
Conclusion : \(\exp\) est un morphisme bijectif, donc un isomorphisme. Ainsi \((\mathbb{R},+) \cong (\mathbb{R}_+^*,\times)\), et sa réciproque \(\ln\) est aussi un isomorphisme.
Cette structure de rédaction est valable pour tous les types de morphismes. La transition naturelle est maintenant la question miroir : que faire quand on veut prouver que deux structures ne sont pas isomorphes ?
IV. Montrer que deux groupes ne sont pas isomorphes
C’est la reformulation la plus fréquente sur les forums d’élèves, et pourtant presque aucun cours ne la traite explicitement. Pour prouver une non-existence d’isomorphisme, tester toutes les applications est impossible : il faut raisonner par l’absurde à l’aide d’invariants.
Principe des invariants. Un invariant est une propriété conservée par tout isomorphisme. Si deux structures diffèrent sur un invariant, elles ne peuvent pas être isomorphes. La stratégie est toujours : « Supposons \(f : G \to H\) un isomorphisme, et cherchons une contradiction sur un invariant. »
Les invariants les plus utiles pour des groupes finis, à connaître par cœur :
- Le cardinal (l’ordre du groupe). Un isomorphisme est bijectif, donc \(|G| = |H|\). Deux groupes de cardinaux différents ne sont jamais isomorphes.
- La commutativité. Si \(G\) est abélien et \(H\) ne l’est pas, aucun isomorphisme n’existe : la relation \(xy = yx\) se transporterait.
- Les ordres des éléments. Comme \(f(x)\) a toujours le même ordre que \(x\) (car \(f(x^k) = f(x)^k\) et \(f\) est injective), le nombre d’éléments d’ordre \(d\) est identique dans les deux groupes. Un groupe possédant un élément d’ordre 4 ne peut pas être isomorphe à un groupe où tous les éléments non neutres sont d’ordre 2.
- La cyclicité. Être engendré par un seul élément est un invariant.
Exemple : \(\mathbb{Z}/4\mathbb{Z}\) et le groupe de Klein \((\mathbb{Z}/2\mathbb{Z})^2\) ne sont pas isomorphes.
Les deux groupes ont le même cardinal 4 et sont tous deux abéliens : ces invariants ne suffisent pas. On passe aux ordres des éléments. Dans \(\mathbb{Z}/4\mathbb{Z}\), la classe \(\bar{1}\) est d’ordre 4. Dans \((\mathbb{Z}/2\mathbb{Z})^2\), tout élément \(x\) vérifie \(x + x = 0\), donc est d’ordre 1 ou 2 : aucun élément d’ordre 4. Comme un isomorphisme conserverait l’ordre des éléments, ces deux groupes ne peuvent être isomorphes. ∎
Erreur classique : croire que deux groupes de même cardinal sont forcément isomorphes. C’est faux dès \(|G| = 4\) (l’exemple ci-dessus). L’égalité des cardinaux est nécessaire mais absolument pas suffisante.
Ces techniques de comptage se prolongent naturellement en L3 avec les actions de groupe et la formule des classes, qui fournissent des invariants encore plus fins. Mais dès la sup, ces quatre invariants règlent l’immense majorité des exercices.
V. Morphisme, endomorphisme, isomorphisme, automorphisme
C’est la confusion numéro un du chapitre. Ces quatre mots se ressemblent mais désignent des objets précis. Voici la version synthétique de la distinction ; la version complète, avec la colonne des erreurs classiques, est hébergée sur la page automorphisme.
| Notion | Condition | Départ et arrivée | Exemple type |
|---|---|---|---|
| Morphisme | compatible avec les lois | \(E \to F\) | \(\pi : \mathbb{Z} \to \mathbb{Z}/n\mathbb{Z},\ k \mapsto \bar{k}\) (non injectif) |
| Endomorphisme | morphisme | \(E \to E\) | \(n \mapsto 2n\) dans \((\mathbb{Z},+)\) (injectif, non surjectif) |
| Isomorphisme | morphisme bijectif | \(E \to F\) | \(\ln : (\mathbb{R}_+^*,\times) \to (\mathbb{R},+)\) |
| Automorphisme | morphisme bijectif | \(E \to E\) | \(x \mapsto x^{-1}\) dans un groupe abélien |
La logique est simple à retenir : le préfixe iso- ajoute la bijectivité, le préfixe endo- impose de rester dans le même ensemble (\(E \to E\)), et auto- combine les deux (bijectif et \(E \to E\)). Un automorphisme est donc à la fois un endomorphisme et un isomorphisme. Pour approfondir chaque cas, consulte les pages dédiées : morphisme et automorphisme.
VI. Isomorphisme en algèbre linéaire
Le cas des espaces vectoriels est celui que tu rencontreras le plus souvent, car il offre un raccourci spectaculaire. Un isomorphisme d’espaces vectoriels est une application linéaire bijective.
Le théorème qui change tout. Deux espaces vectoriels de dimension finie sont isomorphes si et seulement s’ils ont la même dimension. En particulier, tout \(\mathbb{K}\)-espace vectoriel de dimension \(n\) est isomorphe à \(\mathbb{K}^n\).
La conséquence pratique est énorme. Pour une application linéaire \(f : E \to F\) entre espaces de même dimension finie, les trois propriétés suivantes sont équivalentes : \(f\) injective, \(f\) surjective, \(f\) bijective. Il suffit donc de prouver l’une des deux (souvent l’injectivité, via \(\ker f = \{0\}\)) pour obtenir l’isomorphisme gratuitement — l’étape 3 de la méthode devient superflue.
Cette étude se poursuit en détail dans le cours sur les espaces vectoriels et sa traduction matricielle dans le cours sur les matrices : une application linéaire en dimension finie est un isomorphisme si et seulement si sa matrice dans une base est inversible.
VII. Le cas de l’isomorphisme de graphes
Une brève mise au point, car la requête revient souvent. En théorie des graphes, un isomorphisme désigne une bijection entre les sommets de deux graphes préservant les arêtes : deux graphes isomorphes sont « le même dessin » réétiqueté. Le concept est cousin de celui traité ici (préservation d’une structure), mais il relève d’un autre domaine et n’est pas au cœur du programme d’algèbre de prépa. Nous ne le développons pas davantage sur cette page.
VIII. Exercices corrigés
Cinq exercices classés par difficulté croissante, avec correction détaillée. Cache la correction, cherche vraiment, puis compare : c’est le seul moyen de progresser.
Exercice 1 — Isomorphisme additif ★
Montrer que \((\mathbb{Z}, +)\) et \((2\mathbb{Z}, +)\) sont isomorphes.
Voir la correction de l’exercice 1
Posons \(f : \mathbb{Z} \to 2\mathbb{Z}\) définie par \(f(n) = 2n\).
Morphisme : \(f(n + m) = 2(n+m) = 2n + 2m = f(n) + f(m)\).
Injectivité : si \(f(n) = 0\) alors \(2n = 0\) donc \(n = 0\) : \(\ker f = \{0\}\).
Surjectivité : tout élément de \(2\mathbb{Z}\) s’écrit \(2k\) avec \(k \in \mathbb{Z}\), et \(2k = f(k)\).
Conclusion : \(f\) est un morphisme bijectif, donc \((\mathbb{Z},+) \cong (2\mathbb{Z},+)\). Détail contre-intuitif : un groupe est isomorphe à l’un de ses sous-groupes stricts.
Exercice 2 — Un isomorphisme complexe ★★
Soit \(f : \mathbb{C} \to \mathbb{C}\), \(z \mapsto \bar{z}\). Montrer que \(f\) est un automorphisme du groupe \((\mathbb{C}, +)\). Est-ce aussi un automorphisme de l’anneau \((\mathbb{C}, +, \times)\) ?
Voir la correction de l’exercice 2
Groupe additif. \(f(z + z') = \overline{z + z'} = \bar{z} + \bar{z'} = f(z) + f(z')\) : morphisme. La conjugaison est involutive, \(f \circ f = \mathrm{id}\), donc \(f\) est bijective (elle est sa propre réciproque). C’est un endomorphisme bijectif de \((\mathbb{C},+)\), donc un automorphisme.
Anneau. Il faut de plus vérifier la compatibilité avec le produit : \(f(z z') = \overline{z z'} = \bar{z}\,\bar{z'} = f(z) f(z')\), et \(f(1) = 1\). La conjugaison respecte donc aussi la multiplication.
Conclusion : \(f\) est bien un automorphisme d’anneau de \(\mathbb{C}\) (l’un des deux seuls automorphismes continus de \(\mathbb{C}\) avec l’identité).
Exercice 3 — Deux groupes NON isomorphes ★★
Les groupes \((\mathbb{R}, +)\) et \((\mathbb{R}^*, \times)\) sont-ils isomorphes ?
Voir la correction de l’exercice 3
Non. Raisonnons par l’absurde en cherchant un invariant : le nombre d’éléments d’ordre fini.
Dans \((\mathbb{R}^*,\times)\), l’élément \(-1\) vérifie \((-1)^2 = 1\) : il est d’ordre 2. Il existe donc un élément d’ordre 2.
Dans \((\mathbb{R},+)\), un élément \(x\) d’ordre 2 vérifierait \(x + x = 0\), soit \(2x = 0\), donc \(x = 0\) : seul le neutre convient, il n’y a aucun élément d’ordre 2.
Or un isomorphisme conserve l’ordre des éléments : s’il existait \(f : \mathbb{R}^* \to \mathbb{R}\) isomorphisme, \(f(-1)\) serait un élément d’ordre 2 de \((\mathbb{R},+)\), ce qui est impossible. Ces deux groupes ne sont pas isomorphes.
Exercice 4 — Isomorphisme linéaire par la dimension ★★★
Soit \(E = \mathbb{R}_2[X]\) l’espace des polynômes de degré au plus 2. On pose \(\varphi : E \to \mathbb{R}^3\), \(P \mapsto (P(0), P(1), P(2))\). Montrer que \(\varphi\) est un isomorphisme.
Voir la correction de l’exercice 4
Linéarité : pour \(P, Q \in E\) et \(\lambda \in \mathbb{R}\), \(\varphi(\lambda P + Q) = \big((\lambda P + Q)(0), \dots\big) = \lambda \varphi(P) + \varphi(Q)\). L’application est linéaire.
Injectivité : soit \(P \in \ker \varphi\). Alors \(P(0) = P(1) = P(2) = 0\) : \(P\) admet trois racines distinctes tout en étant de degré \(\leq 2\). Un tel polynôme est nécessairement nul, donc \(\ker \varphi = \{0\}\) : \(\varphi\) est injective.
Conclusion par la dimension : \(\dim E = 3 = \dim \mathbb{R}^3\). Une application linéaire injective entre espaces de même dimension finie est bijective. Donc \(\varphi\) est un isomorphisme, et \(\mathbb{R}_2[X] \cong \mathbb{R}^3\).
Remarque : pas besoin de prouver la surjectivité directement, l’argument de dimension la fournit.
Exercice 5 — Groupe cyclique et Z/nZ ★★★
Soit \(G = \{1, i, -1, -i\}\) le groupe des racines quatrièmes de l’unité muni de la multiplication. Montrer que \(G \cong \mathbb{Z}/4\mathbb{Z}\).
Voir la correction de l’exercice 5
L’élément \(i\) engendre \(G\) : ses puissances sont \(i^0 = 1\), \(i^1 = i\), \(i^2 = -1\), \(i^3 = -i\). Donc \(i\) est d’ordre 4 et \(G\) est cyclique d’ordre 4.
Définissons \(f : \mathbb{Z}/4\mathbb{Z} \to G\) par \(f(\bar{k}) = i^k\).
Bien défini : si \(\bar{k} = \bar{k'}\), alors \(k- k' = 4m\) et \(i^{k} = i^{k'} \cdot i^{4m} = i^{k'}\) car \(i^4 = 1\). La définition ne dépend pas du représentant.
Morphisme : \(f(\bar{k} + \bar{l}) = i^{k+l} = i^k i^l = f(\bar{k}) f(\bar{l})\).
Bijectivité : \(f\) envoie les 4 classes sur les 4 éléments distincts \(1, i, -1, -i\). C’est une bijection entre deux ensembles à 4 éléments.
Conclusion : \(f\) est un isomorphisme, donc \(G \cong \mathbb{Z}/4\mathbb{Z}\). Résultat général : tout groupe cyclique d’ordre \(n\) est isomorphe à \(\mathbb{Z}/n\mathbb{Z}\).
Pour t’entraîner davantage, la page d’exercices corrigés de structures algébriques (MPSI) propose une série complète de morphismes et isomorphismes gradués jusqu’au niveau concours.
IX. Erreurs classiques et pièges
Voici les trois fautes qui coûtent le plus de points en colle. Apprends à les repérer sur ta propre copie.
❌ Copie fautive : « \(f\) est bijective, donc \(f\) est un isomorphisme. »
Diagnostic : la bijectivité seule ne suffit jamais. Il manque la compatibilité avec les lois. Une bijection quelconque entre deux groupes n’est pas un isomorphisme.
✅ Correction : « \(f\) est un morphisme (calcul de \(f(x\star y)\)) et est bijective, donc c’est un isomorphisme. » Les deux conditions, toujours.
❌ Copie fautive : « \(|G| = |H| = 6\), donc \(G \cong H\). »
Diagnostic : l’égalité des cardinaux est nécessaire mais pas suffisante. Il existe des groupes de même ordre non isomorphes (par exemple \(\mathbb{Z}/6\mathbb{Z}\) et le groupe symétrique \(S_3\), tous deux d’ordre 6, mais l’un abélien et pas l’autre).
✅ Correction : pour conclure à un isomorphisme, il faut construire une application et vérifier morphisme + bijectivité. Pour conclure à la non-isomorphie, exhiber un invariant qui diffère.
❌ Copie fautive : vouloir re-démontrer que \(f^{-1}\) est un morphisme après avoir prouvé que \(f\) est un isomorphisme.
Diagnostic : temps perdu. Le caractère morphique de la réciproque est automatique en algèbre (cf. section II).
✅ Correction : une fois \(f\) isomorphisme établi, conclure directement que \(f^{-1}\) en est un, sans nouveau calcul.
X. Rédaction concours : ce que le correcteur attend
À l’écrit comme à l’oral (CCINP, Mines-Ponts, X-ENS), l’isomorphisme est un exercice de rigueur autant que de calcul. Voici ce qui distingue une copie qui prend tous les points.
- Annoncer le plan. Écris explicitement « Montrons que \(f\) est un morphisme », « Montrons l’injectivité », etc. Le correcteur veut voir que tu connais la structure de la preuve, pas deviner ta démarche.
- Le noyau pour l’injectivité. Pour un morphisme de groupes, la phrase attendue est : « \(f\) injective \(\Longleftrightarrow \ker f = \{e\}\) ». C’est le réflexe qui rapporte, plus élégant que le retour à \(f(x)=f(y)\).
- L’argument de dimension en linéaire. Quand \(\dim E = \dim F\) fini, écris « injective et de même dimension, donc bijective ». Ne perds pas de temps à prouver la surjectivité à la main.
- La conclusion nommée. Termine toujours par « \(f\) est un morphisme bijectif, c’est donc un isomorphisme, et \(E \cong F\) ». La ligne de conclusion, oubliée sous la pression, fait perdre le dernier point.
- Pour la non-isomorphie : nomme l’invariant utilisé (« l’ordre des éléments est un invariant d’isomorphisme ») avant de conclure par l’absurde. Un correcteur veut voir que tu sais pourquoi ta contradiction fonctionne.
XI. Questions fréquentes
C’est quoi un isomorphisme, simplement ?
Un isomorphisme est une application bijective entre deux structures algébriques qui préserve les opérations. Concrètement, c’est un « dictionnaire parfait » : deux structures isomorphes ont exactement les mêmes propriétés algébriques, on peut les considérer comme le même objet à un renommage des éléments près. On note alors \(E \cong F\).
Quelle est la différence entre isomorphisme et automorphisme ?
Un isomorphisme relie deux structures qui peuvent être différentes (\(E \to F\)). Un automorphisme est un isomorphisme d’une structure sur elle-même (\(E \to E\)) : c’est un cas particulier. Tout automorphisme est un isomorphisme, mais l’inverse est faux. Voir la page automorphisme pour le tableau complet.
Comment prouver que deux groupes ne sont pas isomorphes ?
On utilise un invariant, c’est-à-dire une propriété conservée par tout isomorphisme : cardinal, commutativité, cyclicité, ou nombre d’éléments d’un ordre donné. Si les deux groupes diffèrent sur au moins un invariant, ils ne peuvent pas être isomorphes. On rédige par l’absurde : « si \(f\) était un isomorphisme, alors… contradiction ».
Deux ensembles de même cardinal sont-ils isomorphes ?
Comme simples ensembles, oui : une bijection existe toujours entre deux ensembles finis de même cardinal. Mais comme groupes ou anneaux, non : l’égalité des cardinaux est nécessaire mais pas suffisante. \(\mathbb{Z}/4\mathbb{Z}\) et \((\mathbb{Z}/2\mathbb{Z})^2\) ont 4 éléments chacun et ne sont pas isomorphes.
Faut-il vérifier que la réciproque est un morphisme ?
Non, c’est automatique pour les structures algébriques : dès que \(f\) est un morphisme bijectif, \(f^{-1}\) est aussi un morphisme (la preuve est courte, cf. section II). Attention cependant : cette propriété tombe en topologie, où une bijection continue peut avoir une réciproque non continue.
Deux espaces vectoriels de dimension 3 sont-ils toujours isomorphes ?
Oui, à condition qu’ils soient sur le même corps. Deux espaces vectoriels de dimension finie sont isomorphes si et seulement s’ils ont la même dimension. Tout \(\mathbb{K}\)-espace vectoriel de dimension \(n\) est isomorphe à \(\mathbb{K}^n\). C’est ce qui justifie le passage aux coordonnées.
Que signifie la notation ≅ ?
\(E \cong F\) se lit « \(E\) est isomorphe à \(F\) ». C’est une relation d’équivalence entre structures : réflexive, symétrique et transitive. On rencontre aussi la notation \(\simeq\) pour la même idée.
XII. Pour aller plus loin
D’où ça vient, où ça mène. L’isomorphisme prolonge la notion de morphisme, elle-même bâtie sur les applications entre ensembles ; en aval, il débouche en L3 sur les théorèmes d’isomorphisme (le premier énonce que \(G/\ker f \cong \mathrm{Im}\, f\)) et sur les actions de groupe. C’est le fil rouge de toute l’algèbre, du chapitre sur les structures algébriques jusqu’aux classifications avancées.
Tu maîtrises maintenant l’isomorphisme. Pour continuer :
- Espace vectoriel : cours complet avec démonstrations et exercices corrigés
- Matrices en Mathématiques : Cours, Méthodes et Exercices Corrigés
- Logique et raisonnement en mathématiques
- 20 Exercices Corrigés : Applications Linéaires — Prépa MPSI/PCSI/MP
Tu veux sécuriser l’algèbre dès les premières semaines de sup et gagner en aisance sur les démonstrations ? Découvre les cours particuliers Excellence Maths pour l’université et la préparation au supérieur.
