Dado que $R\to S$ es un homomorfismo plano de anillo local de dos anillos locales noetherianos. Entonces es $S$ siempre es un $R$ -¿Módulo?
Esta pregunta surge de un pequeño detalle en una prueba que estoy leyendo actualmente, que afirma que dada la hipótesis anterior y $Y$ es una $R$ -entonces concluyen que $S\otimes_R Y$ es una $R$ -módulo. Por eso tengo la pregunta anterior.
¿Puede explicármelo? Gracias
