Ver el código de «Anillo (matemática)»

[[Archivo:Dedekind.jpeg|miniaturadeimagen|[[Richard Dedekind]] (c. 1870)]]
En [[álgebra abstracta]], un '''anillo''' es un [[estructura algebraica|sistema algebraico]] formado por un [[conjunto]] y dos [[Operación matemática|operaciones internas]], llamadas usualmente «suma» y «producto», que cumplen ciertas propiedades.

En términos más específicos, un anillo es una terna <math>(R, +, \cdot)</math>, donde <math>R</math> es un conjunto y + y • son operaciones binarias internas en <math>R</math>, en donde <math>(R, +)</math> es un [[grupo abeliano]], <math>(R, \cdot)</math> es un [[semigrupo]] y se verifica la distributiva bilateral de • respecto de +. Suele denominarse «suma» y «producto» a las operaciones + y •, respectivamente. En esta convención, el elemento neutro de la suma se designa como 0, el opuesto con respecto a la suma de un elemento ''a'', perteneciente al conjunto ''R'' dado, se denota como –''a'' y el neutro del producto se designa como 1. Sería redundante decir que un anillo es un conjunto no vacío, pues una vez que se define como un grupo abeliano con la suma, esto queda claro.

El producto en un anillo no necesariamente tiene una [[operación inversa]] definida,<ref>Mischa Cotlar & Cora Ratto.«Introducción al álgebra. Nociones de álgebra lineal» Eudeba Buenos Aires</ref> a diferencia de otras estructuras algebraicas como el [[Cuerpo (matemáticas)|cuerpo]]. Si el producto es [[Conmutatividad|conmutativo]], tal anillo se denomina «[[anillo conmutativo]]».

== Historia ==
La teoría de anillos surgió de la exploración de asuntos vinculados con la divisibilidad entre números enteros, del estudio simultáneo de divisibilidad de polinomios y hasta del caso de los cuerpos, concretamente, de los números racionales, [[Número real|números reales]], números complejos y de los [[Número algebraico|números algebraicos]], de los cuaterniones, fracciones racionales y otros. En la etapa inicial, fueron las materias de la [[teoría de números]] y de la [[geometría algebraica]] las que propiciaron los conceptos de anillo, cuerpo e ideal. En su estructuración axiomatica , tales ideas fueron fruto del esfuerzo de Dedekind y otros matemáticos a fines del {{siglo|XIX||s}}. Sus aplicaciones al [[análisis matemático]] muestran los enfoques modernos de algebrización de tal disciplina matemática, que ocurren recién en el segundo cuarto del {{siglo|XX||s}}.<ref>  Leopoldo Nachbin. «Álgebra elemental».  Ediciones de la OEA, Wáshington (1986)</ref> 

El término ''anillo'' fue propuesto por el matemático alemán [[David Hilbert]] en ''Der Zahlbericht'' (Informe sobre los números 1897). La expresión ''anillo booleano'' la introdujo el matemático británico [[Arthur Harold Stone]] (1938).<ref>Alexándrova ''Diccionario histórico de notaciones... matemáticas'' ISBN 978-5-396-00676-8</ref>

== Noción de anillo ==
{{AP|Número entero}}
{{VT|Propiedades de los números enteros}}

Considérese el conjunto de [[Número entero|números enteros]]:

:... –4, –3, –2, –1, 0, 1, 2, 3, 4, ...

provisto de dos de las operaciones binarias:  la [[suma|adición]] y la [[multiplicación]]. Históricamente, el conjunto '''ℤ''' de los enteros con sus dos operaciones sirvió de base para la formulación del concepto de anillo. <ref>{{cita libro |apellido="Kleiner" |nombre="Israel" |enlaceautor= |título="A History of Abstract Algebra" |url= |fechaacceso= |idioma= |otros= |edición= |año="2007" |editor="Kleiner, Israel" |editorial="Birkh{\"a}user Boston" |ubicación="Boston, MA" |isbn="978-0-8176-4685-1" |capítulo="History of Ring Theory" |páginas="41--61" |cita=}}</ref>
La razón por la cual los enteros forman un anillo es que poseen las siguientes propiedades:

