En álgebra conmutativa y geometría algebraica , la localización es una forma formal de introducir los "denominadores" a un anillo o módulo determinado . Es decir, introduce un nuevo anillo/módulo a partir de un anillo/módulo existente R , de modo que consta de fracciones tales que el denominador s pertenece a un subconjunto dado S de R. Si S es el conjunto de los elementos distintos de cero de un dominio integral , entonces la localización es el campo de fracciones : este caso generaliza la construcción del campo de números racionales a partir del anillo de números enteros .
La técnica se ha vuelto fundamental, particularmente en geometría algebraica , ya que proporciona un vínculo natural con la teoría de la gavilla . De hecho, el término localización se originó en la geometría algebraica : si R es un anillo de funciones definidas sobre algún objeto geométrico ( variedad algebraica ) V , y se quiere estudiar esta variedad "localmente" cerca de un punto p , entonces se considera el conjunto S de todas las funciones que no son cero en p y localiza R con respecto a S . El anillo resultante contiene información sobre el comportamiento de V cerca de p y excluye información que no es "local", como los ceros de funciones que están fuera de V (consulte el ejemplo dado en el anillo local ).
La localización de un anillo conmutativo R por un conjunto multiplicativamente cerrado S es un nuevo anillo cuyos elementos son fracciones con numeradores en R y denominadores en S.
Si el anillo es un dominio integral la construcción se generaliza y sigue de cerca la del campo de fracciones y, en particular, la de los números racionales como campo de fracciones de los números enteros. Para los anillos que tienen divisores cero , la construcción es similar pero requiere más cuidado.
La localización se realiza comúnmente con respecto a un conjunto multiplicativamente cerrado S (también llamado conjunto multiplicativo o sistema multiplicativo ) de elementos de un anillo R , que es un subconjunto de R que está cerrado bajo multiplicación y contiene 1 .
El requisito de que S debe ser un conjunto multiplicativo es natural, ya que implica que todos los denominadores introducidos por la localización pertenecen a S. También se puede definir la localización por un conjunto U que no es multiplicativamente cerrado, tomando como posibles denominadores todos los productos de elementos de U. Sin embargo, la misma localización se obtiene utilizando el conjunto multiplicativamente cerrado S de todos los productos de elementos de U. Como esto a menudo simplifica el razonamiento y la notación, es una práctica estándar considerar solo localizaciones por conjuntos multiplicativos.
Por ejemplo, la localización por un solo elemento s introduce fracciones de la forma pero también productos de dichas fracciones, como por ejemplo, los denominadores pertenecerán al conjunto multiplicativo de las potencias de s . Por lo tanto, generalmente se habla de "la localización por las potencias de un elemento" más que de "la localización por un elemento".
La localización de un anillo R por un conjunto multiplicativo S generalmente se denota, pero en algunos casos especiales se usan comúnmente otras notaciones: si consta de las potencias de un solo elemento, a menudo se denota si es el complemento de un ideal primo , entonces se denota
En el resto de este artículo, sólo se consideran las localizaciones por conjunto multiplicativo.
Cuando el anillo R es un dominio integral y S no contiene 0 , el anillo es un subanillo del campo de fracciones de R. Como tal, la localización de un dominio es un dominio.
Más precisamente, es el subanillo del cuerpo de fracciones de R , que consta de fracciones tales que Este es un subanillo ya que la suma y el producto de dos elementos de están en Esto resulta de la propiedad definitoria de un conjunto multiplicativo, que implica también que en este caso, R es un subanillo de. A continuación se muestra que esto ya no es cierto en general, normalmente cuando S contiene divisores cero .
Por ejemplo, las fracciones decimales son la localización del anillo de números enteros mediante el conjunto multiplicativo de las potencias de diez. En este caso, consta de números racionales que se pueden escribir como donde n es un número entero y k es un número entero no negativo.
En el caso general surge un problema con divisores cero . Sea S un conjunto multiplicativo en un anillo conmutativo R. Supongamos que y es un divisor de cero con Entonces es la imagen en de y uno tiene Por lo tanto, algunos elementos distintos de cero de R deben ser cero en La construcción que sigue está diseñada para tener esto en cuenta.
Dados R y S como arriba, se considera la relación de equivalencia que se define por si existe tal que
La localización se define como el conjunto de clases de equivalencia para esta relación. La clase de ( r , s ) se denota como o Entonces, se tiene si y solo si existe tal que La razón para es manejar casos como el anterior donde es distinto de cero aunque las fracciones deben considerarse iguales.
La localización es un anillo conmutativo con suma.
multiplicación
identidad aditiva e identidad multiplicativa
La función
define un homomorfismo de anillo desde dentro que es inyectivo si y solo si S no contiene divisores de cero.
Si entonces es el anillo cero que tiene 0 como elemento único.
Si S es el conjunto de todos los elementos regulares de R (es decir , los elementos que no son divisores de cero), se llama anillo total de fracciones de R.
El homomorfismo de anillo (definido anteriormente) satisface una propiedad universal que se describe a continuación. Esto caracteriza hasta un isomorfismo . Por tanto, todas las propiedades de las localizaciones pueden deducirse de la propiedad universal, independientemente de la forma en que hayan sido construidas. Además, muchas propiedades importantes de localización se deducen fácilmente de las propiedades generales de las propiedades universales, mientras que su demostración directa puede ser técnica, sencilla y aburrida.
La propiedad universal satisfecha por es la siguiente:
Utilizando la teoría de categorías , esto se puede expresar diciendo que la localización es un funtor que se deja adjunto a un funtor olvidadizo . Más precisamente, sean y las categorías cuyos objetos son pares de un anillo conmutativo y un submonoide de, respectivamente, el monoide multiplicativo o el grupo de unidades del anillo. Los morfismos de estas categorías son los homomorfismos de anillo que asignan el submonoide del primer objeto al submonoide del segundo. Finalmente, sea el functor olvidadizo que olvida que los elementos del segundo elemento del par son invertibles.
Entonces la factorización de la propiedad universal define una biyección
Esta puede parecer una forma bastante complicada de expresar la propiedad universal, pero es útil para mostrar fácilmente muchas propiedades, utilizando el hecho de que la composición de dos funtores adjuntos izquierdos es un funtor adjunto izquierdo.
La localización es una construcción rica que tiene muchas propiedades útiles. En esta sección, sólo se consideran las propiedades relativas a los anillos y a una única localización. Las propiedades relativas a ideales , módulos o varios conjuntos multiplicativos se consideran en otras secciones.
Propiedades para mover a otra sección
Sea un conjunto multiplicativo. La saturación de es el conjunto.
El conjunto multiplicativo S está saturado si es igual a su saturación, es decir, si , o equivalentemente, si implica que r y s están en S.
Si S no está saturado, y entonces es un inverso multiplicativo de la imagen de r en Entonces, las imágenes de los elementos de son todas invertibles en y la propiedad universal implica que y son canónicamente isomorfas , es decir, hay un isomorfismo único entre ellos que fijan las imágenes de los elementos de R .
Si S y T son dos conjuntos multiplicativos, entonces y son isomorfos si y sólo si tienen la misma saturación o, de manera equivalente, si s pertenece a uno de los conjuntos multiplicativos, entonces existe tal que st pertenezca al otro.
Los conjuntos multiplicativos saturados no se utilizan mucho de forma explícita, ya que, para verificar que un conjunto está saturado, es necesario conocer todas las unidades del anillo.
El término localización tiene su origen en la tendencia general de las matemáticas modernas de estudiar los objetos geométricos y topológicos localmente , es decir, en términos de su comportamiento cerca de cada punto. Ejemplos de esta tendencia son los conceptos fundamentales de variedades , gérmenes y haces . En geometría algebraica , un conjunto algebraico afín puede identificarse con un anillo cociente de un anillo polinómico de tal manera que los puntos del conjunto algebraico correspondan a los ideales máximos del anillo (este es el Nullstellensatz de Hilbert ). Esta correspondencia se ha generalizado para hacer del conjunto de los ideales primos de un anillo conmutativo un espacio topológico equipado con la topología de Zariski ; este espacio topológico se llama espectro del anillo .
En este contexto, una localización por un conjunto multiplicativo puede verse como la restricción del espectro de un anillo al subespacio de los ideales primos (vistos como puntos ) que no se cruzan con el conjunto multiplicativo.
Se consideran más comúnmente dos clases de localizaciones:
En teoría de números y topología algebraica , cuando se trabaja sobre el anillo de números enteros , uno se refiere a una propiedad relativa a un número entero n como una propiedad verdadera en n o lejos de n , dependiendo de la localización que se considere. " Lejos de n " significa que la propiedad se considera después de la localización mediante las potencias de n y, si p es un número primo , "en p " significa que la propiedad se considera después de la localización en el ideal primo . Esta terminología puede explicarse por el hecho de que, si p es primo, los ideales primos distintos de cero de la localización de son el conjunto singleton {p} o su complemento en el conjunto de números primos.
Sea S un conjunto multiplicativo en un anillo conmutativo R y sea el homomorfismo de anillo canónico. Dado un ideal I en R , sea el conjunto de las fracciones en cuyo numerador está en I. Este es un ideal cuyo ideal es generado por j ( I ) , y llamado localización de I por S.
La saturación de I por S es un ideal de R , que también puede definirse como el conjunto de los elementos tales que existen con
Muchas propiedades de los ideales se conservan mediante saturación y localización, o pueden caracterizarse mediante propiedades más simples de localización y saturación. En lo que sigue, S es un conjunto multiplicativo en un anillo R , e I y J son ideales de R ; se denota la saturación de un ideal I por un conjunto multiplicativo S o, cuando el conjunto multiplicativo S se desprende del contexto,
Sea R un anillo conmutativo , S un conjunto multiplicativo en R y M un módulo R. La localización del módulo M por S , denotada S −1 M , es un módulo S −1 R que se construye exactamente como la localización de R , excepto que los numeradores de las fracciones pertenecen a M. Es decir, como conjunto, consta de clases de equivalencia , denotadas , de pares ( m , s ) , donde y y dos pares ( m , s ) y ( n , t ) son equivalentes si hay un elemento u en S tal eso
La suma y la multiplicación escalar se definen como para las fracciones habituales (en la siguiente fórmula, y ):
Además, S −1 M también es un R -módulo con multiplicación escalar
Es sencillo comprobar que estas operaciones están bien definidas, es decir, que dan el mismo resultado para diferentes elecciones de representantes de fracciones.
La localización de un módulo se puede definir de manera equivalente utilizando productos tensoriales :
La prueba de equivalencia (hasta un isomorfismo canónico ) se puede realizar demostrando que las dos definiciones satisfacen la misma propiedad universal.
Si M es un submódulo de un R -módulo N , y S es un conjunto multiplicativo en R , se tiene. Esto implica que, si es un homomorfismo de módulo inyectivo , entonces
También es un homomorfismo inyectivo.
Dado que el producto tensorial es un funtor exacto recto , esto implica que la localización por S asigna secuencias exactas de R -módulos a secuencias exactas de -módulos. En otras palabras, la localización es un funtor exacto y es un módulo R plano .
Esta planitud y el hecho de que la localización resuelve una propiedad universal hacen que la localización conserve muchas propiedades de módulos y anillos, y sea compatible con soluciones de otras propiedades universales. Por ejemplo, el mapa natural.
es un isomorfismo. Si es un módulo presentado finitamente , el mapa natural
también es un isomorfismo. [4]
Si un módulo M es generado finitamente sobre R , se tiene
donde denota aniquilador , que es el ideal de los elementos del anillo que asignan a cero todos los elementos del módulo. [5] En particular,
es decir, si por algunos [6]
La definición de ideal primo implica inmediatamente que el complemento de un ideal primo en un anillo conmutativo R es un conjunto multiplicativo. En este caso, la localización se denota comúnmente como el anillo es un anillo local , que se llama anillo local de R en. Esto significa que es el único ideal máximo del anillo.
Estas localizaciones son fundamentales para el álgebra conmutativa y la geometría algebraica por varias razones. Una es que los anillos locales suelen ser más fáciles de estudiar que los anillos conmutativos generales, en particular debido al lema de Nakayama . Sin embargo, la razón principal es que muchas propiedades son verdaderas para un anillo si y sólo si lo son para todos sus anillos locales. Por ejemplo, un anillo es regular si y sólo si todos sus anillos locales son anillos locales regulares .
Las propiedades de un anillo que se pueden caracterizar en sus anillos locales se denominan propiedades locales y, a menudo, son la contraparte algebraica de las propiedades locales geométricas de variedades algebraicas , que son propiedades que se pueden estudiar restringiendo a una pequeña vecindad de cada punto de la variedad. . (Existe otro concepto de propiedad local que se refiere a la localización en conjuntos abiertos de Zariski; consulte § Localización en conjuntos abiertos de Zariski, a continuación).
Muchas propiedades locales son consecuencia del hecho de que el módulo
es un módulo fielmente plano cuando la suma directa se toma sobre todos los ideales primos (o sobre todos los ideales máximos de R ). Véase también Descenso fielmente plano .
Una propiedad P de un R -módulo M es una propiedad local si las siguientes condiciones son equivalentes:
Las siguientes son propiedades locales:
Por otro lado, algunas propiedades no son propiedades locales. Por ejemplo, un producto directo infinito de campos no es un dominio integral ni un anillo noetheriano , mientras que todos sus anillos locales son campos, y por tanto dominios integrales noetherianos.
La localización de anillos no conmutativos es más difícil. Si bien la localización existe para cada conjunto S de unidades potenciales, podría adoptar una forma diferente a la descrita anteriormente. Una condición que garantiza que la localización se comporte bien es la condición Ore .
Un caso de anillos no conmutativos donde la localización tiene un claro interés es el de los anillos de operadores diferenciales. Tiene la interpretación, por ejemplo, de adjuntar un inverso formal D −1 para un operador de diferenciación D . Esto se hace en muchos contextos en métodos para ecuaciones diferenciales . Actualmente existe una gran teoría matemática al respecto, denominada microlocalización , que conecta con muchas otras ramas. La microetiqueta tiene que ver en particular con conexiones con la teoría de Fourier .