不一定哦，反例这么找，注意到M/aM同构于A/a tensor 上M，因此自然想到fiber，设B是flat A代数，诱导了specB到specA的限制映射，让这个映射不是满的（很多这样的限制映射都不是满的，atiyah46页给了满的充分必要条件，用第三条造不满的），这样取一个A的素理想p没有原像，接着对A作p局部化得到局部环Ap，这就是本题我们要找的反例的R，一般记对应的residue field为k（p），接着利用fiber of f* over p的性质（atiyah 47页），设Ap到Bp的映射为f，则Ap的那个极大理想的限制映射原像恰好就是k（p） tensor 上 Bp，而注意到p在原来的限制映射里没有原像，通过局部化那个交换图可以很容易得到这个极大理想在限制映射下也没有原像，从而这个tensor product为0，但是Bp并不是0.

举个反例：令RR是整数环ZZ，则极大理想为Z2Z2。再让M=Z2M=Z2，显然MM是ZZ-模，满足你的条件。