Lemma 10.150.4. Let $R$ be a ring. Let $S \subset R$ be any multiplicative subset. Then the ring map $R \to S^{-1}R$ is formally étale.

Proof. Let $I \subset A$ be an ideal of square zero. What we are saying here is that given a ring map $\varphi : R \to A$ such that $\varphi (f) \mod I$ is invertible for all $f \in S$ we have also that $\varphi (f)$ is invertible in $A$ for all $f \in S$. This is true because $A^*$ is the inverse image of $(A/I)^*$ under the canonical map $A \to A/I$. $\square$

There are also:

• 2 comment(s) on Section 10.150: Formally étale 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).