# Los números enteros están cerrados bajo la suma: dados dos números enteros ''a'' y ''b'', se cumple que ''a'' + ''b'' es un número entero.
# La suma es [[Asociatividad (álgebra)|asociativa]]: dados tres números enteros ''a'', ''b'' y ''c'', se cumple que (''a'' + ''b'') + ''c'' = ''a'' + (''b'' + ''c'').
# Existe un [[elemento neutro]] para la suma: para todo número entero ''a'', ''a'' + 0 = 0 + ''a'' = ''a''.
# Existe un [[elemento simétrico]] para la suma: para todo número entero ''a'', siempre existe algún número entero ''b'', tal que ''a'' + ''b'' = 0.
# La suma es [[Conmutatividad|conmutativa]]: dados dos números enteros ''a'' y ''b'', se cumple que ''a'' + ''b'' = ''b'' + ''a''.
# Los números enteros están cerrados bajo la multiplicación: dados dos números enteros ''a'' y ''b'', se cumple que ''a'' × ''b'' es un número entero.
# La multiplicación es asociativa: dados tres números enteros ''a'', ''b'' y ''c'', se cumple que (''a'' × ''b'') × ''c'' = ''a'' × (''b'' × ''c'').
# Existe un elemento neutro para la multiplicación: para todo número entero ''a'', ''a'' × 1 = ''a''.
# La multiplicación es [[Propiedad distributiva|distributiva]] respecto de la suma por la derecha: ''a'' × (''b'' + ''c'') = (''a'' × ''b'') + (''a'' × ''c'').
# La multiplicación es [[Propiedad distributiva|distributiva]] respecto de la suma por la izquierda: (''b'' + ''c'') × ''a'' = (''b'' × ''a'') + (''c'' × ''a'').

== Definición ==
Sea <math>R</math> un [[conjunto]] no vacío, y sean <math>\star</math> y <math>\circ</math> dos [[operación matemática|operaciones binarias]] en <math>R</math>. Se dice que el conjunto <math>(R,\star,\circ) \,</math> es un '''grupo''' cuando se cumplen las siguientes propiedades:

:{|
|width="20px"|1. ||width="300px"|<math>R</math> es cerrado bajo la operación <math>\star</math>. ||<math>\forall a, b \in R, a \star b \in R</math>
|[[Magma (álgebra)|Magma]]
|-
|2. || La operación <math>\star</math> es [[Asociatividad (álgebra)|asociativa]]. || <math>\forall a,b,c \in R, (a \star b) \star c = a \star (b \star c)</math>
|[[Semigrupo]]
|-
|3. || La operación <math>\star</math> tiene un [[elemento neutro]] <math>n</math>. ||<math>\exists n \in R : \forall a \in R, a \star n = n \star a = a</math>
|[[Monoide]]
|-
|4. || Siempre existe un [[elemento simétrico]] respecto <math>n</math> para <math>\star</math>. || <math>\forall a \in R, \exists b \in R : a \star b = b \star a = n</math>
|[[grupo (matemática)|Grupo]]
|}

Una quinta condición define un [[grupo abeliano]]:
:{|
|width="20px"|5. ||width="300px"| La operación <math>\star</math> es [[Conmutatividad|conmutativa]]. || <math>\forall a,b \in R, a \star b = b \star a</math>
|}

Para definir un anillo, es necesario agregar cuatro condiciones más, las  que conciernen acerca de la segunda operación binaria:

