Anillo (matemtica)

En lgebra moderna, un anillo es un sistema algebraico provisto de dos de las operaciones binarias: la adicin y
formado por un conjunto no vaco y dos operaciones in- la multiplicacin conocidas desde la matemtica escolar.
ternas, llamadas usualmente suma y producto, que Histricamente, el conjunto Z de los enteros con sus dos
cumplen ciertas propiedades. operaciones sirvi de base para la formulacin del con-
cepto de anillo[cita requerida] . La razn por la cual los ente-
En trminos ms especcos, un anillo es una terna (A,
+, ), donde A es un conjunto no vaco 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 operacin asociativa y distri-
butiva biltera respecto de +. Suele denominarse suma 1. Los nmeros enteros estn cerrados bajo la suma:
y producto a las operaciones + y , respectivamente. dados dos nmeros enteros a y b, se cumple que a +
En esta convencin, el elemento neutro de la suma se de- b es un nmero entero.
signa como 0 y el opuesto con respecto a la suma de un
2. La suma es asociativa: dados tres nmeros 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]
operacin inversa denida, a diferencia de otras es- nmero entero a, a + 0 = 0 + a = a.
tructuras algebraicas como el cuerpo. Si el producto es 4. Existe un elemento simtrico para la suma: para to-
conmutativo, tal anillo se denomina anillo conmutati- do nmero entero a, siempre existe algn nmero
vo. Adems, 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 nmero 1 para designar al elemento 5. La suma es conmutativa: dados dos nmeros enteros
neutro del producto. a y b, se cumple que a + b = b + a.
6. Los nmeros enteros estn cerrados bajo la multipli-
cacin: dados dos nmeros enteros a y b, se cumple
1 Historia que a b es un nmero entero.

La teora de anillos surgi de la exploracin de asuntos 7. La multiplicacin es asociativa: dados tres nmeros
vinculados con la divisibilidad entre nmeros enteros, del enteros a, b y c, se cumple que (a b) c = a (b
estudio simultneo de divisibilidad de polinomios y hasta c).
del caso de los cuerpos, concretamente, de los nmeros 8. Existe un elemento neutro para la multiplicacin:
racionales, nmeros reales, nmeros complejos y de los para todo nmero entero a, a 1 = a.
nmeros algebraicos, de los cuaterniones, fracciones ra-
cionales y otros. En la etapa inicial, fueron las materias de 9. La multiplicacin es distributiva respecto de la su-
la teora de nmeros y de la geometra algebraica las que ma: a (b + c) = (a b) + (a c).
propiciaron los conceptos de anillo, cuerpo e ideal. En su
estructuracin axiomatica , tales ideas fueron fruto del es-
fuerzo de Dedekind y otros matemticos a nes del siglo 3 Denicin
XIX. Sus aplicaciones al anlisis matemtico muestran
los enfoques modernos de algebrizacin de tal disciplina Sea A un conjunto no vaco, y sean y dos operaciones
matemtica, que ocurren recin 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 Nocin de anillo
Estas cuatro condiciones denen un grupo. Una quinta
Considrese el conjunto de nmeros enteros: condicin dene un grupo abeliano:

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

