Lemma 15.17.1. Let $R$ be an Artinian ring. Let $M$ be an $R$-module. Then there exists a smallest ideal $I \subset R$ such that $M/IM$ is flat over $R/I$.

Proof. This follows directly from Lemma 15.16.1 and the Artinian property. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).