29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

Anillo(matemtica)
DeWikipedia,laenciclopedialibre

En lgebra moderna, un anillo es un sistema algebraico formado por un conjunto no vaco y dos operaciones
internas,llamadasusualmentesumayproducto,quecumplenciertaspropiedades.

En trminos ms especficos, un anillo es una terna (A, +, ), donde A es un conjunto no vaco y + y son
operaciones binarias internas en A, en donde (A, +) es un grupo abeliano y es una operacin asociativa y
distributiva biltera respecto de +. Suele denominarse suma y producto a las operaciones + y ,
respectivamente.Enestaconvencin,elelementoneutrodelasumasedesignacomo0yelopuestoconrespectoa
lasumadeunelementoa,pertenecientealconjuntoAdado,sedenotacomoa.

Elproductoenunanillononecesariamentetieneunaoperacininversadefinida,1adiferenciadeotrasestructuras
algebraicascomoelcuerpo.Sielproductoesconmutativo,talanillosedenominaanilloconmutativo.Adems,
siexisteunelementoneutroparaelproducto,sedicequeelanilloesunitarioyaque,enestecaso,seempleael
nmero1paradesignaralelementoneutrodelproducto.

ndice
1 Historia
2 Nocindeanillo
3 Definicin
3.1 Definicinsinttica
4 Ejemplos
5 Elementosdestacadosenunanillo
6 Algunostiposimportantesdeanillos
7 Subsistemasnotables
7.1 Subanillos
7.1.1 Proposicin
7.2 Ideales
7.3 Unidades
7.4 Centro
8 Vasetambin
9 Referenciasynotas
10 Bibliografa
11 Enlacesexternos

Historia
Lateoradeanillossurgidelaexploracindeasuntosvinculadosconladivisibilidadentrenmerosenteros,del
estudiosimultneodedivisibilidaddepolinomiosyhastadelcasodeloscuerpos,concretamente,delosnmeros
racionales, nmeros reales, nmeros complejos y de los nmeros algebraicos, de los cuaterniones, fracciones
racionalesyotros.Enlaetapainicial,fueronlasmateriasdelateoradenmerosydelageometraalgebraicalas
quepropiciaronlosconceptosdeanillo,cuerpoeideal.Ensuestructuracinaxiomatica,talesideasfueronfruto
del esfuerzo de Dedekind y otros matemticos a fines del siglo XIX. Sus aplicaciones al anlisis matemtico
muestranlosenfoquesmodernosdealgebrizacindetaldisciplinamatemtica,queocurrenrecinenelsegundo
cuartodelsigloXX.2

https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 1/7
29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

Nocindeanillo
Vasetambin:Propiedadesdelosnmerosenteros

Considreseelconjuntodenmerosenteros:

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

provistodedosdelasoperacionesbinarias:laadicinylamultiplicacinconocidasdesdelamatemticaescolar.
Histricamente, el conjunto de los enteros con sus dos operaciones sirvi de base para la formulacin del
conceptodeanillo[cita requerida]. La razn por la cual los enteros forman un anillo es que poseen las siguientes
propiedades:

1.Losnmerosenterosestncerradosbajolasuma:dadosdosnmerosenterosayb,secumplequea+bes
unnmeroentero.
2.Lasumaesasociativa:dadostresnmerosenterosa,byc,secumpleque(a+b)+c=a+(b+c).
3.Existeunelementoneutroparalasuma:paratodonmeroenteroa,a+0=0+a=a.
4.Existeunelementosimtricoparalasuma:paratodonmeroenteroa,siempreexistealgnnmeroentero
b,talquea+b=0.
5.Lasumaesconmutativa:dadosdosnmerosenterosayb,secumplequea+b=b+a.
6.Losnmerosenterosestncerradosbajolamultiplicacin:dadosdosnmerosenterosayb,secumpleque
abesunnmeroentero.
7.Lamultiplicacinesasociativa:dadostresnmerosenterosa,byc,secumpleque(ab)c=a(bc).
8.Existeunelementoneutroparalamultiplicacin:paratodonmeroenteroa,a1=a.
9.Lamultiplicacinesdistributivarespectodelasuma:a(b+c)=(ab)+(ac).

