在抽象代数里，环${\displaystyle R}$的理想${\displaystyle I}$称为主理想（principal ideal），若

如果${\displaystyle R}$所有的理想都是主理想，则${\displaystyle R}$称为主理想环。