Application envoyant un élément x sur g x g^{-1} pour un élément inversible fixé g dans un groupe, anneau, algèbre ou contexte analogue ; décrit l'action d'un élément par conjugaison interne et engendre un automorphisme interne lorsque g est fixé.

Principe

L'idée organisatrice est que la conjugaison réalise un changement de perspective ou de similarité : les éléments conjugués partagent des invariants structurels (ordre, trace, polynôme caractéristique, etc.) et sont regroupés en classes de conjugaison sous l'action des automorphismes intérieurs.

Démonstration

En algèbre matricielle, conjuguer A par une matrice inversible P via P A P^{-1} donne une matrice similaire ayant les mêmes valeurs propres et le même polynôme minimal ; dans un groupe, g x g^{-1} place x dans sa classe de conjugaison et éclaire la structure des sous-groupes normaux.

Mauvaise application

Prétendre que la conjugaison donne égalité (affirmer x = g x g^{-1}) sans précision ou utiliser la conjugaison par un élément non inversible conduit à des déclarations erronées ; confondre conjugaison et commutation (x g = g x) masque aussi les calculs de centralisateur.

Conséquence

La conjugaison organise les éléments en classes de conjugaison, identifie des invariants sous automorphismes intérieurs, définit la normalité (sous-groupe fermé par conjugaison) et est centrale en théorie des représentations et classification par similarité.

Inversion

Inverser la conjugaison en fixant x et en faisant varier g conduit à l'orbite de x sous les automorphismes intérieurs (sa classe de conjugaison) ; la réversion conceptuelle consiste à remplacer la conjugaison interne par des automorphismes externes ou par des multiplications à gauche/droite qui ne préservent pas les mêmes invariants.

Limite

Nécessite un élément agissant inversible dans un contexte où multiplication et inversion sont définies ; dans les semi-groupes ou avec des éléments non inversibles la formule g x g^{-1} peut être non définie ou perdre la propriété d'action de groupe. La conjugaison s'applique aux groupes, anneaux, algèbres associatives et catégories d'isomorphismes, mais pas à des magmas privés d'inverses.

Tension sémantique

Tension entre conjugaison et descriptions par commutateurs de la noncommutativité (la conjugaison mesure la similarité tandis que le commutateur mesure l'échec à commuter), et entre automorphismes intérieurs (réalisables par conjugaison) et automorphismes extérieurs (non réalisables par conjugaison interne).

Synthèse

La conjugaison est l'action interne x ↦ g x g^{-1} par un élément inversible g : une symétrie structurelle qui préserve des invariants essentiels et partitionne les éléments en classes de conjugaison, fondant similarité, normalité et de nombreuses procédures de classification.