Le processus d'élargissement du corps (des scalaires) d'un objet algébrique en formant le produit tensoriel avec une base plus grande S au-dessus d'une base R, produisant par exemple S ⊗_R M à partir d'un R-module M ; on parle couramment d'extension des scalaires.

Principe

L'extension des scalaires est la construction adjoint à gauche (libre) de la restriction des scalaires : elle dote librement un objet d'une action de la base plus grande tout en imposant les relations initiales via le produit tensoriel ; le comportement dépend des propriétés du morphisme de bases (platitude, présentation finie).

Démonstration

Pour un homomorphisme d'anneaux R → S et une R-algèbre A, l'extension des scalaires donne l'algèbre S ⊗_R A sur S ; pour une représentation d'un groupe sur un corps k et une extension de corps K/k, on obtient la représentation K ⊗_k V dont les constantes et la dimension sont étendues à K.

Mauvaise application

Confondre l'extension des scalaires avec un simple changement de coefficients sans vérifier si la tensorisation préserve les structures : par exemple tensoriser une suite exacte par S peut cesser d'être exacte si S n'est pas plat, entraînant perte d'information ou torsion cachée.

Conséquence

Une extension de scalaires effectuée correctement permet de comparer des objets sur des bases plus grandes, peut simplifier la structure (diagonalisation après extension), et est essentielle pour les arguments de descente et de changement de base ; elle se décrit par une propriété universelle et commute souvent avec les colimites.

Inversion

La vue inverse est la restriction (oubli) des scalaires le long de R → S, qui retrouve la structure de module sur la base plus petite mais perd la structure S-linéaire supplémentaire obtenue par extension.

Limite

S'applique aux modules, algèbres, représentations et objets similaires quand un morphisme de bases est fourni ; elle ne garantit pas la conservation de la finitude, de l'exactitude ou de la semi-simplicitité sans hypothèses supplémentaires, et se distingue des complétions ou localisations sauf si celles-ci sont précisément les morphismes de base choisis.

Tension sémantique

Il existe une tension entre l'extension des scalaires et des opérations qui changent les coefficients de manière plus subtile (localisation, complétion, tensor dérivé) : l'extension est une tensorisation non dérivée, tandis que les changements dérivés ou complétés rendent compte de la torsion et de processus infinis que le produit tensoriel naïf ignore.

Synthèse

L'extension des scalaires est la construction canonique adjoint à gauche qui réinterprète un objet sur une base plus grande par produit tensoriel ; elle étend librement l'action des scalaires sous réserve des relations initiales et nécessite attention à la platitude, la finitude et aux effets dérivés.