Noetherian ring
In algebra and algebraic geometry, given a commutative Noetherian ring formula_1 and an ideal formula_2 in it, the "n"-th symbolic power of formula_2 is the ideal