Let $R$ be a Noetherian commutative ring and fix an ideal $I$. It is a classical result that $I$ admits a decomposition as the intersection of primary ideals, all of whose radicals are different and of which none can be omitted from the intersection. The radicals of these primary ideals are called the associated prime ideals of $I$. It can be shown that these are independent of the particular primary decomposition used.

My question is whether the minimal primes over $I$ and the minimal associated primes of $I$ coincide.

It should be clear that a minimal associated prime $P$ is also minimal over $I$. Otherwise, we can find a minimal prime over $I$ below the $P$-primary component of $I$ and insert this into a minimal primary decomposition of $I$ in place of the $P$-primary component.

I am, however, not so sure about the other inclusion. I think the same proof as above would work if we knew there was an associated prime above any minimal prime over $I$, but I don't know if that's the case.

  • $\begingroup$ Yes, indeed. The minimal prime ideals containing $I$ and the minimal associated primes of $I$ coincide. You may find this result in Atiyah's commutative algebra. $\endgroup$ – Ehsan M. Kermani Dec 30 '11 at 10:45

Yes, the minimal associated primes of $I$ coincide with the absolutely minimal primes of $I$. (I'll only show the part you haven't yet done.)

Suppose that your primary decomposition is $I=Q_1\cap\cdots\cap Q_n$ and consider an absolutely minimal prime $P\supset I$.
Since $P=\sqrt P\supset \sqrt I=P_1\cap\cdots\cap P_n\supset P_1 \cdots P_n$, we must have $P\supset P_i$ for some $i$ (and of course $P_i\supset \sqrt I\supset I$).
Absolute minimality of $P$ then yields the conclusion: $P= P_i$.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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