8
$\begingroup$

Assume that $ B \hookrightarrow A $ is an injective ring homomorphism.

Question: If $\mathfrak{p}$ is an associated prime of $B$, is there an associated prime $ \mathfrak{q}$ of $A$ such that $ \mathfrak{q} \cap B = \mathfrak{p}$?

Some comments:

  • This is true if $ \mathfrak{p}$ is a minimal prime of $B$. Just take an associated prime of $ (B \backslash \mathfrak{p})^{-1} A$. So the only problem is with embedded primes
  • The question is an algebraic translation of the following more geometric question: If $X \to Y$ is a quasicompact morphism of noetherian schemes, is every associated point of the schematic image hit by some associated point of $X$?
$\endgroup$

2 Answers 2

6
$\begingroup$

Let me explain why the statement is true. Let $i:B\to A$ be an injection of noetherian rings and $\mathfrak{p}$ be an associated prime of $B$ : it is the annihilator of a nonzero element $f\in B$.

Let us first localize at $\mathfrak{p}$. More precisely, replacing $B\to A$ by $B_{\mathfrak{p}}\to A\otimes_B B_{\mathfrak{p}}$ , it is possible to assume that $B$ is local with maximal ideal $\mathfrak{p}$.

Let $I$ be the ideal of $A$ generated by $i(f)$, viewed as an $A$-module. Since $I\neq 0$ by injectivity of $i$, it has an associated prime $\mathfrak{q}\subset A$. This means that there is $a\in A$ such that $\mathfrak{q}$ is the annihilator of ai(f). Note that $\mathfrak{q}$ is also associated to $A$, and let us check that it has the required properties. As $\mathfrak{p}$ annihilates $f$, $\mathfrak{q}\cap B$ contains $\mathfrak{p}$. Since $\mathfrak{p}$ is maximal, $\mathfrak{q}\cap B=\mathfrak{p}$.

$\endgroup$
1
$\begingroup$

Put $B=k[x,y]/(xy,y^2)$ and $A=B[z]/(yz-x)$. Then $(y)$ is an associated (in fact minimal!) prime of $B$. But any prime of $A$ that contains $(y)$ must also contain $x$, and so cannot contract to just $(y)$.

$\endgroup$
2
  • $\begingroup$ $B\to A$ does not seem to be injective here, as $x^2$ that was nonzero in $B$ becomes equal to $xyz=0z=0$ in $A$. $\endgroup$ Jul 4, 2013 at 23:10
  • $\begingroup$ @OlivierBenoist: You are right, of course. I retract my example. $\endgroup$ Jul 4, 2013 at 23:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.