Recall that given an ideal aA and xA, we define (a:x)={yA|xya}.

Let qA be p-primary, and xA. Then the following hold:

  1. If xq, then (q:x)=1;;A
  2. If xp, then (q:x)=1;;q
  3. If xpq, then (q:x) 1;; is p-primary
Powered by Forestry.md