If there is a ring homomorphism $A\rightarrow B$ and if $Q$ is an injective $A$-module, is it true that $Q\otimes_A B$ is an injective $B$-module? I don't think it's true but can't think of a counterexample.
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Question If $Q$ is an injective $A$-module and if $f:A\to B$ is a ring morphism, is the extended module $Q\otimes_A B$ injective over $B$ ?
Class of counterexamples Let $A=k$ be a field. Like any $k$-vector space, $Q=k$ is injective over $k$. However if you take for$B$ the polynomial ring $B=k[X]$ and for $f:k\to k[X]$ the inclusion, then the extended module $Q\otimes_A B= k[X]$ is not injective over $k[X]$.
Let $A=k$ be a field, let $B$ be a unital $k$ algebra, let the ring map be $1 \mapsto 1$, and let $Q=k$. Then $Q\otimes _A B \cong B$ as a right $B$-module. Therefore you can take any non-self-injective $k$-algebra for $B$ to get a counterexample.