Definicin
SeaAunconjuntonovaco,ysean y dosoperacionesbinariasenA.Sedicequeelconjunto esun
anillosisecumplenlassiguientespropiedades:

1. Aescerradobajolaoperacin .
2. Laoperacin esasociativa.
La operacin tiene a n como elemento
3.
neutro.
4. Existeunelementosimtricopara .

Estascuatrocondicionesdefinenungrupo.Unaquintacondicindefineungrupoabeliano:

5. Laoperacin esconmutativa.

Para definir un anillo, es necesario agregar tres condiciones ms que hablan acerca de la segunda operacin
binaria:

6. Aescerradobajolaoperacin .
7. Laoperacin esasociativa.

8. Laoperacin esdistributivarespectode .

Yagregandounanovenacondicin,sedefineunanilloconmutativo:
https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 2/7
29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

9. Laoperacin esconmutativa.

Siunanillocuentaconunelementoneutroparalasegundaoperacinsellamaanillounitario.Adichoelementose
lesuelellamarlaunidad(1)paradiferenciarlodelelementoneutrodelaprimeraoperacin(usualmenteel0).

Definicinsinttica
Un anillo R es un conjunto con dos leyes de composicin, llamadas adicin y multiplicacin, cumpliendo las
condicionessiguientes:3

R1.Resgrupoabelianoparalaadicinelelementoneutroenestaadicinsenombracerodelanillo,yse
denotausualmente0
R2.Resunsemigrupoparalamultiplicacin
R3.Lamultiplicacinesdistributiva(porlosdoslados)respectodelaadicin.

