Contenidos

Artculos
lgebra abstracta Teora de nmeros algebraicos Geometra algebraica lgebra conmutativa lgebra asociativa lgebra homolgica 1 2 3 7 7 9

Referencias
Fuentes y contribuyentes del artculo 10

Licencias de artculos
Licencia 11

lgebra abstracta

lgebra abstracta
El lgebra abstracta es el campo de la matemtica que estudia las estructuras algebraicas como las de grupo, anillo, cuerpo o espacio vectorial. Muchas de estas estructuras fueron definidas formalmente en el siglo XIX, y, de hecho, el estudio del lgebra abstracta fue motivado por la necesidad de ms exactitud en las definiciones matemticas. El estudio del lgebra abstracta ha permitido observar con claridad lo intrnseco de las afirmaciones lgicas en las que se basan todas la matemtica y las ciencias naturales, y se usa hoy en da prcticamente en todas las ramas de la matemtica. Adems, a lo largo de la historia, los algebristas descubrieron que estructuras lgicas aparentemente diferentes muy a menudo pueden caracterizarse de la misma forma con un pequeo conjunto de axiomas. El trmino lgebra abstracta se usa para distinguir este campo del lgebra elemental o del lgebra de la escuela secundaria que muestra las reglas correctas para manipular frmulas y expresiones algebraicas que conciernen a los nmeros reales y nmeros complejos. El lgebra abstracta fue conocida durante la primera mitad del siglo XX como lgebra moderna.

Historia y Ejemplos
Histricamente, las estructuras algebraicas surgen en algn otro campo distinto a la propia lgebra. Posteriormente, han sido axiomatizadas y luego estudiadas de propio derecho en dicho marco. Por eso, esta materia tiene numerosas y fructferas conexiones con todas las dems ramas de la matemtica. Algunos ejemplos de estructura algebraica con una sola operacin matemtica son los: Magmas Cuasigrupos Semigrupos Monoides Grupos

Otros ejemplos ms complejos son: Anillos y cuerpos Mdulos y Espacios vectoriales lgebras asociativas y lgebras de Lie Retculos y lgebras de Boole

El lgebra universal es un campo de las matemticas que provee del formalismo para comparar las diferentes estructuras algebraicas.

Un ejemplo
El estudio sistemtico del lgebra ha permitido a los matemticos llevar bajo una descripcin lgica comn conceptos aparentemente distintos. Por ejemplo, podemos considerar dos operaciones bastante distintas: la composicin de aplicaciones, , y el producto de matrices, . Estas dos operaciones son, de hecho, la misma. Podemos ver esto, informalmente, de la siguiente forma: multiplicar dos matrices cuadradas vector de una columna, = . Esto, de hecho, define una funcin que es equivalente a componer con : por un = y

. Las funciones bajo composicin y las matrices bajo multiplicacin forman estructuras tal que, para cualquier valor de , .

llamados monoides. Un monoide bajo operacin es asociativo para todos sus elementos contiene un elemento

lgebra abstracta

Enlaces externos
John Beachy: Abstract Algebra On Line [1], Lista de definiciones y teoremas, en ingls. Joseph Mileti: Mathematics Museum: Abstract Algebra [2], una buena introduccin a la materia en trminos sencillos, en ingls.

Referencias
[1] http:/ / www. math. niu. edu/ ~beachy/ aaol/ contents. html [2] http:/ / www. math. uiuc. edu/ ~mileti/ Museum/ algebra. html

Teora de nmeros algebraicos

