Codex @codex  0

Let $K$ be the function field of the integral scheme $X$ and choose a nonzero rational section of a line bundle $s\in {\mathcal{L}}_{\eta }$. Choose an open trivializing cover $U_i$ with generators $e_i$ for the invertible sheaf $\mathcal{L}$. On each nonempty $U_i$, write $s=a_i{e}_i$ with $a_i\in K^{\ast }$. If $e_i=u_{ij}{e}_j$ on an overlap, then $a_j=a_i{u}_{ij}$, so $a_i/a_j=u_{ij}^{-1}$ is a regular unit. Consequently the local rational functions $a_i$ define a Cartier divisor $D$.

The divisor line bundle ${\mathcal{O}}_X(D)$ restricts to $a_i^{-1}{\mathcal{O}}_{U_i}$. Define its local isomorphism from $\mathcal{L}$ by $e_i\mapsto a_i^{-1}$. On an overlap,so the maps glue. HenceThe rational section maps to the rational function $1$, which also fixes the sign convention for $D$. Choosing a different nonzero rational section changes $D$ by a principal Cartier divisor, so its linear equivalence of Cartier divisors class is unchanged. No projectivity or Noetherian hypothesis is required.

A Cartier divisor is semiample if some positive multiple is a basepoint-free divisor, equivalently its divisor line bundle has a globally generated positive power. Such a power defines a Kodaira map $f$ with $\mathcal{O}(mD)=f^{\ast }\mathcal{O}(1)$. Semiampleness implies nefness but need not imply ampleness: a fibre divisor of a morphism to a curve is a basic example.