References for quasi finite and proper implies finite

The proof is in ÉGA IV 3. It is in two steps.

Step I : reduce to the case of $\mathrm Y = \mathrm{Spec}(\mathrm A)$ where $\mathrm A$ is a complete noetherian local ring.

Step II : quasi-finite $\mathfrak m_{\mathrm A}$-seperated modules are finite for such an $\mathrm A$.

Tags:

Schemes

Algebraic Geometry

Related

Formula for calculating transaction fees Combinatorial proof: $p^{r-n}$ divides $\binom{p^{r-2}}{n}$ Why isn't several complex variables as fundamental as multivariable calculus? Is there a complex variant of Möbius' function? Is the notorious $n^2 + n + 41$ prime generator the last of its type? Is the event $\{\max\{X_1,X_2\}=X_2\}$ measurable with respect to $\sigma(\max\{X_1,X_2\})$? Is $\frac{1}{\exp(z)} - \frac{1}{\exp(\exp(z))} + \frac{1}{\exp(\exp(\exp(z)))} -\ldots$ entire? prove : if $G$ is a finite group of order $n$ and $p$ is the smallest prime dividing $|G|$ then any subgroup of index $p$ is normal $A$ PID, $M$ flat (i.e., torsion-free). Then $\operatorname{Ext}_A^1(M,N)$ is injective, for all $N$. Minimum of $\left| \sin x- 1\right| + \left|\sin x- 2\right| + \left| \sin x -3\right| + \left| \sin x+1\right|$ Compute $\lim_{s\to 0} \left(\int_0^1 (\Gamma (x))^s\space\mathrm{dx}\right)^{1/s}$ Partitions and Bell numbers

Recent Posts