同一想法，在更高处重演
初等代数——学校里的科目——是带字母的算术：化简、求值、解方程。但那个启动一切的诀窍，一般化，并不就此止步。我们把*数*一般化成了*字母*。数学家随后又迈出一步，把*运算本身*一般化。他们不再问“3 + 4 是多少？”，而是问“*任何*行为像加法的运算必须满足什么？”这个问题打开了通往抽象代数的大门。
二元运算不过是一条规则：接受两个东西、返回一个——普通的加法和乘法是例子，旋转一个正方形、或按 12 取模相加钟点也是。抽象代数研究这类运算的共性。我们熟悉的算术定律——交换律、结合律与分配律——成为人们所要求的*公理*，其余一切都由它们推演而出。
群、环、域——把结构当作对象
给定一个集合连同一个性质良好的运算，你就有了一个群。再加上第二个对第一个满足分配律的运算，你就有了一个环（整数是典范例子）。进一步要求非零元素也有乘法逆元，使你能做除法，你就有了一个域（有理数、实数、复数各构成一个）。这门学科已经完全不再关乎数了；它关乎*结构*——运算如何相互作用的形态。
Clock arithmetic mod 4 — addition table:
+ | 0 1 2 3
----+-----------
0 | 0 1 2 3
1 | 1 2 3 0
2 | 2 3 0 1
3 | 3 0 1 2
Check the GROUP idea:
• 0 is the identity (0 + a = a)
• each element has an inverse:
1 + 3 = 0, 2 + 2 = 0
• addition stays inside {0,1,2,3}
This tiny set of 4 elements is a genuine group —
no infinite number line required.你起步时并不需要这些，本系列其余的指南也都贴近地面。但知道这条路通向何方是值得的：第 1 篇里“用字母代表数”的同一动作，一再施行，竟成长为数学中最深邃的领域之一——对域、群与环的研究，那里的对象不再是数量，而是结构的模式本身。