Extension des scalaires
L’extension des scalaires est une opération de théorie des modules qui permet de changer l'anneau de base au moyen d'un morphisme d'anneaux et d'un produit tensoriel. L'opération adjointe est appelée restriction des scalaires (en).
Intuitivement, le sens de cette opération est d'autoriser davantage de multiplications scalaires, par exemple en remplaçant les nombres réels par les nombres complexes (complexification (en)) dans un problème.
Construction
Soient A et B deux anneaux commutatifs non nuls, un homomorphisme d'anneaux et soit M un A-module. Alors B est naturellement muni d'une structure de A-module, et par conséquent est également muni d'une structure de A-module.
En outre, peut être muni d'une structure de B-module par l'application
- .
On dit que est une extension des scalaires.
Cette construction est en un sens « minimale », en ce qu'elle préserve l'essentiel des propriétés du module d'origine. Par exemple, si M est un A-module de type fini, alors est un B-module de type fini.
Propriété universelle
L'extension des scalaires vérifie une propriété universelle que l'on peut formuler ainsi : si M est un A-module et si N est un B-module, on a l'isomorphisme
donné par l'application avec .
Ce point de vue permet de réaliser que l'extension des scalaires est adjointe à gauche à la restriction des scalaires (en). L'adjoint à droite de l'extension des scalaires (adjoint au foncteur d'oubli) est parfois appelé coextension des scalaires.
Dualité d'Isbell
La dualité d'Isbell (en) permet d'interpréter l'extension des scalaires en termes géométriques.
En effet, tout homomorphisme d'anneaux équivaut à un morphisme de schémas affines :
En effet, la catégorie des schémas affines est mise en correspondance par le foncteur Spec avec la catégorie opposée de la catégorie des anneaux. La donnée d'un A-module M correspond alors à une collection de sections d'un fibré vectoriel sur et l'extension des scalaires correspond au produit fibré le long de .
Portail de l’algèbre