理想

理想刻画哪些元素可以在取商时被统一视为零。若希望在陪集上定义

就必须保证更换代表元不会改变乘积。把 $(r+a)(s+b)$ 展开后，额外出现的 $rb$、$as$ 与 $ab$ 都应落回 $I$。这正是吸收性存在的原因。

子环只要求自己的元素相乘后仍留在内部；理想要求内部元素与环中任意元素相乘后仍留在内部。后一个条件更强，也更有方向性。它保证一旦某个量被视为零，任何环元素对它进行缩放或组合后仍应被视为零。

理想与群论中的正规子群公理库正规子群Normal subgroup在全群共轭下保持不变、因而可作为同态核并形成商群的子群。扮演同一角色：它们恰好是同态的核，并且恰好能够定义商对象。区别在于环有左右乘法，所以非交换情形必须额外区分左理想、右理想与双边理想。

历史上，理想还修复了元素唯一分解的失败。Dedekind 不再强求每个数都分解成元素乘积，而让理想承担分解对象；在适当的整数环中，非零理想仍能唯一分解成素理想。这里的“理想”不是虚构的数，而是一个对加法和环乘法稳定的集合。

整数环的全部理想都是

若 $I\ne \{0\}$，取 $I$ 中最小正整数 $n$。对任意 $a\in I$，带余除法给出 $a=qn+r$，其中 $0\le r<n$。因为 $r=a-qn\in I$，最小性迫使 $r=0$，所以 $a$ 是 $n$ 的倍数。由此 $I=n\mathbb{Z}$，说明 $\mathbb{Z}$ 是主理想整环公理库主理想整环Principal ideal domain · PID每个理想都由单个元素生成的整环。的原型。

在多项式环 $F[x]$ 中，求值同态

的核是所有在 $c$ 处为零的多项式。由因式定理，

这把“根”与“主理想”直接连接起来，也给出

子环未必是理想。$\mathbb{Z}\subseteq \mathbb{Q}$ 对加法、乘法封闭，但

所以它不吸收 $\mathbb{Q}$ 的乘法，不是 $\mathbb{Q}$ 的理想。

在含幺环中，理想若含有一个可逆元 $u$，就必然等于全环。因为 $u^{-1}u=1\in I$，进而每个 $r=r\cdot 1$ 都在 $I$ 中。特别地，域只有零理想和全环两个理想；从域到非零含幺环的保幺同态因此必为单射。

非交换环中左右方向会产生真实差异。在矩阵环 $M_n(F)$ 中，只有第一列可能非零的矩阵组成左理想：任意矩阵从左侧相乘，只会对各列做线性组合，不会凭空制造其他非零列。右乘却可能把第一列的信息搬到其他列，所以该集合一般不是右理想。与此同时，$M_n(F)$ 的双边理想只有 $\{0\}$ 与全环，说明单边理想丰富并不意味着双边理想丰富。

理想还决定商环中保留什么结构。在 $k[x,y]$ 中取

商中 $y$ 与 $x^2$ 都被压成零，因此

剩余类 $\overline{x}$ 非零，却满足 ${\overline{x}}^2=0$。理想不只删除表达式，还会决定商环是否出现零因子、幂零元或分量分解。

乘积环 $k\times k$ 中，$k\times \{0\}$ 与 $\{0\}\times k$ 都是理想。商去其中一个分量后留下另一个 $k$，而两个理想的乘积为零。这个例子把理想理解为“沿某个代数方向丢弃信息”，比整数倍集合的图像更一般。

理想恰好是环同态公理库环同态Ring homomorphism保持加法与乘法的映射；含幺语境中是否要求保持 1 必须明确。的核。任意同态 $\phi :R\to S$ 的核是吸收乘法的加法子群；反过来，每个双边理想 $I$ 都是自然投影

的核。第一同构定理于是给出

在含幺交换环中，理想的类型直接控制商环。$R/P$ 是整环当且仅当 $P$ 是素理想公理库素理想Prime ideal商环为整环，等价地乘积落入该理想便至少有一因子落入其中的真理想。，而 $R/M$ 是域当且仅当 $M$ 是极大理想公理库极大理想Maximal ideal在真理想按包含关系中极大的理想，其商环为域。；等价地，

因此，研究素理想和极大理想可以转化为研究哪些商环仍保留消去律，或进一步拥有全部非零元的逆。

互素理想支撑环版本的中国剩余定理。若 $I+J=R$，则

这把一个商环拆成若干局部约束的乘积，也是整数同余分解、有限环计算和代数编码中的基础结构。

Noetherian 性要求理想满足升链条件，等价于每个理想有限生成。它把“可能需要无限多方程”的问题压缩成有限生成数据，并使模、代数簇与局部化理论具备可控的有限性。

在代数数论中，Dedekind 环的非零理想唯一分解为素理想，替代了元素层面可能失效的唯一分解。在代数几何中，多项式理想编码公共零点条件，素理想对应不可约代数信息。理想因此同时组织商、方程、分解与几何位置，而不是只作为环中的一种特殊子集。