Symbolic power of a prime ideal

From Commalg

Definition

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

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