3
$\begingroup$

Let $A$ be a commutative ring with 1, set $V(\frak a)=$ the set of prime ideals of $A$ that contains $\mathfrak a$, and write Supp$(M)$ for the support of the $A$-module $M$. We always have Supp$(M)\subseteq V($ann$M)$; if $M$ is finitely generated then the other inclusion also holds. Assume now $M$ is finitely generated.

It is ok to show that if $M_{\frak p}=0$ then ann$M\cap A\setminus\frak p\ne\varnothing$, I was just wondering if the following procedure for showing this inclusion is flawed:

Suppose $\frak p$ contains ann$M$. Since $M$ is finitely generated we have the equality (ann$M)_{\frak p}=$ ann$(M_p)$, hence the annihilator of $M_{\frak p}$ is contained in maximal ideal of $A_{\frak p}$ and is therefore different from (1), so $M_{\frak p}\ne0$.

1 Answers 1

0

Your argument is valid. You can be more directly:

$\begin{array}{rl}p\notin V(Ann(M))&\Leftrightarrow Ann(M)\not\subseteq p\\&\Leftrightarrow Ann(M_p)=Ann(M)_p=A_p\\&\Leftrightarrow M_p=0\\&\Leftrightarrow p\notin Supp(M).\end{array}$

  • 0
    Can someone say how V(F_i(M))=\{p\in\text{Spec}(R)|\mu_{R_p}(M_p)>i\} is related to this problem?2018-10-31