整环（Integral domain），又译作整域，是抽象代数中的一个概念，指含乘法单位元的无零因子的交换环。一般假设环中乘法单位元1不等于加法单位元0，以除去平凡的环formula_1。整环是整数环的抽象化，它很好地继承了整数环的整除性质，使得我们能够更好地研究整除理论。整环也可以定义为理想formula_1是素理想的交换环，或交换的无零因子环。
形式定义.设formula_3是一个交换环，存在formula_4，formula_5（0为加法单位元），使得并且对任意的for