一个非零环R叫做一个整环（integral domain），整环是抽象代数中最基本的概念之一。对任意的a,b属于环R，假如1、乘法适合交换律ab=ba；2、R有单位元e；3、R没有零因子ab=0可得a=0或b=0，则R是整环。