O en el contrapositivo formulario
Es cada uno-dimensional UFD noetherian?
Sé cómo construir un no-noetherian UFD (polinomios en infinito número de variables a lo largo de un campo), y sé que es posible construir un finito dimensionales no notherian UFD de aquí, pero este ejemplo es de 3 dimensiones.
Desde un noetherian unidimensional UFD es un PID y viceversa, la pregunta también podría ser reformulado como
Es cada uno-dimensional UFD un PID?
Supongo que la respuesta es negativa, puesto que se trata de un bonito y elegante declaración de que nunca han oído hablar.
