主理想

在抽象代數里，環${\displaystyle R}$的理想${\displaystyle I}$稱為主理想（principal ideal），若

${\displaystyle \exists \,a\in R:I=RaR=\left\{\sum _{i=1}^{n}r_{i}as_{i}:n\in \mathbb {N} ,r_{i},s_{i}\in R\,\forall \,i\right\}}$

如果${\displaystyle R}$所有的理想都是主理想，則${\displaystyle R}$稱為主理想環。