Embedding divisorial schemes into smooth ones.

Given a quasi-compact and quasi-separated (qcqs) scheme X of finite type over a Noetherian ring R having an ample family of line bundles, we construct a closed embedding of X into a smooth (qcqs) scheme over R having an ample family of line bundles. Such a smooth scheme arises as an open subscheme of the multihomogeneous Proj of a Z n -graded ring. [ABSTRACT FROM AUTHOR]