La construcción de un nuevo objeto al adjuntar formalmente inversos a un subconjunto multiplicativo especificado, invirtiendo así elementos elegidos mientras se preserva el resto de la estructura mediante una propiedad universal.

Principio

La localización viene determinada por una propiedad universal: un morfismo desde el objeto original al localizado que envía cada elemento del subconjunto multiplicativo elegido a un elemento invertible, siendo inicial entre tales morfismos. En contextos no conmutativos se requieren la condición de Ore u otros marcos alternativos.

Demostración

Localizar el anillo Z en el primo p produce Z_{(p)} donde los enteros coprimos con p se vuelven unidades; localizar en el conjunto multiplicativo generado por a≠0 produce A_a donde a es invertible. Localizar un módulo M en S da S^{-1}M, permitiendo denominadores procedentes de S.

Aplicación incorrecta

Intentar invertir un conjunto que contiene divisores de cero sin comprobar hipótesis puede colapsar el objeto (p. ej. forzar 0=1) o producir resultados mal comportados; ignorar obstrucciones no conmutativas puede impedir obtener una localización.

Consecuencia

La localización introduce denominadores, centra la atención en una región de interés (p. ej. primos, complementos), suele conferir propiedades de aplastamiento (flatness) a módulos y produce objetos locales usados en argumentos geométricos y aritméticos.

Inversión

El proceso opuesto es la formación de cocientes o completaciones que eliminan denominadores o rellenan límites; revertir la localización puede recuperar información global perdida al invertir elementos.

Límite

Se aplica a subconjuntos multiplicativos; en álgebra conmutativa la localización es directa, mientras que en contextos no conmutativos se requieren condiciones adicionales. La localización cambia invariantes globales y puede destruir propiedades de finitud.

Tensión semántica

Tensión entre localizar para hacer invertibles ciertos elementos y preservar la estructura global: la localización puede simplificar el comportamiento local pero ocultar o destruir relaciones globales, lo que conduce a criterios contrapuestos sobre qué localización es apropiada.

Síntesis

La localización es la adición universal de inversos a elementos especificados: una ampliación controlada que convierte elementos seleccionados en unidades y afina propiedades locales a costa de cierta pérdida de información global.