Un isomorphisme d'un objet mathématique sur lui‑même qui préserve la structure algébrique ou relationnelle spécifiée ; c'est une symétrie de cet objet.

Principe

Un automorphisme est un morphisme bijectif f: X → X tel que chaque opération ou relation définissant X est préservée ; les automorphismes se composent pour former un groupe par composition.

Démonstration

Dans un groupe fini G, la conjugaison par g∈G définit un automorphisme intérieur x↦gxg^{-1} ; pour un espace vectoriel V, les applications linéaires inversibles forment GL(V), le groupe des automorphismes linéaires.

Mauvaise application

Qualifier toute bijection de l'ensemble sous‑jacent d'automorphisme sans vérifier la préservation des opérations (par exemple, une permutation arbitraire des éléments d'un groupe ne préserve généralement pas la loi du groupe).

Conséquence

Identifier correctement les automorphismes donne le groupe d'automorphismes Aut(X), qui encode les symétries, invariants et données de classification ; en résultent sous‑objets de points fixes et décompositions en orbites.

Inversion

Un endomorphisme non inversible (un auto‑homomorphisme qui n'est pas un isomorphisme) inverse le concept en autorisant des applications qui préservent la structure sans être bijectives.

Limite

S'applique uniquement aux auto‑isomorphismes dans la catégorie choisie ; exclut les endomorphismes non inversibles et les applications entre objets différents ; la notion dépend de la catégorie ambiante et de sa notion d'isomorphisme.

Tension sémantique

Tension entre « symétrie comme bijection » et « préservation de la structure » ; certains usages relâchent la bijectivité (p. ex. symétries approximatives), ce qui est en conflit avec la définition stricte d'automorphisme.

Synthèse

Un automorphisme est la symétrie catégorique d'un objet : une bijection auto‑préservant la structure dont l'algèbre de composition forme le groupe d'automorphismes et qui contrôle les invariants et la classification.