Let $A$ be a commutative ring and $\mathfrak{p}$ be a prime ideal of $A$. Under which assumptions for $A$ and $\mathfrak{p}$ does localization by $\mathfrak{p}$ and completion with respect to $\mathfrak{p}$ commute? To be more precise,
when is $\widehat{A}_\widehat{\mathfrak{p}}$ (completion w.r.t. $\mathfrak{p}$) isomorphic to $\widehat{A_\mathfrak{p}}$ (completion w.r.t. $\mathfrak{p} A_\mathfrak{p}$)?
For example, is it true under the assumptions $A$ noetherian and $\mathfrak{p}$ a maximal ideal?
It seems to me that one important ingredient for a possible proof (under the right assumptions) is that localisation and building factor rings commutes. So a side question: Is it always true that $A_\mathfrak{p}/(\mathfrak{p}A_\mathfrak{p})^k \cong (A/\mathfrak{p}^k)_{\overline{\mathfrak{p}}}$?
Thanks