Symbolic power of a prime ideal

From Commalg
Revision as of 07:40, 9 August 2007 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 .