Subgrupo aditivo de un anillo matemático que absorbe la multiplicación.
En matemáticas , y más concretamente en teoría de anillos , un ideal de anillo es un subconjunto especial de sus elementos. Los ideales generalizan ciertos subconjuntos de números enteros , como los números pares o los múltiplos de 3. La suma y resta de números pares preserva la uniformidad, y multiplicar un número par por cualquier número entero (par o impar) da como resultado un número par; estas propiedades de cierre y absorción son las propiedades definitorias de un ideal. Se puede utilizar un ideal para construir un anillo cociente de forma similar a como, en la teoría de grupos , se puede utilizar un subgrupo normal para construir un grupo cociente .
Entre los números enteros, los ideales se corresponden uno por uno con los números enteros no negativos : en este anillo, cada ideal es un ideal principal formado por los múltiplos de un único número no negativo. Sin embargo, en otros anillos, los ideales pueden no corresponder directamente a los elementos del anillo, y ciertas propiedades de los números enteros, cuando se generalizan a los anillos, se vinculan más naturalmente a los ideales que a los elementos del anillo. Por ejemplo, los ideales primos de un anillo son análogos a los números primos , y el teorema chino del resto se puede generalizar a ideales. Existe una versión de factorización prima única para los ideales de un dominio de Dedekind (un tipo de anillo importante en la teoría de números ).
El concepto relacionado, pero distinto, de ideal en la teoría del orden se deriva de la noción de ideal en la teoría de anillos. Un ideal fraccionario es una generalización de un ideal, y los ideales habituales a veces se denominan ideales integrales para mayor claridad.
Historia
Ernst Kummer inventó el concepto de números ideales para que sirvieran como factores "faltantes" en anillos numéricos en los que falla la factorización única; aquí la palabra "ideal" tiene el sentido de existir sólo en la imaginación, en analogía con los objetos "ideales" en geometría, como los puntos en el infinito. [1]
En 1876, Richard Dedekind reemplazó el concepto indefinido de Kummer por conjuntos concretos de números, conjuntos que llamó ideales, en la tercera edición del libro de Dirichlet Vorlesungen über Zahlentheorie , al que Dedekind había añadido muchos suplementos. [1] [2] [3] Posteriormente, David Hilbert y especialmente Emmy Noether
extendieron la noción más allá de los anillos numéricos hasta el establecimiento de anillos polinomiales y otros anillos conmutativos .
Definiciones y motivación
Para un anillo arbitrario , sea su grupo aditivo . Un subconjunto I se llama ideal izquierdo de si es un subgrupo aditivo de que "absorbe la multiplicación de la izquierda por elementos de "; es decir, es un ideal de izquierda si satisface las dos condiciones siguientes:
- es un subgrupo de ,
- Para todos y cada uno , el producto está en .
Un ideal correcto se define con la condición reemplazada por . Un ideal bilateral es un ideal de izquierda que también es un ideal de derecha y, a veces, se le llama simplemente ideal. En el lenguaje de módulos , las definiciones significan que un ideal izquierdo (respectivamente derecho, de dos lados) es un submódulo de cuando se ve como un módulo izquierdo (respectivamente derecho, bi-) . Cuando es un anillo conmutativo, las definiciones de ideal izquierdo, derecho e ideal de dos lados coinciden, y el término ideal se usa solo.
Para comprender el concepto de ideal, consideremos cómo surgen los ideales en la construcción de anillos de "módulo de elementos". Para ser más concretos, veamos el anillo de números enteros módulo dado un número entero ( es un anillo conmutativo). La observación clave aquí es que obtenemos tomando la línea de números enteros y envolviéndola sobre sí misma para que se identifiquen varios números enteros. Para ello debemos cumplir dos requisitos:
- debe identificarse con 0 ya que es congruente con 0 módulo .
- la estructura resultante debe ser nuevamente un anillo.
El segundo requisito nos obliga a hacer identificaciones adicionales (es decir, determina la manera precisa en la que debemos envolvernos en sí mismo). La noción de ideal surge cuando nos hacemos la pregunta:
¿Cuál es el conjunto exacto de números enteros que nos vemos obligados a identificar con 0?
La respuesta es, como era de esperar, el conjunto de todos los números enteros congruentes con módulo 0 . Es decir, debemos enrollarnos sobre sí mismo infinitas veces para que todos los números enteros se alineen con 0. Si observamos qué propiedades debe satisfacer este conjunto para garantizar que sea un anillo, entonces llegamos a la definición de un ideal. De hecho, se puede verificar directamente que es un ideal de .
Observación. También es necesario realizar identificaciones con elementos distintos de 0. Por ejemplo, los elementos de deben identificarse con 1, los elementos de deben identificarse con 2, y así sucesivamente. Estos, sin embargo, están determinados únicamente por ser un grupo aditivo.
Podemos hacer una construcción similar en cualquier anillo conmutativo : comenzar con un arbitrario y luego identificar con 0 todos los elementos del ideal . Resulta que el ideal es el ideal más pequeño que contiene , llamado ideal generado por . De manera más general, podemos comenzar con un subconjunto arbitrario y luego identificar con 0 todos los elementos del ideal generado por : el ideal más pequeño tal que . El anillo que obtenemos tras la identificación depende sólo del ideal y no del conjunto con el que empezamos. Es decir, si , entonces los anillos resultantes serán los mismos.
Por lo tanto, un ideal de anillo conmutativo captura canónicamente la información necesaria para obtener el anillo de elementos de módulo de un subconjunto dado . Los elementos de , por definición, son aquellos que son congruentes con cero, es decir, identificados con cero en el anillo resultante. El anillo resultante se llama cociente de by y se denota . Intuitivamente, la definición de ideal postula dos condiciones naturales necesarias para contener todos los elementos designados como "ceros" por :
- es un subgrupo aditivo de : el cero 0 de es un "cero" , y si y son "ceros", entonces también es un "cero".
- Cualquier multiplicado por "cero" es "cero" .
Resulta que las condiciones anteriores también son suficientes para contener todos los "ceros" necesarios: ningún otro elemento tiene que ser designado como "cero" para formar . (De hecho, ningún otro elemento debe designarse como "cero" si queremos hacer la menor cantidad de identificaciones).
Observación. La construcción anterior todavía funciona utilizando ideales bilaterales incluso si no es necesariamente conmutativa.
Ejemplos y propiedades
(En aras de la brevedad, algunos resultados se indican sólo para ideales de izquierda, pero normalmente también son válidos para ideales de derecha con los cambios de notación apropiados).
- En un anillo R , el propio conjunto R forma un ideal bilateral de R llamado ideal unitario . A menudo también se denota por, ya que es precisamente el ideal bilateral generado (ver más abajo) por la unidad . Además, el conjunto que consta únicamente de la identidad aditiva 0 R forma un ideal bilateral llamado ideal cero y se denota por . [nota 1] Todo ideal (izquierdo, derecho o bilateral) contiene el ideal cero y está contenido en el ideal unitario.
- Un ideal (izquierdo, derecho o bilateral) que no es el ideal unitario se llama ideal propio (ya que es un subconjunto propio ). [5] Nota: un ideal de izquierda es propio si y solo si no contiene un elemento unitario, ya que if es un elemento unitario, entonces para cada . Normalmente hay muchos ideales adecuados. De hecho, si R es un campo sesgado , entonces son sus únicos ideales y viceversa: es decir, un anillo R distinto de cero es un campo sesgado si son los únicos ideales izquierdo (o derecho). (Prueba: si es un elemento distinto de cero, entonces el ideal principal izquierdo (ver más abajo) es distinto de cero y, por lo tanto , ; es decir, para algunos distintos de cero . Del mismo modo, para algunos distintos de cero . Entonces .)
- Los números enteros pares forman un ideal en el anillo de todos los números enteros, ya que la suma de dos números enteros pares cualesquiera es par, y el producto de cualquier número entero por un número entero par también es par; este ideal suele denotarse por . De manera más general, el conjunto de todos los números enteros divisibles por un número entero fijo es un ideal denotado . De hecho, todo ideal distinto de cero del anillo es generado por su elemento positivo más pequeño, como consecuencia de la división euclidiana , también lo es un dominio ideal principal .
- El conjunto de todos los polinomios con coeficientes reales que son divisibles por el polinomio es un ideal en el anillo de todos los polinomios de coeficientes reales .
- Tome un anillo y un entero positivo . Para cada , el conjunto de todas las matrices con entradas en cuya fila -ésima es cero es un ideal recto en el anillo de todas las matrices con entradas en . No es un ideal de izquierda. De manera similar, para cada , el conjunto de todas las matrices cuya -ésima columna es cero es un ideal izquierdo pero no un ideal derecho.
- El anillo de todas las funciones continuas desde hasta debajo de la multiplicación puntual contiene el ideal de todas las funciones continuas tales que . Otro ideal en está dado por aquellas funciones que desaparecen para argumentos suficientemente grandes, es decir, aquellas funciones continuas para las cuales existe un número tal que siempre .
- Un anillo se llama anillo simple si es distinto de cero y no tiene ideales bilaterales distintos de . Por tanto, un campo sesgado es simple y un anillo conmutativo simple es un campo. El anillo de matriz sobre un campo sesgado es un anillo simple.
- Si es un homomorfismo de anillo , entonces el núcleo es un ideal bilateral de . Por definición, y, por lo tanto, si no es el anillo cero (entonces ), entonces es un ideal adecuado. De manera más general, para cada ideal izquierdo I de S , la preimagen es un ideal izquierdo. Si I es un ideal izquierdo de R , entonces es un ideal izquierdo del subanillo de S : a menos que f sea sobreyectivo, no necesita ser un ideal de S ; ver también #Extensión y contracción de un ideal a continuación.
- Correspondencia ideal : dado un homomorfismo de anillo sobreyectivo , existe una correspondencia biyectiva que preserva el orden entre los ideales izquierdos (resp. derechos, bilaterales) que contienen el núcleo de y los ideales izquierdos (resp. derechos, bilaterales) que contienen el núcleo de de : la correspondencia está dada por y la preimagen . Además, para los anillos conmutativos, esta correspondencia biyectiva se restringe a ideales primos, ideales maximales e ideales radicales (consulte la sección Tipos de ideales para conocer las definiciones de estos ideales).
- (Para aquellos que conocen módulos) Si M es un módulo R izquierdo y un subconjunto, entonces el aniquilador de S es un ideal izquierdo. Dados los ideales de un anillo conmutativo R , el R -aniquilador de es un ideal de R llamado cociente ideal de by y se denota por ; es un ejemplo de idealizador en álgebra conmutativa.
- Sea una cadena ascendente de ideales de izquierda en un anillo R ; es decir, es un conjunto totalmente ordenado y para cada . Entonces la unión es un ideal de izquierda de R . (Nota: este hecho sigue siendo cierto incluso si R no tiene la unidad 1.)
- El hecho anterior junto con el lema de Zorn demuestra lo siguiente: si es un subconjunto posiblemente vacío y es un ideal de izquierda disjunto de E , entonces hay un ideal que es máximo entre los ideales que contienen y disjuntos de E. (Nuevamente, esto sigue siendo válido si el anillo R carece de la unidad 1.) Cuando , tomando y , en particular, existe un ideal de izquierda que es máximo entre los ideales de izquierda propios (a menudo llamado simplemente ideal de izquierda máximo); consulte el teorema de Krull para obtener más información.
- Una unión arbitraria de ideales no tiene por qué ser un ideal, pero lo siguiente sigue siendo cierto: dado un subconjunto X posiblemente vacío de R , existe el ideal izquierdo más pequeño que contiene X , llamado ideal izquierdo generado por X y se denota por . Tal ideal existe ya que es la intersección de todos los ideales de izquierda que contienen X. De manera equivalente, es el conjunto de todas las R -combinaciones lineales (finitas) izquierdas de elementos de X sobre R :
- (dado que tal lapso es el ideal izquierdo más pequeño que contiene X .) [nota 2] Un ideal derecho (resp. bilateral) generado por X se define de manera similar. Para "dos lados", hay que utilizar combinaciones lineales de ambos lados; es decir,
- Un ideal izquierdo (o derecho, de dos caras) generado por un solo elemento x se llama ideal principal izquierdo (o derecho, de dos caras) generado por x y se denota por (resp. ). El ideal bilateral principal a menudo también se denota por . Si es un conjunto finito, entonces también se escribe como .
- Existe una correspondencia biyectiva entre ideales y relaciones de congruencia (relaciones de equivalencia que respetan la estructura del anillo) en el anillo: Dado un ideal de un anillo , sea si . Entonces es una relación de congruencia en . Por el contrario, dada una relación de congruencia en , sea . Entonces es un ideal de .
Tipos de ideales
Para simplificar la descripción, se supone que todos los anillos son conmutativos. El caso no conmutativo se analiza en detalle en los artículos respectivos.
Los ideales son importantes porque aparecen como núcleos de homomorfismos de anillos y permiten definir anillos de factores . Se estudian diferentes tipos de ideales porque pueden usarse para construir diferentes tipos de anillos de factores.
- Ideal máximo : Un ideal propio I se llama ideal máximo si no existe otro ideal propioJ con I un subconjunto adecuado de J. El anillo factorial de un ideal máximo es un anillo simple en general y es un campo para anillos conmutativos. [7]
- Ideal mínimo : Un ideal distinto de cero se llama mínimo si no contiene ningún otro ideal distinto de cero.
- Ideal primo : Un ideal propiose llama ideal primo si para cualquierayen , siestá en , entonces al menos uno deyestá en . El anillo factorial de un ideal primo es un anillo primo en general y es un dominio integral para anillos conmutativos.
- Ideal radical o ideal semiprimo : Un ideal propio I se llama radical o semiprimo si para cualquier a en R , si un n está en I para algún n ,entonces a está en I. El anillo factorial de un ideal radical es un anillo semiprimo para anillos generales y es un anillo reducido para anillos conmutativos.
- Ideal primario : Un ideal I se llama ideal primario si para todos a y b en R , si ab está en I , entonces al menos uno de a y b n está en I para algún número natural n . Todo ideal primo es primario, pero no a la inversa. Un ideal primario semiprime es primo.
- Ideal principal : Ideal generado por un elemento.
- Ideal generado finitamente : este tipo de ideal se genera finitamente como un módulo.
- Ideal primitivo : Un ideal primitivo de izquierda es el aniquilador de un módulo izquierdo simple .
- Ideal irreductible : Se dice que un ideal es irreductible si no puede escribirse como una intersección de ideales que lo contienen propiamente.
- Ideales comaximales : Se dice que dos ideales I , J son comaximales si para algunos y .
- Ideal regular : este término tiene múltiples usos. Consulte el artículo para obtener una lista.
- Ideal nulo : Un ideal es un ideal nulo si cada uno de sus elementos es nilpotente.
- Ideal nilpotente : parte de su potencia es cero.
- Ideal de parámetro : ideal generado por un sistema de parámetros .
- Ideal perfecto : un ideal propio I en un anillo noetherianose llama ideal perfecto si su grado es igual a la dimensión proyectiva del anillo cociente asociado, [10] . Un ideal perfecto es puro .
- Ideal puro : Un ideal propio I en un anillo noetherianose llama ideal puro (en altura) si la altura de I es igual a la altura de cada primo asociado P de R / I . (Esto es más fuerte que decir que R / I es equidimensional . Véase también anillo equidimensional .
Otros dos términos importantes que utilizan "ideal" no siempre son ideales de su anillo. Consulte sus respectivos artículos para obtener más detalles:
- Ideal fraccional : generalmente se define cuando R es un dominio conmutativo concampo cociente K. A pesar de sus nombres, los ideales fraccionarios son R submódulos de K con una propiedad especial. Si el ideal fraccionario está contenido enteramente en R , entonces es verdaderamente un idealde R.
- Ideal invertible : Normalmente un ideal invertible A se define como un ideal fraccionario para elcual existe otro ideal fraccionario B tal que AB = BA = R. Algunos autores también pueden aplicar el "ideal invertible" a los ideales de anillo ordinarios A y B con AB = BA = R en anillos distintos de los dominios.
Operaciones ideales
La suma y el producto de ideales se definen de la siguiente manera. Para y , ideales izquierdos (o derechos) de un anillo R , su suma es
- ,
que es un ideal de izquierda (o de derecha) y, si son bilaterales,
es decir, el producto es el ideal generado por todos los productos de la forma ab con a in y b in .
Tenga en cuenta que el ideal izquierdo (o derecho) más pequeño que contiene tanto y (o la unión ), mientras que el producto está contenido en la intersección de y .
La ley distributiva es válida para ideales bilaterales ,
- ,
- .
Si un producto se reemplaza por una intersección, se cumple una ley distributiva parcial:
donde la igualdad se cumple si contiene o .
Observación : La suma y la intersección de ideales es nuevamente un ideal; Con estas dos operaciones de unión y encuentro, el conjunto de todos los ideales de un anillo dado forma una red modular completa . La red no es, en general, una red distributiva . Las tres operaciones de intersección, suma (o unión) y producto convierten el conjunto de ideales de un anillo conmutativo en un cuanta .
Si son ideales de un anillo conmutativo R , entonces en los dos casos siguientes (al menos)
- es generado por elementos que forman un módulo de secuencia regular .
(De manera más general, la diferencia entre un producto y una intersección de ideales se mide mediante el funtor Tor : . [11] )
Un dominio integral se llama dominio de Dedekind si para cada par de ideales existe un ideal tal que . Luego se puede demostrar que cada ideal distinto de cero de un dominio de Dedekind puede escribirse de forma única como un producto de ideales máximos, una generalización del teorema fundamental de la aritmética .
Ejemplos de operaciones ideales
en tenemos
puesto que es el conjunto de números enteros que son divisibles por ambos y .
Deja y deja . Entonces,
- y
- mientras
En el primer cálculo, vemos el patrón general para tomar la suma de dos ideales finitamente generados, es el ideal generado por la unión de sus generadores. En los últimos tres observamos que los productos y las intersecciones concuerdan siempre que los dos ideales se cruzan en el ideal cero. Estos cálculos se pueden verificar usando Macaulay2 . [13] [14] [15]
radical de un anillo
Los ideales aparecen de forma natural en el estudio de los módulos, especialmente en forma de radical.
- Por simplicidad, trabajamos con anillos conmutativos pero, con algunos cambios, los resultados también son válidos para anillos no conmutativos.
Sea R un anillo conmutativo. Por definición, un ideal primitivo de R es el aniquilador de un módulo R simple (distinto de cero) . El radical Jacobson de R es la intersección de todos los ideales primitivos. De manera equivalente,
De hecho, si es un módulo simple y x es un elemento distinto de cero en M , entonces y , es decir, es un ideal máximo. Por el contrario, si es un ideal máximo, entonces es el aniquilador del módulo R simple . También hay otra caracterización (la prueba no es difícil):
Para un anillo no necesariamente conmutativo, es un hecho general que es un elemento unitario si y sólo si es (ver enlace) y por eso esta última caracterización muestra que el radical se puede definir tanto en términos de ideales primitivos de izquierda como de derecha. .
El siguiente hecho simple pero importante ( lema de Nakayama ) está incorporado en la definición de un radical de Jacobson: si M es un módulo tal que , entonces M no admite un submódulo máximo , ya que si hay un submódulo máximo , y por tanto , una contradicción. Dado que un módulo generado finitamente distinto de cero admite un submódulo máximo, en particular, se tiene:
- Si y M se genera de forma finita, entonces .
Un ideal máximo es un ideal primo y por eso se tiene
donde la intersección de la izquierda se llama radical nil de R. Resulta que también lo es el conjunto de elementos nilpotentes de R .
Si R es un anillo artiniano , entonces es nilpotente y . (Prueba: en primer lugar, observe que DCC implica para algunos n . Si (DCC) es un ideal propiamente mínimo sobre este último, entonces . Es decir, , una contradicción.)
Extensión y contracción de un ideal.
Sean A y B dos anillos conmutativos , y sea f : A → B un homomorfismo de anillo . Si es un ideal en A , entonces no necesita ser un ideal en B (por ejemplo, tome f como la inclusión del anillo de números enteros Z en el campo de los racionales Q ). La extensión de en B se define como el ideal en B generado por . Explícitamente,
Si es un ideal de B , entonces siempre es un ideal de A , llamado contracción de a A .
Suponiendo que f : A → B es un homomorfismo de anillo, es un ideal en A , es un ideal en B , entonces:
- es primo en B es primo en A .
Es falso, en general, que ser primo (o máximo) en A implique que sea primo (o máximo) en B. Muchos ejemplos clásicos de esto provienen de la teoría algebraica de números. Por ejemplo, incrustar . En , el elemento 2 se factoriza donde (se puede demostrar) ninguno de los dos son unidades en B . Entonces no es primo en B (y por lo tanto tampoco es máximo). De hecho, muestra que , y por lo tanto .
Por otro lado, si f es sobreyectiva y entonces:
- y .
- es un ideal primo en A es un ideal primo en B .
- es un ideal máximo en A es un ideal máximo en B .
Observación : Sea K una extensión de campo de L y sean B y A los anillos de números enteros de K y L , respectivamente. Entonces B es una extensión integral de A , y dejamos que f sea el mapa de inclusión de A a B. El comportamiento de un ideal primo de A bajo extensión es uno de los problemas centrales de la teoría algebraica de números .
A veces resulta útil lo siguiente: un ideal primo es una contracción de un ideal primo si y sólo si . (Prueba: Suponiendo esto último, nota se cruza con , una contradicción. Ahora, los ideales primos de corresponden a aquellos en B que son disjuntos de . Por lo tanto, hay un ideal primo de B , disjunto de , tal que es un ideal máximo que contiene . Luego se comprueba que se encuentra sobre .
Generalizaciones
Los ideales se pueden generalizar a cualquier objeto monoide , donde está el objeto donde se ha olvidado la estructura monoide . Un ideal izquierdo de es un subobjeto que "absorbe la multiplicación de la izquierda por elementos de "; es decir, es un ideal de izquierda si satisface las dos condiciones siguientes:
- es un subobjeto de
- Para todos y cada uno , el producto está en .
Un ideal correcto se define con la condición " " reemplazada por "' ". Un ideal bilateral es un ideal de izquierda que también es un ideal de derecha y, a veces, se le llama simplemente ideal. Cuando es un objeto monoide conmutativo respectivamente, las definiciones de ideal izquierdo, derecho e ideal de dos lados coinciden, y el término ideal se usa solo.
Un ideal también puede considerarse como un tipo específico de módulo R. Si lo consideramos como un módulo izquierdo (por multiplicación por la izquierda), entonces un ideal izquierdo es en realidad solo un submódulo izquierdo de . En otras palabras, es un ideal izquierdo (derecho) de si y solo si es un módulo izquierdo (derecho) que es un subconjunto de . es un ideal bilateral si es un sub- bimódulo de .
Ejemplo: si dejamos , un ideal de es un grupo abeliano que es un subconjunto de , es decir, para algunos . Entonces estos dan todos los ideales de .
Ver también
Notas
- ^ Algunos autores llaman a los ideales cero y unitario de un anillo R los ideales triviales de R.
- ^ Si R no tiene una unidad, entonces las descripciones internas anteriores deben modificarse ligeramente. Además de las sumas finitas de productos de cosas en X con cosas en R , debemos permitir la suma de n sumas de la forma x + x + ... + x , y n sumas de la forma (− x ) + (− x ) + ... + (− x ) para cada x en X y cada n en los números naturales. Cuando R tiene una unidad, este requisito adicional se vuelve superfluo.
Referencias
- ^ ab John Stillwell (2010). Las matemáticas y su historia . pag. 439.
- ^ Harold M. Edwards (1977). El último teorema de Fermat. Una introducción genética a la teoría algebraica de números . pag. 76.
- ^ Everest G., Ward T. (2005). Una introducción a la teoría de números . pag. 83.
- ^ Lang 2005, sección III.2
- ^ Porque los anillos conmutativos simples son campos. Véase Lam (2001). Un primer curso sobre anillos no conmutativos. pag. 39.
- ^ Matsumura, Hideyuki (1987). Teoría del anillo conmutativo. Cambridge: Prensa de la Universidad de Cambridge. pag. 132.ISBN 9781139171762.
- ^ Eisenbud 1995, Ejercicio A 3.17
- ^ "ideales". www.math.uiuc.edu . Archivado desde el original el 16 de enero de 2017 . Consultado el 14 de enero de 2017 .
- ^ "sumas, productos y potencias de ideales". www.math.uiuc.edu . Archivado desde el original el 16 de enero de 2017 . Consultado el 14 de enero de 2017 .
- ^ "intersección de ideales". www.math.uiuc.edu . Archivado desde el original el 16 de enero de 2017 . Consultado el 14 de enero de 2017 .
- Atiyah, Michael F .; Macdonald, Ian G. (1969). Introducción al Álgebra Conmutativa . Libros de Perseo. ISBN 0-201-00361-9.
- Eisenbud, David (1995), Álgebra conmutativa con miras a la geometría algebraica , Textos de posgrado en matemáticas , vol. 150, Berlín, Nueva York: Springer-Verlag , doi :10.1007/978-1-4612-5350-1, ISBN 978-0-387-94268-1, señor 1322960
- Lang, Serge (2005). Álgebra de pregrado (Tercera ed.). Springer-Verlag . ISBN 978-0-387-22025-3.
- Hazewinkel, Michiel ; Gubareni, Nadiya; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2004). Álgebras, anillos y módulos . vol. 1. Saltador. ISBN 1-4020-2690-0.
- Milnor, John Willard (1971). Introducción a la teoría K algebraica . Anales de estudios de matemáticas. vol. 72. Princeton, Nueva Jersey: Princeton University Press . ISBN 9780691081014. SEÑOR 0349811. Zbl 0237.18005.
enlaces externos
- Levinson, Jake (14 de julio de 2014). "¿La interpretación geométrica para la extensión de ideales?". Intercambio de pila .