Anel conmutativo

un anel conmutativo é un anel no que a operación de multiplicación é conmutativa

En teoría de aneis (unha rama da álxebra abstracta), un anel conmutativo é un anel (R, +, ·) no que a operación de multiplicación · é conmutativa; é dicir, se para calquera a, bR, a·b = b·a.

A rama da teoría de aneis que estuda os aneis conmutativos denomínase álxebra conmutativa.

Os aneis conmutativos aparecen na seguinte cadea de inclusión de clases:

rngsaneisaneis conmutativosdominios de integridadedominios de integridade pechadosdominios GCDdominios de factorización únicadominios de ideais principaisdominios euclidianoscorposcorpos alxebricamente pechados

Exemplos

editar
  • O exemplo máis importante é talvez o dos números enteiros coas operacións usuais de suma e multiplicación, ambas conmutativas. Este anel usualmente denótase por ℤ, pola palabra alemá Zahlen (números).
  • Os números racionais, reais, e complexos forman aneis conmutativos coas operacións usuais; máis aínda, son corpos.
  • Todo corpo é un anel conmutativo por definición.
  • Se n>0 é un enteiro, o conxunto ℤn de enteiros módulo n forma un anel conmutativo con n elementos.
  • Se R é un anel conmutativo, o conxunto de polinomios de variable X con coeficientes en R forma un novo anel conmutativo, denotado por R[X].
  • O conxunto de números racionais de denominador impar forma un anel conmutativo, estritamente contido no anel ℚ dos racionais, e que contén propiamente ao ℤ dos enteiros.

Aneis non conmutativos

editar
  • Un exemplo de anel non conmutativo é o conxunto de matrices cadradas de 2×2 con valores reais. Como segunda operación, a multiplicación matricial
 
dá un resultado distinto que se se inverte a orde dos factores:
 
  • Outro anel non conmutativo é o conxunto das funcións continuas reais definidas no intervalo pechado [0,1] coa adición de funcións como primeira operación; e como segunda operación, a composición de funcións; cúmprese a asociatividade, a distributividade e a existencia da unidade multiplicativa I/ I(x) = x.

Propiedades

