Un isomorphisme d'un objet algébrique sur lui‑même : un endomorphisme bijectif dont l'inverse préserve la structure ; il représente une symétrie de l'objet.

Principe

Les automorphismes forment un groupe pour la composition qui encode les symétries internes de l'objet ; la composition et l'inversion d'automorphismes préservent toute la structure algébrique.

Démonstration

Permuter une base donne des automorphismes d'un espace vectoriel ; pour un groupe G, la conjugaison par un élément inversible fixe fournit un automorphisme (automorphisme intérieur) ; Aut(G) désigne le groupe des automorphismes.

Mauvaise application

Qualifier d'automorphisme une application non bijective ou qui ne préserve pas la structure, ou supposer que les automorphismes fixent des éléments distingués (ils ne le font pas nécessairement sauf si une structure supplémentaire l'exige).

Conséquence

Le groupe des automorphismes saisit les invariants liés aux symétries, agit sur les objets dérivés (sous-groupes, idéaux, constructions tensorielles) et joue un rôle central en théorie de Galois, classification et résultats de rigidité.

Inversion

Un endomorphisme général qui n'est pas inversible n'est pas un automorphisme ; inversement, se restreindre aux seuls automorphismes intérieurs omet les symétries extérieures.

Limite

Exige bijectivité et préservation de toutes les opérations désignées ; dans des contextes enrichis (topologique, *‑algèbres) des conditions supplémentaires de continuité ou de préservation de l'involution peuvent être requises.

Tension sémantique

Tension entre automorphismes intérieurs et extérieurs : les automorphismes intérieurs se réalisent par conjugaison et forment un sous-groupe normal de Aut, tandis que les automorphismes extérieurs sont des classes d'équivalence qui ne proviennent pas de la conjugaison.

Synthèse

Un automorphisme est une auto‑application inversible préservant la structure dont le groupe de composition enregistre l'intégralité des symétries d'un objet algébrique ; l'étude de Aut(A) organise symétrie, invariants et déformations possibles.