Let A be a ring, SA multiplicatively closed. Let pSpec(A) such that pS=. Then:

  1. If aA is a p-primary ideal of A such that aS=, then 1;; S1a is an S1p-primary ideal of S1A, and (S1a)c=a.
  2. If bB is an S1p-primary ideal of S1A, then 1;;bc is a p-primary ideal of A.
  3. There is a bijection:
{aA|a a p-primary ideal of A}{bS1p-primary ideal of S1A}

PROOF:

Powered by Forestry.md