学过线性代数的人，大多都见过矩阵，也做过大量矩阵计算，却未必真正理解矩阵到底代表什么。事实上，矩阵并不只是一个由数字排列成的表格，它更深层的意义是：描述一个向量空间到另一个向量空间之间的线性映射。本文将从向量空间出发，沿着“线性变换如何被表示”的主线，理解为什么矩阵本质上是线性映射在一组基下的具体表达。

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

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