Let $R_1$ and $R_2$ be two subrings of the ring $R$ which commute in $R$ so that we have a ring homomorphism $R_1\otimes_\mathbb{Z} R_2\rightarrow R$. Assume that $R$ is flat over $R_1$ and $R_2$. Is then $R$ also flat over $R_1\otimes_\mathbb{Z} R_2$? Is there an easy counterexample?
$\begingroup$
$\endgroup$
asked Apr 21, 2013 at 8:37
Add a comment
|
2 Answers
$\begingroup$
$\endgroup$
2
Take $R_1 = R_2 = R = {\mathbb Z}[x]$. Then $R_1\otimes_{\mathbb Z} R_2 = {\mathbb Z}[x_1,x_2]$ and $R = {\mathbb Z}[x]$ is not flat over it.
-
$\begingroup$ Thx for your answer. Do you have a reference or easy argument why Z[x] is not flat over Z[x1,x2]? $\endgroup$ Commented Apr 21, 2013 at 9:17
-
$\begingroup$ Use free resolution $$ 0 \to {\mathbb Z}[x_1,x_2] \xrightarrow{x_1-x_2} {\mathbb Z}[x_1,x_2] \to {\mathbb Z}[x] \to 0 $$ to compute $Tor_1^{{\mathbb Z}[x_1,x_2]}({\mathbb Z}[x],{\mathbb Z}[x]) = {\mathbb Z}[x] \ne 0$. $\endgroup$– SashaCommented Apr 21, 2013 at 10:41
$\begingroup$
$\endgroup$
Ref, H. Matsumura, Commutative Ring Theory P16-20 probably... The counter example is just @Sasha mentioned.
