Théorème des Idéaux Principaux de Krull

Théorème de théorie de la dimension qui affirme que dans un anneau noethérien R, tout idéal premier minimal au‑dessus d'un idéal principal (f) a une hauteur au plus égale à un ; de façon équivalente, la hauteur de tout idéal premier minimal au‑dessus d'un idéal engendré par r éléments est au plus r (le cas principal donne donc la borne un).