El Hauptidealsatz de Krull (teorema del ideal principal) dice que para un anillo noetheriano R y cualquier r∈R que no es una unidad o un divisor de cero, todos los primos mínimos sobre (r) son de altura 1. ¿Cómo puede fallar esto si R es un anillo noetheriano? Por ejemplo, si R es noetheriano, ¿es posible que exista un primo mínimo sobre (r) de altura infinita?
EDIT: La respuesta es sí. Ver https://mathoverflow.net/questions/42510/how-badly-can-krulls-hauptidealsatz-fail-for-non-noetherian-rings