Si tenemos un homomorfismo de anillo f:R1→R2 y si M es un R1 -mi pregunta es: ¿Podemos demostrar que el R1 -Módulo R2⊗R1M es de alguna manera también un R2 -¿Módulo?
Respuesta
¿Demasiados anuncios?Sí. Esto se llama ampliar los escalares a R2 y el R2 -La estructura del módulo es la siguiente El profesor Magidin ha descrito . Para ser completamente formal, si r∈R2 entonces el mapa tr:R2→R2 que es la multiplicación por r es R1 -lineal y se puede definir para x∈R2⊗R1M que rx=(tr⊗idM)(x) .
En el lado del esquema, esto corresponde al concepto de cambio de base.