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.
2026-03-27 16:19:20.1774628360
Injective modules and ring homomorphisms
189 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
2
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$ ?
Answer No!
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]$.
Indeed, for a PID "injective" is equivalent to "divisible" and $k[X]$ is definitely not divisible: for example it is not divisible by $X$. This just means that multiplication by $X$
(the map $k[X]\to k[X]: P\to X.P$) is not surjective