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

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

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

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

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

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

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

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

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.