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 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 .