在抽象代数里，环formula_1的理想formula_2称为主理想（principal ideal），若如果formula_1所有的理想都是主理想，则formula_1称为主理想环。