## [Extensión de Escalares](/es/node/63369) Definición El proceso de ampliar el dominio de escalares de un objeto algebraico formando el producto tensorial con una base mayor S sobre una base R, produciendo por ejemplo S ⊗_R M a partir de un R-módulo M; coloquialmente llamado extensión de escalares. ## Principio Principio La extensión de escalares es la construcción adjunta por la izquierda (libre) a la restricción de escalares: dota libremente a un objeto de una acción del anillo mayor imponiendo las relaciones originales mediante el tensor; su comportamiento algebraico depende de propiedades del mapa de bases (planitud, presentación finita). ## Demostración Demostración Dado un homomorfismo de anillos R → S y una R-álgebra A, la extensión de escalares produce la S-álgebra S ⊗_R A; para una representación de un grupo sobre un cuerpo k y una extensión de cuerpos K/k, se obtiene la representación K ⊗_k V con dimensión y constantes estructurales extendidas a K. ## Aplicación incorrecta Aplicación incorrecta Confundir la extensión de escalares con un simple cambio de coeficientes sin comprobar si el tensor preserva las estructuras: por ejemplo, tensorizar una sucesión exacta por S puede dejar de ser exacta si S no es plano, provocando pérdida de información o torsión oculta. ## Consecuencia Consecuencia La extensión de escalares bien aplicada permite comparar objetos sobre bases mayores, puede simplificar la estructura (diagonalizar tras la extensión) y es esencial para argumentos de descenso y cambio de base; se describe mediante una propiedad universal y suele conmutar con colímites. ## Inversión Inversión La perspectiva inversa es la restricción (forgetful) de escalares a lo largo de R → S, que recupera la estructura como módulo sobre la base menor pero pierde la estructura S-lineal adicional ganada por la extensión. ## Límite Límite Se aplica a módulos, álgebras, representaciones y objetos algebraicos afines cuando hay un mapa de bases; no garantiza conservación de finitud, exactitud o semisimplicidad sin hipótesis adicionales y se distingue de completaciones o localizaciones salvo que esos sean los mapas de base elegidos. ## Tensión semántica Tensión semántica Existe tensión entre extensión de escalares y operaciones que cambian coeficientes de forma más sutil (localización, completación, tensor derivado): la extensión es tensorización no derivada, mientras que los cambios derivados o completos capturan torsión y procesos infinitos que el tensor ingenuo puede ignorar. ## Síntesis Síntesis La extensión de escalares es la construcción canónica adjunta por la izquierda que reinterpreta un objeto sobre una base mayor mediante el tensor; extiende libremente la acción de escalares sujeta a las relaciones originales y requiere atención a la planitud, la finitud y los efectos derivados.