Changement de Base

L'opération qui transporte un objet algébrique (module, algèbre, faisceau, schéma, représentation) le long d'un morphisme de bases f : R → S, réalisée classiquement par le produit tensoriel S ⊗_R − ou par le changement de base (image réciproque) le long de f ; l'objet est réinterprété comme défini sur la nouvelle base S.