La teora de nmeros algebraicos o teora algebraica de nmeros es una rama de la teora de los nmeros en la cual el concepto de nmero se expande a los nmeros algebraicos, los cuales son las races de los polinomios con coeficientes racionales. Un campo de nmeros algebraico es una extensin finita (algebraica) del campo de los nmeros racionales. El anillo de enteros de un campo de nmeros algebraico es la cerrazn de los enteros en dicho campo, es decir, el subconjunto del campo que consiste de los elementos que son races de polinomios con coeficientes enteros. Se puede ver, y tratar, a un campo de nmeros algebraico como un anlogo de los racionales, y a su anillo de enteros como un anlogo de los enteros. Ahora bien, la analoga no es perfecta: algunas de las propiedades familiares de los racionales y los enteros no se conservan -- por ejemplo, la factorizacin nica. (La teora de ideales suple en parte la falta de factorizacin nica.) Los campos de nmeros algebraicos, as como los campos de funciones, son llamados campos globales. Gran parte de la teora se puede desarrollar de manera paralela para ambos tipos de objetos. La localizacin consiste en el pasaje de un campo global a un campo local: en el caso de los campos de funciones, este procedimiento consiste simplemente en dirigir la mirada a un punto en particular de la superficie o variedad estudiada, y concentrarse en cmo las funciones se comportan en su vecindad inmediata.

Geometra algebraica

Geometra algebraica
La geometra algebraica es una rama de la matemtica que, como sugiere su nombre, combina el lgebra abstracta, especialmente el lgebra conmutativa, con la geometra. Se puede comprender como el estudio de los conjuntos de soluciones de los sistemas de ecuaciones algebraicas. Cuando hay ms de una variable, aparecen las consideraciones geomtricas que son importantes para entender el fenmeno. Podemos decir que la materia en cuestin comienza cuando abandonamos la mera solucin de ecuaciones, y el tema de "entender" todas las soluciones se vuelve tan importante como el de encontrar alguna solucin, lo cual lleva a las "aguas ms profundas" del mundo de la matemtica, tanto conceptual como tcnicamente.

Ceros de polinomios simultneos

En la geometra algebraica clsica, el principal objeto de inters son los conjuntos donde se anula cierta coleccin de polinomios, lo que quiere decir, el conjunto de todos los puntos que satisfacen simultneamente una o ms ecuaciones polinomiales. Por ejemplo, la esfera de dos dimensiones en el espacio eucldeo de tres dimensiones R se puede definir como el conjunto de todos los puntos (x, y, z) tales que

Un crculo "inclinado" en R puede definirse como el conjunto de todos los puntos (x, y, z) que satisfacen las dos ecuaciones polinomiales siguientes

Variedades afines
Comenzamos en primer lugar con un cuerpo k. En geometra algebraica clsica, este cuerpo fue siempre C, los nmeros complejos, pero muchos de los resultados son tambin ciertos si slo asumimos que k es algebraicamente cerrado. Definimos , llamado n-espacio afn sobre k, como kn. Esto puede parecer una notacin intil, pero su propsito es olvidar la estructura vectorial que porta kn. Abstractamente hablando, una coleccin de puntos. Por tanto, en adelante eliminaremos la k en Diremos que una funcin y escribiremos . es regular si puede escribirse mediante un polinomio, esto es, si existe un , f(t1,...,tn)=p(t1,...,tn). Las funciones regulares es, de momento, solamente

polinomio p sobre k [x1,...,xn] tal que para cada punto (t1,...,tn) de

sobre el n-espacio afn son de esta manera lo mismo que los polinomios sobre k en n variables. Escribiremos las funciones regulares sobre como . Diremos que un polinomio se anula en un punto si al evaluarlo en l el resultado es cero. Sea S un conjunto de polinomios en . El conjunto anulador de S (o locus anulador) es el conjunto V(S) de todos los puntos en donde cada polinomio de S se anule. En otras palabras, Un subconjunto de que es un V(S) para algn S se llama conjunto algebraico afin. La V se refiere a la inicial

de variedad. En muchos textos no existe diferencia entre variedad algebraica afin y conjunto algebraico afin, sin embargo es usual referirse a V(S) como variedad algebraica afin cuando no se puede expresar como unin de dos subconjuntos algebraicos afines propios (contenidos en el sentido estricto). En cualquier caso, esta ltima definicin coincide con la de conjunto algebraico afin irreducible. De forma que, en determinados textos, las nociones de variedad e irreducibilidad son equivalentes. Dado un conjunto V de del que sepamos que es una variedad, sera deseable determinar el conjunto de polinomios que lo genera, aunque haremos una definicin para un caso ms general: si V es cualquier subconjunto

