Lemma 15.105.1 (0CKR)—The Stacks project

Lemma 15.105.1. Let $K$ be a field. If $B$ is weakly étale over $K$, then

$B$ is reduced,
$B$ is integral over $K$,
any finitely generated $K$-subalgebra of $B$ is a finite product of finite separable extensions of $K$,
$B$ is a field if and only if $B$ does not have nontrivial idempotents and in this case it is a separable algebraic extension of $K$,
any sub or quotient $K$-algebra of $B$ is weakly étale over $K$,
if $B'$ is weakly étale over $K$, then $B \otimes _ K B'$ is weakly étale over $K$.

Proof. Part (1) follows from Lemma 15.104.8 but of course it follows from part (3) as well. Part (3) follows from Lemma 15.104.16 and the fact that étale $K$-algebras are finite products of finite separable extensions of $K$, see Algebra, Lemma 10.143.4. Part (3) implies (2). Part (4) follows from (3) as a product of fields is a field if and only if it has no nontrivial idempotents.

If $S \subset B$ is a subalgebra, then it is the filtered colimit of its finitely generated subalgebras which are all étale over $K$ by the above and hence $S$ is weakly étale over $K$ by Lemma 15.104.16. If $B \to Q$ is a quotient algebra, then $Q$ is the filtered colimit of $K$-algebra quotients of finite products $\prod _{i \in I} L_ i$ of finite separable extensions $L_ i/K$. Such a quotient is of the form $\prod _{i \in J} L_ i$ for some subset $J \subset I$ and hence the result holds for quotients by the same reasoning.

The statement on tensor products follows in a similar manner or by combining Lemmas 15.104.7 and 15.104.9. $\square$

The Stacks project

Comments (0)

Post a comment