Vés al contingut

Teoria d'anells

De la Viquipèdia, l'enciclopèdia lliure

Enàlgebra abstracta,lateoria d'anellsés l'estudi de les estructures d'anells algebraiques en la qual la suma i la multiplicació són definides i tenen propietats similars a les operacions definides per als enters. La teoria de l'anell estudia l'estructura dels anells, les seves representacions, o, en un altre llenguatge, mòduls, classes especials d'anells (anells de grup, anells de divisió, àlgebres envoltants universals), així com una sèrie de propietats que va resultar ser d'interès tant per la teoria, com per les seves aplicacions, com ara les propietats homològiques i identitats polinòmiques.[1]

Anell

[modifica]

Un anell és una terna(R,+, ·)onRés un conjunt i + i · són dues operacions binàries sobreRtals que + és associativa, commutativa, té element neutre i té elementsimètrici ésassociativaidistributivarespecte de +. Normalment (per abús de notació) ens referirem a l'anellR,entenent que sobreRhi tenim definides dues operacions + i · amb les propietats anteriors. Si en un anellRexisteix un element1 ∈Rtal que1 ·a=a· 1=aper a totaR,es diu queRés un anell amb unitat. Si en un anellRes compleix quea·b=b·aper a totsa,bR,es diu queRés un anell commutatiu.[2]

Els anells commutatius són més ben entesos que els no commutatius. Lageometria algebraicai lateoria algebraicade nombres, que proporcionen molts exemples naturals d'anells commutatius, han impulsat gran part del desenvolupament de la teoria de l'anell commutatiu, que ara, sota el nom d'àlgebra commutativa,que és ara una àrea important de la matemàtica moderna. Com que aquests tres camps (geometria algebraica, teoria algebraica de nombres i àlgebra commutativa) estan tan íntimament relacionats, en general és difícil i no té cap sentit decidir a quin camp un resultat particular pertany. Per exemple, ElTeorema dels zerosde Hilbert és un teorema que és fonamental per a la geometria algebraica, i es va afirmar i demostrar en termes de l'àlgebra commutativa. De la mateixa manera, l'últim teorema de Fermat s'expressa en termes de l'aritmètica elemental, que és una part de l'àlgebra commutativa, però la seva prova implica resultats profunds de la teoria algebraica de nombres i la geometria algebraica.

Els anells no commutatius són força diferents en sabor, ja que pot sorgir un comportament més inusual. Mentre que la teoria ha desenvolupat en el seu propi dret, una tendència bastant recent ha buscat en paral·lel al desenvolupament commutatiu mitjançant la construcció de la teoria de certes classes d'anells no commutatius en una forma geomètrica com si fossin anells de funcions en (inexistent) 'espais no commutatius'. Aquesta tendència es va iniciar en la dècada de 1980 amb el desenvolupament de la geometria no commutativa i amb el descobriment de grups quàntics. Ha donat lloc a una millor comprensió dels anells no commutatius, anells noetherians especialment no commutatius.[3]

Per a les definicions d'un anell i dels conceptes bàsics i les propietats, consulteu l'anell (matemàtiques). Les definicions dels termes utilitzats en la teoria d'anells es poden trobar al glossari de la teoria d'anells.

Anells commutatius

[modifica]

Un anell es diu commutatiu si la sevamultiplicacióés commutativa. Els anells commutatius s'assemblen a sistemes numèrics familiars i a diverses definicions per a anells commutatius que estan dissenyats per formalitzar propietats dels nombres enters. Els anells commutatius també són importants en la geometria algebraica. En la teoria de l'anell commutatiu, els assaig són sovint reemplaçats pels ideals, i la definició de l'ideal primer tracta de captar l'essència dels nombres primers. Els dominis integrals, els anells commutatius no trivials, on no hi ha dos elements diferents de zero es multipliquen per donar zero, per generalitzar una altra propietat dels nombres enters i per servir com l'àmbit adequat per estudiar ladivisibilitat.Els dominis d'ideals principals són dominis d'integritat en el qual cada ideal pot ser generat per un sol element, una altra propietat compartida pels nombres enters. Els dominiseuclidianssón dominis integrals en què l'algoritme d'Euclides es pot dur a terme. Exemples importants d'anells commutatius poden ser construïts com anells de polinomis i els seus anells de factors. Resum: domini euclidià => domini d'ideals principals => domini de factorització única => domini d'integritat => anell commutatiu.

Geometria algebraica

[modifica]

La geometria algebraica és en molts sentits la imatge especular de l'àlgebra commutativa. Un esquema es construeix per pujar anells en algun sentit.Alexander Grothendieckva donar les definicions decisives dels objectes utilitzats en lageometria algebraica.Va definir l'espectre d'unanell commutatiucom l'espai d'ideals primers ambtopologia de Zariski,però augmenta amb una garba dels anells: per a cada conjunt Zariski-obert assigna un anell commutatiu, considerat com l'anell defuncions polinòmiquesdefinit en aquest conjunt. Aquests objectes són elsesquemes afins;un esquema general que s'obté llavorsenganxantdiversos d'aquests esquemes afins, en analogia amb el fet que les varietats generals es poden obtenir enganxant varietats.

Anells no commutatius

[modifica]