Geometra algebraica de

(no necesariamente una variedad), definimos I(V) como el conjunto de todos los polinomios cuyo conjunto .

anulador contiene a V. La I esta vez es por Ideal: si tengo dos polinomios f y g y los dos se anulan en V, entonces f+g tambin se anula en V, y si h es cualquier polinomio, entonces hf se anula en V, as que I(V) es siempre un ideal de Dos cuestiones que se plantean ahora son: si tenemos un subconjunto V de , cundo es V=V(I(V))? Y, si tenemos un conjunto de polinomios, S, cundo es S=I(V(S))? La respuesta a la primera cuestin la provee la introduccin de la topologa de Zariski, una topologa en que refleja directamente la estructura algebraica de . Entonces V=V(I(V)) si y slo si V es un conjunto Zariski-cerrado. La respuesta a la segunda cuestin viende dada por la Hilbert Nullstellensatz. En una de sus formas, dice que S=I(V(S)) es el ideal radical del ideal generado por S. Por varias razones no siempre queremos trabajar con todo el ideal correspondiente a un conjunto algebraico V. El teorema de la base de Hilbert implica que los ideales en siempre se generan finitamente. Entonces se tiene que un conjunto algebraico es una irreducible (o en algunos casos simplemente variedad) si y slo si los polinomios que lo definen generan un ideal primo del anillo de polinomios.

Funciones regulares
Al igual que las funciones continuas son las aplicaciones naturales en los espacios topolgicos y las funciones suaves son las aplicaciones (morfismos) naturales en las variedades diferenciables, existe una clase natural de funciones sobre un conjunto algebraico, llamadas regulares. Una funcin regular sobre un conjunto algebraico V contenido en est definida como la restriccin de una funcin regular en , en el sentido definido arriba. Puede parecer antinaturalmente restrictivo el requerir que una funcin regular siempre se extienda al espacio ambiente, pero esta situacin es muy similar a la que se da en un espacio topolgico normal, donde el teorema de extensin de Tietze garantiza que una funcin continua en un subconjunto cerrado siempre puede extenderse al espacio topolgico ambiente. Al igual que las funciones regulares en un espacio afn, las funciones regulares en V forman un anillo, que denotamos como k[V]. A este anillo se le llama el anillo coordenado de V. Ya que las funciones regulares en V provienen de las funciones regulares en , debera haber una relacin entre , y dijimos sus anillos coordenados. Especficamente, cogiendo una funcin de k[V] lo estamos haciendo en decir que su diferencia es cero en V. De esto podemos ver que k[V] es el cociente .

que era la misma que otra funcin si daban los mismos valores cuando las evaluvamos en V. Esto es lo mismo que

La categora de las variedades afines

Usando las funciones regulares desde una variedad afn a , podemos definir las funciones regulares de una variedad afn a otra. Primero definiremos una funcin regular de una variedad a un espacio afn: sea V una variedad contenida en . Elige m funciones regulares en V, y llmalas f1,...,fm. Definimos una funcin regular f de V a mediante f(t1,...,tn)=(f1,...,fm). En otras palabras, cada fi determina una coordenada del rango de f. Si V es una variedad contenida en contenido en V. Esto convierte a la coleccin de todas las variedades afines en una categora, cuyos objetos son variedades afines y cuyos morfismos son las aplicaciones regulares. El teorema siguiente caracteriza esta categora: La categora de variedades afines es la dual de la categora de las k-lgebras reducidas y finitamente generadas, y sus homomorfismos. , decimos que f es una funcin regular de V a V' si el rango de f est

Geometra algebraica

