Está en la página 1de 6

Anillo (matemática

)

En álgebra moderna, un anillo es un sistema algebraico provisto de dos de las operaciones binarias: la adición y
formado por un conjunto no vacío y dos operaciones in- la multiplicación conocidas desde la matemática escolar.
ternas, llamadas usualmente «suma» y «producto», que Históricamente, el conjunto Z de los enteros con sus dos
cumplen ciertas propiedades. operaciones sirvió de base para la formulación del con-
cepto de anillo[cita requerida] . La razón por la cual los ente-
En términos más específicos, un anillo es una terna (A,
+, •), donde A es un conjunto no vacío y + y • son ope- ros forman un anillo es que poseen las siguientes propie-
raciones binarias internas en A, en donde (A, +) es un dades:
grupo abeliano y • es una operación asociativa y distri-
butiva bilátera respecto de +. Suele denominarse «suma» 1. Los números enteros están cerrados bajo la suma:
y «producto» a las operaciones + y •, respectivamente. dados dos números enteros a y b, se cumple que a +
En esta convención, el elemento neutro de la suma se de- b es un número entero.
signa como 0 y el opuesto con respecto a la suma de un
2. La suma es asociativa: dados tres números enteros
elemento a, perteneciente al conjunto A dado, se denota
a, b y c, se cumple que (a + b) + c = a + (b + c).
como –a.
El producto en un anillo no necesariamente tiene una 3. Existe un elemento neutro para la suma: para todo
[1]
operación inversa definida, a diferencia de otras es- número entero a, a + 0 = 0 + a = a.
tructuras algebraicas como el cuerpo. Si el producto es 4. Existe un elemento simétrico para la suma: para to-
conmutativo, tal anillo se denomina «anillo conmutati- do número entero a, siempre existe algún número
vo». Además, si existe un elemento neutro para el pro- entero b, tal que a + b = 0.
ducto, se dice que el anillo es unitario ya que, en este
caso, se emplea el número 1 para designar al elemento 5. La suma es conmutativa: dados dos números enteros
neutro del producto. a y b, se cumple que a + b = b + a.
6. Los números enteros están cerrados bajo la multipli-
cación: dados dos números enteros a y b, se cumple
1 Historia que a × b es un número entero.

La teoría de anillos surgió de la exploración de asuntos 7. La multiplicación es asociativa: dados tres números
vinculados con la divisibilidad entre números enteros, del enteros a, b y c, se cumple que (a × b) × c = a × (b
estudio simultáneo de divisibilidad de polinomios y hasta × c).
del caso de los cuerpos, concretamente, de los números 8. Existe un elemento neutro para la multiplicación:
racionales, números reales, números complejos y de los para todo número entero a, a × 1 = a.
números algebraicos, de los cuaterniones, fracciones ra-
cionales y otros. En la etapa inicial, fueron las materias de 9. La multiplicación es distributiva respecto de la su-
la teoría de números y de la geometría algebraica las que ma: a × (b + c) = (a × b) + (a × c).
propiciaron los conceptos de anillo, cuerpo e ideal. En su
estructuración axiomatica , tales ideas fueron fruto del es-
fuerzo de Dedekind y otros matemáticos a fines del siglo 3 Definición
XIX. Sus aplicaciones al análisis matemático muestran
los enfoques modernos de algebrización de tal disciplina Sea A un conjunto no vacío, y sean ⋆ y ◦ dos operaciones
matemática, que ocurren recién en el segundo cuarto del binarias en A. Se dice que el conjunto (A, ⋆, ◦) es un
siglo XX.[2] anillo si se cumplen las siguientes propiedades:

2 Noción de anillo
Estas cuatro condiciones definen un grupo. Una quinta
Considérese el conjunto de números enteros: condición define un grupo abeliano:

... –8, –3, –2, –1, 0, 1, 2, 3, 8, ...

1

