Fidèle (représentation)

Imaginez deux boutons qui commandent les permutations d'un petit ensemble de cartes. L'action est fidèle si deux commandes différentes produisent toujours deux mouvements différents, et si aucune commande non neutre ne laisse toutes les cartes immobiles. Rien n'est alors « invisible » dans l'action. Pour une représentation, l'idée est la même : chaque élément du groupe ou de l'algèbre laisse une trace distincte sur l'espace vectoriel. La fidélité vérifie ainsi que le support choisi montre bien toute la structure étudiée.

Soit G un groupe agissant sur un ensemble E. À chaque élément g de G, l'action associe la permutation de E qui envoie un élément x sur g·x. Cette association est un homomorphisme de G vers le groupe des permutations de E. L'action est fidèle exactement lorsque cet homomorphisme est injectif.

L'injectivité signifie que deux éléments distincts de G ne donnent pas la même permutation. De manière équivalente, le seul élément de G qui fixe chaque élément de E est l'élément neutre. L'ensemble des éléments qui agissent trivialement forme le noyau de l'action ; la fidélité impose que ce noyau soit réduit à l'élément neutre.

Pour une représentation d'un groupe sur un espace vectoriel, la même définition s'exprime avec des applications linéaires : chaque élément est envoyé sur une transformation linéaire, et le noyau doit être trivial. Une représentation d'une algèbre est dite fidèle lorsque son homomorphisme vers les endomorphismes de l'espace vectoriel est injectif. La fidélité dépend donc du support choisi : une même structure peut agir fidèlement sur un espace et non fidèlement sur un autre.

On rencontre cette notion lorsqu'un groupe décrit des symétries, des permutations ou des transformations linéaires. Le support peut être un ensemble de points, de cartes ou de sommets, ou bien un espace vectoriel. Plusieurs indices se lisent sans calcul : chaque élément du groupe agit, l'action conserve la structure prévue, l'élément neutre ne bouge rien, et une symétrie non neutre ne doit pas être invisible partout. Le support porte donc une représentation de la structure, à la manière d'un dispositif qui enregistre chacun de ses mouvements.

Pour tester la fidélité d'une action, on peut suivre quatre étapes. On identifie d'abord l'élément neutre et les éléments non neutres du groupe. On observe ensuite la permutation produite par chacun sur tous les éléments du support. On compare enfin les permutations obtenues : deux éléments distincts doivent avoir des effets distincts. Le test s'arrête dès qu'un élément non neutre fixe chaque point, car le noyau n'est alors pas trivial.

La convention importante est de considérer l'action sur la totalité de E : regarder un seul point peut masquer une différence. L'œil peut aussi confondre une permutation qui déplace quelques points avec l'identité. Le bon réflexe consiste à comparer les images de tous les points, dans le même ordre, puis à vérifier que seule l'identité agit partout trivialement.

Considérons le groupe G à deux éléments, formé de l'identité e et d'un élément s, ainsi que l'ensemble E = {a, b}. L'élément s échange a et b, tandis que e laisse a et b à leur place.

Les données sont les suivantes : G = {e, s} ; E = {a, b} ; e agit comme l'identité ; s agit comme l'échange de a et b.

On compare d'abord les deux actions produites.
e envoie a sur a et b sur b.
s envoie a sur b et b sur a.
Les deux permutations sont différentes.

Aucun élément non neutre n'agit trivialement : le seul élément non neutre est s, et s déplace a ainsi que b. Le noyau est donc réduit à {e}, et l'action est fidèle. Le contrôle est direct : les deux éléments de G donnent bien les deux permutations distinctes de E utilisées ici.

En théorie des groupes, une action fidèle permet d'identifier les éléments du groupe à partir de leurs effets sur le support. Elle est utile lorsque l'on veut étudier un groupe comme un groupe de permutations, sans perdre d'information.

Dans une représentation linéaire, on vérifie si deux éléments produisent la même transformation sur l'espace vectoriel. Si cette égalité révèle un noyau non trivial, on peut remplacer la représentation par l'action du quotient par ce noyau, qui est fidèle sur son image.

Une action fidèle ne signifie pas que chaque élément déplace chaque point. L'élément neutre, par définition, fixe tous les points, et un élément non neutre peut en fixer certains. Le critère testable porte sur l'ensemble du support : aucun élément non neutre ne doit fixer tous les points.

La fidélité ne se confond pas non plus avec la transitivité. Lorsque E est non vide, une action transitive possède une orbite unique, tandis qu'une action fidèle exige seulement que les éléments du groupe restent distinguables par leurs effets. Une action peut satisfaire l'une de ces propriétés sans satisfaire l'autre.

Le piège principal vient d'un support trop petit. Si tous les éléments du groupe agissent de la même façon sur E, l'action n'est pas fidèle dès qu'un élément non neutre agit comme l'identité. Le symptôme est une permutation répétée pour plusieurs éléments du groupe ; il faut alors calculer le noyau au lieu de conclure à partir d'un seul mouvement visible.

La fidélité est relative à l'action ou à la représentation choisie. Un noyau trivial dans une action sur E ne permet pas de conclure qu'une autre action sur un ensemble différent sera fidèle. Pour une représentation, il faut également respecter la structure annoncée : les images doivent être des transformations linéaires lorsque le support est un espace vectoriel ; si l'action est explicitement définie sur une algèbre, elles doivent alors être des endomorphismes de cette algèbre.

La notion se prolonge naturellement aux représentations : étudier le noyau permet de mesurer ce que l'action oublie, tandis que l'injectivité garantit qu'aucun élément distinct n'est identifié à un autre. Cette perspective relie la fidélité aux homomorphismes et aux actions par permutations, et prépare l'étude des représentations comme réalisations concrètes de structures abstraites.