Espacio proyectivo
Considrese la variedad V(y=x). Si la dibujamos obtenemos una parbola. Segn x crece, vemos que la pendiente de la lnea que va desde el origen hasta el punto (x, x) se hace ms y ms grande. Segn x decrece, la pendiente de la misma se hace ms y ms pequea. Comparemos esto con la variedad V(y=x). sta es una ecuacin cbica. Segn x crece, la pendiente de la lnea desde el origen hasta el punto (x, x) se hace mayor, como antes. Pero, al contrario que en la anterior, segn x decrece, la pendiente de la misma lnea se hace mayor. As que el comportamiento "al infinito" de V(y=x) es diferente del de V(y=x). Sin embargo, es difcil dar sentido al concepto de "al infinito", si nos restringimos al espacio afn. El remedio a esto es trabajar en el espacio proyectivo, que tiene propiedades anlogas a las de un espacio de Hausdorff compacto. Entre otras cosas, nos permite hacer precisa la nocin de "al infinito" mediante la inclusin de puntos extra. El comportamiento de una variedad en aquellos puntos extra nos da ms informacin sobre ella. Y se ve que V(y=x) tiene una singularidad en uno de aquellos puntos extra, pero V(y=x) es suave. Los primeros gemetras algebraicos se dieron cuenta rpidamente de que el espacio proyectivo tiene propiedades mucho mejores que el afn ordinario. Por ejemplo, el Teorema de Bzout sobre el nmero de puntos de interseccin entre dos variedades puede ser mostrado en su forma ms afilada slo en el espacio proyectivo. Por esta razn, este espacio tiene un papel fundamental en la geometra algebraica.

El punto de vista moderno

El estudio moderno de la geometra algebraica redefine los objetos bsicos de su estudio. Las variedades quedan subsumidas en el concepto de esquema, de Alexander Grothendieck. ste viene de la observacin de que si las k-lgebras reducidas finitamente generadas son objetos geomtricos, entonces quizs cualquier anillo conmutativo podra serlo. Como se comprueba as, ste es un nuevo punto de vista muy fructfero, y es la base para toda la investigacin moderna en geometra algebraica.

Notas e historia
Una clase importante de variedades son las variedades abelianas, que son aquellas cuyos puntos forman un grupo. Los ejemplos prototpicos son las curvas elpticas, que fueron un instrumento fundamental para la prueba del ltimo teorema de Fermat y se usan tambin en criptografa con curvas elpticas. Mientras que mucha de la geometra algebraica trata de proposiciones abstractas y generales sobre variedades, tambin se han desarrollado los mtodos para la computacin efectiva con polinomios concretos dados. La tcnica ms importante es la de las bases de Grbner, que se emplea en todos los sistemas de lgebra computacional. La geometra algebraica fue desarrollada enormemente por los gemetras italianos a principios del siglo XX. Enriques clasific las superficies algebraicas salvo isomorfismo biracional. El estilo de este grupo de matemticos fue muy intuitivo y no tena el rigor moderno. Sobre los aos 1930 y 1940, Oscar Zariski, Andr Weil y otros se dieron cuenta de que esta disciplina necesitaba refundarse mediante el lgebra conmutativa. El lgebra conmutativa (como el estudio de los anillos conmutativos y sus ideales) haba sido y fue desarrollada por David Hilbert, Max Noether, Emanuel Lasker, Emmy Noether, Wolfgang Krull y otros. Antes de ellos no existan fundamentos estndar para la geometra algebraica. En los aos 1950 y 1960, Jean-Pierre Serre y Alexander Grothendieck rehicieron la fundamentacin haciendo uso de la teora de haces. Ms tarde, alrededor de 1960, se desarroll la idea de los esquemas, conjuntamente con el refinado aparato del lgebra homolgica. Tras una dcada de rpido desarrollo, el campo se estabiliz en los aos 1970, y surgieron aplicaciones en la teora de nmeros y en las ms clsicas cuestiones geomtricas de variedades algebraicas, singularidades y mdulos.

Geometra algebraica

