Ideal, das erzeugt wird von den Potenzen eines gegebenen Ideals: \begin{eqnarray}{I}^{n}=({\{{f}_{1}\cdot \cdots \cdot {f}_{n}\}}_{{f}_{1}\cdot \cdots \cdot {f}_{n}\in I})\end{eqnarray} Wenn I = (g₁, g₂) ist, dann ist \begin{eqnarray}{I}^{n}=({g}_{1}^{n},{g}_{1}^{n-1}{g}_{2},\ldots,{g}_{2}^{n}).\end{eqnarray}