Anel conmutativo
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, b ∈ R, 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:
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 : R → S é 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(a)·f(b) = f(b)·f(a) = f(b·a).
- Se f : R → S é 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
editarA 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
editarMoitas 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- Artigos principais: Ideal (teoría dos aneis) e Anel de factorización.
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
editarSe 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
editarA 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
editarUn 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
editarIdeais 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.
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 R → Rf e R → R / 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
editarA 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 : R → S dá lugar a un mapa continuo na dirección oposta
- Espec. S → Espec. R, q ↦ f−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 I ⊆ R é 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
- p0 ⊊ p1 ⊊ ... ⊊ 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
editarUn 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
editarO 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
editarSegundo 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 r − n. 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
editarA 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, ..., an ∈ m 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]
Notas
editar- ↑ Matsumura 1989, p. 143, §7, Observacións
- ↑ Matsumura 1989, §19, Teorema 48
- ↑ Lyubeznik 1989
- ↑ Eisenbud 1995, Corolario 18.10, Proposición 18.13
- ↑ 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
editarWikimedia Commons ten máis contidos multimedia na categoría: Anel conmutativo |
Bibliografía
editar- Christensen, Lars Winther; Striuli, Janet; Veliche, Oana (2010). Growth in the minimal injective resolution of a local ring. Journal of the London Mathematical Society. Second Series 81. pp. 24–44. arXiv:0812.4672. doi:10.1112/jlms/jdp058.
- Eisenbud, David (1995). Commutative algebra. With a view toward algebraic geometry. Graduate Texts in Mathematics 150. Berlin, New York: Springer-Verlag. ISBN 978-0-387-94268-1. MR 1322960.
- Hochster, Melvin (2007). Homological conjectures, old and new. Illinois J. Math. 51. pp. 151–169. doi:10.1215/ijm/1258735330.
- Jacobson, Nathan (1945). Structure theory of algebraic algebras of bounded degree. Annals of Mathematics 46. pp. 695–707. ISSN 0003-486X. JSTOR 1969205. doi:10.2307/1969205.
- Lyubeznik, Gennady (1989). "A survey of problems and results on the number of defining equations". Representations, resolutions and intertwining numbers. pp. 375–390. Zbl 0753.14001.
- Matsumura, Hideyuki (1989). Commutative Ring Theory. Cambridge Studies in Advanced Mathematics (2nd ed.). Cambridge University Press. ISBN 978-0-521-36764-6.
- Pinter-Lucke, James (2007). Commutativity conditions for rings: 1950–2005. Expositiones Mathematicae 25. pp. 165–174. ISSN 0723-0869. doi:10.1016/j.exmath.2006.07.001.
Outros artigos
editar- Divisibilidade (teoría dos aneis)
- Elemento nilpotente
- Radical dun ideal
- Homomorfismo de aneis
- Elemento enteiro
- Lema de evitamento dos ideais primos
- Anel local
Ligazóns externas
editar- Hazewinkel, Michiel, ed. (2001), «Commutative ring», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104