Els anells no commutatius semblen anells de matrius en molts aspectes. Seguint el model de la geometria algebraica, recentment s'han fet intents per definir la geometria no commutativa basant-se en els anells no commutatius. Els anells no commutatius i les àlgebres associatives (anells que també sónespais vectorials) s'estudien sovint a través de les seves categories de mòduls. Un mòdul sobre un anell és un grup abelià que l'anell actua com un anell d'endomorfismes,molt semblant a la manera que els camps de vies (dominis d'integritat en què cada element diferent de zero és invertible) actuen en els espais vectorials. Els exemples d'anells no commutatius es donen per anells de matrius quadrades o més generalment per anells d'endomorfismes de grups abelians o mòduls, i per anells monoide.

Teoria de representació

[modifica]

La teoria de la representació és una branca de les matemàtiques que es basa en gran manera dels anells no commutatius. Estudia les estructures algebraiques abstractes mitjançant la representació dels seus elements com transformacions lineals d'espais vectorials i mòduls d'estudis sobre aquestes estructures algebraiques abstractes.[4]En essència, una representació algebraica fa que un objecte abstracte sigui més concret mitjançant la descripció dels seus elements de matrius i les operacions algebraiques en termes de la suma de matrius i multiplicació de la matriu, que és nocommutatiu.Els objectes algebraics susceptibles de tal descripció inclou grups, les àlgebres associatives i àlgebres de Lie. La més prominent d'aquests (i històricament el primer) és la teoria de la representació dels grups, en els quals elements d'un grup estan representats per matrius invertibles de manera que l'operació del grup és la multiplicació de matrius.

Aplicacions

[modifica]

L'anell d'enters d'un cos de nombres

[modifica]

L'anell d'enters d'uncos dels nombres algebraicsés l'anellde tots elsenters algebraicscontinguts en.[5]Un enter algebraic és unaarreld'unpolinomi mònicambcoeficientsenters:.[6]Es denota sovint aquest anell como.Com que totenterpertany ai és un element enter de,l'anellés sempre un subanell de.

L'anell de coordenades d'una varietat algebraica

[modifica]

SiguiXuna varietat algebraica afina, llavors el conjunt de totes les funcions regulars enXforma un anell anomenat anell de coordenades deX.Per a varietats projectives, hi ha un anell anàleg anomenat l'anell de coordenades homogènies. Aquests anells són essencialment el mateix que les varietats: es corresponen d'una forma essencialment única. Això es pot veure ja sigui a través delNullstellensatzde Hilberto a través de construccions esquemàtiques-teòriques.

L'anell d'invariants

[modifica]

Una qüestió bàsica (i potser la més fonamental) en la teoria d'invariants clàssica és la de trobar i estudiar polinomis en l'anell de polinomisque siguin invariants respect l'acció d'un grup finit (o més generalment reductiu)GenV.L'exemple principal és el de l'anell de polinomis simètrics: els polinomis simètrics són polinomis que són invariants respecte la permutació de la variable. El teorema fonamental dels polinomis simètrics afirma que aquest anell ésonsón polinomis simètrics elementals.

Història

[modifica]

La fundació de la teoria d'anells es pot atribuir aEmmy Noether,qui en ladècada de 1920va unificar i estructurar resultats i conceptes de la teoria d'invariantsi d'àlgebres de dimensió finitad'autors com ara Hilbert, Wedderburn, Artin i altres, creant la teoria d'anells moderna.[2]El fonamental per al desenvolupament d'aquests temes van ser els anells d'enters en camps de nombres algebraics i camps de funcions algebraiques, i els anells de polinomis en dues o més variables. La teoria de l'anell no commutatiu va començar amb intents d'estendre els nombres complexos a diversos sistemes numèrics hipercomplexos. La gènesi de la teoria d'anells commutatius i no commutatius es remunta a principis del seglexix,mentre que el seu venciment només es va aconseguir en la tercera dècada del seglexx.

Emmy Noether va publicar l'any 1921 un article insigne anomenatIdealtheorie in Ringbereichen,en què va analitzar la condició de la cadena ascendent respecte dels ideals matemàtics. El notable algebristaIrving Kaplanskyva qualificar aquesta obra de "revolucionària";[7]la publicació va donar lloc al terme "anell noetherià",molts altres objectes matemàtics van acabar rebent el nom deNoetherià.[7][8]

Més precisament,William Rowan Hamiltonva proposar elsquaternionsi biquaternions;James Cockleva presentar nombres bicomplexos i quaternions companys; iWilliam Kingdon Cliffordera un entusiasta desplit biquaternions,que ell va anomenar motors algebraics. Aquestes àlgebres no commutatives i les àlgebres de Lie no associatives, van ser estudiades en l'àlgebra universal abans que el tema es dividís en determinats tipus d'estructures matemàtiques. Un senyal de reorganització va ser l'ús de sumes directes per descriure l'estructura algebraica.

Referències

[modifica]
  1. Goodearl i Warfield, 1989.
  2. 2,02,1Cedó Giné,Ferran «La conjectura de Köthe: un dels problemes oberts més antics de la teoria d'anells».Butlletí de la Societat Catalana de Matemàtiques,24, 2, 2009, pàg. 86.
  3. K. R. Goodearl, R. B. Warfield, Jr.An Introduction to Noncommutative Noetherian Rings(en anglès). Cambridge University Press, 1989.ISBN 0521369258.
  4. Kleiner,Israel «The Genesis of the Abstract Ring Concept».The American Mathematical Monthly,103, 5, 1996-05, pàg. 417.DOI:10.2307/2974935.
  5. Alaca i Williams, 2003,p. 110, Defs. 6.1.2-3.
  6. Alaca i Williams, 2003,p. 74, Defs. 4.1.1-2.
  7. 7,07,1Kimberling, 1981,p. 18.
  8. Dick, Auguste(1981),Emmy Noether: 1882–1935,Birkhäuser,ISBN 3-7643-3019-8,p. 44–45.

Bibliografia

[modifica]