Anillo conmutativo
![](http://178.128.105.246/cars-http-upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Estructura%2C_Anillo_conmutativo.svg/260px-Estructura%2C_Anillo_conmutativo.svg.png)
En teoría de anillos (una rama del álgebra abstracta), un anillo conmutativo es un anillo (R, +, ·) en el que la operación de multiplicación · es conmutativa; es decir, si para cualquiera a, b ∈ R, a·b = b·a.
Si adicionalmente el anillo tiene un elemento unitario 1 tal que 1a = a = a1 para todo a, entonces el anillo se denomina Anillo unitario conmutativo.
La rama de la teoría de anillos que estudia los anillos conmutativos se denomina álgebra conmutativa.
Complementariamente, el álgebra no conmutativa es el estudio de las propiedades de los anillos que no son específicas de los anillos conmutativos. Esta distinción resulta del alto número de propiedades fundamentales de los anillos conmutativos que no se extienden a los anillos no conmutativos.
Definición
[editar]Un anillo es un conjunto dotado de dos operaciones binarias, es decir, operaciones que combinan dos elementos cualesquiera del anillo con un tercero. Se llaman suma y multiplicación y se denotan comúnmente por "" y ""; por ejemplo, y . Para formar un anillo, estas dos operaciones tienen que satisfacer una serie de propiedades: el anillo tiene que ser un grupo abeliano bajo adición, así como un monoide bajo multiplicación, donde la multiplicación distribuye sobre la adición; es decir, . Los elementos de identidad para la suma y la multiplicación se denotan y , respectivamente.
Si la multiplicación es conmutativa, es decir entonces el anillo se llama conmutativo. En el resto de este artículo, todos los anillos serán conmutativos, a menos que se indique explícitamente lo contrario.
Divisibilidad
[editar]En contraste con los campos, donde cada elemento distinto de cero es multiplicativamente invertible, el concepto de divisibilidad para anillos es más rico. Un elemento de anillo se llama una unidad si posee un inverso multiplicativo. Otro tipo particular de elemento es el divisor de ceros, es decir, un elemento tal que existe un elemento distinto de cero del anillo tal que . Si no posee divisores cero distintos de cero, se denomina dominio de integridad (o dominio). Un elemento que satisface para algún entero positivo se llama elemento nilpotente.
Localizaciones
[editar]La localización de un anillo es un proceso en el que algunos elementos se hacen invertibles, es decir, se añaden al anillo inversos multiplicativos. Concretamente, si es un conjunto multiplicativamente cerrado de (es decir. siempre que entonces también lo es ) entonces la localización de en , o anillo de fracciones con denominadores en , usualmente denotado consiste en los símbolos
- con
sujeto a ciertas reglas que imitan la cancelación familiar de los números racionales. De hecho, en este lenguaje es la localización de en todos los enteros distintos de cero. Esta construcción funciona para cualquier dominio integral en lugar de . La localización es un campo, llamado cuerpo de fracciones de .
Ideales y módulos
[editar]Muchas de las nociones siguientes también existen para anillos no necesariamente conmutativos, pero las definiciones y propiedades suelen ser más complicadas. Por ejemplo, todos los ideales de un anillo conmutativo son automáticamente de dos caras, lo que simplifica considerablemente la situación.
Módulos
[editar]Para un anillo , un -módulo es como lo que un espacio vectorial es a un campo. Es decir, los elementos de un módulo se pueden sumar; se pueden multiplicar por elementos de sujetos a los mismos axiomas que para un espacio vectorial.
El estudio de los módulos es bastante más complicado que el de los espacios vectorialess, ya que hay módulos que no tienen ninguna base, es decir, no contienen un sistema generador cuyos elementos sean linealmente independientess. Un módulo que tiene una base se llama módulo libre, y un submódulo de un módulo libre no necesita ser libre.
Un módulo de tipo finito es un módulo que tiene un conjunto de extensión finito. Los módulos de tipo finito desempeñan un papel fundamental en la teoría de los anillos conmutativos, similar al papel de los espacios vectoriales de dimensión finita en el álgebra lineal. En particular, los anillos noetherianos pueden definirse como los anillos tales que todo submódulo de un módulo de tipo finito es también de tipo finito.
Ideales
[editar]Los ideales de un anillo son los submódulos de , es decir, los módulos contenidos en . En más detalle, un ideal es un subconjunto no vacío de tal que para todo en , y en , tanto como están en . Para diversas aplicaciones, comprender los ideales de un anillo es de particular importancia, pero a menudo se procede estudiando los módulos en general.
Todo anillo tiene dos ideales, a saber, el ideal cero y , el anillo entero. Estos dos ideales son los únicos precisamente si es un campo. Dado cualquier subconjunto de (donde es algún conjunto índice), el ideal generado por es el ideal más pequeño que contiene a . Equivalentemente, viene dado por combinación lineals finitas
Dominios ideales principales
[editar]Si consiste en un único elemento , el ideal generado por consiste en los múltiplos de , es decir, los elementos de la forma para elementos arbitrarios . Un ideal de este tipo se llama ideal principal. Si todo ideal es un ideal principal, se llama anillo ideal principal; dos casos importantes son y , el anillo de polinomios sobre un campo . Estos dos son además dominios, por lo que se llaman dominio de ideales principales.
A diferencia de los anillos generales, para un dominio ideal principal, las propiedades de los elementos individuales están fuertemente ligadas a las propiedades del anillo en su conjunto. Por ejemplo, cualquier dominio ideal principal es un dominio de factorización única (UFD) lo que significa que cualquier elemento es un producto de elementos irreducibles, de una (hasta reordenación de factores) manera única. Aquí, un elemento a en un dominio se llama irreducible si la única forma de expresarlo como un producto es que o sea una unidad. Un ejemplo, importante en campos, son los polinomios irreducibles, es decir, los elementos irreducibles en , para un campo . El hecho de que es un UFD puede enunciarse más elementalmente diciendo que cualquier número natural puede descomponerse unívocamente como producto de potencias de números primos. También se conoce como teorema fundamental de la aritmética.
Un elemento es un elemento primo si siempre que divide a un producto , divide a o a . En un dominio, ser primo implica ser irreducible. Lo contrario es cierto en un dominio de factorización única, pero falso en general.
El anillo de factores
[editar]La definición de ideales es tal que "dividiendo" hacia fuera da otro anillo, el anillo factorial / : es el conjunto de clases laterales de junto con las operaciones
y .
Por ejemplo, el anillo (también denotado ), donde es un entero, es el anillo de los enteros módulo . Es la base de la aritmética modular.
Un ideal es propio si es estrictamente menor que el anillo entero. Un ideal que no está estrictamente contenido en ningún ideal propio se llama maximal. Un ideal es maximal si y sólo si / es un campo. Excepto el anillo trivial, cualquier anillo (con identidad) posee al menos un ideal maximal; esto se deduce del lema de Zorn.
Espectro de un anillo conmutativo
[editar]Ideales primos
[editar]Como se mencionó anteriormente, es un dominio de factorización único. Esto no es cierto para anillos más generales, como se dieron cuenta los algebristas en el siglo XIX. Por ejemplo, en
hay dos formas realmente distintas de escribir 6 como producto:
Los ideales primos, a diferencia de los elementos primos, ofrecen una forma de evitar este problema. Un ideal primo es un ideal propio (es decir, estrictamente contenido en ) ideal tal que, siempre que el producto de dos elementos cualesquiera del anillo y esté en al menos uno de los dos elementos ya está en (La conclusión opuesta vale para cualquier ideal, por definición.) Así, si un ideal primo es principal, está generado equivalentemente por un elemento primo. Sin embargo, en anillos como los ideales primos no necesitan ser principales. Esto limita el uso de elementos primos en la teoría de anillos. Una piedra angular de la teoría algebraica de números es, sin embargo, el hecho de que en cualquier dominio de Dedekind (que incluye y más generalmente el anillo de enteros en un campo numérico) cualquier ideal (como el generado por 6) se descompone unívocamente como un producto de ideales primos.
Cualquier ideal maximal es un ideal primo o, más brevemente, es primo. Además, un ideal es primo si y sólo si el anillo factorial es un dominio integral. Demostrar que un ideal es primo, o equivalentemente que un anillo no tiene divisores cero, puede ser muy difícil. Otra forma de expresar lo mismo es decir que el complemento es multiplicativamente cerrado. La localización es lo suficientemente importante como para tener su propia notación: . Este anillo sólo tiene un ideal maximal, . Tales anillos se llaman local.
Ejemplos
[editar]- El ejemplo más importante es tal vez el de los números enteros con las operaciones usuales de suma y multiplicación, ambas conmutativas. Este anillo usualmente se denota por Z, por la palabra alemana Zahlen (números).
- Los números racionales, reales, y complejos forman anillos conmutativos con las operaciones usuales; más aún, son cuerpos.
- Más generalmente, todo campo es un anillo conmutativo por definición.
- Para el caso, ejemplo de un anillo no conmutativo es el conjunto de matrices cuadradas de 2×2 con valores reales. Como segunda operación, la multiplicación matricial
- da un resultado distinto que si se invierte el orden de los factores:
- Si n > 0 es un entero, el conjunto Zn de enteros módulo n forma un anillo conmutativo con n elementos.
- Si R es un anillo conmutativo, el conjunto de polinomios de variable X con coeficientes en R forma un nuevo anillo conmutativo, denotado por R[X].
- El conjunto de números racionales de denominador impar forma un anillo conmutativo, estrictamente contenido en el anillo Q de los racionales, y que contiene propiamente al Z de los enteros.
Propiedades
[editar]- Si f : R → S es un homomorfismo de anillos entre R y S, S es conmutativo, y f es inyectiva (esto es, un monomorfismo), R también debe ser conmutativo, pues f(a·b) = f(a)·f(b) = f(b)·f(a) = f(b·a).
- Si f : R → S es un homomorfismo de anillos entre R y S, con R es conmutativo, la imagen f(R) de R será también conmutativa; en particular, si f es sobreyectiva (esto es, un epimorfismo), S será conmutativo también.
El mayor interés de los anillos conmutativos está en cuando además son unitarios, es decir, los anillos conmutativos unitarios.
Véase también
[editar]Referencias
[editar]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 (1): 24-44, S2CID 14764965, 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 (1): 151-169, doi:10.1215/ijm/1258735330.
- Jacobson, Nathan (1945), «Structure theory of algebraic algebras of bounded degree», Annals of Mathematics 46 (4): 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 edición), Cambridge University Press, ISBN 978-0-521-36764-6.
- Pinter-Lucke, James (2007), «Commutativity conditions for rings: 1950–2005», Expositiones Mathematicae 25 (2): 165-174, ISSN 0723-0869, doi:10.1016/j.exmath.2006.07.001.
Lectura adicional
[editar]- Atiyah, Michael; Macdonald, I. G. (1969), Introduction to commutative algebra, Addison-Wesley Publishing Co..
- Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Commutative Noetherian and Krull rings, Ellis Horwood Series: Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155615-7.
- Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Dimension, multiplicity and homological methods, Ellis Horwood Series: Mathematics and its Applications., Chichester: Ellis Horwood Ltd., ISBN 978-0-13-155623-2.
- Kaplansky, Irving (1974), Commutative rings (Revised edición), University of Chicago Press, MR 0345945.
- Nagata, Masayoshi (1975), Local rings, Interscience Tracts in Pure and Applied Mathematics 13, Interscience Publishers, pp. xiii+234, ISBN 978-0-88275-228-0, MR 0155856.
- Zariski, Oscar; Samuel, Pierre (1958–60), Commutative Algebra I, II, University series in Higher Mathematics, Princeton, N.J.: D. van Nostrand, Inc.. (Reprinted 1975-76 by Springer as volumes 28-29 of Graduate Texts in Mathematics.)
Enlaces externos
[editar]- Hazewinkel, Michiel, ed. (2001), «Commutative_ring&oldid=18880», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104.