Teorema de Ideales Principales de Krull

Teorema de teoría de la dimensión que establece que en un anillo noetheriano R, cualquier ideal primo minimal que está sobre un ideal principal (f) tiene altura a lo sumo uno; equivalentemente, la altura de cualquier primo minimal sobre un ideal generado por r elementos es ≤ r (en particular el caso principal da la cota uno).