aboutsummaryrefslogtreecommitdiffhomepage log msg author committer range
diff options
 context: 12345678910152025303540 space: includeignore mode: unifiedssdiffstat only
author committer Tim Hosgood 2021-04-23 17:17:47 +0100 Tim Hosgood 2021-04-23 17:17:47 +0100 74a9e5dc9ad219b1d5432f5790750b6e5b12a6f5 (patch) ae69260c00c24ec155e2b0773eb36a94994186d6 2b10710d5a3c5e8c8c4a3140e8e5b0070d409c23 (diff) ega2-2.tar.gzega2-2.zip
starting II.2.7ega2-2
-rw-r--r--ega2/ega2-2.tex18
1 files changed, 18 insertions, 0 deletions
 diff --git a/ega2/ega2-2.tex b/ega2/ega2-2.texindex cc96971..f408a1c 100644--- a/ega2/ega2-2.tex+++ b/ega2/ega2-2.tex@@ -1149,3 +1149,21 @@ over $D_+(f)$, i.e. the restriction of $z$ to $D_+(f)$, which finishes the proof \subsection{Finiteness conditions} \label{subsection:II.2.7}++\begin{proposition}[2.7.1]+\label{II.2.7.1}+\begin{enumerate}+ \item[{\rm(i)}] If $S$ is a graded Noetherian ring, then $X=\Proj(S)$ is a Noetherian scheme.+ \item[{\rm(ii)}] If $S$ is a graded $A$-algebra of finite type, then $X=\Proj(S)$ is a scheme of finite type over $Y=\Spec(A)$.+\end{enumerate}+\end{proposition}++\oldpage[II]{39}+\begin{proof}+\begin{enumerate}+ \item[{\rm(i)}] If $S$ is Noetherian, then the ideal $S_+$ admits a finite system of homogeneous generators $f_i$ ($1\leq i\leq p$), thus \sref{II.2.3.14} the underlying space $X$ is the union of the $D_+(f_i)=\Spec(S_{(f_i)})$, and everything then reduces to showing that each of the $S_{(f_i)}$ is Noetherian, which follows from \sref{II.2.2.6}.+ \item[{\rm(ii)}] The hypothesis implies that $S_0$ is an $A$-algebra of finite type, and that $S$ is an $S_0$-algebra of finite type, and so $S_+$ is an ideal of finite type \sref{II.2.1.4}.+ We are thus reduced, as in (i), to showing that $S_{(f)}$ is an $A$-algebra of finite type for all $f\in S_d$.+ By \sref{II.2.2.5}, it suffices to show that $S^{(d)}$ is an $A$-algebra of finite type, which follows from \sref{II.2.1.6}.+\end{enumerate}+\end{proof}