Caractéristique d'un anneau
ordre pour la loi additive de l'élément unité d'un anneau / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Caractéristique d'un anneau?
Résumez cet article pour un enfant de 10 ans
Pour les articles homonymes, voir Caractéristique.
En algèbre, la caractéristique d'un anneau (unitaire) A est par définition l'ordre pour la loi additive de l'élément neutre de la loi multiplicative si cet ordre est fini ; si cet ordre est infini, la caractéristique de l'anneau est par définition zéro.
On note, pour un anneau unitaire (A, +, ×), 0A l'élément neutre de « + » et 1A celui de « × ».
La caractéristique d'un anneau A est donc le plus petit entier n > 0 tel que
si un tel entier existe. Dans le cas contraire (autrement dit si 1A est d'ordre infini), la caractéristique est nulle.
Le sous-anneau de A engendré par 1A, appelé le sous-anneau premier[1] de A, est isomorphe à ℤ/cℤ, où c est la caractéristique de A.
Lorsque l'anneau A est intègre et de caractéristique non nulle, cette caractéristique est un nombre premier et ce sous-anneau premier est un corps fini, appelé le sous-corps premier de A.
Remarque 1 : La présente définition est conforme à des ouvrages publiés au XXIe siècle[2]. Bourbaki[3] dit explicitement ne définir la caractéristique d'un anneau que si cet anneau contient un corps. Lang[4] considère l'idéal de ℤ formé par les n tels que n fois 1A = 0 ; si cet idéal est premier, c'est-à-dire de la forme cℤ où c est zéro ou un nombre premier, il définit la caractéristique de A comme étant le nombre c. Il ne la définit pas dans le cas contraire.
Remarque 2 : Certains auteurs n'exigent pas la présence d'un élément unitaire dans la définition d'un anneau (voir l'article détaillé), une structure souvent appelée pseudo-anneau. Dans ce cas, la définition précédente doit être remplacée par la suivante, plus générale. La caractéristique de A est le plus petit entier n, s'il existe, tel que, pour tout élément a de A, Si un tel n n'existe pas, la caractéristique est 0.