Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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!

share|cite|improve this question
(a) If $aJ^n\subseteq Q$, $Q$ primary and $J\nsubseteq \sqrt{Q}$ (therefore $J^n\nsubseteq \sqrt{Q}$), then... – user26857 Oct 17 '12 at 9:11
(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})$. – user26857 Oct 17 '12 at 9:20
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 enough – Dquik Oct 18 '12 at 1:46
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)$. – user26857 Oct 18 '12 at 8:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.