Let $X$ be a quasi-compact scheme and let $\mathcal{A}$ be a quasi-coherent sheaf of $\mathcal{O}\_X$-algebras on $X$. $X$ being quasi-compact, we can write $X = U\_1 \cup \dots \cup U\_n$ with each $U\_i$ affine, say $U\_i =\textrm{Spec}R\_i$, and such that $\mathcal{A}\mid\_{U\_i} \simeq \widetilde{A\_i}$ for some finitely generated $R\_i$ algebras $A\_i$. Suppose we know that each $A\_i$ is the union of its subalgebras which are module finite over $R\_i$. Can we say that $\mathcal{A}$ is globally the union of it's subsheaves which are coherent sheaves of $\mathcal{O}\_X$-algebras?


It seems that the obvious thing to do would be to glue together coherent algebras over each of the $R\_i$'s, but it's not clear to me how this can be done. This question arose from Milne's proof of 'Zariski's Main Theorem' from the beginning of his etale cohomology book. 



Quasi-coherent sheaves of O_X-algebras
Under some slightly stronger hypothesis (Noetherian is certainly enough) we may write
$\mathcal A$ as the union of its coherent subsheaves. If $\mathcal E$ is a coherent subsheaf, then the subalgebra of $\mathcal A$ that it generates will also be coherent,
because this can be tested locally, where it then follows from your assumptions. Thus in this case, $\mathcal A$ is the union of coherent $\mathcal O\_X$-algebras.


I'm not sure how good a notion coherent is outside of the Noetherian context. If no-one
gives an answer in the non-Noetherian context, then you might want to look at the stacks project, which discusses this kind of "coherent approximation to quasi-coherent sheaves" in some generality, if I remember correctly.


