Kommutativer Ring/Ideal/Symbolische Potenz/Definition

Symbolische Potenz

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

${}{\mathfrak {a}}^{(n)}=\bigcap _{{\mathfrak {a}}\subseteq {\mathfrak {p}}{\text{ minimales Primoberideal}}}{\mathfrak {a}}^{n}R_{\mathfrak {p}}\cap R\,$

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