11
$\begingroup$

Let $R$ be a one-dimensional local ring and let $f:R[[x]][y] \rightarrow R[y][[x]]$ be the inclusion map.

How can I show that $f$ is a faithfully flat ring homomorphism? Or can you give me a reference?

Thanks.

1 Answers 1