editar
  • Se f : RS é un homomorfismo de aneis entre R e S, S é conmutativo, e f é inxectiva (isto é, un monomorfismo), R tamén debe ser conmutativo, pois f(a·b) = f(af(b) = f(bf(a) = f(b·a).
  • Se f : RS é un homomorfismo de aneis entre R e S, con R é conmutativo, a imaxe f(R) de R será tamén conmutativa; en particular, se f é sobrexectiva (isto é, un epimorfismo), S será conmutativo tamén.

Divisibilidade

editar

A diferenza dos corpos, onde todo elemento distinto de cero é multiplicativamente invertíbel, o concepto de divisibilidade para aneis é máis rico. Un elemento   do anel   chámase unidade se posúe un inverso multiplicativo.

Outro tipo particular de elemento é o divisor de cero, é dicir, un elemento   tal que existe un elemento distinto de cero   do anel tal que  . Se   non posúe divisores de cero distintos de cero, chámase dominio de integridade (ou dominio). Un elemento   que satisfaga   para algún enteiro positivo   chámase nilpotente.

Localizacións

editar
Artigo principal: Localización dun anel.

A «localización» dun anel é un proceso no que algúns elementos se fan invertíbeis, é dicir, engádense inversos multiplicativos ao anel.

Concretamente, se   é un subconxunto multiplicativamente pechado de   (é dicir, sempre que   entón tamén  ), logo a «localización» de   en  , ou «anel de fraccións» con denominadores en  , normalmente denotado como  , consiste en símbolos

  con  

suxeitos a certas regras que imitan a cancelación habitual dos números racionais.

De feito, nesta linguaxe   é a localización de   en todos os enteiros distintos de cero. Esta construción funciona para calquera dominio de integridade   en lugar de  . A localización   é un corpo, chamado corpo cociente de  .

Ideais e módulos

editar
  No que segue, R denota un anel conmutativo.

Moitas das seguintes nocións tamén existen para aneis non necesariamente conmutativos, mais as definicións e propiedades adoitan ser máis complicadas. Por exemplo, todos os ideais dun anel conmutativo son automaticamente bilaterais, o que simplifica considerabelmente a situación.

Módulos

editar
Artigo principal: Módulo (álxebra).

Para un anel  , un  -módulo   é como o que un espazo vectorial é para un corpo. É dicir, os elementos dun módulo pódense sumar; pódense multiplicar por elementos de   suxeitos aos mesmos axiomas que para un espazo vectorial.

O estudo dos módulos é significativamente máis complexo que o dos espazos vectoriais, xa que hai módulos que non teñen ningunha base, é dicir, non conteñen un conxunto xerador cuxos elementos sexan linearmente independentes. Un módulo que ten unha base chámase módulo libre, e un submódulo dun módulo libre pode non ser libre.

Un módulo finitamente xerado é un módulo que ten un conxunto xerador finito. Os módulos de tipo finito desempeñan un papel fundamental na teoría dos aneis conmutativos, similar ao papel dos espazos vectoriais de dimensión finita na álxebra linear. En particular, os aneis noetherianos (véxase tamén § aneis noetherianos, a continuación) pódense definir como os aneis tal que cada submódulo dun módulo de tipo finito tamén é de tipo finito.

Ideais

editar

Os ideais dun anel   son os submódulos de  , é dicir, os módulos contidos en  . Con máis detalle, un ideal   é un subconxunto non baleiro de   tal que para todo   en  ,   e   en  , tanto   como   están en  . Para diversas aplicacións, comprender os ideais dun anel é de particular importancia, pero a miúdo procédese estudando os módulos en xeral.

Calquera anel ten dous ideais, concretamente o ideal cero   e  , o anel completo. Estes dous ideais son os únicos precisamente se   é un corpo. Dado calquera subconxunto   de   (onde   é algún conxunto de índices), o ideal "xerado por"   é o ideal máis pequeno que contén  . De xeito equivalente, vén dado por unha combinación linear finita

 

Dominios de ideais principais

editar

Se   consiste nun só elemento  , o ideal xerado por   consiste nos múltiplos de  , é dicir, os elementos da forma   para elementos arbitrarios  . Tal ideal chámase ideal principal. Se todo ideal é un ideal principal,   chámase anel de ideal principal; dous casos importantes son   e  , o anel polinómico sobre un corpo  . Estes dous son ademais dominios, polo que se denominan dominio de ideais principais.

A diferenza dos aneis xenéricos, para un dominio de ideais principais, as propiedades dos elementos individuais están fortemente ligadas ás propiedades do anel no seu conxunto. Por exemplo, calquera dominio de ideais principais   é un dominio de factorización única (UFD), o que significa que calquera elemento é un produto de elementos irredutíbeis, dun xeito (ata a reordenación dos factores) único. Aquí, un elemento   nun dominio chámase irredutíbel se a única forma de expresalo como produto

 

é sendo   ou   unha unidade.

Un exemplo, importante na Teoría de corpos, son os polinomios irredutíbeis, é dicir, elementos irredutíbeis en  , para un corpo  . O feito de que   sexa un UFD pódese enunciar de forma máis elemental dicindo que calquera número natural pódese descompoñer unicamente como produto de potencias de números primos. Tamén se coñece como o teorema fundamental da aritmética.

Un elemento   é un elemento primo se sempre que   divide un produto  ,   divide   ou  . Nun dominio, ser primo implica ser irredutíbel. O contrario é certo nun dominio de factorización única, mais falso en xeral.

Anel factor

editar

A definición de ideais é tal que "dividindo"   "como factor común" dá outro anel, o anel cociente ou anel de factorización  : é o conxunto de cosets de   xunto coas operacións

  e  .

Por exemplo, o anel   (tamén denotado como  ), onde   é un número enteiro, é o anel de enteiros módulo  . É a base da aritmética modular.

Un ideal é "propio" se é estritamente menor que o anel enteiro. Un ideal que non está estritamente contido en ningún ideal propio chámase maximal. Un ideal   é máximal se e só se   é un corpo. Agás o anel cero, calquera anel (con identidade) posúe polo menos un ideal máximal; isto dedúcese do lema de Zorn.

Aneis noetherianos

editar
Artigo principal: Anel noetheriano.

Un anel chámase noetheriano (en homenaxe a Emmy Noether, que desenvolveu este concepto) se toda cadea ascendente de ideais

 

se torna estacionario, é dicir, tórnase constante máis alá dalgún índice  . De xeito equivalente, calquera ideal xérase mediante un número finito de elementos ou xéranse finitamente submódulos de módulos xerados finitamente.

Ser noetheriano é unha condición de finitude moi importante, e a condición consérvase baixo moitas operacións que ocorren con frecuencia en xeometría. Por exemplo, se   é noetheriano, entón tamén o é o anel polinómico   (segundo o teorema da base de Hilbert), calquera localización   e tamén calquera anel cociente  .

Calquera anel non noetheriano   é a unión dos seus subaneis noetherianos. Este feito, coñecido como aproximación noetheriana, permite a extensión de certos teoremas a aneis non noetherianos.

Aneis artinianos

editar

Un anel chámase artiniano (por Emil Artin) se toda cadea descendente de ideais

 

se torna estacionaria eventualmente. Malia que as dúas condicións parecen simétricas, os aneis noetherianos son moito máis xerais que os aneis artinianos. Por exemplo,   é noetheriano, xa que cada ideal pode ser xerado por un elemento, mais non é artiniano, como demostra a cadea

 

De feito, segundo o teorema de Hopkins-Levitzki, todo anel artiniano é noetheriano. Máis precisamente, os aneis artinianos poden caracterizarse como os aneis noetherianos cuxa dimensión de Krull é cero.

Espectro dun anel conmutativo

editar

Ideais primos

editar
Artigo principal: Ideal primo.

Como se mencionou anteriormente,   é un dominio de factorización única. Isto non é certo para aneis máis xenéricos, como se decataron os alxebristas no século XIX. Por exemplo, en

 

hai dúas formas xenuinamente distintas de escribir 6 como produto:

 

Os ideais primos, a diferenza dos elementos primos, proporcionan unha forma de evitar este problema. Un ideal primo é un ideal propio   (é dicir, estritamente contido en  ) tal que, sempre que o produto   de dous elementos do anel   e   estea en   polo menos un dos dous elementos xa estaba en  . (A conclusión oposta aplícase para calquera ideal, por definición).

Polo tanto, se un ideal primo é principal, xérase equivalentemente por un elemento primo. No entanto, en aneis como   os ideais primos non teñen por que ser principais. Isto limita o uso de elementos primos na teoría dos aneis. Unha pedra angular da teoría alxébrica dos números é, con todo, o feito de que en calquera anel de Dedekind (que inclúe   e, máis xeralmente, o anel de enteiros nun corpo numérico), calquera ideal (como o xerado por 6) descomponse unicamente como produto de ideais primos.

Calquera ideal maximal é un ideal primo ou, máis brevemente, é primo. A maiores, un ideal   é primo se e só se o anel de factorización   é un dominio de integridade. Demostrar que un ideal é primo, ou equivalentemente que un anel non ten divisores de cero, pode ser moi difícil. Outra forma de expresar o mesmo é dicir que o complementario   é multiplicativamente pechado.

A localización   é o suficientemente importante como para ter a súa propia notación:  . Este anel só ten un ideal maximal, concretamente  . Estes aneis chámanse locais.

Espectro

editar
Artigo principal: Espectro dun anel.
 
Spec (Z) contén un punto para o ideal cero. O peche deste punto é todo o espazo. Os puntos restantes do espectro son os que corresponden aos ideais (p), onde p é un número primo. Estes puntos son pechados.

O espectro dun anel  ,[a], denotado por  , é o conxunto de todos os ideais primos de  . Está equipado cunha topoloxía, a topoloxía de Zariski, que reflicte as propiedades alxébricas de  : unha base de subconxuntos abertos vén dada por

  onde   é calquera elemento do anel.

Interpretando   como unha función que toma o valor f mod p (é dicir, a imaxe de f no corpo de residuos R/p), este subconxunto é o lugar onde f é distinto de cero. O espectro tamén precisa a intuición de que a localización e os aneis cocientes son complementarios: as aplicacións naturais RRf e RR / fR corresponden, despois de dotar os espectros dos aneis en cuestión da súa topoloxía de Zariski, a unha inmersión aberta e inmersión pechada complementarias respectivamente. Mesmo para aneis básicos, como o ilustrado para R = Z pola dereita, a topoloxía de Zariski é bastante diferente da do conxunto de números reais.

O espectro contén o conxunto de ideais maximais, que ocasionalmente se denota como mSpec (R). Para un corpo alxebricamente pechado k, mSpec (k[T1, ..., Tn] / (f1, ..., fm)) está en bixección co conxunto

{x =(x1, ..., xn) ∊ kn | f1(x) = ... = fm(x) = 0.}

Esquemas afíns

editar

A noción de espectro é a base común da álxebra conmutativa e da xeometría alxébrica. A xeometría alxébrica procede dotando a Spec R cun feixe   (unha entidade que recolle funcións definidas localmente, é dicir, en subconxuntos abertos variábeis). O dato do espazo e o feixe chámase esquema afín. Dado un esquema afín, o anel subxacente R pódese recuperar como as seccións globais de  . A maiores, esta correspondencia unidireccional entre aneis e esquemas afíns tamén é compatíbel cos homomorfismos de aneis: calquera f : RS dá lugar a un mapa continuo na dirección oposta

Espec. S → Espec. R, qf−1(q), é dicir, calquera ideal primo de S mapéase á súa preimaxe baixo f, que é un ideal primo de R.

A equivalencia resultante das dúas categorías mencionadas reflicte axeitadamente as propiedades alxébricas dos aneis dun xeito xeométrico.

Do mesmo xeito que as variedades veñen dadas localmente por subconxuntos abertos de Rn, os esquemas afíns son modelos locais para os esquemas, que son o obxecto de estudo en xeometría alxébrica. Polo tanto, varias nocións relativas aos aneis conmutativos derivan da intuición xeométrica.

Dimensión

editar
Artigo principal: Dimensión de Krull.

A dimensión de Krull (ou dimensión) dim R dun anel R mide o "tamaño" dun anel, falando grosso modo, contando elementos independentes en R. A dimensión das álxebras sobre un corpo k pode axiomatizarse mediante catro propiedades:

  • A dimensión é unha propiedade local: dim R = supp ∊ Spec R dim Rp.
  • A dimensión é independente dos elementos nilpotentes: se IR é nilpotente entón dim R = dim R / I.
  • A dimensión permanece constante baixo unha extensión finita: se S é unha R-álxebra que se xera finitamente como un R-módulo, entón dim S = dim R.
  • A dimensión calíbrase mediante dim k[X1, ..., Xn] = n. Este axioma está motivado por considerar o anel polinómico en n variábeis como un análogo alxébrico do espazo n-dimensional.

A dimensión defínese, para calquera anel R, como o supremo das lonxitudes n das cadeas de ideais primos

p0p1 ⊊ ... ⊊ pn.

Por exemplo, un corpo é cero-dimensional, xa que o único ideal primo é o ideal cero. Os enteiros son unidimensionais, xa que as cadeas son da forma (0) ⊊ (p), onde p é un número primo.

Para aneis non noetherianos, e tamén aneis non locais, a dimensión pode ser infinita, pero os aneis locais noetherianos teñen dimensión finita. Entre os catro axiomas anteriores, os dous primeiros son consecuencias elementais da definición, mentres que os dous restantes dependen de feitos importantes de álxebra conmutativa, o teorema de ascenso e o teorema do ideal principal de Krull.

Aneis locais

editar

Un anel chámase local se só ten un ideal maximal, denotado por m. Para calquera anel (non necesariamente local) R, a localización

Rp

nun ideal primo p é local.

Esta localización reflicte as propiedades xeométricas da especificación R "arredor de p". Varias nocións e problemas en álxebra conmutativa pódense reducir ao caso en que R é local, o que fai que os aneis locais sexan unha clase de aneis particularmente estudada. O corpo de residuos de R defínese como

k = R / m.

Calquera R-módulo M produce un k-espazo vectorial dado por M / mM. O lema de Nakayama demostra que este paso conserva información importante: un módulo xerado finitamente M é cero se e só se M / mM é cero.

Aneis locais regulares

editar
 
A curva plana cúbica (vermella) definida pola ecuación y2 = x2(x + 1) é singular na orixe, é dicir, o anel k[x, y] / y2x2(x + 1), non é un anel regular. O cono tanxente (azul) é unha unión de dúas liñas, o que tamén reflicte a singularidade.

O espazo vectorial k m/m2 é unha encarnación alxébrica do espazo cotanxente. Informalmente, os elementos de m poden considerarse como funcións que se anulan no punto p, mentres que m2 contén os que se anulan con orde de polo menos 2.

Para calquera anel local noetheriano R, a desigualdade

dimk m/m2 ≥ dim R

é certa, o que reflicte a idea de que o espazo cotanxente (ou equivalentemente o tanxente) ten polo menos a dimensión do espazo Spec R. Se a igualdade se cumpre nesta estimación, R chámase anel local regular. Un anel local noetheriano é regular se e só se o anel (que é o anel de funcións no cono tanxente)   é isomorfo a un anel polinómico sobre k. En termos xerais, os aneis locais regulares son algo similares aos aneis polinómicos.[1] Os aneis locais regulares son funcións definidas por funcións non definidas.[2]

Os aneis de valoración discreta están equipados cunha función que asigna un número enteiro a calquera elemento r. Este número, chamado valoración de r, pódese considerar informalmente como unha orde cero ou polar de r. Os aneis de valoración discreta son precisamente os aneis locais regulares unidimensionais. Por exemplo, o anel de xermolos de funcións holomorfas nunha superficie de Riemann é un anel de valoración discreta.

Interseccións completas

editar
 
A cúbica retorta (verde) é unha intersección completa de teoría de conxuntos, mais non unha intersección completa na teoría de aneis.

Segundo o teorema do ideal principal de Krull, un resultado fundamental na teoría da dimensión dos aneis, a dimensión de

R = k[T1, ..., Tr] / (f1, ..., fn)

é polo menos rn. Un anel R chámase anel de intersección completa se se pode presentar dun xeito que alcance este límite mínimo. Esta noción tamén se estuda principalmente para aneis locais. Calquera anel local regular é un anel de intersección completo, pero non ao revés.

Un anel R é unha intersección completa de teoría de conxuntos se o anel reducido asociado a R, é dicir, o que se obtén ao dividir todos os elementos nilpotentes, é unha intersección completa. Ata 2017, descoñécese en xeral se as curvas no espazo tridimensional son interseccións completas da teoría de conxuntos.[3]

Aneis de Cohen-Macaulay

editar

A profundidade dun anel local R é o número de elementos nalgunha (ou, como se pode demostrar, calquera) secuencia regular máximal, é dicir, unha secuencia a1, ..., anm tal que todos os ai son divisores distintos de cero en

R / (a1, ..., ai−1).

Para calquera anel noetheriano local, cúmprese a desigualdade

depth(R) ≤ dim(R).

Un anel local no que ten lugar a igualdade chámase anel de Cohen-Macaulay.

Os aneis de intersección completa locais e, a fortiori, os aneis locais regulares son aneis de Cohen-Macaulay, mai non ao revés. Cohen-Macaulay combina as propiedades desexábeis dos aneis regulares (como a propiedade de seren aneis universalmente catenarios, o que significa que a (co)dimensión dos primos ten bo comportamento), pero tamén son máis robustos en canto a obter cocientes que os aneis locais regulares.[4]

  1. Matsumura 1989, p. 143, §7, Observacións
  2. Matsumura 1989, §19, Teorema 48
  3. Lyubeznik 1989
  4. Eisenbud 1995, Corolario 18.10, Proposición 18.13
  1. Esta noción pódese relacionar co espectro dun operador linear; véxase Espectro dunha C*-álxebra e Representación de Gelfand.

Véxase tamén

editar

Bibliografía

editar

Outros artigos

editar

Ligazóns externas

editar