# Free modules over local Artin rings

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.

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

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.
• Thanks for the answer. I apologize, I forgot to mention that $M$ is also $A$-flat. I have edited the question. Jun 8 '14 at 11:27