Un homomorphisme bijectif dont l'inverse est également un homomorphisme ; il établit une équivalence d'objets algébriques de sorte que les deux objets ont la même forme algébrique.

Principe

Les isomorphismes identifient quand deux objets sont identiques à renommer les éléments près : la structure et toutes les relations algébriques sont transportées parfaitement dans les deux sens par les inverses.

Démonstration

Deux espaces vectoriels de dimension finie sur un même corps sont isomorphes si et seulement s'ils ont la même dimension ; l'application envoyant une base sur une base s'étend en un isomorphisme. Un isomorphisme d'anneaux préserve l'addition, la multiplication et, lorsque requis, l'élément multiplicatif unité.

Mauvaise application

Supposer que des objets sont isomorphes sur la base d'une similitude superficielle (même cardinalité ou même nombre de générateurs) sans construire un homomorphisme bijectif ; confondre une bijection des ensembles sous-jacents avec un isomorphisme quand les opérations ne sont pas préservées.

Conséquence

Les objets isomorphes partagent tous les invariants catégoriques et algébriques définissables uniquement en termes de la structure (par ex. ordre du groupe, treillis des quotients, invariants de modules) ; la classification se ramène souvent à des classes d'isomorphie.

Inversion

Une application bijective qui n'est pas un homomorphisme (ou dont l'inverse n'est pas un homomorphisme) ne produit pas d'équivalence ; l'inversibilité seule est insuffisante sans préservation des opérations.

Limite

Exige une inverse bilatérale préservant la structure dans la catégorie considérée ; des notions comme l'isomorphisme topologique ajoutent des exigences de continuité, et les isomorphismes d'anneaux peuvent être exigés de préserver 1 selon le contexte.

Tension sémantique

Tension entre égalité et isomorphisme : les objets isomorphes sont 'les mêmes' sur le plan structural mais pas littéralement égaux comme ensembles ; cette distinction a de l'importance dans les raisonnements formels.

Synthèse

Un isomorphisme est un homomorphisme bijectif dont l'inverse préserve la structure, fournissant un dictionnaire bilatéral entre objets algébriques qui les rend équivalents pour tous les usages structurels dans la catégorie donnée.