Symbolic power of a prime ideal

From Commalg
(Redirected from Symbolic power)

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.