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.
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.