西方的几何公理体系，与东方的代数算法体系，是古代数学的2个不同脉络。
几何，早在古希腊时代就已经建立了公理化的体系。
代数，实际上直到近代才真正地公理化。
在群论被创立之前，代数实际上只是一些解方程的算法，更类似工程而不是科学。
一元一次方程：2x = 2，
解：x = 1。
两边除以2就行，为什么？
别说回答这么复杂的问题，就是回答什么是乘法、除法、加法、减法，在抽象代数诞生之前，都难以公理化的描述[捂脸]
所以说，古代解方程的方法是应用数学算法，而不是数学理论。
代数的公理化，远比几何的公理化更难！
代数脱胎于算术，很早就被人们所熟知，反而更容易让人忽视，更难对它进行深入的研究。
熟视无睹，直到解5次方程时遇到了困难：给不出求根公式[呲牙]
也就是从这时候，人们才开始研究加减乘除到底是什么？
这已经到了17世纪，伽利略观察木星的时代了。
1，方程的诞生，
鸡兔同笼问题，是小学数学的基本难题，可能没有之一。
如果不用方程，用算术怎么解？
“鸡兔同笼，有20个头，60只脚，问鸡、兔各有多少个？”
解：
假设20只全是鸡，那么有20x2=40只脚。
脚数跟总数的差额是60-40=20只。
如果把1只鸡换成1只兔子，可以增加4-2=2只脚：那么，要换多少只兔子，才可以补齐20只脚的差额？
20 / 2 = 10只兔子。
20 - 10 = 10只鸡。
头数：10 10 = 20。
脚数：10x2 10x4 = 60。
求兔子只数的总算术式：(60 - 20x2) / (4 - 2) = 10，
进一步获得鸡的只数：20-10=10。
如果使用方程的话，我们使用二元一次方程组，设x只鸡，y只兔子：
x y = 20, (1)
2x 4y = 60, (2)
(1)式乘以2，可得：2x 2y = 20x2 = 40，
(2)式减去(1)式，可得：4y - 2y = (4 - 2)y = 2y = 60 - 40 = 20，
进一步可得：y = 10，
最后可得：x = 20 - y = 10。
解方程的步骤，与算术的步骤是一样的，只是算术更抽象，都是间接运算，而方程是直接运算。
算术，相当于是在刚研究问题的时候，就要展开问题的解法。
所以，算术对人们的思维深度要求更高，对大脑的信息迭代速度要求更高。
如果是一般人不会拿算术求解，很多人会说你笨，但当问题复杂到大牛也没法拿算术求解的时候，大牛就发明了方程[捂脸]
实际上，大牛的大脑也迭代不动了，然后他就换了思路：既然逆向思考太难了，干嘛不设个未知数，正着来呢？
于是，以后的所有问题，都变成了解方程的问题。
就算是欧几里德辛苦创立的几何公理体系，也被笛卡尔嫌弃“只能锻炼人们的思维”，然后笛卡尔发明了解析几何[呲牙]给他变成了代数方程。
笛卡尔：“我希望之后人们可以真正地解决问题，而不只是锻炼思维。”
“两点可以确定一条直线吗？”
ax by = c确定一条直线：又精确，又直接。
2，解方程是个问题，
ax b = 0，解：x = - b / a.
......
代数方程的求解问题，是个因式分解问题。
只要多项式能够分解成一次式的乘积，那么就可以获得n个根（n为次数，包含重根），即：
多项式的分解，当然是依赖于系数的：因为不同的多项式变化的是系数，而次数是固定的，缺项可以看作系数为0。
根与系数的关系，早在16世纪的意大利和法国就被注意到了，即韦达定理：
韦达定理还可以从2次方程继续扩展到高次方程：根的和与n-1次项的系数有关，根的积与常数项有关（具体的可以查看代数书）。
虽然人们在16世纪就发现了根和系数的关系，但是，5次方程的求根公式就是给不出来。
因为，人们甚至没法说清楚：加、减、乘、除、开方，到底是什么？
求根公式，根式解，人们从古代一直用到18世纪，依然说不清这些运算的本质。
3，加、减、乘、除、开方，到底是什么？
减法是加法的逆运算，除法是乘法的逆运算，这是人们熟知的。
开方是什么？
（如果x^n = y，那么x就是y的n次方根，这个定义没什么用）
我们先从2次方程的求根公式开始：
为了简单，可以让a = 1，即方程的左边是首一多项式。
为了让方程的判别式不成立，从而产生虚数，可以看这个方程：
它在复数里是有解的：-1 i, -1 - i。
但在实数里是无解的，在有理数里当然也无解。
-1 和 i 是没法合并同类项的，因为它们2个处于不同的维度：
画在图上时，-1在x轴，i在y轴。
x^2 2x 2的两个根
可以看出，解这个系数全是实数（有理数、整数）的方程时，居然需要跑到复数里才可以！
所以，高次方程本质上是扩大了数的范围：它的根与系数可以在不同的数集里。
仅仅是2次方程，就可以把根映射到复数里。
f(x) = x^2 bx c = (x - x1)(x - x2) = 0，它确定的是(b, c)与(x1, x2)之间的函数关系，这个关系是一一对应的，因为它们都表示同一个方程。
A：知道系数求根，有2次方程的求根公式。
B：知道根求系数，直接把根代进去，就是系数的一次方程。
当x1 != x2时，范德蒙德矩阵的行列式不为0，所以上面的线性方程组有唯一解：
即，多项式方程（在没有重根时）是根与系数的一一对应关系。
这个对应关系，可以把实数的系数映射到复数的根，或者反过来。
所以，对于一般的高次方程来说，求根的前提是扩大数的范围。
更准确地说，是扩大数的维数。
因为整数对除法运算的结果不闭合，所以研究方程的解时，最小范围必须是有理数Q。
如果在整数范围内，那么一元一次方程都可能无解，例如2x = 1。
要为了求根而扩大维数时，扩大的基础就是有理数Q。
4，那么，加法和乘法是什么？
通常的加法，是有理数Q上的一个二元运算符，它表达了一个对应关系：z = a(x, y)。
通常的乘法，也是有理数Q上的二元运算符，它也表达了一个对应关系：z = m(x, y)。
找出它们两个的共同点来，就是群论：
一个集合，与定义在它上的二元运算符，符合哪些公理[捂脸]
公理1，结合率：a (b c) = (a b) c, a x (b x c) = (a x b) x c.
公理2，单位元和逆元：a (-a) = 0, a x (1/a) = 1.
加法的单位元叫0，俗称零元。
乘法的单位元叫1，俗称单位元。
在代数学上，这就是0和1的本质，符合这个条件的都可以叫0和1。
公理3，交换律：a b = b a, ab = ba.
加法是肯定符合交换律的，因为加法的两个元素是同类。
乘法不一定符合交换律，因为乘法的两个元素不一定是同类。
之前的文章里举过例子，1个盘子里有5个苹果，3个这样的盘子，总数有多少个苹果？
解：5x3 = 15，5是苹果的个数，3是盘子的个数，3和5在这里并不是同样的含义。
所以，矩阵乘法的“不交换”是正常的，整数乘法的“交换”才是特例。
所以，加法和乘法的区别，就在于符不符合交换律！
所以，减法和除法并不存在，存在的只是加法和乘法的逆元。
所以，一元一次方程的求解问题，就是求加法和乘法的逆元问题。
求逆元需要几步运算？1步，见公理2。
所以，一元一次方程的求解只需要2步：第1步求加法逆元，第2步求乘法逆元。
方程：ax b = 0，
求加法逆元：ax = -b，
求乘法逆元：x = -b/a，完成。
当未知数前面的系数是乘法的单位元时，就是一元一次方程的解。
多个未知数的一元方程组的解，都通过加法和乘法运算，先转化成一元一次方程。
5，那么，开方是什么？
在第3节里说了，高次方程本质上是扩大了数的维数，扩大的基础是有理数Q。
那么，从有理数到实数需要扩张多少个维数？
无穷个，因为
所以，不能直接在实数域里考虑高次方程的求根问题，而是一点点的扩张。
例如：
方程1：x^2 - 2 = 0，它的求根实际上只需要扩张一个数，
方程2：x^2 - 3 = 0的求根，只需要扩张一个数，
方程3：x^2 - 6 = 0的求根，在上面2个扩张的基础上，它不需要再扩张了，因为6 = 2x3。
6是合数，当它的所有质因数的平方根都被扩张进去之后，它的方程x^2 - 6 = 0已经可解了。
方程4：x^2 - 8 = 0的求根，也只需要扩张就行，它的解是
所以，就可以满足上面4个方程的求根，不需要扩张到整个实数R。
开方运算，本质上是有理数域的扩张，域的扩张。
6，域是什么？
域，是能够进行加法和乘法运算、和它们的求逆运算的最小封闭集合。
如果只定义1种运算（加法或乘法），并满足结合率、单位元、逆元的集合，叫群。
如果定义了2种运算（加法和乘法），并满足分配律的集合，叫环。
公理4，分配律：a x (b c) = ab ac，(a b) x c = ac bc.
在环的基础上，还可以求乘法的逆元，就叫域。
加法的逆元是肯定存在的，整数就可以满足封闭条件。
乘法逆元的存在，可以得出这个公理：
公理5，消去律：ab = 0，所以a = 0或b = 0.
如果a != 0，它就存在乘法逆元，即倒数1/a，左乘1/a就可得b = 0。
如果b != 0，它就存在乘法逆元，即倒数1/b，右乘1/b就可得a = 0。
域的0之外的元素，都有逆元。
所以，有理数Q是个域，实数R是个域，复数C是个域。
但是整数Z不是域，它只是个环。
所以，方程的根式解问题，是有理数域Q的一个有限根式扩张问题。
根式扩张之后的域，叫做多项式的分裂域（用F表示）。
F是Q上的一个有限维线性空间。
，是什么？
是系数为(4, 8, 16)，基为的一个线性表示。
F除了Q之外的其他元素之间的对应关系，是关系到高次方程是否有根式解的关键。
这个对应关系，叫做伽罗瓦群Gal(F/Q)。
7，伽罗瓦来了，
伽罗瓦定理：一般5次方程的根式可解，当且仅当它的分裂域对应的伽罗瓦群是可解群。
伽罗瓦理论
可解群是什么？
就是群中的元素，可以沿着一条链变换到群的单位元。
ax = b要是求解，只需要把系数a变成1，乘以1/a就行，所以一元一次方程是可解的。
群的元素不一定是数字，也可以是对应关系（置换）。
所以，有时候换过来之后，换不回去。
魔方的旋转，就是一个群
8，为什么有的方程没有根式解？
因为加法和乘法运算会消除信息。
f(x) = (x - x1)(x - x2)(x - x3)(x - x4)(x - x5) = 0，这个方程是完全信息的。
它的根就是x1, x2, x3, x4, x5。
但是，把它展开之后就不是这样了：
f(x) = x^5 (x1 x2 x3 x4 x5)x^4 ...... (-1)^5 x1x2x3x4x5
= x^5 ax^4 bx^3 cx^2 dx f = 0.
加法运算，是肯定会消除信息的。
4 = 1 3 = 2 2，光看到4是不知道它由哪2个数字加出来的。
乘法运算，在2个乘数不全是质数的情况下，也会消除信息。
54 = 6x9 = 2x27 = 3x18，也是没法确定它是哪2个数字乘出来的。
所以，有些方程没法从系数反回去求根，就是必然的。
9，法国大数学家、群论的创始人、伽罗瓦，
又是法国[捂脸]
伽罗瓦出生于1811年，1832年过世，年仅21岁。
他从16岁学数学，5年之后创立群论，论文曾经寄给柯西、傅立叶。
柯西把这篇数学史上最著名的论文给搞丢了，而傅立叶收到论文后恰好病逝。
然后，伽罗瓦因为一个女人（斯特凡妮）而卷入了一场决斗，死时只有21岁。
伽罗瓦在决斗前一天的晚上，写下了他的数学理论，让人送给了高斯、刘维尔。
刘维尔花了十几年的时间，把伽罗瓦的理论整理出来，用更通俗的语言再次发表，群论才流传下来。
伽罗瓦，1811-1832
,
