Anell (matemàtiques)
En matemàtiques, un anell és una estructura algebraica formada per un conjunt A d'elements on hi ha definides dues operacions binàries, que anomenarem suma (+) i producte (·) (tot i que no són necessàriament la suma i el producte de nombres reals habituals) i que compleixen les següents propietats:[1][2][3]
- (A,+) és un grup commutatiu, és a dir:
- a+(b+c) = (a+b)+c per a tots els elements de A (associativitat).
- Existeix un element, 0, tal que 0+a = a+0 = a per a tot a de A (element neutre).
- Tot element a de A té un invers, −a, de manera que a+(−a) = (−a)+a = 0 (element invers).
- a+b = b+a per a tots els elements de A (commutativitat).
- (A,·) verifica que
- a·(b·c) = (a·b)·c per a tots els elements de A (associativitat).
- a·(b+c) = a·b+a·c i (a+b)·c = a·c+b·c per a tots els elements de A (propietat distributiva respecte a la suma).
Alguns autors com Bourbaki, només consideren els anells unitaris, és a dir, aquells on l'operació producte admet un element neutre denotat 1 o explícitament 1A que compleix:
- 1⋅a = a⋅1 = a per a tot a ∈ A.
Aquests autors acostumen a anomenar pseudo-anells als conjunts que no compleixen aquesta darrera condició.
Fixem-nos que, en canvi, la commutativitat del producte (a·b = b·a) no és una condició dels anells. Els anells que sí que la compleixen s'anomenen anells commutatius.[1]
Fixem-nos també que l'element invers està definit per a la suma, però no per al producte.[4] El conjunt d'elements invertibles d'un anell s'anomena el seu grup d'unitats, perquè té l'estructura de grup amb el producte. Quan l'element nul (zero) és l'únic element no invertible d'un anell, aquest s'anomena cos.
Història
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/ca/Dedekind.jpeg/100px-Dedekind.jpeg)
Dedekind
L'estudi dels anells es va originar en la teoria d'anells de polinomis i en la teoria d'enters algebraics.[5] L'any 1871, Richard Dedekind va definir el concepte d'anell d'enters d'un cos de nombres.[6] En aquest context, va introduir els termes "ideal" (inspirat per la noció d'Ernst Kummer de nombre ideal) i "mòdul" i va estudiar-ne les propietats. Dedekind no va utilitzar el terme "anell" ni tampoc va definir el concepte d'anell en un context més general.
Hilbert
David Hilbert va encunyar el terme "Zahlring" (anell de nombres) l'any 1892 i ho va publicar el 1897.[7] En l'alemany del segle XIX, la paraula "anell" podia significar "associació", com de fet encara s'utilitza en idiomes com l'anglès en un sentit més limitat,[cal citació] així que si aquesta n'és l'etimologia llavors seria molt similar a com el concepte "grup" va entrar en les matemàtiques en ser una paraula no tècnica que significava "col·lecció de coses relacionades". Segons Harvey Cohn, Hilbert va utilitzar el terme per a un anell amb la propietat de "girar enrere directament" cap a un element d'ell mateix (en el sentit d'una relació d'equivalència).[8] Específicament, en un anell d'enters algebraics, totes les potències superiors d'un enter algebraic poden ser escrites com una combinació integral d'un conjunt fixat de potències inferiors, i per tant les potències "tomben enrere". Per exemple, si a3 − 4a + 1 = 0 llavors:
i així successivament; en general, an serà una combinació lineal integral de 1, a, i a2.
Fraenkel i Noether
Va ser Abraham Fraenkel qui va donar l'any 1915 una definició axiomàtica als anells per primer cop,[9][10] però els seus axiomes eren més estrictes que en la definició moderna. Per exemple, ell requria que tot no divisor de zero tingués un invers multiplicatiu.[11] L'any 1921, Emmy Noether va donar la definició aximàtica moderna dels anells commutatius (amb i sense 1) i va desenvolupar els fonaments de la teoria d'anells commutatius en el seu article titulat Idealtheorie in Ringbereichen.[12]
Identitat multiplicativa i el terme "anell"
Els axiomes de Fraenkel per als "anells" incloïen l'existència d'identitat multiplicativa,[13] mentre que no ho feien els de Noether.[12]
La majoria dels llibres d'àlgebra[14][15] de fins a cap als anys 1960 seguien el conveni de Noether de no requerir l'existència d'un 1 per als "anells". A partir dels anys 60, es va convertir en cada vegada més habitual veure en llibres l'existència de la identitat en la definició d'un "anell", especialment en llibres avançats d'autors notables com ara Artin,[16] Bourbaki,[17] Eisenbud,[18] i Lang.[19] També s'han publicat llibres, alguns tan recents com de 2022, que utilitzen el terme "anell" sense el requeriment de la identitat multiplicativa.[20][21][22][23] De la mateixa manera, l'Enciclopèdia de Matemàtiques (Encyclopedia of Mathematics) no requereix l'element unitat en els anells.[24] En un article de recerca, els autors solen especificar quina definició d'anell utilitzen en el principi de l'article.
Gardner i Wiegandt afirmen que, quan es treballa amb diversos objectes en la categoria d'anells (a diferència de quan es treballa només amb un anell fixe), si es requereix que els anells tinguin un 1, llavors algunes de les conseqüències inclouen la no existència de sumes directes infinites d'anells, i que els sumands d'anells directes propis no siguin subanells. Conclouen que "en moltes, potser en la majoria, de les branques de la teoria d'anells el requeriment de l'existència de l'element unitat no és sensible i que és per tant inacceptable."[25] Poonen fa l'argument contrari afirmant que la noció natural per als anells és el producte directe i no pas la suma directa. Tanmateix, el seu principal argument és que els anells que no tenen identitat multiplicativa no són totalment associatius, en el sentit que no contenen el producte de cap seqüència infinita d'elements de l'anell, inclosa la seqüència buida.[nota 1]
[26]
Els autors que segueixen un conveni o l'altre pel que fa a l'ús del terme "anell" poden utilitzar un dels següents termes per referir-se als objectes que satisfan l'altre conveni:
- per incloure el requeriment de la identitat multiplicativa: "anell unital", "anell unitari", "anell unitat", "anell amb unitat", "anell amb identitat", "anell amb una unitat",[27] o "anell amb 1".[28]
- per ometre el requeriment de la identitat multiplicativa: "rng"[29] o "pseudo-anell",[30] tot i que aquest últim pot resultar confús perquè també té altres significats.
Morfismes d'anells
Viccionari Per completar la definició de la categoria, un homomorfisme d'anells és una aplicació f entre dos anells A i B que compleix:
- f(a+b) = f(a) + f(b),
- f(a⋅b) = f(a)⋅f(b),
i si hem considerat els anells com unitaris:
- f(1A) = 1B.
Tot homomorfisme d'anells bijectiu és un isomorfisme i l'existència d'un homomorfisme entre dos anells fa que aquests es siguin isomorfs.[31]
Exemples
- El conjunt dels nombres enters és un anell commutatiu, així com els nombres racionals, els reals i els complexos; aquests tres últims són, a més a més, cossos.
- El conjunt de matrius quadrades n×n amb elements d'un anell A té estructura d'anell.[2]
Tipus d'anells
La teoria d'anells és una branca molt rica de l'àlgebra abstracta i que ha donat lloc a moltes denominacions per a diferents tipus d'anells. Entre els més comuns tenim:
- Anell noetherià
- Anell artinià
- Anell de Dedekind
- Anell local
En l'estudi de divisibilitat per ideals, s'utilitzen sovint els següents, que estan ordenats de manera que si l'anell és commutatiu cadascun d'ells també té les propietats dels anteriors:
Notes
- ↑ Poonen afirma que "l'extensió natural de l'associativitat requereix que els anells continguin un producte buit, i que per tant és natural per als anells de tenir un 1".
Referències
- ↑ 1,0 1,1 «ring | mathematics | Britannica» (en anglès). [Consulta: 29 gener 2022].
- ↑ 2,0 2,1 Ring. MathWorld (anglès)
- ↑ «Rings and Types of Rings | Discrete Mathematics». [Consulta: 31 gener 2022].
- ↑ «Sets, Groups, Rings and Algebras». [Consulta: 2 febrer 2022].
- ↑ «The development of Ring Theory».
- ↑ Kleiner, 1998, p. 27
- ↑ Hilbert, 1897
- ↑ Cohn, 1980, p. 49
- ↑ Fraenkel, 1915, p. 143–145
- ↑ Jacobson, 2009, p. 86, footnote 1
- ↑ Fraenkel, 1915, p. 144, axiom R8)
- ↑ 12,0 12,1 Noether, 1921, p. 29
- ↑ Fraenkel, 1915, p. 144, axiom R7)
- ↑ van der Waerden, 1930
- ↑ Zariski i Samuel, 1958
- ↑ Artin, 2018, p. 346
- ↑ Bourbaki, 1989, p. 96
- ↑ Eisenbud, 1995, p. 11
- ↑ Lang, 2002, p. 83
- ↑ Gallian, 2006, p. 235
- ↑ Hungerford, 1997, p. 42
- ↑ Warner, 1965, p. 188
- ↑ Garling, 2022
- ↑ «Associative rings and algebras». Encyclopedia of Mathematics.
- ↑ Gardner i Wiegandt, 2003
- ↑ Poonen, 2019
- ↑ Wilder, 1965, p. 176
- ↑ Rotman, 1998, p. 7
- ↑ Jacobson, 2009, p. 155
- ↑ Bourbaki, 1989, p. 98
- ↑ «Ring homomorphisms and isomorphisms». Arxivat de l'original el 2022-07-09. [Consulta: 2 febrer 2022].