Referencias externas
Un libro clsico, con el lenguaje de esquemas: Hodge, W. V. D., and Pedoe, Daniel, Methods of Algebraic Geometry: Volume 1, Cambridge University Press, 1994, ISBN 0-521-46900-7 Hodge, W. V. D., and Pedoe, Daniel, Methods of Algebraic Geometry: Volume 2, Cambridge University Press, 1994, ISBN 0-521-46901-5 Hodge, W. V. D., and Pedoe, Daniel, Methods of Algebraic Geometry: Volume 3, Cambridge University Press, 1994, ISBN 0-521-46775-6 Textos modernos sin el lenguaje de esquemas: Griffiths, Phillip, and Harris, Joe, Principles of Algebraic Geometry, Wiley-Interscience, 1994, ISBN 0-471-05059-8 Harris, Joe, Algebraic Geometry: A First Course, Springer-Verlag, 1995, ISBN 0-387-97716-3 Mumford, David, Algebraic Geometry I: Complex Projective Varieties, 2nd ed., Springer-Verlag, 1995, ISBN 3-540-58657-1 Reid, Miles, Undergraduate Algebraic Geometry, Cambridge University Press, 1988, ISBN 0-521-35662-8 Shafarevich, Igor, Basic Algebraic Geometry I: Varieties in Projective Space, Springer-Verlag, 2nd ed., 1995, ISBN 0-387-54812-2 Libros y referencias para los esquemas: Eisenbud, David, and Harris, Joe, The Geometry of Schemes, Springer-Verlag, 1998, ISBN 0-387-98637-5 Grothendieck, Alexander, lments de gomtrie algbrique, Publications mathmatiques de l'IHS, vols. 4, 8, 11, 17, 20, 24, 28, 32, 1960, 1961, 1963, 1964, 1965, 1966, 1967 Grothendieck, Alexander, lments de gomtrie algbrique, vol. 1, 2nd ed., Springer-Verlag, 1971, ISBN 3-540-05113-9 Hartshorne, Robin, Algebraic Geometry, Springer-Verlag, 1997, ISBN 0-387-90244-9 Mumford, David, The Red Book of Varieties and Schemes: Includes the Michigan Lectures (1974) on Curves and Their Jacobians, 2nd ed., Springer-Verlag, 1999, ISBN 3-540-63293-X Shafarevich, Igor, Basic Algebraic Geometry II: Schemes and Complex Manifolds, Springer-Verlag, 2nd ed., 1995, ISBN 0-387-54812-2 En Internet: Kevin R. Coombes: Algebraic Geometry: A Total Hypertext Online System [1] Algebraic geometry [2] entry on PlanetMath [3]

Referencias
[1] http:/ / odin. mdacc. tmc. edu/ ~krc/ agathos/ [2] http:/ / planetmath. org/ encyclopedia/ AlgebraicGeometry. html [3] http:/ / planetmath. org/

lgebra conmutativa

lgebra conmutativa
En lgebra abstracta, el lgebra conmutativa es el campo de estudio de los anillos conmutativos, sus ideales, mdulos y lgebras. Es una materia fundacional tanto para la geometra algebraica como para la teora algebraica de nmeros. Se considera que el fundador real de la materia, en la poca en la que se llamaba teora de ideales, es David Hilbert. Parece que l piensa sobre ella (alrededor del 1900) como un enfoque alternativo a la entonces de moda teora de funciones complejas. Este enfoque sigue cierta "lnea" de pensamiento que considera que los aspectos computacionales son secundarios respecto a los estructurales. El concepto adicional de mdulo, presentado de alguna manera en el trabajo de Kronecker, es tcnicamente un paso adelante si lo comparamos con trabajar siempre directamente en el caso especial de los ideales. Este cambio se atribuye a la influencia de Emmy Noether. Dado el concepto de esquema, el lgebra conmutativa es pensada, comprendida, de forma razonable, bien como la teora local o bien como la teora afn de la geometra algebraica. El estudio general de anillos sin requerir conmutatividad se conoce como lgebra no conmutativa; es materia de la teora de anillos, de la teora de la representacin y tambin de otras reas como la teora de las lgebras de Banach.

Referencias
Atiyah, M.,"Introduccin al lgebra conmutativa", Barcelona, Revert, 1980.

lgebra asociativa
En matemticas, un lgebra asociativa es un mdulo que tambin permite la multiplicacin de vectores de manera distributiva y asociativa.

