Se dice que formula_1 es noetheriano si todo ideal de formula_1 está finitamente generado.