Symbolic power of a prime ideal

From Commalg
Revision as of 16:34, 12 May 2008 by Vipul (talk | contribs) (1 revision)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Definition

Let R be a commutative unital ring, Q a prime ideal of R and n a positive integer. The nth symbolic power of Q, denoted as Q(n) is defined as the set:

{rR|srQn,sRQ}

Equivalently, it is the pre-image of the nth power of the localized ideal QQ in the localization RQ.