Definicin general
Sean y dos anillos unitarios, y un homomorfismo entre anillos unitarios (es ). Definimos la operacin externa: decir, un homomorfismo de anillos de manera que

Esta operacin

dota al grupo abeliano .

de estructura de

-mdulo por la izquierda. Esta operacin es, , se tiene que

adems, compatible con el producto del anillo

en el siguiente sentido: dados

Caso especial en el que el anillo es un cuerpo

Si tenemos un cuerpo que , luego , un anillo y un homomorfismo unitario de anillos , tenemos entonces (mediante el es monomorfismo y podemos considerar que es isomorfo a un subanillo de es un subanillo de

primer teorema de isomorfa,

). Un lgebra asociativa sobre un cuerpo K,

entonces, puede definirse de manera equivalente como un espacio vectorial sobre K junto con una multiplicacin K-bilineal A x A -> A (donde la imagen de (x, y) se escribe como xy) tal que la ley asociativa valga: (x y) z = x (y z) para todo x, y y z en A. La bilinealidad de la multiplicacin se puede expresar como (x + y) z = x z + y z; para todo x, y, z en A, x (y + z) = x y + x z; para todo x, y, z en A,

lgebra asociativa a (x y) = (a x) y = x (a y); para todo x, y en A y a en K. Si A contiene un elemento identidad, es decir un elemento 1 tales que 1x = x1 = x para todo x en A, entonces llamamos a A un lgebra asociativa con uno o unitaria (o unital). Tal lgebra es un anillo y contiene una copia del cuerpo de base K en la forma {a1: a en K}. La dimensin del lgebra asociativa sobre el cuerpo K es su dimensin como espacio K-vectorial.

Ejemplos
Las matrices cuadradas n-por-n con las entradas del cuerpo K forman un lgebra asociativa unitaria sobre K. Los nmeros complejos forman un lgebra asociativa unitaria de 2 dimensiones sobre los nmeros reales. Los cuaterniones forman un lgebra asociativa unitaria 4-dimensional sobre los reales (pero no un lgebra sobre los nmeros complejos, puesto que los nmeros complejos no conmutan con los cuaterniones). Los polinomios con coeficientes reales forman un lgebra asociativa unitaria sobre los reales. Dado cualquier espacio de Banach X, los operadores lineales continuos (AB) : X ABX forman un lgebra asociativa unitaria (que usa la composicin de operadores como multiplicacin); esto es de hecho un lgebra de Banach. Dado cualquier espacio topolgico X, las funciones continuas valoradas en los reales (o los complejos) en X forman un lgebra asociativa unitaria real (o compleja); aqu sumamos y multiplicamos las funciones punto a punto. Un ejemplo de un lgebra asociativa no unitaria viene dado por el conjunto de todas las funciones f: R -> R cuyo lmite cuando x se acerca a infinito es cero. Las lgebras de Clifford son tiles en geometra y fsica. Las lgebras de incidencia de conjuntos parcialmente ordenados localmente finitos son lgebras asociativas unitarias son consideradas en combinatoria.

Homomorfismos de lgebra
Si A y B son lgebras asociativas sobre el mismo anillo R un homomorfismo de lgebras h: A -> B es un homomorfismo de R-mdulos que tambin es multiplicativa en el sentido que h(xy) = h(x) h(y) para todo x, y en A. Con esta nocin de morfismo, la clase de todas las lgebras asociativas sobre R se convierte en una categora. Tome por ejemplo el lgebra A de todas las funciones continuas real-valuadas lgebras sobre , y la funcin que asigna a cada funcin continua el nmero homomorfismo de lgebras de A a B. , y el B = . ambos son (evaluacin en 0) es un

Colgebras
Un lgebra asociativa unitaria sobre R se basa en un morfismo A x A A que tiene 2 entradas (multiplicador y multiplicando) y una salida (el producto), as como un morfismo RA que identificaba los mltiplos escalares de la identidad multiplicativa. Estos dos morfismos pueden ser dualizados con dualidad categorial invirtiendo todas las flechas en los diagramas conmutativos que describen los axiomas del lgebra; esto define una estructura de colgebra.

lgebra homolgica

