抽象代数里,理想称为主理想(principal ideal),若

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