Característica

De Viquipèdia

En matemàtiques, la característica d'un anell R, generalment denotada char(R), es defineix com el nombre més petit tal que hom ha de sumar l'element neutre de la multiplicació (1) amb ell mateix per tal d'aconseguir l'element neutre de la suma (0); es diu que un anell té característica zero si aquesta suma mai assoleix aquest element neutre 0. Dit d'una altra manera, char(R) és el nombre positiu n més petit tal que

en cas que aquest nombre existeixi, i 0 altrament. La característica també es pot prendre com l'exponent del grup additiu de l'anell, és a dir, el nombre positiu n més petit tal que

per a cada element a de l'anell (un altre cop, si n existeix, altrament la característica és 0). Alguns autors no inclouen l'element neutre de la suma com a condició per definir un anell (vegeu pseudoanell), i per tant aquesta definició és la que s'ajusta en aquest cas. En el cas d'existència d'aquest element neutre, és evident que les dues definicions són equivalents gràcies a la propietat distributiva dels anells.

Altres definicions equivalents inclouen prendre com a característica el nombre natural n tal que nℤ és el nucli d'un homomorfisme d'anells de Z a R, o tal que R conté un subanell isomorf a l'anell ℤ/nℤ, el qual seria la imatge d'aquest homomorfisme. Les condicions necessàries per un homomorfisme d'anells són tals que només pot haver un sol homomorfisme de l'anell dels nombres enters; en el llenguatge de teoria de categories, ℤ és un objecte inicial de la categoria d'anells. Un altre cop, això segueix la convenció que un anell té element neutre de la multiplicació (que roman invariant en tot homomorfisme d'anells).