1
$\begingroup$

Let $A$ be a local Artin ring, $B$ be a $A$-flat algebra and $M$ a finitely generated $B$-module and flat $A$-module. Let $k$ be the residue field of $A$ i.e., $A/m$ where $m$ is the maximal ideal of $A$. Assume that $M \otimes_B (B \otimes_A k)$ is $(B \otimes_A k)$-free finitely generated module. I think it is true that $M$ is a free $B$-module since this is an equivalent formulation of an exercise in Hartshorne. However, I am not able to prove it.

$\endgroup$
  • $\begingroup$ I guess you can find here the right ideas. $\endgroup$ – user26857 Jun 8 '14 at 19:42
  • $\begingroup$ Thanks. I think using the link my question can be answered (using Lemma 10.95.3). $\endgroup$ – user45397 Jun 8 '14 at 20:08
  • $\begingroup$ I'm not so sure that you can apply directly Lemma 10.95.3 to your case. $\endgroup$ – user26857 Jun 8 '14 at 21:00
1
$\begingroup$

I don't think it is true. Let $A = k[x]/(x^2)$ where $k$ is a field, $B = A[y]$, and $M = B/(x)$. Then $B \otimes_A k \cong k[y]$ and $M \otimes_B B \otimes_A k \cong k[y]$. However, $M$ is not a free $B$-module.

I believe in your post you meant to say $B \otimes_A k$ is $k$-flat not $A$-flat.

$\endgroup$
  • $\begingroup$ Thanks for the answer. I apologize, I forgot to mention that $M$ is also $A$-flat. I have edited the question. $\endgroup$ – user45397 Jun 8 '14 at 11:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.