## [Isomorphisme](/fr/node/61463) Définition Un isomorphisme est un homomorphisme bijectif entre deux structures algébriques dont l'inverse est lui-même un homomorphisme ; il montre que les deux structures sont identiques du point de vue structural pour la signature choisie. ## Principe Principe Indiscernabilité structurelle : des objets isomorphes satisfont exactement les mêmes formules algébriques dans le langage choisi, de sorte que la classification à isomorphisme près capture la 'même chose' de la structure plutôt que l'égalité des ensembles sous-jacents. ## Démonstration Démonstration Deux espaces vectoriels sur un même corps de même dimension sont isomorphes ; un isomorphisme explicite envoie une base de l'un sur une base de l'autre. L'isomorphisme de graphes est un exemple combinatoire : une bijection des sommets préservant l'adjacence réalise l'isomorphisme. ## Mauvaise application Mauvaise application Confondre isomorphisme et égalité des ensembles sous-jacents ou supposer qu'un isomorphisme est canonique sans préciser des choix (bases, ordres). Traiter de simples bijections qui ne préservent pas les opérations comme des isomorphismes est incorrect. ## Conséquence Conséquence Les isomorphismes préservent toutes les propriétés et invariants structurels ; les problèmes de classification se ramènent à décrire les classes d'isomorphisme et les modules, et les constructions se transportent le long d'isomorphismes sans perte d'information. ## Inversion Inversion Un homomorphisme non bijectif ou une bijection qui ne préserve pas les opérations fournit une relation plus faible (plongement, épimorphisme) ou aucune relation structurelle utile ; l'égalité est plus forte que l'isomorphisme lorsque l'identité des éléments importe au-delà de la structure. ## Limite Limite Dépend de la signature : l'isomorphisme doit préserver chaque opération et relation primitive spécifiée. Les classes d'isomorphisme, pas les représentants particuliers, sont au centre ; les automorphismes sont des isomorphismes d'un objet sur lui-même et forment un groupe. ## Tension sémantique Tension sémantique Isomorphisme vs égalité : l'isomorphisme identifie des structures à renumérotation près, tandis que l'égalité exige des ensembles et opérations identiques ; isomorphisme vs relation d'équivalence : l'isomorphisme est une relation d'équivalence mais peut être raffinée selon le contexte par des équivalences plus strictes. ## Synthèse Synthèse Un isomorphisme est l'application bijective respectueuse de la structure qui identifie deux objets algébriques comme identiques à permutation près, rendant les invariants et la classification significatifs en réduisant les instances indiscernables.