Ejemplos
ElconjuntodelosenterosgaussianosH={m+ni:m,n},conlaadicinymltiplicacinusualesesun
anillounitario.Esunsubanillodelosnmeroscomplejos.
ElconjuntoMdelasmatricesrealesdeorden2conlaadicinymultiplicacindematricesesunanillono
conmutativo.
El conjunto Q( ) de los nmeros reales: m+n donde m, n (son racionales, con la adicin y
multiplicacin,esunanillounitarioconmutativo.4
ElconjuntoZ[6]delosenterosmdulo6conlaadicinymultiplicacinmodular,esunanillofinitocon
divisoresde0.
El conjunto F[x] de los polinomios con coeficientes en (conjunto de los enteros), con la adicin y
multiplicacin,esunanillounitario.

Elementosdestacadosenunanillo
Elemento cero, denotado por , es el elemento neutro para la suma. Para este elemento se verifica lo
siguiente:

SeaAunanilloarbitrario.

Demostracin

Elementounitario: si un elemento, que denotamos 1, cumple para todo elemento a del

anillo,sellamaelementounitario.Elelementoceroyelelementounitario(casodeexistir)slocoincidenen
elcasodequeelanilloseatrivial:

Demostracin

Inverso multiplicativo: en un anillo unitario, se pueden definir elementos inversos multiplicativos de la

siguientemanera:
elelemento esinversomultiplicativoporlaizquierda(osencillamenteinversoporlaizquierda)de
si .
As mismo, el elemento es inverso multiplicativo por la derecha (o sencillamente inverso por la
derecha)de si .

https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 3/7
29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

Notodosloselementostieneninverso,einclusoesposiblequeunelementotengainversoporlaizquierda
pero no por la derecha, o viceversa. Sin embargo, cuando un elemento a tiene elemento inverso por la
izquierdayporladerecha,entoncesambossoniguales,ysedenotasimplementecomoelementoinverso(
).

Elemento inversible, elemento invertible o unidad: es todo aquel elemento que posee inverso
multiplicativo.

Divisordecero:unelemento esdivisordelceroporlaizquierda,siexistealgn ,talqueab=0.

Loesporladerechasiexisteun distintode0talqueca=0.Sedirqueaesdivisordelcerosiloes
tantoporladerechacomoporlaizquierda.

Elemento regular: un elemento de un anillo es regular si no es divisor de cero. Todo elemento

invertibleesregular.

Elementoidempotente: es cualquier elemento del anillo que al multiplicarse por s mismo no vara, es
decir, tal que (o alternativamente ). El cero es siempre idempotente en un anillo, y si el
anilloesunitario,tambinel1esidempotente.

Elemento nilpotente (o nihilpotente): es cualquier elemento del anillo para el que existe un nmero
natural de forma que (donde se define por recurrencia: , ). El 0 es
siempreunnilpotentedecualquieranillo.Todoelementonilpotenteesdivisordecero.

Algunostiposimportantesdeanillos
Anilloconmutativo:aquelenelqueelproductoesconmutativo,estoes,ab=baparatodosayb(nodebe
confundirseconanilloabeliano).Comoejemplo:elconjunto delosnmerosenterosparesconlasumay
productodeenterosesunanilloconmutativonounitario.Encambioelconjunto delasmatricesreales
cuadradasdeorden2,conlasumayproductodematricesesunanillounitarionoconmutativo.5

Anillounitario:aquelqueposeeunelementounitarioyadems,steesdistintodelneutrodelasuma.

Anillodedivisin:eselanilloenelcualtodoelemento,aexcepcindel0,tieneinverso.

Anilloconleyesdesimplificacin:aquelenelquesecumplenlasleyesdesimplificacin.Siunanillono
tienedivisoresdelcero,secumplenlasleyesdesimplificacin,yelrecprocotambinescierto.

Dominiodeintegridad:siunanillonoposeedivisoresdelcero,esundominiodeintegridad(amenudose
sueleexigirqueademssetratedeanillosconmutativosyunitarios,peroestaexigencianoesaceptadapor
todoslosautores).

Cuerpo:setratadeunanillodedivisinconmutativo.

Anilloabeliano:esunanilloenelquetodoelementoidempotentepertenecealcentrodelanillo,esdecir,
todoelementoidempotenteconmutaconcualquierelementodelanillo.

Anilloeucldeo6odominioeucldeo es un dominio de integridad R junto con una norma eucldea N. El

anillo de los enteros, el de los enteros gaussianos y los anilllos de polinomios son ejemplos de dominios
eucldeos.

Subsistemasnotables

https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 4/7
29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

Subanillos
Unsubanillo deunanillo =(A,+,)esunsubconjunto que cumpleque escerradopara la sumayla
multiplicacinenelanillo,estoes,si ,entonces y .Si (esdecir,sielanilloes
unitario),entoncesseexigirademsque .Ntesequeenestecaso,cuandoelanilloesunitario,{0}noser
subanillode ,yslosersi noesunitario.

Unsubanillo espropiocuandonocoincidecontodoelanillo,esdecir,si .

Resulta pues que un subanillo es un anillo dentro de otro anillo (para las mismas operaciones). En particular,
esunsubgrupode .

Ejemplos:

1.esunsubanillodedelamismamanera,esunsubanillodeyesunsubanillode.
2.Elconjuntodelosnmeroscomplejosalgebraicosesunsubanillode.

Proposicin

UnsubconjuntoKdeunanilloAessubanillodeAsiysolamentesi

1.KessubgrupoaditivodeA.
2.Dex,yelementosdeKsecoligequexyelementodeK.7

Ideales
De mucho mayor inters en teora de anillos son los ideales, puesto que no slo son cerrados respecto de la
multiplicacin respecto de los elementos del ideal, sino tambin cuando un elemento del ideal se multiplica por
cualquierelementodelanillo:

Unsubconjunto esideal por la izquierda de un anillo (A,+,) si es subgrupo de y

dadoscualesquiera y setieneque .

Unsubconjunto esidealporladerechadeunanillo(A,+,)si essubgrupode ydados

cualesquiera y setieneque .

Cuando un subconjunto I es ideal por la derecha e ideal por la izquierda se dice que es un ideal biltero, o
simplementeideal.Lapropiedadconmutativaaseguraqueenlosanillosconmutativostodoidealporlaizquierda
loestambinporladerecha,ytodoidealporladerechaesidealporlaizquierda,estoes,todoslosideales(porla
izquierdaoporladerecha)deunanilloconmutativosonidealesbilteros.

Unidealnotieneporqusernecesariamenteunsubanillo.Unideal sedicequeespropiosiesdistintodetodoel
anillo,estoes, .

Unidades
Elconjuntodeelementosinvertiblesdeunanillounitario ,llamadosunidadesdeR,formaungrupo
respectodelamultiplicacindelanillo,querecibeelnombredegrupodeunidadesdeR,denotado .

https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 5/7
29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

Si es ideal (por la izquierda, por la derecha o biltero) propio de un anillo unitario , es el grupo de
unidades de R, entonces , esto es, ningn ideal propio tiene elementos invertibles. En particular,
ningnideal(porlaizquierda,porladerechaobiltero)propiotieneporelementoal1,loqueimpidealosideales
sersubanillosdeanillosunitarios.

Porejemplo,lasunidadesdelanillodelosenterosson1y1(isomorfoalgrupodedoselementos),yelgrupode
unidadesdelasmatricescuadradasdeordenneselgrupolinealgeneraldeordenn,quecontienealasmatricescon
determinantedistintode0.

Centro
Elcentrodeunanillo (denotadopor )eselconjuntodeelementosqueconmutanparaelproducto,
esdecir .Elcentrodeunanillovieneasercomo"laparteconmutativa
delanillo".Ntesequesiempresetieneque .Losanillosconmutativossonaquellosquecoincidencon
sucentro,i.e., .

Porejemplo,elcentrodelanillodelasmatricescuadradasdeordennestconstituidonicamenteporlasmatrices
escalares,aquellasquesonigualesalamatrizidentidadmultiplicadaporunescalar..

Vasetambin
Grupo(matemtica).
Grupoabeliano.
Anilloconmutativo.
Cuerpo(matemtica).
Homomorfismodeanillos.

Referenciasynotas
1.MischaCotlar&CoraRatto.Introduccinallgebra.NocionesdelgebralinealEudebaBuenosAires
2.LeopoldoNachbin.lgebraelemental.EdicionesdelaOEA,Wshington(1986)
3.P.dubreilyM.L.dubreilJacoti.Leccionesdelgebramoderna.
4.Birkhoff,GarretMacLane,Saunders(1974).lgebraModerna.VicensVives.p.3.Elconjuntodetodoslosenteros,el
conjunto de todos los nmeros racionales y el conjunto de todos los nmeros reales son ejemplos de dominio de
integridad.Otroejemplo,menoscorriente,eseldetodoslosnmerosdelaforma .
5.Casossencillos,directamentecomprobables
6.ElnombresegnA.I.Kostrikin.
7.LeopoldoNachbin.lgebraelementalEdicionesdelaOEA,Wshington(1986)

Bibliografa
R.B.J.T. Allenby (1991), Rings, Fields and Groups,
ButterworthHeinemann,ISBN0340544406
Atiyah M. F., Macdonald, I. G., Introduction to
commutative algebra. AddisonWesley Publishing
Co., Reading, Mass.LondonDon Mills, Ont. 1969
ix+128pp.
Beachy, J. A. Introductory Lectures on Rings and
Modules.Cambridge,England:CambridgeUniversity
Press,1999.
T.S.BlythandE.F.Robertson(1985),Groups,rings
and fields: Algebra through practice, Book 3,
CambridgeuniversityPress,ISBN0521272882
Dresden,G."SmallRings."[1](http://home.wlu.edu/
~dresdeng/smallrings/)
Ellis, G. Rings and Fields. Oxford, England: Oxford
UniversityPress,1993.
Goodearl,K.R.,Warfield,R.B.,Jr.,Anintroduction
to noncommutative Noetherian rings. London
Mathematical Society Student Texts, 16. Cambridge

https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 6/7
29/5/2017 Anillo(matemtica)Wikipedia,laenciclopedialibre

University Press, Cambridge, 1989. xviii+303 York,1999.xxiv+557pp.ISBN0387984283

pp.ISBN0521360862
Herstein,I.N.,Noncommutativerings.Reprintofthe
1968original.WithanafterwordbyLanceW.Small.
Carus Mathematical Monographs, 15. Mathematical
Association of America, Washington, DC, 1994.
xii+202pp.ISBN088385015X
Jacobson, Nathan (2009), Basic algebra 1 (2nd
edicin),Dover,ISBN9780486471891
Nagell,T."Moduls,Rings,andFields."6in(6in=
15,2 cm) Introduction to Number Theory. New York:
Wiley,pp.1921,1951
Nathan Jacobson, Structure of rings. American
Mathematical Society Colloquium Publications, Vol.
37. Revised edition American Mathematical Society,
Providence,R.I.1964ix+299pp.
Nathan Jacobson, The Theory of Rings. American
Mathematical Society Mathematical Surveys, vol. I.
American Mathematical Society, New York, 1943.
vi+150pp.
Kaplansky, Irving (1974), Commutative rings
(Revised edicin), University of Chicago Press,
ISBN0226424545, MR0345945(https://www.ams.org/mathsci
netgetitem?mr=0345945)
Lam, T. Y., A first course in noncommutative rings.
Second edition. Graduate Texts in Mathematics, 131.
SpringerVerlag, New York, 2001. xx+385 pp. ISBN
0387951830
Lam,T.Y.,Exercisesinclassicalringtheory.Second
edition. Problem Books in Mathematics. Springer
Verlag, New York, 2003. xx+359 pp. ISBN 0387
005005
Lam,T.Y.,Lecturesonmodulesandrings.Graduate
Texts in Mathematics, 189. SpringerVerlag, New
Lang, Serge (2005), Undergraduate Algebra (3rd
edicin), Berlin, New York: SpringerVerlag,
ISBN9780387220253.
Matsumura, Hideyuki (1989), Commutative Ring
Theory,CambridgeStudiesinAdvancedMathematics
(2ndedicin),CambridgeUniversityPress, ISBN978
0521367646
McConnell, J. C. Robson, J. C. Noncommutative
Noetherian rings. Revised edition. Graduate Studies
inMathematics, 30. American Mathematical Society,
Providence, RI, 2001. xx+636 pp. ISBN 08218
21695
PinterLucke, James (2007), Commutativity
conditions for rings: 19502005, Expositiones
Mathematicae 25 (2): 165174,
doi:10.1016/j.exmath.2006.07.001(http://dx.doi.org/10.1016%2F
j.exmath.2006.07.001), ISSN07230869(https://www.worldcat.
org/issn/07230869)
Rowen, Louis H., Ring theory. Vol. I, II. Pure and
Applied Mathematics, 127, 128. Academic Press,
Inc.,Boston,MA,1988.ISBN0125998414,ISBN
0125998422
Sloane,N.J.A.SequencesA027623andA037234in
(037.234 in = 946 m) "The OnLine Encyclopedia of
IntegerSequences
Zwillinger, D. (Ed.). "Rings." 2.6.3 in CRC
Standard Mathematical Tables and Formulae. Boca
Raton,FL:CRCPress,pp.141143,1995
Kostrikin, A.I.: Introduccin al lgebra(1983)
Editorial Mir, Mosc. Traduccin al espaol de
RobertoAnbalSala.

Enlacesexternos
WikilibrosalbergaunlibroomanualsobrelgebraAbstracta.IncluyeuncaptulosobreAnillos.
Weisstein, Eric W. Ring (http://mathworld.wolfram.com/Ring.html). En Weisstein, Eric W. MathWorld
(eningls).WolframResearch.

Obtenidodehttps://es.wikipedia.org/w/index.php?title=Anillo_(matemtica)&oldid=99023546

Categoras: Teoradeanillos lgebraabstracta

Seeditestapginaporltimavezel10may2017alas17:58.
EltextoestdisponiblebajolaLicenciaCreativeCommonsAtribucinCompartirIgual3.0pueden
aplicarseclusulasadicionales.Alusarestesitio,ustedaceptanuestrostrminosdeusoynuestrapolticade
privacidad.
WikipediaesunamarcaregistradadelaFundacinWikimedia,Inc.,unaorganizacinsinnimodelucro.

https://es.wikipedia.org/wiki/Anillo_(matem%C3%A1tica) 7/7