1851 年,西尔维斯特在研究二次曲线和二次曲面的切触和相交时需要考虑这种二次曲线和二次曲面束的分类。在他的分类方法中他引进了初等因子和不变因子的概念,但他没有证明“不变因子组成两个二次型的不变量的完全集”这一结论。 ( b1 v) k" F% }8 E, S. c
2 X |3 i3 k. C
1858 年,魏尔斯特拉斯对同时化两个二次型成平方和给出了一个一般的方法,并证明,如果二次型之一是正定的,那么即使某些特征根相等,这个化简也是可能的。魏尔斯特拉斯比较系统的完成了二次型的理论并将其推广到双线性型。 ) T& X2 a+ W6 u% A
从解方程到群论: H3 a3 w& g: @! p
求根问题是方程理论的一个中心课题。 16 世纪,数学家们解决了三、四次方程的求根公式,对于更高次方程的求根公式是否存在,成为当时的数学家们探讨的又一个问题。这个问题花费了不少数学家们大量的时间和精力。经历了屡次失败,但总是摆脱不了困境。 / p* W* Z: B! ~" R
/ C$ W0 ?; h) T2 a7 I1 Z 到了 18 世纪下半叶,拉格朗日认真总结分析了前人失败的经验,深入研究了高次方程的根与置换之间的关系,提出了预解式概念,并预见到预解式和各根在排列置换下的形式不变性有关。但他最终没能解决高次方程问题。拉格朗日的弟子鲁菲尼 (Ruffini,1765-1862) 也做了许多努力,但都以失败告终。高次方程的根式解的讨论,在挪威杰出数学家阿贝尔那里取得了很大进展。阿贝尔 (N.K.Abel,1802-1829) 只活了 27 岁,他一生贫病交加,但却留下了许多创造性工作。 1824 年,阿贝尔证明了次数大于四次的一般代数方程不可能有根式解。但问题仍没有彻底解决,因为有些特殊方程可以用根式求解。因此,高于四次的代数方程何时没有根式解,是需要进一步解决的问题。这一问题由法国数学家伽罗瓦全面透彻地给予解决。 9 { ?5 B# N8 \/ @: W( P8 a' O { r ! _6 p5 O; ` t0 n, M 伽罗瓦 (E.Galois,1811-1832) 仔细研究了拉格朗日和阿贝尔的著作,建立了方程的根的“容许”置换,提出了置换群的概念,得到了代数方程用根式解的充分必要条件是置换群的自同构群可解。从这种意义上,我们说伽罗瓦是群论的创立者。伽罗瓦出身于巴黎附近一个富裕的家庭,幼时受到良好的家庭教育,只可惜,这位天才的数学家英年早逝, 1832 年 5 月,由于政治和爱情的纠葛,在一次决斗中被打死,年仅 21 岁。 6 T2 z6 t2 R6 S2 N, P6 ^9 I; `