Vous êtes sur la page 1sur 6

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- 5 Elementos destacados en un ani-
nes ms que hablan acerca de la segunda operacin bina-
ria:
llo
Elemento cero, denotado por 0 , es el elemento neu-
tro para la suma. Para este elemento se verica lo
siguiente:
Y agregando una novena condicin, se dene un anillo
conmutativo: 0x=0 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-
Si un anillo cuenta con un elemento neutro para la segun- to cero y el elemento unitario (caso de existir) slo
da operacin se llama anillo unitario. 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 operacin (usualmente el 0). Inverso multiplicativo: en un anillo unitario, se
pueden denir elementos inversos multiplicativos
de la siguiente manera:
3.1 Denicin sinttica
el elemento b es inverso multiplicativo por la
Un anillo R es un conjunto con dos leyes de composicin, izquierda (o sencillamente inverso por la iz-
llamadas adicin y multiplicacin, cumpliendo las condi- quierda) de a si b a = 1 .
ciones siguientes:[3] As mismo, el elemento c es inverso multipli-
cativo por la derecha (o sencillamente inverso
por la derecha) de a si a c = 1 .
R1. R es grupo abeliano para la adicin; el elemento
neutro en esta adicin se nombra cero del anillo, y se
denota usualmente 0; No todos los elementos tienen inverso, e inclu-
so es posible que un elemento tenga inverso por
R2. R es un semigrupo para la multiplicacin; la izquierda pero no por la derecha, o vicever-
sa. Sin embargo, cuando un elemento a tiene
R3. La multiplicacin es distributiva (por los dos la- elemento inverso por la izquierda y por la de-
dos) respecto de la adicin. recha, entonces ambos son iguales, y se denota
simplemente como elemento inverso ( a1 ).

Elemento inversible, elemento invertible o


4 Ejemplos unidad: es todo aquel elemento que posee inverso
multiplicativo.
El conjunto de los enteros gaussianos H = {m+ni:
m,n }, con la adicin y mltiplicacin usuales es Divisor de cero: un elemento a = 0 es divisor del
un anillo unitario. Es un subanillo de los nmeros cero por la izquierda, si existe algn b = 0 , tal que
complejos . 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
El conjunto M de las matrices reales de orden 2 con si lo es tanto por la derecha como por la izquierda.
la adicin y multiplicacin de matrices es un anillo
no conmutativo.
Elemento regular: un elemento a = 0 de un anillo
es regular si no es divisor de cero. Todo elemento
El conjunto Q( 3 ) de los nmeros reales: m+n 3
invertible es regular.
donde m, n (son racionales, con la adicin y mul-
tiplicacin, es un anillo unitario conmutativo.[4]
Elemento idempotente: es cualquier elemento e del
El conjunto Z[6] de los enteros mdulo 6; con la anillo que al multiplicarse por s mismo no vara, es
adicin y multiplicacin modular, es un anillo nito decir, tal que e e = e (o alternativamente e2 = e ).
con divisores de 0. El cero es siempre idempotente en un anillo, y si el
anillo es unitario, tambin el 1 es idempotente.
El conjunto F[x] de los polinomios con coecien-
tes en (conjunto de los enteros), con la adicin y Elemento nilpotente (o nihilpotente): es cualquier
multiplicacin, es un anillo unitario. 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. [2] Leopoldo Nachbin. lgebra elemental. Ediciones de la
Un ideal I se dice que es propio si es distinto de todo el OEA, Wshington (1986)
anillo, esto es, I = R .
[3] P. dubreil y M.L. dubreil Jacoti. Lecciones de lgebra mo-
derna.
7.3 Unidades [4] Birkho, Garret; MacLane, Saunders (1974). lgebra
Moderna. Vicens-Vives. p. 3. El conjunto de todos los
El conjunto de elementos invertibles de un anillo uni- enteros, el conjunto de todos los nmeros racionales y el
tario (R, +, , 1R ) , llamados unidades de R, forma un conjunto de todos los nmeros reales son ejemplos de do-
grupo respecto de la multiplicacin del anillo, que recibe minio de integridad. Otro ejemplo, menos corriente, es el

el nombre de grupo de unidades de R, denotado U (R) de todos los nmeros de la forma a+b 3 .
.
[5] Casos sencillos, directamente comprobables
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- [6] El nombre segn A.I. Kostrikin.
dades de R, entonces I U (R) = , esto es, ningn ideal
propio tiene elementos invertibles. En particular, ningn [7] Leopoldo Nachbin.lgebra elemental Ediciones de la
OEA, Wshington (1986)
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
10 Bibliografa
y 1 (isomorfo al grupo de dos elementos), y el grupo de
unidades de las matrices cuadradas de orden n es el grupo R.B.J.T. Allenby (1991), Rings, Fields and Groups,
lineal general de orden n, que contiene a las matrices con Butterworth-Heinemann, ISBN 0-340-54440-6
determinante distinto de 0.
Atiyah M. F., Macdonald, I. G., Introduction to
commutative algebra. Addison-Wesley Publishing
7.4 Centro Co., Reading, Mass.-London-Don Mills, Ont. 1969
ix+128 pp.
El centro de un anillo (R, +, ) (denotado por Z(R) ) es
Beachy, J. A. Introductory Lectures on Rings and
el conjunto de elementos que conmutan para el producto,
Modules. Cambridge, England: Cambridge Univer-
es decir Z(R) := {r R : r s = s r, s R} . El
sity Press, 1999.
centro de un anillo viene a ser como la parte conmutativa
del anillo. Ntese que siempre se tiene que 0 Z(R) . T.S. Blyth and E.F. Robertson (1985), Groups, rings
Los anillos conmutativos son aquellos que coinciden con and elds: Algebra through practice, Book 3, Cam-
su centro, i.e., R = Z(R) . bridge university Press, ISBN 0-521-27288-2
Por ejemplo, el centro del anillo de las matrices cuadradas
de orden n est constituido nicamente por las matrices Dresden, G. Small Rings.
escalares, aquellas que son iguales a la matriz identidad
Ellis, G. Rings and Fields. Oxford, England: Oxford
multiplicada por un escalar..
University Press, 1993.

Goodearl, K. R., Wareld, R. B., Jr., An introduc-


8 Vase tambin tion to noncommutative Noetherian rings. London
Mathematical Society Student Texts, 16. Cambridge
Grupo (matemtica). University Press, Cambridge, 1989. xviii+303 pp.
ISBN 0-521-36086-2
Grupo abeliano.
Herstein, I. N., Noncommutative rings. Reprint of
Anillo conmutativo. the 1968 original. With an afterword by Lance
W. Small. Carus Mathematical Monographs, 15.
Cuerpo (matemtica).
Mathematical Association of America, Washington,
Homomorsmo de anillos. 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
9 Referencias y notas
Nagell, T. Moduls, Rings, and Fields. 6 in (6 in
[1] Mischa Cotlar & Cora Ratto.Introduccin al lgebra. = 15,2 cm) Introduction to Number Theory. New
Nociones de lgebra lineal Eudeba Buenos Aires 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