Kommutativer Ring/Primideal/Symbolische Potenz/Definition

Symbolische Potenz

Zu einem Primideal ${}{\mathfrak {p}}\subseteq R$ in einem kommutativen Ring nennt man

${}{\mathfrak {p}}^{(n)}={\mathfrak {p}}^{n}R_{\mathfrak {p}}\cap R\,$

die ${}n$-te symbolische Potenz von ${}{\mathfrak {p}}$.