学过线性代数的人，大多都见过“向量空间定义在某个域上”这句话，却未必理解为什么必须是域，而不是整数或自然数。事实上，线性代数的核心并不只是计算向量、矩阵和行列式，而是研究线性关系如何被稳定地表示、变换和求解；为了保证这些操作不会因缺少逆元、无法除法或规则不完备而失效，就必须依托一个足够自洽的基础数系，而这个数系正是域。

很多人初学群、环、域时，会疑惑这些抽象定义究竟从何而来。其实，抽象代数并不是凭空制造概念，而是在研究“一个集合配备某些运算后，会因不同运算规律形成怎样的结构”。本文将从最基础的运算出发，沿着群、环、域到有限域的主线，逐步理解这些代数结构的形成逻辑。