
如何理解“代数系统、方程与解方程”的关系可以把它们分成几个层次来理解。1. 代数系统是底层的“运算世界”例如实数域R\mathbb{R}R。它先规定研究对象是什么可以进行哪些运算这些运算满足哪些规则。例如实数中有加法、乘法以及交换律、结合律、分配律等。所以代数系统首先提供的是对象 运算 运算规则。2. 在这个系统中可以利用运算构造新的表达式和关系例如在实数域中可以构造x210x−39x^210x-39x210x−39这只是一个由加法和乘法构造出来的代数表达式。进一步写成x210x−390x^210x-390x210x−390就提出了一个约束哪些实数xxx能够满足这个关系所以方程不是代数系统本身而是在代数系统中利用允许的运算构造出来的一种关系或约束。3. 解方程就是寻找满足这个关系的对象因此一元二次方程本质上是在问在给定的数域中哪些xxx经过这些运算以后会使某个表达式等于指定的值也就是代数系统提供规则方程提出约束解方程寻找满足约束的对象。4. 线性方程组也是同样的逻辑线性代数中的方程组AxbAxbAxb本质上也是在某个向量空间中寻找哪些向量xxx经过线性变换AAA后得到bbb。所以一元二次方程和线性方程组虽然形式不同但层次上是一回事都是在某种代数结构之上研究由运算构造出来的关系并寻找满足关系的对象。区别只是一元二次方程研究的是非线性关系线性方程组研究的是线性关系。5. 因此可以形成一个统一的认识代数并不只是“用字母代替数字”。更深层地看它的基本逻辑是先建立一个对象及其运算规则的世界再利用这些运算构造表达式、方程和变换最后研究这些关系的性质以及哪些对象能够满足它们。而抽象代数则更进一步连最底层的“对象、运算和规则”本身也拿出来作为研究对象。可以把整个层次压缩成一句话代数系统规定怎么玩表达式描述怎么玩出来的结果方程提出条件解方程寻找符合条件的对象。