The Stacks project

Lemma 38.25.3. Let $A_0$ be a local ring. If the lemma holds for every Situation 38.25.1 with $A = A_0$, with $B$ a localization of a polynomial algebra over $A$, and $N$ of finite presentation over $B$, then the lemma holds for every Situation 38.25.1 with $A = A_0$.

Proof. Let $A \to B$, $u : N \to M$ be as in Situation 38.25.1. Write $B = C/I$ where $C$ is the localization of a polynomial algebra over $A$ at a prime. If we can show that $N$ is finitely presented as a $C$-module, then a fortiori this shows that $N$ is finitely presented as a $B$-module (see Algebra, Lemma 10.6.4). Hence we may assume that $B$ is the localization of a polynomial algebra. Next, write $N = B^{\oplus n}/K$ for some submodule $K \subset B^{\oplus n}$. Since $B/\mathfrak m_ AB$ is Noetherian (as it is essentially of finite type over a field), there exist finitely many elements $k_1, \ldots , k_ s \in K$ such that for $K' = \sum Bk_ i$ and $N' = B^{\oplus n}/K'$ the canonical surjection $N' \to N$ induces an isomorphism $N'/\mathfrak m_ AN' \cong N/\mathfrak m_ AN$. Now, if the lemma holds for the composition $u' : N' \to M$, then $u'$ is injective, hence $N' = N$ and $u' = u$. Thus the lemma holds for the original situation. $\square$


Comments (0)


Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 0AT2. Beware of the difference between the letter 'O' and the digit '0'.