主理想

在抽象代数里，环的理想称为主理想（principal ideal），若

如果所有的理想都是主理想，则称为主理想环。

理想