域

域是能够放心进行四则运算的最小代数环境：加、减、乘无条件封闭，除以任何非零元素也总有唯一结果。可以把常见代数结构排成一条"运算能力阶梯"：环里能加减乘；整环公理库整环Integral domain含单位元 1≠0、无零因子的交换环。进一步排除了零因子，乘法可以约去；域再进一步，非零元不但能约去，还真正拥有逆元。条件 $1\ne 0$ 看似多余，实际在排除只含一个元素的零环——若 $1=0$，则任意 $a=a\cdot 1=a\cdot 0=0$，整个结构坍缩成单点，四则运算无从谈起。要求"每个非零元可逆"的直接回报是：线性方程 $ax=b$（$a\ne 0$）在域中恒有唯一解 $x=a^{-1}b$，这正是整套线性代数得以运转的前提。

$\mathbb{Q}$、$\mathbb{R}$、$\mathbb{C}$ 都是域。对素数 $p$，$\mathbb{Z}/p\mathbb{Z}$ 是有限域公理库有限域Finite field · Galois field底层集合有限的域。：每个非零剩余类都与 $p$ 互素，由 Bézout 恒等式可逆；例如在 $\mathbb{Z}/5\mathbb{Z}$ 中 $2\cdot 3=6\equiv 1$，故 $2^{-1}=3$。

反例同样有指导性。$\mathbb{Z}$ 是整环但不是域：$2x=1$ 在整数中无解，$2$ 没有乘法逆元——可逆性必须在集合内部实现，"逆元存在于更大的 $\mathbb{Q}$ 里"不算数。合数 $n$ 时 $\mathbb{Z}/n\mathbb{Z}$ 不是域：如 $n=6$ 时 $2\cdot 3\equiv 0$ 而 $2,3\not\equiv 0$，出现了零因子公理库单位与零因子Unit · Invertible element · Zero divisor环中的可逆元素，以及能与某个非零元素相乘得到零的非零元素。，而域不容许零因子（若 $ab=0$ 且 $a\ne 0$，乘 $a^{-1}$ 得 $b=0$）。两类反例的分野还有一个精致的补充事实：有限的整环必是域——元素 $a\ne 0$ 的乘法映射 $x\mapsto ax$ 因可约去而单射，有限集合上的单射自动是满射，于是 $1$ 落在像中。因此"整环而非域"的现象（如 $\mathbb{Z}$）只能发生在无限结构上。

域是标量的标准家园：向量空间公理库向量空间Vector space标量域作用下满足线性公理的加法阿贝尔群。的定义以域为系数，线性方程组的高斯消元公理库行化简Row reduction用初等行变换把矩阵化为阶梯形以求解线性方程组和判定秩。之所以畅通无阻，正因为主元总可以除。域上的一元多项式环公理库多项式环Polynomial ring系数来自给定环、以形式不定元构造的多项式集合。 $F[x]$ 是欧几里得整环，带余除法、最大公因式与唯一因式分解全部可用，这是代数方程理论的算术基础；多元多项式环一般不再是欧几里得整环，不能把一元结论原样照搬。有限域支撑编码理论与密码学的大量构造，而"在域上添加方程的根"引出域扩张公理库域扩张Field extension一个域作为另一域子域时形成的包含关系与相应向量空间结构。与 Galois 理论，把多项式方程的可解性翻译为扩张的对称性问题。