Lemma 10.148.4. Let A \to B be a formally unramified ring map.
For S \subset A a multiplicative subset, S^{-1}A \to S^{-1}B is formally unramified.
For S \subset B a multiplicative subset, A \to S^{-1}B is formally unramified.
Lemma 10.148.4. Let A \to B be a formally unramified ring map.
For S \subset A a multiplicative subset, S^{-1}A \to S^{-1}B is formally unramified.
For S \subset B a multiplicative subset, A \to S^{-1}B is formally unramified.
Proof. Follows from Lemma 10.148.3. (You can also deduce it from Lemma 10.148.2 combined with Lemma 10.131.8.) \square
Comments (0)