整环（英文：integral domain）， 是有单位元1(≠0)的无零因子的 交换环 ，如整数环、域上的 多项式环 等都是整环。
环论 起源于19世纪关于实数域的扩张与分类，以及 戴德金 （Dedekind）、 哈密顿 （Hamilton）等人对超 复数 系的建立和研究。 在19世纪之前，高次互反律一直占据着数论的核心，其中关键的是唯一因子分解问题。卡尔·弗里德里希·高斯（ 英语 ：Carl Friedrich Gauss,1777~1855） 在1829和1831年的两篇文章中阐述了双 二次互反律 ，随后在1832年，高斯为解决四次互反律问题，引进了 高斯整数 （或复整数），由全部高斯整数构成的集合是高斯整环。之后，二次 代数 整数环和分圆整数环相继出现。1844年， 库默尔 （Kummer）在 高斯 等人研究工作的基础上，引进理想数的概念，实现了唯一因子分解，解决了高次互反律的问题。1871年， 戴德金 引进理想，理想成为一种集合和计算对象，是代数整数环中的特殊的子环。在 环论 发展过程中，较为重要的是 代数数域 和代数函数域中的整数环以及 多项式环 ，数学家 艾米·诺特 （Emmy Noether） 在1921年发表的论文《环中的理想论》（Idealtheorie in Ringbereichen） 中将 唯一因子分解理论从多项式环、 代数数域 以及代数函数域的整环扩展并抽象，得出带有升链条件的抽象的 交换环 ，称为诺特环。
整环具有一些基本性质，如任一除环必为整环，整环的子环必为整环，一个除环的任一子环是整环。 常见的整环有多项式环 、域 、欧几里得整环、主理想整环和戴德金整环以及高斯整环等。与环的运算性质一样，整环满足对加法和乘法运算的封闭性， 并且由它的整除性可推出相伴、不可约 元和 素元等概念。 在离散数学中，粗糙集合理论可应用到 环论 上，推广得到粗糙整环及一些相关结论。 整环在现实世界中具有广泛的应用价值，如在密码学中，应用整数环上的同态加密机制，能实现用一个弱的初始口令建立一个有捐助的、前向保密的会话 密钥 的过程。
定义
环
定义： 环 是定义加法、乘法两个代数运算的非空集合，并且 对于加法成一个 尼尔斯·亨利克·阿贝尔 （Abel）群， 的乘法满足 结合律 ，以及乘法对加法的左、右 分配律 。
交换环 的定义： 若环 中的减法定义为 ，且环 中的乘法满足 交换律 ，即 ，则称 为交换环。
单位元的定义： 环 中如果有一个元素 具有性质： ，则称 是 的单位元（素），此时称 是有单位元的环。在有单位元的环 中，单位元素是唯一的，通常就记作 。
零因子的定义： 如果环 中有元素 ，使得 ，则称环 中的元素 为一个左零因子（右零因子），左零因子和右零因子都简称为零因子。
整环
如果环 没有非平凡的零因子，则 称为无零因子环，有单位元 的无零因子的 交换环 称为整环。
简史
早期研究
环论 起源于19世纪关于实数域的扩张与分类，以及 戴德金 （Dedekind）、 哈密顿 （Hamilton）等人对超 复数 系的建立和研究。 在19世纪之前，高次互反律一直占据着数论的核心，其中关键的是唯一因子分解问题。卡尔·弗里德里希·高斯（ 英语 ：Carl Friedrich Gauss,1777~1855） 在1829和1831年的两篇文章中阐述了双 二次互反律 ，随后在1832年，高斯为解决四次互反律问题，引进了 高斯整数 （或复整数），由全部高斯整数构成的集合是高斯整环。之后，二次 代数 整数环和分圆整数环相继出现。
后续发展
1844年， 库默尔 （Kummer）在 高斯 等人研究工作的基础上，引进理想数的概念，实现了唯一因子分解，解决了高次互反律的问题。1871年， 戴德金 引进理想，理想成为一种集合和计算对象，是代数整数环中的特殊的子环，同时标志着理想理论的诞生。与此同时， 克罗内克 （L.Kronecker）把相当于代数整数环的集合称为序环，在其上建立了除子理论。在 环论 发展过程中，较为重要的是 代数数域 和代数函数域中的整数环以及二元和多元 多项式环 ，数学家 艾米·诺特 （Emmy Noether） 在1921年发表的论文《环中的理想论》（Idealtheorie in Ringbereichen）中将唯一因子分解理论从多项式环、 代数数域 以及代数函数域的整环扩展并抽象，得出带有升链条件的抽象的 交换环 ，称为诺特环。
相关示例
正例
例1： 由全体整数的集合 对数 的加法、乘法所构成的环——整数环 ，是一种整环。
例2： 设 代数 集 是一个不可约的 多项式 函数， 是一个代数闭域，那么代数对象多项式函数环 是一个整环。
反例
例1： 阶实矩阵环 是有幺环，但不是交换环和无零因子环，也不是整环；
例2： 一般来说，对于模 的整数环 。若 不是 质数 ，则存在正整数 ，使得 ，则得到 ，即 是 的零因子，从而 不是无零因子环，也不是整环。
分式域及其构造
定义： 设 是一个整环，如果有一个域 使得从 到 有一个单的环同态 ，且 中每个元素都可以表示成 ，即 的形式，其中 ，那么把 称为 的分式域。
整环 的分式域的唯一性： 设 是一个整环，则存在 的分式域，并且在环 同构 的意义下， 的分式域是唯一的。
整环 的分式域构造方法： 令集合 ，其中 。在集合 上规定一个 二元关系 ： 。由于 ，因此 ，从而 具有反身性；若 ，则 ，于是 ，从而 ，因此 具有对称性；若 且 ，则 ，从而 ，于是 。由于 且 是整环，因此 即 ，于是 ，从而 具有传递性。由此可知， 是 上的一个 等价关系 。把 的等价类记做 。于是 ，把商集 记做 ，在 中规定： 。
容易证得上面 式的规定与等价类的代表的选取无关，且是合理的。同时可验证， 中的加法、乘法都满足 交换律 、 结合律 ，并且适合乘法对于加法的 分配律 。由于 ，因此 是 的零元，记做 。容易验证， 的负元是 。又由于 ，因此 是可逆元，且 。
由上述可知， 是一个域，令 ，则 是R到F的一个映射，且 是 单射 。
由于 ， ，因此σ是R到F的一个环同态.从而R与F的一个子环Imo环 同构 ，其中 。于是可以把 与 等同。
由此得出 。
相关概念
理想
设 是一个环, 是 的一个非空子集，如果 对于减法封闭，即 并且 具有“吸收性”，即 则称 是 的一个理想或双边理想。如果 对减法封闭，并具有“左（或右）吸收性”，即 (或 )，则称 是 的一个左（或右）理想。
主理想： 设 是环 的一个非空子集，把 的包含 的所有理想的 交集 称为由 生成的理想，记做 。如果 是有限集，那么称 是有限生成的。环 中由一个元素 生成的理想称为主理想，记做 。
性质
子环性质
1.任一除环必为整环，一个除环的任一子环是整环；
2.整环的子环必为整环。
运算性质
加法和乘法运算的封闭性
环 有两个代数运算，一个叫做加法，记作 另一个叫做乘法，记作 。整环是一种环，其加法和乘法的具体运算法则可表示为：
1.加法 结合律 ，即
2.加法 交换律 ，即
3.乘法结合律，即
4.乘法对于加法的左、右 分配律 ，即
整除性
整环的整除： 设 是整环，对于 若存在 使得 则称 整除 记做 否则称 不能整除 记做 。当 时，称 是 的一个因子，称 是 的一个倍元。
整除是 上的一个 二元关系 ，它具有反身性（因为对任意 有 所以 )；此外，整除关系具有传递性，但是没有对称性。在整环 中， 当且仅当 ；
由整除关系可得出以下结论：
1.如果 且 ，则 叫做相伴，相伴具有对称性，和整除一样有反身性和传递性，因而是一个 等价关系 ，记作 ；
2.设元素 不是单位，不是零，若从 恒推出 或 ，则 叫做一个不可约元；
3.设元素 不是单位，不是零，若从 恒推出 或 ，则 叫做一个素元。
4.设 为一个整环， 为 的任意元素，则
(1) 。因而 ，而且若 但 则 但 ；反之也对。
(2) 为素元 为非零素理想。因此，若 为非零极大理想，则 为素元。
(3)素元是不可约元，因此，若 为非零素理想，则 为不可约元。
相关定理
唯一因子分解定理
任一 大于 的整数 能唯一地分解成有限个 质数 的乘积。所谓唯一性是说，如果 有两个这样的分解式
，则一定有 ，并且适当排列因子的次序后有 。
该 定理 在整数的整除性理论中起着基本重要的作用，因此也被称为算数基本定理。
高斯整环
定义 ：设 为一整环，如果 满足下列两条件
1） 的每个非零非单位的元素 恒可写成有限多个不可约元素的积 ；
2）上述分解在相伴意义下是唯一的，即若元素 有两种分解 ，则 而且适当改换 的角标可使 ；
则 叫做一个唯一因子分解整环，也叫高斯整环。
整环与 高斯 整环的关系：
1.设整环 满足条件：(1)因子链条件；(2)每个不可约元都是素元；则 是一个 高斯 整环。
2.设整环 满足条件：(1) 中因子链条件；(2) 中每一对元素都有最大公因子；则 是一个高斯整环。
定理 ： 一个高斯整环 是主理想整环的充要条件是 满足下列条件之一：
(1)元素 的最大公因 子恒 可表成 的组合；
(2) 的每个不可约元生成的主理想为极大理想。
推论： 主理想整环是 高斯 整环。
主理想整环
定义： 设 为整环，如果 的每一个理想都是主理想，那么称 是一个主理想整环。
主理想整环具有以下一些性质：
1.设 为一个主理想整环，则有
1）若 为不可约元，则 为极大理想；
2）不可约元为素元；
3）每个非零素理想都是极大理想。
2.设 为一个主理想整环，对于 ，若 ，则 是 的一个最大公因子，而且 可表成 。
推论： 设 为一个主理想整环，对于 ，若 ，则 为 的一个最大公因子而且 可表成 。
主理想整环与诺特环的关系： 设 是一个 交换环 ，如果 的每一条理想升链 都有限，那么称 满足理想升链条件，此时称 是一个诺特环，主理想整环都是诺特环。
常见类型
多项式环
一元 多项式环
设 是有单位元的 交换环 ， 是 上的未定元（或称 是变量）， 上一切 多项式 的集合记为 ，规定 的加法是同次项的系数相加、乘法是分配相乘，即 其中 对 多项式 的加法和乘法构成一个环，称为环 上一元 多项式环 。
多元多项式环
数域 上的 元多项式组成的集合记作 连同所定义的加法与乘法构成一个环，它的零元素是零多项式，它有单位元素，即零次多项式 。它是 交换环 ，称为数域 上的 元多项式环。
整环上的多项式环的性质：
1 . 若 为一整环，则一元或多元 多项式环 也是整环，而且 的单位群与 的单位群 相等 ；
2.设 为一整环， ，则 在 内最多有 个不同的根；
域
定义： 设 是一个有单位元 的 交换环 。如果对 中任意非零元 ，关于乘法有逆元，即存在 使 ，则称 为一个域。
域和整环的关系： 域是整环，有限整环必是一个域。
例 是整环也是域。
戴德金整环
定义： 设 是一个 交换环 ，则 是一个戴德金整环当且仅当
(1) 满足升链条件；
(2) 对 的每一个非零理想 满足降链条件，即由 的理想（每个理想都包含一个确定的非零理想）构成的每个真降链是一个有限链；
(3)对于环 的乘法，存在一个单位元；
(4)环 里没有零因子；
(5)环 在它的商域当中为整闭的。
广义戴德金整环
定义： 设 表示 的非零 有限型的 分式理想的集合，在其中定义 乘法为： 。若 在这个乘法之下构成一个群，则称 为一个 。如果整环 的每个 理想是可逆的，则称 为一个广义戴德金整环。
广义戴德金整环具备充要条件： 设 是广义最大公因子整环，则 是广义戴德金整环当且仅当 的每个 理想是有限生成的。
欧几里得整环
定义 ：设 为一个整环，如果存在 的乘法半群 到自然数系 的一个函数 ，使得对于任一对元素 ，存在一对元素 和 满足 ，其中 或 ，但 ，则 叫做一个欧几里得整环。
性质：
1.欧几里得整环 的每一个理想都是主理想。
.2.设 为一整环， 为一乘法幺半群，则 的任一有限子群都是循环的。
推广
粗糙集合理论（ Rough Set Theory）又简称粗集。假定对全城里的元素（对象）具有必要的信息或知识，通过这些知识将其划分为不同的类。若对两个元素具有相同的信息，则它们是不可区分的，即根据已有的信息不能够将其划分开。不可区分关系是一种 等价关系 ，是粗糙理论的基本概念。
粗糙集
定义： 令 ，且 是一个等价关系，当 能用 属性集确切地描述时，它可用某些 基本集合的并来表达，称 是 可定义的，否则 为 不可定义的， 不可定义集也称为 非精确集或 粗集。
粗糙整环
定义： 粗糙环 称为粗糙整环，假如任意 满足
(1)乘法适合 交换律 ： ；
(2) 有粗糙单位元 , ；
(3) 没有粗零因子，即若 ，则 或 。
由上述定义可得以下结论：
1.粗糙整环是可交换的有粗糙单位元的粗糙环；
2.粗糙除环是有粗糙单位元的无粗零因子的粗糙环；
3. 是粗糙域当且仅当 既是粗糙整环又是粗糙除环；
4.设 与 是两个粗糙 同构 的粗糙环，且粗糙同构映射 满足 ，那么
(1)若 是粗糙除环，则 也是粗糙除环；
(2)若 是粗糙域，则 也是粗糙域；
(3)若 是粗糙整环，则 也是粗糙整环。
应用
密码学
密钥管理
密码技术是进行保密通信的主要手段，因为所有的密码技术都依赖于密钥，所以 密钥 管理技术是保证安全性的关键点。在密钥管理的整个过程中，密钥分配与密钥协定有着特殊的意义。传统的密钥交换协议要么不能抵抗中间人攻击，要么需要数字证书或数字签名以抵抗中间人攻击，对于没有固定结构的无线网络来说是较为困难的。考虑到传统密钥协定的不足，基于口令认证的密钥协定协议，再应用整数环上的同态加密机制，可构造一种新的同态密钥协定，实现了用一个弱的初始口令建立一个有捐助的、前向保密的会话密钥的过程。
舰船通信
信息网络的不断发展为舰船通信信息传输过程带来了新的安全隐患，由于舰船通信信息加密时电路压缩和自举过程计算复杂，致使最终加密安全性不高。为此在 大数据 资源调度的前提下，有学者提出了一种舰船通信信息全同态的加密方法。通过设定一个整数环来降低加密过程的计算量，再控制信息字节流的加密过程，有效地改正了原有加密方法 密钥 过大、安全性低的不足，增强了舰船通信信息加密方法的性能。
计算机科学
数据压缩算法
在 多媒体 数据中，如何使用多媒体计算机技术去解决组织、压缩、存储和传输数据是一个重要问题。通常，采用合适的数据压缩算法和技术可以使数据量大大降低，使压缩的速度和精度大大提高。传统的基于离散余弦变换矩阵的正交变换（ DCT ）算法，它适合于信号带宽较窄的图像的压缩，当信号的带宽较宽时，若要求达到较高的压缩比，会使得误差较大，在恢复的图像上表现为边界效应。在变换过程中，还会对压缩精度产生一定的影响。
在对传统变换算法实现图像数据压缩技术的分析与评价的基础上，设计出一种以数论为理论基础的数论变换算法，数论变换是在以正整数 为模的整数环 上定义的线性正交变换，在 上具有卷积特性。该算法可采用移位操作原理实现，有效地提高了数据压缩的速度和精度。
电路功能验证
随着 集成电路 的规模变得越来越大、功能越来越复杂，功能验证已经成为设计流程的主要瓶颈。基于模拟的传统验证方法不仅会花费大量的时间，还不能保证完全的验证覆盖率，已经无法满足集成电路设计的要求。为此，有学者提出了一种基于有限环上的多项式的 形式验证 方法，有效地解决了算术密集型电路的设计验证问题，提高了验证效率。