Symbolic power of a prime ideal: Difference between revisions

From Commalg
No edit summary
(No difference)

Revision as of 07:40, 9 August 2007

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 .