1
2 5 ELEMENTOS DESTACADOS EN UN ANILLO
Para denir un anillo, es necesario agregar tres condicio-
nes ms que hablan acerca de la segunda operacin bina-
ria:
Y agregando una novena condicin, se dene un anillo
conmutativo: 0x=0
Si un anillo cuenta con un elemento neutro para la segun-
da operacin se llama anillo unitario. A dicho elemento
se le suele llamar la unidad (1) para diferenciarlo del ele-
mento neutro de la primera operacin (usualmente el 0).
3.1 Denicin sinttica
Un anillo R es un conjunto con dos leyes de composicin,
llamadas adicin y multiplicacin, cumpliendo las condi-
ciones siguientes:[3]
R1. R es grupo abeliano para la adicin; el elemento
neutro en esta adicin se nombra cero del anillo, y se
denota usualmente 0;
R2. R es un semigrupo para la multiplicacin;
R3. La multiplicacin es distributiva (por los dos la-
dos) respecto de la adicin.
4 Ejemplos
El conjunto de los enteros gaussianos H = {m+ni:
m,n }, con la adicin y mltiplicacin usuales es
un anillo unitario. Es un subanillo de los nmeros
complejos .
El conjunto M de las matrices reales de orden 2 con
la adicin y multiplicacin de matrices es un anillo
no conmutativo.
El conjunto Q( 3 ) de los nmeros reales: m+n 3
donde m, n (son racionales, con la adicin y mul-
tiplicacin, es un anillo unitario conmutativo.[4]
El conjunto Z[6] de los enteros mdulo 6; con la
adicin y multiplicacin modular, es un anillo nito
con divisores de 0.
El conjunto F[x] de los polinomios con coecien-
tes en (conjunto de los enteros), con la adicin y
multiplicacin, es un anillo unitario.
5 Elementos destacados en un ani-
llo
Elemento cero, denotado por 0 , es el elemento neu-
tro para la suma. Para este elemento se verica lo
siguiente:
x A
Elemento unitario: si un elemento, que denotamos
1, cumple 1 a = a 1 = a para todo elemento
a del anillo, se llama elemento unitario. El elemen-
to cero y el elemento unitario (caso de existir) slo
coinciden en el caso de que el anillo sea trivial:
Inverso multiplicativo: en un anillo unitario, se
pueden denir elementos inversos multiplicativos
de la siguiente manera:
el elemento b es inverso multiplicativo por la
izquierda (o sencillamente inverso por la iz-
quierda) de a si b a = 1 .
As mismo, el elemento c es inverso multipli-
cativo por la derecha (o sencillamente inverso
por la derecha) de a si a c = 1 .
No todos los elementos tienen inverso, e inclu-
so es posible que un elemento tenga inverso por
la izquierda pero no por la derecha, o vicever-
sa. Sin embargo, cuando un elemento a tiene
elemento inverso por la izquierda y por la de-
recha, entonces ambos son iguales, y se denota
simplemente como elemento inverso ( a1 ).
Elemento inversible, elemento invertible o
unidad: es todo aquel elemento que posee inverso
multiplicativo.
Divisor de cero: un elemento a = 0 es divisor del
cero por la izquierda, si existe algn b = 0 , tal que
ab=0. Lo es por la derecha si existe un c = 0 distin-
to de 0 tal que ca=0. Se dir que a es divisor del cero
si lo es tanto por la derecha como por la izquierda.
Elemento regular: un elemento a = 0 de un anillo
es regular si no es divisor de cero. Todo elemento
invertible es regular.
Elemento idempotente: es cualquier elemento e del
anillo que al multiplicarse por s mismo no vara, es
decir, tal que e e = e (o alternativamente e2 = e ).
El cero es siempre idempotente en un anillo, y si el
anillo es unitario, tambin el 1 es idempotente.
Elemento nilpotente (o nihilpotente): es cualquier
elemento x del anillo para el que existe un nmero
7.2 Ideales 3

natural n de forma que xn = 0 (donde xn se dene multiplicacin en el anillo, esto es, si a, b S , entonces
por recurrencia: x0 = 1 , xn = x xn1 ). El 0 a + b S y a b S . Si 1 R (es decir, si el anillo es
es siempre un nilpotente de cualquier anillo. Todo unitario), entonces se exigir adems que 1 S . Ntese
elemento nilpotente es divisor de cero. que en este caso, cuando el anillo es unitario, {0} no ser
subanillo de R , y s lo ser si R no es unitario.
Un subanillo S es propio cuando no coincide con todo el
6 Algunos tipos importantes de anillo, es decir, si R = S .
anillos Resulta pues que un subanillo es un anillo dentro de
otro anillo (para las mismas operaciones). En particular,
Anillo conmutativo: aquel en el que el producto es (S, +) es un subgrupo de (R, +) .
conmutativo, esto es, ab=ba para todos a y b (no Ejemplos:
debe confundirse con anillo abeliano). Como ejem-
plo: el conjunto P de los nmeros enteros pares con
1. es un subanillo de ; de
la suma y producto de enteros es un anillo conmu-
la misma manera, es un
tativo no unitario. En cambio; el conjunto M de las
subanillo de ; y es un
matrices reales cuadradas de orden 2, con la suma
subanillo de .
y producto de matrices es un anillo unitario no con-
mutativo. [5] 2. El conjunto de los nmeros
complejos algebraicos es un
Anillo unitario: aquel que posee un elemento uni- subanillo de .
tario y adems, ste es distinto del neutro de la suma.
7.1.1 Proposicin
Anillo de divisin: es el anillo en el cual todo ele-
mento, a excepcin del 0, tiene inverso. Un subconjunto K de un anillo A es subanillo de A si y
solamente si
Anillo con leyes de simplicacin: aquel en el que
se cumplen las leyes de simplicacin. Si un anillo 1. K es subgrupo aditivo de A.
no tiene divisores del cero, se cumplen las leyes de
2. De x, y elementos de K se co-
simplicacin, y el recproco tambin es cierto.
lige que xy elemento de K.[7]
Dominio de integridad: si un anillo no posee divi-
sores del cero, es un dominio de integridad (a me- 7.2 Ideales
nudo se suele exigir que adems se trate de anillos
conmutativos y unitarios, pero esta exigencia no es De mucho mayor inters en teora de anillos son los
aceptada por todos los autores). ideales, puesto que no slo son cerrados respecto de la
multiplicacin respecto de los elementos del ideal, sino
Cuerpo: se trata de un anillo de divisin conmuta- tambin cuando un elemento del ideal se multiplica por
tivo. cualquier elemento del anillo:

Anillo abeliano: es un anillo en el que todo elemen- Un subconjunto I R es ideal por la izquierda
to idempotente pertenece al centro del anillo, es de- de un anillo (A,+,) si (I, +) es subgrupo de (R, +)
cir, todo elemento idempotente conmuta con cual- y dados cualesquiera r R y x I se tiene que
quier elemento del anillo. rxI .
Anillo eucldeo[6] o dominio eucldeo es un domi-
Un subconjunto I R es ideal por la derecha de
nio de integridad R junto con una norma eucldea
un anillo (A,+,) si (I, +) es subgrupo de (R, +) y
N. El anillo de los enteros, el de los enteros gaus-
dados cualesquiera r R y x I se tiene que
sianos y los anilllos de polinomios son ejemplos de
xr I .
dominios eucldeos.
Cuando un subconjunto I es ideal por la derecha e ideal
por la izquierda se dice que es un ideal biltero, o sim-
7 Subsistemas notables plemente ideal. La propiedad conmutativa asegura que
en los anillos conmutativos todo ideal por la izquierda lo
7.1 Subanillos es tambin por la derecha, y todo ideal por la derecha es
ideal por la izquierda, esto es, todos los ideales (por la iz-
Un subanillo S de un anillo R =(A,+,) 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 bilteros.
4 10 BIBLIOGRAFA
Un ideal no tiene por qu ser necesariamente un subanillo.
Un ideal I se dice que es propio si es distinto de todo el
anillo, esto es, I = R .
7.3 Unidades
El conjunto de elementos invertibles de un anillo uni-
tario (R, +, , 1R ) , llamados unidades de R, forma un
grupo respecto de la multiplicacin del anillo, que recibe
el nombre de grupo de unidades de R, denotado U (R)
.
Si I es ideal (por la izquierda, por la derecha o biltero)
propio de un anillo unitario R , U (R) es el grupo de uni-
dades de R, entonces I U (R) = , esto es, ningn ideal
propio tiene elementos invertibles. En particular, ningn
ideal (por la izquierda, por la derecha o biltero) 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 distinto de 0.
7.4 Centro
El centro de un anillo (R, +, ) (denotado por Z(R) ) es
el conjunto de elementos que conmutan para el producto,
es decir Z(R) := {r R : r s = s r, s R} . El
centro de un anillo viene a ser como la parte conmutativa
del anillo. Ntese que siempre se tiene que 0 Z(R) .
Los anillos conmutativos son aquellos que coinciden con
su centro, i.e., R = Z(R) .
Por ejemplo, el centro del anillo de las matrices cuadradas
de orden n est constituido nicamente por las matrices
escalares, aquellas que son iguales a la matriz identidad
multiplicada por un escalar..
8 Vase tambin
Grupo (matemtica).
Grupo abeliano.
Anillo conmutativo.
Cuerpo (matemtica).
Homomorsmo de anillos.
9 Referencias y notas
[1] Mischa Cotlar & Cora Ratto.Introduccin al lgebra.
Nociones de lgebra lineal Eudeba Buenos Aires
[2] Leopoldo Nachbin. lgebra elemental. Ediciones de la
OEA, Wshington (1986)
[3] P. dubreil y M.L. dubreil Jacoti. Lecciones de lgebra mo-
derna.
[4] Birkho, Garret; MacLane, Saunders (1974). lgebra
Moderna. Vicens-Vives. p. 3. El conjunto de todos los
enteros, el conjunto de todos los nmeros racionales y el
conjunto de todos los nmeros reales son ejemplos de do-
minio de integridad. Otro ejemplo, menos corriente, es el
de todos los nmeros de la forma a+b 3 .
[5] Casos sencillos, directamente comprobables
[6] El nombre segn A.I. Kostrikin.
[7] Leopoldo Nachbin.lgebra elemental Ediciones de la
OEA, Wshington (1986)
10 Bibliografa
R.B.J.T. Allenby (1991), Rings, Fields and Groups,
Butterworth-Heinemann, ISBN 0-340-54440-6
Atiyah M. F., 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 Univer-
sity Press, 1999.
T.S. Blyth and E.F. Robertson (1985), Groups, rings
and elds: Algebra through practice, Book 3, Cam-
bridge university Press, ISBN 0-521-27288-2
Dresden, G. Small Rings.
Ellis, G. Rings and Fields. Oxford, England: Oxford
University Press, 1993.
Goodearl, K. R., Wareld, R. B., Jr., An introduc-
tion to noncommutative Noetherian rings. London
Mathematical Society Student Texts, 16. Cambridge
University Press, Cambridge, 1989. xviii+303 pp.
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. ISBN 0-88385-015-X
Jacobson, Nathan (2009), Basic algebra 1 (2nd edi-
cin), 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. 1921, 1951
 5

Nathan Jacobson, Structure of rings. American Mat- 11 Enlaces externos

hematical Society Colloquium Publications, Vol.
37. Revised edition American Mathematical So- Wikilibros
ciety, Providence, R.I. 1964 ix+299 pp.
Nathan Jacobson, The Theory of Rings. American Wikilibros alberga un libro o manual sobre
Mathematical Society Mathematical Surveys, vol. I. lgebra Abstracta. Incluye un captulo sobre
American Mathematical Society, New York, 1943. Anillos.
vi+150 pp.
Weisstein, Eric W. Ring. En Weisstein, Eric W.
Kaplansky, Irving (1974), Commutative rings (Re- MathWorld (en ingls). Wolfram Research.
vised edicin), University of Chicago Press, ISBN
0226424545, MR 0345945

Lam, T. Y., A rst course in noncommutative rings.

Second edition. Graduate Texts in Mathematics,
131. Springer-Verlag, New York, 2001. xx+385 pp.
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. ISBN 0-387-
00500-5
Lam, T. Y., Lectures on modules and rings. Gradua-
te Texts in Mathematics, 189. Springer-Verlag, New
York, 1999. xxiv+557 pp. ISBN 0-387-98428-3
Lang, Serge (2005), Undergraduate Algebra (3rd
edicin), Berlin, New York: Springer-Verlag, ISBN
978-0-387-22025-3.

Matsumura, Hideyuki (1989), Commutative Ring

Theory, Cambridge Studies in Advanced Mathe-
matics (2nd edicin), Cambridge University Press,
ISBN 978-0-521-36764-6

McConnell, J. C.; Robson, J. C. Noncommutative

Noetherian rings. Revised edition. Graduate Studies
in Mathematics, 30. American Mathematical So-
ciety, Providence, RI, 2001. xx+636 pp. ISBN 0-
8218-2169-5
Pinter-Lucke, James (2007), Commutati-
vity conditions for rings: 19502005, Ex-
positiones Mathematicae 25 (2): 165-174,
doi:10.1016/j.exmath.2006.07.001, ISSN 0723-0869

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 Stan-
dard Mathematical Tables and Formulae. Boca Ra-
ton, FL: CRC Press, pp. 141143, 1995
Kostrikin, A.I.: Introduccin al lgebra(1983) Edi-
torial Mir, Mosc. Traduccin al espaol de Roberto
Anbal Sala.
6 12 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

12 Origen del texto y las imgenes, colaboradores y licencias

12.1 Texto
Anillo (matemtica) Fuente: https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica)?oldid=99023546 Colaboradores: Youssefsan,
Sabbut, Moriel, Jmabel (US), Vivero, Zwobot, DefLog, Sms, Robotito, Vargenau, Decko, Rembiapo pohyiete (bot), RobotQuistnix,
Chobot, BOT-Superzerocool, Torbellino, Vitamine, BOTijo, Landertxu, Echani, Wewe, Beto29, JRGL, Gtz, Maldoror, CEM-bot, 333,
JMCC1, Ingenioso Hidalgo, Thijs!bot, Ameriko~eswiki, JAnDbot, TXiKiBoT, Gullo, Plux, BL, Jtico, AlnoktaBOT, VolkovBot, Caste-
lo, Shooke, AlleborgoBot, Muro Bot, SieBot, Mushii, Loveless, Rigenea, PIERRE26, BuenaGente, Camiloalcubo2, Dnu72, Botito777,
Petruss, Alexbot, BodhisattvaBot, Raulshc, Camilo, Cbravolillo, Garnete, MastiBot, DanielgooG, FiriBot, Diegusjaimes, Luckas-bot, Sop-
hivorus, Xqbot, Jkbw, FrescoBot, Boatbadly, Jorge c2010, EmausBot, HRoestBot, Emiduronte, ChuispastonBot, AStarBot, MerlIwBot,
JavierBrude, Jharni Elmer Neyra Valverde, Julio grillo, HiW-Bot, Rubenlagus, Acratta, Addbot, FedeBosio, JuanManwell, Jarould, Benja-
Bot, Antimuonium, X2y3, Rehernan, Eliasgv3, MomijiRoBot, Semibot y Annimos: 61

12.2 Imgenes
Archivo:Wikibooks-logo.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licencia: CC BY-SA
3.0 Colaboradores: Trabajo propio Artista original: User:Bastique, User:Ramac et al.

12.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0