1
$\begingroup$

$\underline{\textbf{Embedded associated prime}}$

I am reading the book "Joins and Intersections". In the proof of Rees theorem I have some doubt.

Let $\mathbf M$ be a finitely generated $\mathbf A$-module and $\mathbf N$ be $A$-submodule of $\mathbf M$ generated by all such $m\in{\mathbf M}$ such that dim ${{\mathbf A}m}<{dim{\mathbf M}}$ .

Why $\frac{\mathbf M}{\mathbf N}$ does not have any embedded prime?

$\endgroup$

1 Answer 1

1
$\begingroup$

I think roughly speaking this is the reason: show for every associated prime $\mathfrak{p}$ of $M/N$, $\dim A/\mathfrak{p}=\dim M$. Then $M/N$ cannot have an embedded prime. To show the claim, suppose $\mathfrak{p}$ is an associated prime of $M/N$. Then this means $\mathfrak{p}$ is the annihilator of some element $x\in M/N$. Since $x\not\in N$, we have $\dim Ax=\dim M$. But $\dim Ax =\dim A/\mathrm{Ann}\; x=\dim A/\mathfrak{p}$.

$\endgroup$
1
  • $\begingroup$ Actually, I may have cheated a little bit here, identifying annihilator of $x$ as an element of $M/N$ with annihilator of $x$ as an element of $M$. But perhaps you can still make the idea work. $\endgroup$ May 18, 2013 at 15:59

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.