Pour un groupe fini, l'exposant est le plus petit multiple commun des ordres de tous les éléments ; de façon plus générale c'est le plus petit entier positif n tel que g^n = e pour tout élément g lorsque un tel entier existe, sinon on dit que le groupe a exposant infini.

Principe

L'exposant saisit une puissance uniforme envoyant chaque élément sur l'identité ; c'est une mesure globale de périodicité et il divise tout entier m pour lequel g^m = e pour tout g, donc c'est le plus petit tel modulus lorsqu'il est fini.

Démonstration

Un groupe cyclique C_n a pour exposant n ; le groupe de Klein V4 a exposant 2 bien que son ordre soit 4 ; le groupe symétrique S3 a exposant lcm(1,2,3)=6 car certains éléments ont ordres 1,2,3.

Mauvaise application

Confondre exposant et ordre du groupe ou supposer que l'exposant détermine la structure du groupe de façon unique ; par exemple des groupes non isomorphes peuvent partager le même exposant (nombreux groupes différents ont exposant 2).

Conséquence

Un exposant fini borne le comportement de tous les éléments et est utile en classification, impose des contraintes en théorie des représentations et dans les identités satisfaites par le groupe ; dans les groupes périodiques l'information sur l'exposant limite les ordres d'éléments et la structure des sous-groupes.

Inversion

L'inversion est de considérer l'ordre infini au niveau des éléments versus la bornitude globale : les groupes d'exposant infini contiennent des éléments d'ordre arbitrairement grand ou aucun n commun n annule tous les éléments, tandis que les groupes d'exposant fini imposent une période uniforme.

Limite

Défini pour les groupes et autres structures algébriques où l'exponentiation a un sens ; ne s'applique pas aux groupes sans exposant commun fini, aux structures sans notion d'opération répétée, ni aux groupes infinis non périodiques.

Tension sémantique

La tension existe entre exposant et ordre : l'exposant est un multiple commun des ordres d'éléments mais peut être strictement inférieur à l'ordre du groupe et ne détecte pas la structure multiplicative ; les débutants peuvent confondre exposant avec la cardinalité du groupe ou avec l'ordre des éléments individuellement.

Synthèse

L'exposant est la puissance globale minimale qui annule chaque élément, fournissant un entier unique résumant la périodicité du groupe et contraignant les ordres possibles et les identités polynomiales.