Proof.
Proof of (1). This is true because the image of $B_{max}(A') \to A$ is weakly étale over $K$ by Lemma 15.105.1.
Proof of (2). By (1) we have $B_{max}(A') \subset B_{max}(A)$. Conversely, $B_{max}(A) \cap A'$ is a weakly étale $K$-algebra by Lemma 15.105.1 and hence contained in $B_{max}(A')$.
Proof of (3). By (1) there is a map $\mathop{\mathrm{colim}}\nolimits B_{max}(A_ i) \to A$ which is injective because the system is filtered and $B_{max}(A_ i) \subset A_ i$. The colimit $\mathop{\mathrm{colim}}\nolimits B_{max}(A_ i)$ is weakly étale over $K$ by Lemma 15.104.14. Hence we get an injective map $\mathop{\mathrm{colim}}\nolimits B_{max}(A_ i) \to B_{max}(A)$. Suppose that $a \in B_{max}(A)$. Then $a$ generates a finitely presented $K$-subalgebra $B \subset B_{max}(A)$. By Algebra, Lemma 10.127.3 there is an $i$ and a $K$-algebra map $f : B \to A_ i$ lifting the given map $B \to A$. Since $B$ is weakly étale by Lemma 15.105.1, we see that $f(B) \subset B_{max}(A_ i)$ and we conclude that $a$ is in the image of $\mathop{\mathrm{colim}}\nolimits B_{max}(A_ i) \to B_{max}(A)$.
Proof of (4). Write $B_{max}(A_{red}) = \mathop{\mathrm{colim}}\nolimits B_ i$ as a filtered colimit of étale $K$-algebras (Lemma 15.104.16). By Algebra, Lemma 10.138.17 for each $i$ there is a $K$-algebra map $f_ i : B_ i \to A$ lifting the given map $B_ i \to A_{red}$. It follows that the canonical map $B_{max}(A_{red}) \to B_{max}(A)$ is surjective. The kernel consists of nilpotent elements and hence is zero as $B_{max}(A_{red})$ is reduced (Lemma 15.105.1).
Proof of (5). Omitted.
Proof of (6). Follows from Lemma 15.105.1 part (4).
$\square$
Comments (0)