Lemma 15.104.11. Let $A$ be a ring. Let $B \to C$ be an $A$-algebra map of weakly étale $A$-algebras. Then $B \to C$ is weakly étale.

Proof. The ring map $B \to C$ is flat by Lemma 15.104.2. The ring map $C \otimes _ A C \to C \otimes _ B C$ is surjective, hence an epimorphism. Thus Lemma 15.104.2 implies, that since $C$ is flat over $C \otimes _ A C$ also $C$ is flat over $C \otimes _ B C$. $\square$

Comment #6296 by on

It seems that the first part, i.e. the flatness of $B\to C$, also follows directly from Tag 092C.

Comment #6409 by on

Yes, thanks very much! A rare instance where the text gets shorter. Changes are here.

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