caractéristique d'un corps

Imaginez un compteur à cinq positions : 0, 1, 2, 3 et 4. En partant de 0 et en ajoutant 1 cinq fois, le compteur revient à 0. Dans le corps à cinq éléments, ce retour après cinq pas signifie que la caractéristique vaut 5. Dans les corps des rationnels, des réels ou des complexes, aucune répétition finie de 1 ne ramène à 0 : leur caractéristique vaut 0.

Soit K un corps commutatif avec unité : l’addition et la multiplication y sont associatives et commutatives, la multiplication est distributive sur l’addition, tout élément possède un opposé, tout élément non nul possède un inverse multiplicatif, et les éléments neutres 0 et 1 sont distincts. La caractéristique de K mesure l’ordre additif de l’élément 1 : c’est le plus petit entier strictement positif n pour lequel la somme de n exemplaires de 1 est égale à 0.

Cette condition s’écrit . Si aucun entier positif ne convient, la caractéristique est 0. C’est le cas des corps ℚ, ℝ et ℂ.

Lorsque la caractéristique est positive, elle est nécessairement un nombre premier. En effet, si n se factorisait en deux entiers a et b supérieurs à 1, alors $(a\cdot 1_K)(b\cdot 1_K)=n\cdot 1_K=0_K(a\backslash cdot\; 1\_K)(b\backslash cdot\; 1\_K)=n\backslash cdot\; 1\_K=0\_K$. Un corps n’ayant pas de diviseurs de zéro, l’un des deux facteurs serait nul, ce qui contredirait la minimalité de n.

La notion met en jeu cinq éléments liés. Le corps K fournit les deux opérations. Son zéro ne change pas une somme, tandis que son unité 1 ne change pas un produit. L’addition répétée transforme chaque entier positif n en l’élément obtenu en additionnant n fois l’unité. Enfin, la minimalité impose de retenir le premier retour à zéro, et non n’importe quel multiple donnant encore zéro.

Les opérations déterminent donc le trajet de 1 sous les additions successives, et ce trajet détermine la caractéristique. S’il revient à 0, sa première longueur est un nombre premier ; sinon, la caractéristique vaut 0. Ces données suffisent à identifier le plus petit sous-corps de K : une copie du corps à p éléments en caractéristique p, ou une copie du corps des rationnels en caractéristique 0.

Prenons le corps 𝔽₅ des entiers modulo 5. Ses données sont les cinq éléments 0, 1, 2, 3 et 4, avec une addition dont le résultat est remplacé par son reste après division par 5. Le zéro est l’élément neutre additif et 1 est l’unité multiplicative.

1. Une addition de l’unité donne 1.
2. Deux, trois puis quatre additions donnent respectivement 2, 3 et 4 ; aucun de ces éléments n’est 0.
3. La cinquième addition donne 5, dont le reste modulo 5 est 0.

Le calcul complet rassemble les cinq additions successives :

Le premier retour à zéro arrive après exactement cinq additions. La caractéristique de 𝔽₅ est donc 5.

Le schéma du compteur matérialise ces cinq pas et le retour final. Pour contrôler le résultat, on refait les quatre premiers restes, tous non nuls, puis on vérifie que le cinquième reste vaut 0.

Dans un corps fini présenté par ses tables d’opérations, on part de 0 et l’on ajoute 1 jusqu’au premier retour à 0. Ce premier nombre de pas donne la caractéristique. Si la structure est déjà présentée modulo un nombre premier p, ce calcul confirme directement la valeur p.

Pour ℚ, ℝ ou ℂ, il est inutile de poursuivre une liste d’additions : toute somme d’un nombre positif d’unités reste un entier positif, donc non nul. On conclut que la caractéristique vaut 0.

Dans un calcul algébrique en caractéristique p, toute somme de p termes identiques s’annule. Ce repère guide les simplifications. Avant de l’utiliser, il faut toutefois vérifier que la structure est bien un corps de caractéristique p, plutôt qu’un anneau de caractéristique composée.

La caractéristique n’est pas le nombre d’éléments du corps. Elles coïncident pour 𝔽₅, qui possède cinq éléments et a pour caractéristique 5. Elles diffèrent pour un corps à quatre éléments : il possède quatre éléments, mais sa caractéristique est 2. Le test décisif reste le premier nombre d’additions de 1 qui donne 0.

La caractéristique n’est pas non plus l’ordre du groupe multiplicatif. Dans 𝔽₅, le groupe des éléments non nuls contient quatre éléments, alors que la caractéristique vaut 5. L’une concerne l’addition répétée de 1 ; l’autre concerne la multiplication des éléments non nuls.

Une caractéristique positive d’un corps est toujours première. Si un calcul produit 6, la structure examinée n’est donc pas un corps, ou le premier retour à 0 a été manqué. Par exemple, les entiers modulo 6 forment un anneau de caractéristique 6, mais pas un corps.

La valeur 0 ne signifie pas que zéro addition de 1 suffit. Elle signale au contraire qu’aucun nombre strictement positif d’additions de 1 ne donne 0. Il faut alors parler de caractéristique nulle, comme pour ℚ, ℝ et ℂ.

En caractéristique p, l’entier p devient nul à l’intérieur du corps, car il représente p fois l’unité. Diviser par p y est impossible : cela reviendrait à diviser par 0. Il faut effectuer les simplifications dans le corps concerné, sans importer automatiquement les réflexes de ℚ ou de ℝ.

La fiche Élément neutre précise les rôles distincts de 0 pour l’addition et de 1 pour la multiplication.

La fiche nombre premier éclaire pourquoi toute caractéristique positive d’un corps appartient à cette famille d’entiers.

La fiche arithmétique modulaire développe le calcul par restes utilisé dans l’exemple de 𝔽₅.