Lemma 10.39.17. A flat local ring homomorphism of local rings is faithfully flat.

Proof. Immediate from Lemma 10.39.16. $\square$

There are also:

• 1 comment(s) on Section 10.39: Flat modules and flat ring maps

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