L'exposant d'une structure algébrique (généralement un groupe) est le plus petit multiple commun des ordres de tous ses éléments, équivalemment le plus petit entier positif m tel que x^m soit l'élément neutre pour tout x ; s'il n'existe pas un tel m, l'exposant est infini.

Principe

L'exposant fournit une borne uniforme sur la torsion : il résume la périodicité maximale présente dans la structure et donne une identité d'exponentiation valable pour chaque élément.

Démonstration

Un groupe cyclique d'ordre n a pour exposant n car l'ordre de chaque élément divise n ; le produit direct Z/2Z × Z/4Z a exposant ppcm(2,4)=4 car certains éléments nécessitent quatre itérations pour revenir à l'élément neutre.

Mauvaise application

Confondre l'exposant avec l'ordre du groupe, ou supposer qu'un exposant fini implique que le groupe est fini ; un groupe peut être infini tout en ayant exposant fini.

Conséquence

Un exposant fini impose des contraintes polynomiales uniformes (par exemple g^m = e), facilite des arguments de classification et de représentation, et restreint les ordres des éléments et la structure des sous-groupes.

Inversion

Un exposant infini indique l'absence de toute période finie globale et l'existence d'éléments d'ordre arbitrairement grand ; la structure n'a pas de borne uniforme de torsion.

Limite

L'exposant s'applique lorsque l'opération de mise à une puissance est définie (groupes, monoïdes, anneaux pour la multiplication) et a le plus de sens quand l'ensemble des ordres d'éléments est bien défini ; pour les modules il faut réinterpréter la notion (annulateurs plutôt que puissances).

Tension sémantique

L'exposant se confronte conceptuellement à l'ordre (local, par élément) et à des notions comme les exponentielles en théorie des anneaux ou les taux de croissance ; la tension vient de l'opposition entre un entier global uniforme et des ordres locaux hétérogènes.

Synthèse

L'exposant compresse les données d'ordre élémentaire en un entier unique : la plus petite puissance uniforme qui annule chaque élément, fournissant une borne globale de torsion et une identité concise pour la structure entière.