理想是集合论中的基本概念之一。理想的概念在现代数学的几乎每个分支中均有应用，且有许多变体或引申。本原理想(primitive ideal)是与(右)本原环密切相关的一类理想。它可刻画环的雅各布森根。设a是环R的理想，若R/a是本原环(左本原环)，则称a是R的本原理想(左本原理想)。