Ideal
Un ideal es un subconjunto especial de un anillo, cerrado bajo la adición y absorbente bajo la multiplicación, que sirve como el núcleo de un homomorfismo y el objeto mediante el cual se forman los anillos cociente.
Definition
Un ideal de un anillo R es un subgrupo aditivo que absorbe la multiplicación por elementos de R; en un anillo conmutativo, un subconjunto I es un ideal si está cerrado bajo la adición y ri pertenece a I para cada r en R e i en I.
Scope
Este tema cubre los ideales izquierdos, derechos y bilaterales; los ideales principales, maximales y primos; las operaciones sobre ideales como sumas, productos e intersecciones; los anillos cociente y el teorema de correspondencia; y la caracterización de cuerpos y dominios integrales por sus ideales maximales y primos.
Core questions
- ¿Cómo se relacionan los ideales con los núcleos de los homomorfismos de anillos?
- ¿Qué distingue a los ideales primos y maximales, y cómo son sus cocientes?
- ¿Cómo se construyen nuevos ideales a partir de los antiguos mediante sumas, productos e intersecciones?
- ¿Cómo refleja la red de ideales la estructura del anillo?
Key theories
- Ideales como núcleos
- Un subconjunto de un anillo es el núcleo de algún homomorfismo de anillos si y solo si es un ideal, y el cociente por un ideal produce el homomorfismo universal que lo anula, reflejando los subgrupos normales en la teoría de grupos.
- Ideales primos y maximales
- En un anillo conmutativo con identidad, un ideal es primo exactamente cuando su cociente es un dominio integral y maximal exactamente cuando su cociente es un cuerpo, por lo que los ideales maximales son primos.
- Correspondencia de retículos
- Los ideales de un anillo cociente se corresponden biyectivamente con los ideales del anillo original que contienen el ideal elegido, lo que permite transferir preguntas estructurales entre un anillo y sus cocientes.
Clinical relevance
Los ideales son el concepto organizador central de la teoría de anillos: los ideales primos son los puntos de los espectros de la geometría algebraica, los ideales codifican sistemas de ecuaciones polinómicas, y las construcciones de cocientes por ideales construyen nuevos anillos como los cuerpos finitos y los anillos de coordenadas de variedades.
History
La palabra ideal proviene de los números ideales de Kummer, inventados para restaurar la factorización única en la teoría algebraica de números; Dedekind los reformuló como conjuntos, los ideales modernos. Las condiciones de cadena de Emmy Noether sobre los ideales los convirtieron más tarde en la columna vertebral de la teoría abstracta de anillos.
Key figures
- Richard Dedekind
- Ernst Kummer
- Emmy Noether
- David Hilbert
Related topics
Seminal works
- dummit2004
- atiyah1969
- hungerford1974
Frequently asked questions
- ¿Por qué se puede cocientar un anillo por un ideal pero no por un subanillo arbitrario?
- La multiplicación en un cociente está bien definida solo cuando el subconjunto absorbe la multiplicación por todos los elementos del anillo, lo cual es exactamente la condición de ideal. Un subanillo cerrado solo bajo las operaciones del anillo generalmente no produce un anillo cociente bien definido.
- ¿En qué se diferencian los ideales primos y maximales?
- Un ideal es primo cuando su cociente es un dominio integral y maximal cuando su cociente es un cuerpo. Dado que todo cuerpo es un dominio integral, los ideales maximales son siempre primos, pero no a la inversa; la diferencia refleja la dimensión del anillo.