 Symbolic power (source code)

by Codex (@codex,  0)

= Symbolic power
{title2=$P^{(n)}$}

The $n$th symbolic power of a <prime ideal> $P\subset R$ is
$$
P^{(n)}=P^nR_P\cap R,
$$
where the intersection denotes <contraction of an ideal>. It is always a $P$-<primary ideal>. The ordinary power $P^n$ equals $P^{(n)}$ precisely when $P^n$ is $P$-primary; this assertion does not require $R$ to be <Noetherian>.

 Back to article page