Teoría de Anillos
La teoría de anillos estudia conjuntos equipados con operaciones compatibles de adición y multiplicación, generalizando la aritmética de enteros y polinomios y proporcionando la base estructural para gran parte del álgebra y la geometría algebraica.
Definition
Un anillo es un conjunto con dos operaciones binarias, adición (que lo convierte en un grupo abeliano) y multiplicación (asociativa y distributiva sobre la adición), típicamente con una identidad multiplicativa. La teoría de anillos estudia estas estructuras, sus ideales y los mapeos entre ellas.
Scope
Esta área cubre anillos, subanillos e ideales; anillos cociente y los teoremas de isomorfismo; homomorfismos de anillos; dominios integrales, cuerpos de fracciones y factorización única; anillos de polinomios y anillos euclidianos, de ideales principales y noetherianos. Abarca tanto la teoría conmutativa como la no conmutativa al nivel de un curso de posgrado en álgebra.
Sub-topics
Core questions
- ¿Cómo controlan los ideales de un anillo su estructura cociente y sus imágenes homomórficas?
- ¿Bajo qué condiciones un anillo admite una factorización única en elementos irreducibles?
- ¿Cómo se transfieren las propiedades de un anillo a los anillos de polinomios y a los anillos de fracciones sobre él?
- ¿Qué hipótesis estructurales (noetheriano, de ideales principales, euclidiano) producen una aritmética manejable?
Key theories
- Teoremas de isomorfismo para anillos
- Los homomorfismos de anillos se factorizan a través de cocientes por sus núcleos, y la correspondencia resultante entre ideales y anillos cociente es paralela a los teoremas de isomorfismo de la teoría de grupos.
- Jerarquía de factorización única
- Los dominios euclidianos son dominios de ideales principales, que son dominios de factorización única; esta cadena de implicaciones organiza la aritmética de los dominios integrales y explica cuándo la factorización en irreducibles es esencialmente única.
- Teorema de la base de Hilbert
- Si un anillo es noetheriano, también lo es el anillo de polinomios sobre él en un número finito de variables, lo que asegura que las álgebras finitamente generadas sobre cuerpos tienen una teoría de ideales bien comportada.
Clinical relevance
La teoría de anillos proporciona el sustrato algebraico para la geometría algebraica (anillos de coordenadas de variedades), la teoría algebraica de números (anillos de enteros), la teoría de códigos y la criptografía (anillos de polinomios y cocientes), y los sistemas de álgebra computacional que manipulan polinomios simbólicamente.
History
La teoría de anillos surgió de los ideales de Dedekind en la teoría algebraica de números y la teoría de invariantes de Hilbert, y fue abstraída en una disciplina estructural por Emmy Noether en la década de 1920, cuyas condiciones de cadena ascendente remodelaron el tema. Artin y otros extendieron la teoría estructural al ámbito no conmutativo.
Key figures
- Richard Dedekind
- David Hilbert
- Emmy Noether
- Wolfgang Krull
- Emil Artin
Related topics
Seminal works
- lang2002
- dummit2004
- atiyah1969
Frequently asked questions
- ¿Cuál es la diferencia entre un ideal y un subanillo?
- Un subanillo es cerrado bajo las operaciones del anillo, mientras que un ideal es adicionalmente absorbente bajo la multiplicación por cualquier elemento del anillo. Los ideales, no los subanillos arbitrarios, son exactamente los núcleos de los homomorfismos de anillos y los objetos por los que se puede hacer un cociente.
- ¿Por qué son tan importantes los anillos de polinomios?
- Los anillos de polinomios son las álgebras conmutativas libres: modelan la adición de indeterminadas, sus ideales corresponden a sistemas de ecuaciones polinómicas, y el teorema de la base de Hilbert hace que su teoría de ideales sea finitamente controlable, lo que es la puerta de entrada a la geometría algebraica.