lgebra homolgica
El lgebra homolgica es un campo de las matemticas que estudia la homologa en un marco algebraico general. Es una disciplina relativamente joven, cuyos orgenes pueden remontarse a investigaciones en topologa combinatoria (un precursor de la topologa algebraica) y en lgebra abstracta (teora de mdulos y sizigia) de fines del siglo XIX, lideradas por Henri Poincar y David Hilbert. El desarrollo del lgebra homolgica est estrechamente relacionado con la emergencia de la teora de categoras.

Referencias
Henri Cartan, Samuel Eilenberg, Homological algebra. Con el apndice de David A. Buchsbaum. Reimpreso del original de 1956. Princeton Landmarks in Mathematics. Princeton University Press, Princeton, NJ, 1999. xvi+390 pp. ISBN 0-691-04991-2 Alexander Grothendieck, Sur quelques points d'algbre homologique. Thoku Math. J. (2) 9, 1957, 119--221 Saunders Mac Lane, Homology. Reimpreso de la edicin de 1975. Classics in Mathematics. Springer-Verlag, Berln, 1995. x+422 pp. ISBN 3-540-58662-8 Peter Hilton; Stammbach, U. A course in homological algebra. Segunda edicin. Graduate Texts in Mathematics, 4. Springer-Verlag, Nueva York, 1997. xii+364 pp. ISBN 0-387-94823-6 Gelfand, Sergei I.; Yuri Manin, Methods of homological algebra. Traducido al ingls de la edicin en ruso de 1988. Segunda edicin. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003. xx+372 pp. ISBN 3-540-43583-2 Gelfand, Sergei I.; Yuri Manin, Homological algebra. Springer-Verlag, Berlin, 1999. iv+222 pp. ISBN 3-540-65378-3 Weibel, Charles A. (1994), An introduction to homological algebra, Cambridge Studies in Advanced Mathematics, 38, Cambridge University Press, MR1269324, ISBN 978-0-521-55987-4, OCLC 36131259.

Fuentes y contribuyentes del artculo

10

Fuentes y contribuyentes del artculo

lgebra abstracta Fuente: http://es.wikipedia.org/w/index.php?oldid=46309973 Contribuyentes: AlfonsoERomero, Barrie, Dnu72, Elwikipedista, Fmariluis, HiTe, Ingenioso Hidalgo, Interwiki, Joselarrucea, Juan Marquez, Kordas, ManuelGR, Paintman, Sxim, Tomatejc, Tostadora, Txortx, Vitamine, 22 ediciones annimas Teora de nmeros algebraicos Fuente: http://es.wikipedia.org/w/index.php?oldid=47323454 Contribuyentes: A ver, BludgerPan, Juan Mayordomo, Katadreuffe, Uruk, Urumi, 1 ediciones annimas Geometra algebraica Fuente: http://es.wikipedia.org/w/index.php?oldid=47162393 Contribuyentes: Cobalttempest, Correogsk, El.tobal, Elwikipedista, Especiales, F.A.A, GermanX, HUB, Ingenioso Hidalgo, Ivn, JMCC1, Jesusadc, Manw, Pececito, PoLuX124, Raulshc, Sabbut, Sanbec, 21 ediciones annimas lgebra conmutativa Fuente: http://es.wikipedia.org/w/index.php?oldid=44713853 Contribuyentes: Ascnder, Augusto maguina, Correogsk, Deivid, Farisori, Ingenioso Hidalgo, Martn Oregn, Matdrodes, Sabbut, Sanbec, Tostadora, 15 ediciones annimas lgebra asociativa Fuente: http://es.wikipedia.org/w/index.php?oldid=42003675 Contribuyentes: Cedmetician, DefLog, Diegusjaimes, Farisori, Joselarrucea, Lobillo, Tostadora, Wewe, 8 ediciones annimas lgebra homolgica Fuente: http://es.wikipedia.org/w/index.php?oldid=47147478 Contribuyentes: Farisori, 1 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

11

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported http:/ / creativecommons. org/ licenses/ by-sa/ 3. 0/