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

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

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

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

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

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

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

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

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.