クルルの単項イデアル定理
可換環論(次元論)において、クルルの単項イデアル定理(英: Krull's principal ideal theorem, Krull's Hauptidealsatz)は、ネーター環の素イデアルの高さについての基本的な定理である。