Automorphisme

Un automorphisme est un isomorphisme d'un objet mathématique X dans lui-même. Le plus souvent, c'est une bijection de X dans X qui préserve la « structure » de X. On peut le voir comme une symétrie de X. Les automorphismes de X forment un groupe.

Définition

La définition abstraite d'un automorphisme est la suivante : c'est un endomorphisme qui est en même temps un isomorphisme. Autrement dit, c'est un morphisme d'un objet X d'une catégorie donnée dans lui-même, qui est également un isomorphisme.

Cette définition est très générale et peut paraître assez abstraite. Dans les cas les plus fréquents cependant, elle se réduit à quelque chose de beaucoup plus concret. Par exemple, dans le cas d'une structure algébrique, un automorphisme sera simplement une application bijective qui préserve la ou les lois de composition définissant la structure.

L'ensemble des automorphismes d'un objet X est en général noté Aut(X), ou lorsqu'on veut préciser que l'on se place dans la catégorie C. La composition de fonctions (ou des flèches dans le cadre général des catégories) donne à Aut(X) une structure de groupe : l'élément neutre est la fonction identité, et l'inverse d'un automorphisme est sa réciproque.

Dans d'autres langues
العربية: تماثل ذاتي
català: Automorfisme
dansk: Automorfi
English: Automorphism
español: Automorfismo
فارسی: خودریختی
italiano: Automorfismo
日本語: 自己同型
Nederlands: Automorfisme
norsk nynorsk: Automorfisme
polski: Automorfizm
português: Automorfismo
русский: Автоморфизм
Simple English: Automorphism
slovenščina: Avtomorfizem
српски / srpski: Аутоморфизам
svenska: Automorfi
українська: Автоморфізм
Tiếng Việt: Phép tự đẳng cấu
中文: 自同构