Lemma 38.25.7. In (38.25.6.1) if there exists a pure spreadout, then
elements of $N$ have content ideals in $A$, and
if $u : N \to M$ is a morphism to a flat $A$-module $M$ such that $N/\mathfrak m N \to M/\mathfrak m M$ is injective for all maximal ideals $\mathfrak m$ of $A$, then $u$ is $A$-universally injective.
Proof. Choose $U$, $N'$ as in the definition of a pure spreadout. Any element $x' \in N'$ has a content ideal in $A$ because $N'$ is $A$-projective (this can easily be seen directly, but it also follows from More on Algebra, Lemma 15.24.4 and Algebra, Example 10.91.1). Since $N' \to N$ is $A$-universally injective, we see that the image $x \in N$ of any $x' \in N'$ has a content ideal in $A$ (it is the same as the content ideal of $x'$). For a general $x \in N$ we choose $s \in S$ such that $s x$ is in the image of $N' \to N$ and we use that $x$ and $sx$ have the same content ideal.
Let $u : N \to M$ be as in (2). To show that $u$ is $A$-universally injective, we may replace $A$ by a localization at a maximal ideal (small detail omitted). Assume $A$ is local with maximal ideal $\mathfrak m$. Pick $s \in S$ and consider the composition
Each of these maps is injective modulo $\mathfrak m$, hence the composition is $A$-universally injective by Lemma 38.7.5. Since $N = \mathop{\mathrm{colim}}\nolimits _{s \in S} (1/s)N'$ we conclude that $u$ is $A$-inversally injective as a colimit of universally injective maps. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)