• Elemento inversible.2 5 ELEMENTOS DESTACADOS EN UN ANILLO Para definir un anillo. Todo elemento • El conjunto Q( 3 ) de los números reales: m+n 3 invertible es regular. • El conjunto de los enteros gaussianos H = {m+ni: m. elemento inverso por la izquierda y por la de- dos) respecto de la adición. y se denota simplemente como elemento inverso ( a−1 ). La multiplicación es distributiva (por los dos la. A dicho elemento coinciden en el caso de que el anillo sea trivial: se le suele llamar la unidad (1) para diferenciarlo del ele- mento neutro de la primera operación (usualmente el 0). izquierda (o sencillamente inverso por la iz- llamadas adición y multiplicación. tal que complejos ℂ. elemento x del anillo para el que existe un número . a·b=0. elemento invertible o 4 Ejemplos unidad: es todo aquel elemento que posee inverso multiplicativo. e inclu- so es posible que un elemento tenga inverso por • R2. Para este elemento se verifica lo siguiente: Y agregando una novena condición. es el elemento neu- tro para la suma. es necesario agregar tres condicio. recha. entonces ambos son iguales. o vicever- sa. se pueden definir elementos inversos multiplicativos de la siguiente manera: 3. es un anillo finito decir. se llama elemento unitario. • Inverso multiplicativo: en un anillo unitario. cuando un elemento a tiene • R3. El cero es siempre idempotente en un anillo. to cero y el elemento unitario (caso de existir) sólo da operación se llama anillo unitario. la adición y multiplicación de matrices es un anillo no conmutativo. el elemento c es inverso multipli- cativo por la derecha (o sencillamente inverso por la derecha) de a si a · c = 1 . quierda) de a si b · a = 1 . 5 Elementos destacados en un ani- nes más que hablan acerca de la segunda operación bina- ria: llo • Elemento cero.1 Definición sintética • el elemento b es inverso multiplicativo por la Un anillo R es un conjunto con dos leyes de composición. si existe algún b ̸= 0 . con la anillo que al multiplicarse por sí mismo no varía. No todos los elementos tienen inverso. El elemen- Si un anillo cuenta con un elemento neutro para la segun. R es grupo abeliano para la adición. R es un semigrupo para la multiplicación. con la adición y mul- tiplicación. el elemento neutro en esta adición se nombra cero del anillo. con divisores de 0. Se dirá que a es divisor del cero • El conjunto M de las matrices reales de orden 2 con si lo es tanto por la derecha como por la izquierda. también el 1 es idempotente. se define un anillo conmutativo: 0·x=0 ∀x ∈ A • Elemento unitario: si un elemento. y si el anillo es unitario. Es un subanillo de los números cero por la izquierda. tal que e · e = e (o alternativamente e2 = e ). es adición y multiplicación modular. que denotamos 1. • R1. donde m. • El conjunto F[x] de los polinomios con coeficien- tes en ℤ (conjunto de los enteros). y se denota usualmente 0. cumpliendo las condi. la izquierda pero no por la derecha. cumple 1 · a = a · 1 = a para todo elemento a del anillo. Lo es por la derecha si existe un c ̸= 0 distin- to de 0 tal que c·a=0. con la adición y • Elemento nilpotente (o nihilpotente): es cualquier multiplicación. Sin embargo.n ∈ ℤ}. con la adición y múltiplicación usuales es • Divisor de cero: un elemento a ̸= 0 es divisor del un anillo unitario.[4] • Elemento idempotente: es cualquier elemento e del • El conjunto Z[6] de los enteros módulo 6. ciones siguientes:[3] • Así mismo. n ∈ ℚ (son racionales. es un anillo unitario conmutativo. • Elemento regular: un elemento a ̸= 0 de un anillo √ √ es regular si no es divisor de cero. denotado por 0 . es un anillo unitario.

cuando el anillo es unitario. La propiedad conmutativa asegura que en los anillos conmutativos todo ideal por la izquierda lo 7. tiene inverso. Cuando un subconjunto I es ideal por la derecha e ideal por la izquierda se dice que es un ideal bilátero. de la suma y producto de enteros es un anillo conmu- la misma manera. si R ̸= S . ℤ es un subanillo de ℚ. si el anillo es es siempre un nilpotente de cualquier anillo. . con la suma subanillo de ℂ. +) cir. y producto de matrices es un anillo unitario no con- mutativo. • Anillo conmutativo: aquel en el que el producto es (S. que en este caso. [5] 2. subanillo de ℂ. +) y N. no tiene divisores del cero.1.también cuando un elemento del ideal se multiplica por tivo. entonces se exigirá además que 1 ∈ S . y elementos de K se co- simplificación. a·b=b·a para todos a y b (no Ejemplos: debe confundirse con anillo abeliano). K es subgrupo aditivo de A. a excepción del 0. todos los ideales (por la iz- Un subanillo S de un anillo R =(A. De x.+. conmutativo. b ∈ S . pero esta exigencia no es De mucho mayor interés en teoría de anillos son los aceptada por todos los autores). y el recíproco también es cierto. anillos Resulta pues que un subanillo es un anillo dentro de otro anillo (para las mismas operaciones). y todo ideal por la derecha es ideal por la izquierda. esto es. el conjunto M de las subanillo de ℝ. y sí lo será si R no es unitario. éste es distinto del neutro de la suma. se cumplen las leyes de 2. • Un subconjunto I ⊂ R es ideal por la izquierda to idempotente pertenece al centro del anillo. tario y además. lige que xy elemento de K. Como ejem- plo: el conjunto P de los números enteros pares con 1.7. xn = x · xn−1 ). puesto que no sólo son cerrados respecto de la multiplicación respecto de los elementos del ideal. r·x∈I . • Anillo euclídeo[6] o dominio euclídeo es un domi- • Un subconjunto I ⊂ R es ideal por la derecha de nio de integridad R junto con una norma euclídea un anillo (A.1 Subanillos es también por la derecha. y ℝ es un matrices reales cuadradas de orden 2. En cambio. ideales. es un dominio de integridad (a me. cualquier elemento del anillo: • Anillo abeliano: es un anillo en el que todo elemen.+. si a.2 Ideales 3 natural n de forma que xn = 0 (donde xn se define multiplicación en el anillo. 7. es decir. esto es. Un subanillo S es propio cuando no coincide con todo el 6 Algunos tipos importantes de anillo. El anillo de los enteros. Si 1 ∈ R (es decir.[7] • Dominio de integridad: si un anillo no posee divi- sores del cero. El 0 a + b ∈ S y a · b ∈ S . entonces por recurrencia: x0 = 1 . ℚ es un tativo no unitario.1 Proposición • Anillo de división: es el anillo en el cual todo ele- mento.·) si (I. Nótese elemento nilpotente es divisor de cero. +) . Si un anillo 1.2 Ideales nudo se suele exigir que además se trate de anillos conmutativos y unitarios. o sim- 7 Subsistemas notables plemente ideal. todo elemento idempotente conmuta con cual. +) es subgrupo de (R. es de.·) es un subconjunto quierda o por la derecha) de un anillo conmutativo son S ⊂ R que cumple que es cerrado para la suma y la ideales biláteros. +) es un subgrupo de (R. +) es subgrupo de (R.7.+. el de los enteros gaus- dados cualesquiera r ∈ R y x ∈ I se tiene que sianos y los anilllos de polinomios son ejemplos de x·r ∈I . de un anillo (A. Todo unitario). sino • Cuerpo: se trata de un anillo de división conmuta. y dados cualesquiera r ∈ R y x ∈ I se tiene que quier elemento del anillo. El conjunto de los números complejos algebraicos es un • Anillo unitario: aquel que posee un elemento uni. dominios euclídeos. esto es. Un subconjunto K de un anillo A es subanillo de A si y solamente si • Anillo con leyes de simplificación: aquel en el que se cumplen las leyes de simplificación. {0} no será subanillo de R . En particular.·) si (I.

Basic algebra 1 (2nd edi- ción).. es el √ el nombre de grupo de unidades de R. Dover. Vicens-Vives.-London-Don Mills. Groups. lo que impide a los ideales ser subanillos de anillos unitarios. = 15. [2] Leopoldo Nachbin.. New Nociones de álgebra lineal» Eudeba Buenos Aires York: Wiley. bridge university Press. esto es. El sity Press. ISBN 0-340-54440-6 determinante distinto de 0.. 1994. aquellas que son iguales a la matriz identidad • Ellis.. ∀s ∈ R} .. +. enteros. R. centro de un anillo viene a ser como “la parte conmutativa del anillo”. que contiene a las matrices con Butterworth-Heinemann. Introductory Lectures on Rings and el conjunto de elementos que conmutan para el producto. • Cuerpo (matemática). Small. MacLane. dubreil Jacoti. Wáshington (1986) anillo. University Press. por la derecha o bilátero) propio tiene por elemento al 1. Saunders (1974). Mathematical Association of America. el centro del anillo de las matrices cuadradas de orden n está constituido únicamente por las matrices • Dresden.2 cm) Introduction to Number Theory. El centro de un anillo (R.. ISBN 0-521-36086-2 • Grupo abeliano. “Moduls. 1R ) . rings Los anillos conmutativos son aquellos que coinciden con and fields: Algebra through practice. Nótese que siempre se tiene que 0 ∈ Z(R) . “Small Rings. 16. 7. Oxford. • Homomorfismo de anillos. «El conjunto de todos los El conjunto de elementos invertibles de un anillo uni. 1999.3 Unidades [4] Birkhoff.J. Cam- su centro. J. Book 3. directamente comprobables Si I es ideal (por la izquierda. las unidades del anillo de los enteros son 1 10 Bibliografía y −1 (isomorfo al grupo de dos elementos). University Press.L. An introduc- 8 Véase también tion to noncommutative Noetherian rings.S. Jr. DC.F.B. ·) (denotado por Z(R) ) es • Beachy. F. 15. Nathan (2009). Otro ejemplo. En particular. p.” §6 in (6 in [1] Mischa Cotlar & Cora Ratto. esto es. • Goodearl. Wáshington (1986) ideal (por la izquierda. Addison-Wesley Publishing 7.I. denotado U (R) de todos los números de la forma a+b 3 . • T. 1989. T. Blyth and E. Reading. 1969 ix+128 pp. Macdonald. I.” escalares. ISBN 0-521-27288-2 Por ejemplo. Mass. N. pp. Ediciones de la Un ideal I se dice que es propio si es distinto de todo el OEA. Introduction to commutative algebra. dubreil y M. R = Z(R) . • Atiyah M. I. Cambridge. xii+202 pp. forma un conjunto de todos los números reales son ejemplos de do- grupo respecto de la multiplicación del anillo. ningún ideal propio tiene elementos invertibles. el conjunto de todos los números racionales y el tario (R.. With an afterword by Lance W. and Fields. 1993. G. i. Modules.e.4 10 BIBLIOGRAFÍA Un ideal no tiene por qué ser necesariamente un subanillo.» . menos corriente. Rings and Fields.«Álgebra elemental» Ediciones de la OEA.«Introducción al álgebra. llamados unidades de R. Cambridge • Grupo (matemática). lineal general de orden n. Reprint of • Anillo conmutativo. ningún [7] Leopoldo Nachbin.. Allenby (1991). G. 3. England: Cambridge Univer- es decir Z(R) := {r ∈ R : r · s = s · r. Carus Mathematical Monographs. England: Oxford multiplicada por un escalar. entonces I ∩U (R) = ∅ . 1951 . xviii+303 pp. y el grupo de unidades de las matrices cuadradas de orden n es el grupo • R. que recibe minio de integridad. London Mathematical Society Student Texts. Álgebra Moderna. [6] El nombre según A. Ont. Por ejemplo. ·. Lecciones de Álgebra mo- derna. • Herstein. ISBN 978-0-486-47189-1 9 Referencias y notas • Nagell. Kostrikin. Noncommutative rings. K.. Robertson (1985). I ̸= R . Garret. Warfield. B. Fields and Groups. ISBN 0-88385-015-X • Jacobson. Washington. dades de R. R.T. G. [5] Casos sencillos. «Álgebra elemental». +. Rings.4 Centro Co. Rings. por la derecha o bilátero) propio de un anillo unitario R . the 1968 original. 19–21. [3] P. Cambridge. U (R) es el grupo de uni. A.

. 2003. 131. Structure of rings. Y. Incluye un capítulo sobre American Mathematical Society. ISBN 0226424545. New York. Ring theory. . American Mat. Berlin. American Mathematical So- ciety. J. ISBN 0-387-98428-3 • Lang. Louis H. Boca Ra- ton. Academic Press. xx+385 pp. Noncommutative Noetherian rings. I. T. 1943. Second edition.07. Pure and Applied Mathematics. C.001.” §2.. Second edition. Problem Books in Mathematics. Vol. ISBN 0-12-599842-2 • Sloane. Graduate Studies in Mathematics. xx+636 pp. doi:10.6. vi+150 pp. ISBN 0- 8218-2169-5 • Pinter-Lucke. The Theory of Rings. vol. 1964 ix+299 pp. Springer- Verlag.). Graduate Texts in Mathematics. RI. 128. vised edición). Robson. R. Irving (1974). A first course in noncommutative rings. • Kaplansky. Revised edition American Mathematical So. T. 189. «Commutati- vity conditions for rings: 1950–2005». Y. Cambridge University Press. N. 141–143. University of Chicago Press. Exercises in classical ring theory. pp..: Introducción al álgebra(1983) Edi- torial Mir. Gradua- te Texts in Mathematics.. ISSN 0723-0869 • Rowen. Serge (2005). Eric W. MR 0345945 • Lam. FL: CRC Press. • Nathan Jacobson. I. Providence. 127. James (2007). Inc. Springer-Verlag. ISBN 0-387- 00500-5 • Lam. Wolfram Research. D. xx+359 pp. • Weisstein. New York.11 Enlaces externos hematical Society Colloquium Publications. J. Eric W.Wikilibros ciety. Providence.I. J.exmath. Boston. xxiv+557 pp. Lectures on modules and rings. «Ring».3 in CRC Stan- dard Mathematical Tables and Formulae. “Rings. (Ed. Sequences A027623 and A037234 in (037. C.1016/j. 30. Revised edition. 37. American • Wikilibros alberga un libro o manual sobre Mathematical Society Mathematical Surveys. Springer-Verlag. New York: Springer-Verlag. Commutative rings (Re.. Undergraduate Algebra (3rd edición). ISBN 0-387-95183-0 • Lam. Cambridge Studies in Advanced Mathe- matics (2nd edición). Vol. 5 • Nathan Jacobson. Álgebra Abstracta. 1999.234 in = 946 m) “The On-Line Encyclopedia of Integer Sequences • Zwillinger. Anillos. MA. 1995 • Kostrikin. Y. MathWorld (en inglés). T. A. Commutative Ring Theory.. New York. ISBN 978-0-387-22025-3.2006. Hideyuki (1989). New York. • Matsumura. II. Moscú. Ex- positiones Mathematicae 25 (2): 165-174. 2001. ISBN 0-12-599841-4. En Weisstein. A. 2001. ISBN 978-0-521-36764-6 • McConnell. 1988. Traducción al español de Roberto Aníbal Sala.I.

Torbellino. Diegusjaimes. 12. BOT-Superzerocool. Emiduronte. BodhisattvaBot. Caste- lo. Rigenea. Decko. Vitamine. JuanManwell.0 .wikimedia. Dnu72.3 Licencia del contenido • Creative Commons Attribution-Share Alike 3. Beto29. HiW-Bot. MomijiRoBot. Benja- Bot.org/wikipedia/commons/f/fa/Wikibooks-logo. Rehernan. JMCC1. Jharni Elmer Neyra Valverde. Maldoror. Alexbot. Boatbadly. Vivero. EmausBot. PIERRE26. FiriBot. Xqbot. Gullo. FrescoBot. Luckas-bot. Sop- hivorus. AStarBot. JRGL. DefLog. RobotQuistnix. FedeBosio. Vargenau. AlleborgoBot.org/wiki/Anillo_(matem%C3%A1tica)?oldid=99023546 Colaboradores: Youssefsan. BuenaGente. Sms.svg Fuente: https://upload. Zwobot. Shooke. colaboradores y licencias 12. Garnete. Botito777. Ameriko~eswiki. Rubenlagus. JavierBrude. Camiloalcubo2. Ingenioso Hidalgo. HRoestBot. COLABORADORES Y LICENCIAS 12 Origen del texto y las imágenes. Landertxu. Sabbut. SieBot. Petruss. Rembiapo pohyiete (bot). Jmabel (US). X2y3. MerlIwBot. BOTijo. BL. Antimuonium. Chobot. Muro Bot. JAnDbot. Moriel. Echani. ChuispastonBot. Götz.6 12 ORIGEN DEL TEXTO Y LAS IMÁGENES. Robotito. Mushii.svg Licencia: CC BY-SA 3. Wewe. User:Ramac et al. Cbravolillo. Eliasgv3.2 Imágenes • Archivo:Wikibooks-logo. AlnoktaBOT. Jkbw. 333.1 Texto • Anillo (matemática) Fuente: https://es. Thijs!bot. Jarould. Pólux. Acratta. TXiKiBoT. Loveless. Camilo. Jtico. CEM-bot. Semibot y Anónimos: 61 12. VolkovBot.0 Colaboradores: Trabajo propio Artista original: User:Bastique. Jorge c2010. Addbot. DanielgooG. Julio grillo.wikipedia. Raulshc. MastiBot.