5
$\begingroup$

I'm struggling with the following problem and I would appreciate some help if possible

Let $R$ be Noetherian and let $I,J$ be ideals. Define $(I:J^{\infty}) = \bigcup_{n}(I:J^{n})$.

(a) If $Q$ is primary, prove that $(Q:J^{\infty}) = Q$ for any $J \subset R$ with $J$ not contained in the radical of $Q$.

(b) If $P$ is prime and $I = Q_{1} \cap \ldots \cap Q_{k}$ is a finite intersection of primary ideals, then show that $(I : P^{\infty})$ is the intersections of the $Q_{i}$ for which $P \not \subset P_{i}$.

Thank you!

  • 1
    (a) If $aJ^n\subseteq Q$, $Q$ primary and $J\nsubseteq \sqrt{Q}$ (therefore $J^n\nsubseteq \sqrt{Q}$), then...2012-10-17
  • 1
    (b) Apply (a) using that $(Q_1\cap\cdots\cap Q_k:P^{\infty})=(Q_1:P^{\infty})\cap\cdots\cap(Q_k:P^{\infty})$.2012-10-17
  • 0
    Thanks a lot! I had (b), but I don't know why I couldn't see a) :)); this is what happens when you don't sleep enough2012-10-18
  • 0
    An alternative definition of primary ideals is the following: $Q$ is primary iff for every ideals $I,J$ with $IJ\subseteq Q$ we have $I\subseteq Q$ or $J\subseteq\sqrt{Q}$ (or viceversa). IN my answer to (a) take $I=(a)$.2012-10-18

1 Answers 1