Associated primes of the completion of a ring

Question

I am working through a proof somewhere, and I want to use this:

Let $(R,\mathfrak m)$ be a local ring (Noetherian commutative) and let $M$ be an $R$-module. If $\mathfrak p$ is an associated prime of $M$, then there exists $\hat{\mathfrak p}$, an associated prime of $M \otimes_R \hat{R}$ such that $\hat{\mathfrak p} \cap R = \mathfrak p$, where $\hat{R}$ denotes the $\mathfrak m$-adic completion of $R$.

Is this the case?

Answer 1

Let $R\to S$ be a faithfully flat morphism, and $M$ an $R$-module. Let $\mathfrak p$ be an associated prime of $M$. Then there is $P$, an associated prime of $M\otimes_RS$, such that $\mathfrak p=P\cap R$.

There is an injective map $R/\mathfrak p\to M$. By tensoring with $S$ we get an injective map $S/\mathfrak pS\to M\otimes_RS$. Let $P$ be an associated prime of the $S$-module $S/\mathfrak pS$. Then $P$ is an associated prime of $M\otimes_RS$ and $P\cap R=\mathfrak p$: if $a\in R$ and $a\notin\mathfrak p$, then $R/\mathfrak p\stackrel{a\cdot}\to R/\mathfrak p$ is injective, so $a$ is a non-zerodivisor on $S/\mathfrak pS$.