Localización
La localización invierte formalmente un conjunto elegido de elementos de un anillo, produciendo un anillo de fracciones que aísla el comportamiento algebraico cerca de un ideal primo, la contraparte algebraica de un acercamiento geométrico.
Definition
La localización de un anillo conmutativo en un conjunto multiplicativamente cerrado es el anillo de fracciones obtenido al adjuntar formalmente las inversas de ese conjunto; la localización en el complemento de un ideal primo produce un anillo local con un único ideal maximal.
Scope
Este tema cubre la construcción de anillos y módulos de fracciones, la localización en un ideal primo y el anillo local resultante, la exactitud de la localización, la correspondencia entre los primos de una localización y los primos del anillo, y el principio local-global.
Core questions
- ¿Cómo se invierten formalmente los elementos de un anillo?
- ¿Qué es un anillo local y cómo lo produce la localización en un primo?
- ¿Cómo se relacionan los ideales primos de una localización con los del anillo original?
- ¿Cómo reduce el principio local-global las afirmaciones globales a las locales?
Key theories
- Anillo y módulo de fracciones
- La inversión de un conjunto multiplicativamente cerrado produce un anillo de fracciones con una propiedad universal entre los mapas de anillos que envían ese conjunto a unidades, y la misma construcción localiza módulos de forma compatible.
- Exactitud de la localización
- La localización es un functor exacto, que preserva inyecciones, sobreyecciones y secuencias exactas, lo que la convierte en una herramienta especialmente bien comportada para el estudio de módulos.
- Principio local-global
- Muchas propiedades de un módulo o anillo se cumplen globalmente si y solo si se cumplen después de localizar en cada ideal primo (o maximal), por lo que los cálculos locales determinan la estructura global.
Clinical relevance
La localización es la formalización algebraica del estudio de un espacio cerca de un punto: en geometría algebraica construye los anillos locales de puntos en una variedad y el haz de estructura, y en teoría de números produce las localizaciones de anillos de enteros en primos que subyacen a los métodos local-globales.
History
La localización generalizó el paso de un dominio integral a su cuerpo de fracciones y las construcciones p-ádicas de la teoría de números. Krull y Chevalley desarrollaron los anillos locales en las décadas de 1930 y 1940, y la localización se convirtió en fundamental con la reformulación geométrica del álgebra conmutativa por Zariski y Grothendieck.
Key figures
- Wolfgang Krull
- Claude Chevalley
- Oscar Zariski
- Alexander Grothendieck
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- ¿Qué significa localizar en un ideal primo?
- Significa invertir cada elemento que no está en el primo, dejando un anillo local cuyo único ideal maximal corresponde a ese primo. Geométricamente, esto centra la atención en el comportamiento del anillo cerca del punto que representa el primo.
- ¿Por qué es útil el principio local-global?
- Muchas propiedades, como que un módulo sea cero o que un mapa sea un isomorfismo, se pueden verificar un primo a la vez después de localizar. Esto reduce preguntas globales difíciles a otras locales más simples, una estrategia recurrente en álgebra y teoría de números.