:{|
|width="20px"|6. ||width="300px"| ''R'' es cerrado bajo la operación <math>\circ</math>. || <math>\forall a, b \in R, a \circ b \in R</math>
|-
|7. || La operación <math>\circ</math> es [[Asociatividad (álgebra)|asociativa]]. || <math>\forall a,b,c \in R, (a \circ b) \circ c = a \circ (b \circ c)</math>
|-
|8.
|La operación <math>\circ</math> tiene un elemento neutro <math>m</math>.
|<math>\exists m \in R : \forall a \in R, a \circ m = m \circ a = a</math>
|-
|9. || La operación <math>\circ</math> es [[Distributividad|distributiva]] respecto de <math>\star</math>.
|<math>
   \forall a, b, c \in R, \quad
   \left \{
      \begin{array}{l}
         a \circ (b \star c) = (a \circ b) \star (a \circ c) \\
         (a \star b) \circ c = (a \circ c) \star (b \circ c) \\
      \end{array}
   \right .
</math>
|}

Y agregando una décima condición, se define un [[anillo conmutativo]]:

:{|
|width="20px"|10. || width="300px" | La operación <math>\circ</math> es [[Conmutatividad|conmutativa]]. || <math>\forall a,b \in R, a \circ b = b \circ a</math>
|}

Cuando no se exige que exista un neutro de la segunda operación hablamos de [[pseudoanillo]]. También existe la definición de anillo que no incluye la existencia de un elemento neutro para la segunda operación, y en dicho caso se llama [[anillo unitario]] a los anillos que sí tienen dicho elemento neutro para la segunda operación y donde dicho elemento es distinto del neutro de la primera operación.

== Ejemplos ==

* El conjunto de los [[Entero gaussiano|enteros gaussianos]] <math>R = \{ m+ni: m, n \in \mathbb{Z} \} </math>, con la adición y múltiplicación usuales es un anillo. Es un subanillo de los [[Número complejo|números complejos]] <math>\mathbb{C}</math>.
* El conjunto <math>M</math> de las [[Matriz (matemáticas)|matrices]] reales de orden <math>2</math> con la adición y multiplicación de matrices es un anillo no conmutativo.
* El conjunto <math> \mathbb{Q}({\scriptstyle \sqrt 3})</math> de los números reales:  <math>m+n\scriptstyle \sqrt 3</math> donde <math> m, n \in \mathbb{Q}</math> (son [[Número racional|racionales]]), con la adición y multiplicación, es un anillo conmutativo.<ref>{{cita libro
 | apellidos1=Birkhoff
 | nombre1=Garret
 | apellidos2=MacLane
 | nombre2=Saunders
 | título=Álgebra Moderna
 | fecha=1974
 | editorial=Vicens-Vives
 | página=3
 | fechaacceso=9 de junio de 2015
 | cita=El conjunto de todos los enteros, el conjunto de todos los números racionales y el conjunto de todos los números reales son ejemplos de dominio de integridad. Otro ejemplo, menos corriente, es el de todos los números de la forma <math>\scriptstyle a+b\sqrt{3}</math>.
}}</ref>
*El conjunto <math>\mathbb{Z}_6</math> de los enteros módulo <math>6</math>; con la adición y multiplicación [[Aritmética modular|modular]], es un anillo finito con [[Divisor de cero|divisores de 0]].
*El conjunto <math>F[x]</math> de los [[polinomio|polinomios]] con coeficientes en <math>\mathbb{Z}</math> (conjunto de los enteros), con la adición y multiplicación, es un anillo unitario.


==Sustracción==
Una operación vinculada a la adición se puede definir en un anillo: ''la sustracción''.
* La diferencia de a y b se define como d = a +(-b), resultado garantizado por la existencia y unicidad del opuesto de b. La operación que al [[par ordenado]] a, b le asigna su diferencia se llama ''sustracción''. Y se considera operación inversa de la adición en el sentido en que  <math>\forall a,b \in R, a=d+b</math>, lo que podemos ver fácilmente pues <math>d+b=(a+(-b))+b=a+((-b)+b)=a+0=a</math>. La sustracción resuelve la ecuación b+x = a , con diferencia de a y b.

; Distributiva con la sustracción
<math>\forall a,b,c \in R, a(b-c)=ab-ac, (b-c)a=ba-ca</math>

== Elementos destacados en un anillo ==

* '''Elemento cero''', denotado por <math>0</math>, es el [[elemento neutro]] para la suma. Para este elemento se verifica lo siguiente:
:Sea R un anillo arbitrario. <math>0 \cdot x = 0 \qquad \forall x \in R</math>
{{demostración|1=<math> 0x = (0+0)x = 0x+0x \Rightarrow 0x= 0x + 0x</math><br />
Sumando el inverso aditivo de <math>0x</math>, que existe dado que R es un grupo para la suma, <math>0x -0x = 0x</math><br />
:Pero <math>0x-0x= 0</math>. Finalmente <math>0 = 0x \qquad \forall x\in A</math>}}

* '''Múltiplo''' de un elemento:  para cualquier número entero positivo <math> n </math> y el elemento  <math> a </math> del anillo se define  <math>na = a + \cdots + a. \, (n \text{ veces}) </math> y a <math> na </math> se llama ''múltiplo de a''. Se cumple también que <math> 0a = 0_R </math>. De modo que el número entero cero por cualquier  elemento de un anillo es igual al cero del anillo. Finalmente, <math> n (-a) = -na </math> donde <math> n </math> es entero positivo y <math> -a </math> es el  ''opuesto'' de <math> a </math>.<ref>A. G. Kurosch Curso de álgebra superior. Editorial Mir Moscú (1981)</ref> 

* '''Elemento unitario''': si un elemento, que denotamos 1, cumple <math>1 \cdot a = a \cdot 1 = a</math> para todo elemento ''a'' del anillo, se llama elemento unitario. El elemento cero y el elemento unitario (caso de existir) solo coinciden en el caso de que el [[Anillo trivial|anillo sea trivial]]:
{{demostración|1=Sea <math>a \in A : a = a \cdot 1 = a \cdot 0 = 0</math><br />
Luego, <math>\forall a \in A \quad a = 0</math>}}

* '''[[Inverso multiplicativo]]''': en un anillo unitario, se pueden definir elementos inversos multiplicativos de la siguiente manera:
** el elemento <math>b</math> es ''inverso multiplicativo por la izquierda'' (o sencillamente ''inverso por la izquierda'') de <math>a</math> si <math>b \cdot a = 1</math>.
** Así mismo, el elemento <math>c</math> es ''inverso multiplicativo por la derecha'' (o sencillamente ''inverso por la derecha'') de <math>a</math> si <math>a \cdot c = 1</math>.
:No todos los elementos tienen inverso, e incluso es posible que un elemento tenga inverso por la izquierda pero no por la derecha, o viceversa. Sin embargo, cuando un elemento ''a'' tiene elemento inverso por la izquierda y por la derecha, entonces ambos son iguales, y se denota simplemente como elemento inverso (<math>a^{-1}</math>).

* '''Elemento inversible''', '''elemento invertible''' o '''[[Unidad (álgebra)|unidad]]''': es todo aquel elemento que posee inverso multiplicativo.

* '''[[Divisor de cero]]''': un elemento <math>a \neq 0</math> es divisor del cero por la izquierda, si existe algún <math>b \neq 0</math>, tal que a·b=0. Lo es por la derecha si existe un <math>c \neq 0</math> distinto de 0 tal que c·a=0. Se dirá que ''a'' es divisor del cero si lo es tanto por la derecha como por la izquierda.

* '''Elemento regular''': un elemento <math>a \neq 0</math> de un anillo es regular si no es divisor de cero. Todo elemento invertible es regular.

* '''Elemento [[idempotente]]''': es cualquier elemento <math>e</math> del anillo que al multiplicarse por sí mismo no varía, es decir, tal que <math>e \cdot e=e</math> (o alternativamente <math>e^2=e</math>). El cero es siempre idempotente en un anillo, y si el anillo es unitario, también el 1 es idempotente.

* '''Elemento [[nilpotente]]''' (o '''nihilpotente'''): es cualquier elemento <math>x</math> del anillo para el que existe un [[número natural]] <math>n</math> de forma que <math>x^n = 0</math> (donde <math>x^n</math> se define por recurrencia: <math>x^0 = 1</math>, <math>x^n = x \cdot x^{n-1}</math>). El 0 es siempre un nilpotente de cualquier anillo. Todo elemento nilpotente es divisor de cero.

== Algunos tipos importantes de anillos ==

* '''[[Anillo conmutativo]]''': aquel en el que el producto es conmutativo, esto es, a·b=b·a para todos a y b (no debe confundirse con '''anillo abeliano'''). Como ejemplo: el conjunto <math> P </math> de los números enteros pares con la suma y producto de enteros es un anillo conmutativo no unitario. 
* '''Anillo no conmutativo'''  es aquel en el cual el producto no es conmutativo. Por ejemplo, el conjunto <math> \mathcal{M}_{2 \times 2} </math> de las matrices reales cuadradas de orden <math>2</math>, con la suma y [[Multiplicación de matrices|producto de matrices]] es un anillo unitario no conmutativo.

* '''[[Anillo unitario]]''': aquel que posee un elemento unitario y además, este es distinto del neutro de la suma (esta distinción se realiza cuando no se considera que un anillo tenga que tener elemento neutro respecto del producto.

* '''[[Anillo de división]]''': es el anillo en el cual todo elemento, a excepción del <math>0</math>, tiene inverso.

* '''Anillo con leyes de simplificación''': aquel en el que se cumplen las leyes de simplificación. Si un anillo no tiene divisores del cero, se cumplen las leyes de simplificación, y el recíproco también es cierto.

* '''[[Dominio de integridad]]''': si un anillo no posee divisores del cero, es un dominio de integridad (a menudo se suele exigir que además se trate de anillos conmutativos y unitarios, pero esta exigencia no es aceptada por todos los autores).

* '''[[Cuerpo (matemática)|Cuerpo]]''': se trata de un anillo de división conmutativo.

* '''Anillo abeliano''': es un anillo en el que todo elemento idempotente pertenece al centro del anillo, es decir, todo elemento idempotente conmuta con cualquier elemento del anillo.

* '''Anillo euclídeo'''<ref>El nombre según A.I. Kostrikin.</ref> o '''[[dominio euclídeo]]''' es un dominio de integridad '''R''' junto con una norma euclídea N. El anillo de los [[número entero|enteros]], el de los [[Entero gaussiano|enteros gaussianos]] y los anillos de [[Polinomio|polinomios]] son ejemplos de dominios euclídeos.

* '''[[Anillo integralmente cerrado]]''': un dominio integral <math> R </math> es un anillo integralmente cerrado si su cerradura integral en su campo de fracciones es <math> R </math> mismo. Es decir, si <math> b </math> es un elemento de Frac(<math> R </math>) que es solución de un polinomio no constante <math>b^n + a_{n-1} b^{n-1} + \cdots + a_1 b + a_0 = 0,</math> con coeficientes <math> a_{i} </math> en <math> R </math>, entonces <math> b </math> está en <math> R </math>.

== Subsistemas notables ==

=== Subanillos ===

Un '''subanillo''' <math>S</math> de un anillo <math>(R,+,\cdot)</math> es un [[subconjunto]] <math>S \subset R</math> que con las leyes de composición interna del anillo <math>R</math> cumple que, si <math>a,b \in S</math>, entonces <math>a+(-b) \in S</math> y <math>a\cdot b \in S</math>. Si <math>1 \in R</math> (es decir, si el anillo es unitario), entonces se exigirá además que <math>1 \in S</math>. Nótese que en este caso, cuando el anillo es unitario, {0} no será subanillo de <math>R</math>, y sí lo será si <math>R</math> no es unitario.

Un subanillo <math>S</math> es propio cuando no coincide con todo el anillo, es decir, si <math>R \neq S</math>.

Resulta pues que un subanillo es un anillo dentro de otro anillo (para las mismas operaciones). En particular, <math>(S,+)</math> es un [[subgrupo]] de <math>(R,+)</math>.

Ejemplos:
::# <math> \mathbb{Z} </math> es un subanillo de <math> \mathbb{Q} </math>; de la misma manera, <math> \mathbb{Q} </math> es un subanillo de <math> \mathbb{R} </math>; y <math> \mathbb{R} </math> es un subanillo de <math> \mathbb{C} </math>.
::# El conjunto de los números complejos algebraicos es un subanillo de <math> \mathbb{C} </math>.

==== Proposición ====
Un subconjunto <math>K</math> de un anillo <math>R</math> es subanillo de <math>R</math> si y solamente si 

::# <math>K</math> es subgrupo aditivo de <math>R</math>.
::# <math>\forall x, y \in K</math>, <math>xy \in K</math>.<ref>Leopoldo Nachbin.«Álgebra elemental» Ediciones de la OEA, Wáshington (1986)</ref>

=== Ideales ===

De mucho mayor interés en [[teoría de anillos]] son los [[Ideal (teoría de anillos)|ideales]], puesto que no solo son cerrados respecto de la multiplicación respecto de los elementos del ideal, sino también cuando un elemento del ideal se multiplica por cualquier elemento del anillo:

* Un subconjunto <math>I \subset R</math> es '''ideal por la izquierda''' de un anillo <math>(R,+,\cdot)</math> si <math>(I,+)</math> es subgrupo de <math>(R,+)</math> y dados cualesquiera <math>r \in R</math> y <math>x \in I</math> se tiene que <math>r \cdot x \in I</math>.

* Un subconjunto <math>I \subset R</math> es '''ideal por la derecha''' de un anillo <math>(R,+,\cdot)</math> si <math>(I,+)</math> es subgrupo de <math>(R,+)</math> y dados cualesquiera <math>r \in R</math> y <math>x \in I</math> se tiene que <math>x \cdot r \in I</math>.

Cuando un subconjunto I es ideal por la derecha e ideal por la izquierda se dice que es un '''ideal bilátero''', o simplemente '''ideal'''. La propiedad conmutativa asegura que en los anillos conmutativos todo ideal por la izquierda lo es también por la derecha, y todo ideal por la derecha es ideal por la izquierda, esto es, todos los ideales (por la izquierda o por la derecha) de un [[anillo conmutativo]] son ideales biláteros.

Un ideal no tiene por qué ser necesariamente un subanillo. Un ideal <math>I</math> se dice que es propio si es distinto de todo el anillo, esto es, <math>I \neq R</math>.

=== Unidades ===

El conjunto de [[Unidad (álgebra)|elementos invertibles]] de un anillo unitario <math>(R,+,\cdot,1_R)</math>, llamados '''unidades''' de R, forma un [[grupo (matemática)|grupo]] respecto de la multiplicación del anillo, que recibe el nombre de '''grupo de unidades''' de R, denotado <math>U(R)</math>.

Si <math>I</math> es ideal (por la izquierda, por la derecha o bilátero) propio de un anillo unitario <math>R</math>, <math>U(R)</math> es el grupo de unidades de R, entonces <math>I \cap U(R) = \varnothing</math>, esto es, ningún ideal propio tiene elementos invertibles. En particular, ningún ideal (por la izquierda, por la derecha o bilátero) propio tiene por elemento al 1, lo que impide a los ideales ser subanillos de anillos unitarios.

Por ejemplo, las unidades del anillo de los enteros son 1 y -1 (isomorfo al grupo de dos elementos), y el grupo de unidades de las matrices cuadradas de orden ''n'' es el [[grupo lineal general]] de orden n, que contiene a las matrices con [[determinante (matemáticas)|determinante]] distinto de 0.

=== Centro ===

El centro de un anillo <math>(R,+,\cdot)</math> (denotado por <math>Z(R)</math>) es el conjunto de elementos que conmutan para el producto, es decir <math>Z(R):= \{ r \in R : r \cdot s = s \cdot r , \forall s \in R \}</math>. El centro de un anillo viene a ser como "la parte conmutativa del anillo". Nótese que siempre se tiene que <math>0 \in Z(R)</math>. Los anillos conmutativos son aquellos que coinciden con su centro, i.e., <math>R=Z(R)</math>. 

Por ejemplo, el centro del anillo de las [[Matriz (matemáticas)|matrices]] cuadradas de orden ''n'' está constituido únicamente por las matrices escalares, aquellas que son iguales a la [[matriz identidad]] multiplicada por un escalar..

== Véase también ==
* [[Grupo (matemática)]].
* [[Grupo abeliano]].
* [[Anillo conmutativo]].
* [[Cuerpo (matemática)]].
* [[Homomorfismo de anillos]].

== Notas y referencias ==

{{listaref}}
== Bibliografía ==
{{refcomienza|2}}
* {{Citation | author=R.B.J.T. Allenby | title=Rings, Fields and Groups|publisher= Butterworth-Heinemann | year=1991 | isbn=0-340-54440-6}}
* [[Michael Atiyah|Atiyah M. F.]], [[Ian G. Macdonald|Macdonald, I. G.]], ''Introduction to commutative algebra''. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. 1969 ix+128 pp.
* Beachy, J. A. Introductory Lectures on Rings and Modules. Cambridge, England: Cambridge University Press, 1999.
* {{Citation | author=T.S. Blyth and E.F. Robertson| title=Groups, rings and fields: Algebra through practice, Book 3| publisher= Cambridge university Press| year=1985| isbn=0-521-27288-2}}
* Dresden, G. "Small Rings." [https://web.archive.org/web/20100717021842/http://home.wlu.edu/~dresdeng/smallrings/]
* Ellis, G. Rings and Fields. Oxford, England: [[Oxford University Press]], 1993.
* Goodearl, K. R., Warfield, R. B., Jr., ''An introduction to noncommutative Noetherian rings''. London Mathematical Society Student Texts, 16. Cambridge University Press, Cambridge, 1989. xviii+303 pp.&nbsp;ISBN 0-521-36086-2
* Herstein, I. N., ''Noncommutative rings''. Reprint of the 1968 original. With an afterword by Lance W. Small. Carus Mathematical Monographs, 15. Mathematical Association of America, Washington, DC, 1994. xii+202 pp.&nbsp;ISBN 0-88385-015-X
* {{Citation| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| volume = 1 | publisher=Dover| isbn = 978-0-486-47189-1}}
* Nagell, T. "Moduls, Rings, and Fields." §6 in (6 in = 15,2 cm) Introduction to Number Theory. New York: Wiley, pp.&nbsp;19–21, 1951
* [[Nathan Jacobson]], ''Structure of rings''. American Mathematical Society Colloquium Publications, Vol. 37. Revised edition American Mathematical Society, Providence, R.I. 1964 ix+299 pp.
* Nathan Jacobson, ''The Theory of Rings''. American Mathematical Society Mathematical Surveys, vol. I. American Mathematical Society, New York, 1943. vi+150 pp.
* {{Citation | last1=Kaplansky | first1=Irving | author1-link=Irving Kaplansky | title=Commutative rings | publisher=[[University of Chicago Press]] | edition=Revised | mr=0345945 | year=1974 | isbn=0226424545}}
* Lam, T. Y., ''A first course in noncommutative rings''. Second edition. Graduate Texts in Mathematics, 131. Springer-Verlag, New York, 2001. xx+385 pp.&nbsp;ISBN 0-387-95183-0
* Lam, T. Y., ''Exercises in classical ring theory''. Second edition. Problem Books in Mathematics. Springer-Verlag, New York, 2003. xx+359 pp.&nbsp;ISBN 0-387-00500-5
* Lam, T. Y., ''Lectures on modules and rings''. Graduate Texts in Mathematics, 189. Springer-Verlag, New York, 1999. xxiv+557 pp.&nbsp;ISBN 0-387-98428-3
* {{Citation | last1=Lang | first1=Serge | title=Undergraduate Algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | isbn=978-0-387-22025-3 | year=2005}}.
* {{Citation | last1=Matsumura | first1=Hideyuki | title=Commutative Ring Theory | publisher=[[Cambridge University Press]] | edition=2nd | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-36764-6 | year=1989}}
* McConnell, J. C.; Robson, J. C. ''Noncommutative Noetherian rings''. Revised edition. [[Graduate Studies in Mathematics]], 30. American Mathematical Society, Providence, RI, 2001. xx+636 pp.&nbsp;ISBN 0-8218-2169-5
* {{Citation | last1=Pinter-Lucke | first1=James | title=Commutativity conditions for rings: 1950–2005 | doi=10.1016/j.exmath.2006.07.001 | year=2007 | journal=Expositiones Mathematicae | issn=0723-0869 | volume=25 | issue=2 | pages=165–174}}
* Rowen, Louis H., ''Ring theory''. Vol. I, II. Pure and Applied Mathematics, 127, 128. Academic Press, Inc., Boston, MA, 1988. ISBN 0-12-599841-4, ISBN 0-12-599842-2
* Sloane, N. J. A. Sequences A027623 and A037234 in (037.234 in = 946 m) "The On-Line Encyclopedia of Integer Sequences
* Zwillinger, D. (Ed.). "Rings." §2.6.3 in CRC Standard Mathematical Tables and Formulae. Boca Raton, FL: CRC Press, pp.&nbsp;141–143, 1995
* Kostrikin, A.I.: ''Introducción al álgebra''(1983) Editorial Mir, Moscú. Traducción al español de Roberto Aníbal Sala.
{{reftermina}}

== Enlaces externos ==
{{wikilibros|Álgebra Abstracta}} Incluye un capítulo sobre [[b:Álgebra Abstracta/Los Anillos|Anillos]].
*{{MathWorld|Ring|Ring}}

{{Control de autoridades}}
[[Categoría:Teoría de anillos| ]]
[[Categoría:Álgebra abstracta]]
[[Categoría:Estructuras algebraicas]]