单位与零因子

单位可以在乘法中完整消去，零因子却会把非零信息压成零；两者分别代表乘法最可逆与最退化的元素。

单位元可在乘法中完全撤销，零因子则会把某个非零元素压成零。前者支撑除法与伴随关系，后者破坏消去律；一个非零元素若既是单位又是零因子会导致 $1=0$，所以在非零环中两类互斥。环中“可约到相差单位”正是因子分解唯一性的自然等价。

在 $\mathbb{Z}$ 中单位只有 $\pm 1$，没有非零零因子。在 $\mathbb{Z}/8\mathbb{Z}$ 中，$1,3,5,7$ 是单位，$2,4,6$ 是零因子，例如 $2\cdot 4=0$。一般在 $\mathbb{Z}/n\mathbb{Z}$ 中，$[a]$ 是单位当且仅当 $gcd(a,n)=1$；非零非单位在此有限交换环中都是零因子，但该结论对任意无限环不成立，如 $2\in \mathbb{Z}$ 既非单位也非零因子。零环中 $0=1$ 会使“单位与零因子不交”等说法失去通常含义，因此许多教材排除零环或单独处理。

矩阵环给出一个与剩余类环不同的零因子图景。设 $F$ 为域，并在 $M_2(F)$ 中取

二者都非零，却有 $AB=BA=0$，所以都是零因子；同时它们的行列式为零，因而都不是单位。事实上，$M_n(F)$ 中矩阵可逆当且仅当行列式非零，奇异矩阵则必为零因子。这个结论依赖有限维矩阵环的结构，不能推广为“任意环中的非单位都是零因子”：在无限整环 $\mathbb{Z}$ 中，$2$ 既不是单位也不是零因子。非交换环里还需区分左零因子与右零因子，上面的 $A,B$ 恰好同时展示了两侧退化。

单位控制局部化、可逆矩阵和同伴关系；零因子决定消去律失败、素理想结构和线性方程异常，是区分域、整环与一般环的第一道边界。

在 环结构公理库环Ring带加法阿贝尔群和相容乘法的代数结构。 中，单位决定哪些乘法步骤可以撤销，零因子则标记消去律失效的位置。整环公理库整环Integral domain含单位元 1≠0、无零因子的交换环。正是没有非零零因子的交换环，域公理库域Field非零元素在乘法下均可逆的交换环。进一步要求每个非零元素都是单位。单位还控制伴随元、不可约分解与局部化中的分母选择；零因子则影响商环的退化、线性方程的唯一性以及矩阵可逆性。