一般环的理想的定义：环的子集,且满足条件：(1)对加法封闭；(2)理想中的元素乘以环中的元素都在这个理想中.
例：整数环中的所有偶数,满足条件：(1)对加法封闭,因为偶数加偶数还是偶数；(2)理想中的元素乘以环中的元素都在这个理想中,因为偶数乘整数都是偶数.所以所有偶数组成理想.
类似地,所有能被三整除的数组成理想；所有能被四整除的数组成理想；…….
可以证明整数环的每个理想都可以写成“所有能被n整除的数”,n是某个整数（当n=0时,对应的理想只由0组成；当n=1时,对应的理想是所有整数）.这样的理想（所有能被环中某个元素整除的元素）叫做“主理想”,这样的环（所有的理想都是主理想）叫做“主理想整环”.整数环就是一个主理想整环.
一般地,定义环的过程就是在某个集合上定义加法和乘法.环定下来之后（即加法和乘法定下来之后）,找环的子集,如果满足条件(1)和(2),它就是环的理想；如果不满足其中之一,就不是