都谁读过伽罗华的《群论》

入森九分

我只看过第一章和第二章开头的部分，再往后就完全看不懂了，自己没长那个脑袋~
越是基础的就越是重要的，他对代数基础研究的很深入
伽罗华简介
伽罗华（Évariste Galois，公元1811年~公元1832年）是法国对函数论、方程式论和数论作出重要贡献的数学家，他的工作为群论（一个他引进的名词）奠定了基础；所有这些进展都源自他尚在校就读时欲证明五次多项式方程根数解（Solution by Radicals）的不可能性（其实当时已为阿贝尔（Abel）所证明，只不过伽罗华并不知道），和描述任意多项式方程可解性的一般条件的打算。虽然他已经发表了一些论文，但当他于1829年将论文送交法兰西科学院时，第一次所交论文却被柯西（Cauchy）遗失了，第二次则被傅立叶（Fourier）所遗失；他还与巴黎综合理工大学（école Polytechnique）的口试主考人发生顶撞而被拒绝给予一个职位。在父亲自杀后，他放弃投身于数学生涯，注册担任辅导教师，结果因撰写反君主制的文章而被开除，且因信仰共和体制而两次下狱。他第三次送交科学院的论文均被泊松（Poisson）所拒绝。伽罗华死于一次决斗，可能是被保皇派或警探所激怒而致，时年21岁。他被公认为数学史上两个最具浪漫主义色彩的人物之一。

入森九分

基本概念 一般说来，群指的是对于某一种运算*，满足以下四个条件的集合G： （1）封闭性 若a,b∈G,则存在唯一确定的c∈G,使得a*b=c; （2）结合律成立 任意a,b,c∈G,有(a*b)*c=a*(b*c); （3）单位元存在 存在e∈G,对任意a∈G，满足a*e=e*a=a，称e为单位元，也称幺元; （4）逆元存在 任意a∈G,存在唯一确定的b∈G, a*b=b*a=e（单位元），则称a与b互为逆元素，简称逆元，记作a^(-1)=b. 通常称G上的二元运算*为“乘法”，称a*b为a与b的积，并简写为ab. 若群G中元素个数是有限的，则G称为有限群。否则称为无限群。有限群的元素个数称为有限群的阶。 定义运算* 对于g∈G，H包含于G，g*H={gh|h∈H}，简写为gH；H*g={hg|h∈H}，简写为Hg. A，B包含于G，A*B={ab|a∈A,b∈B}，简写为AB. 群的替换定理 G对*是群，则对于任一g∈G，gG=Gg=G. 定义记法 G对*是群，集合H包含于G，记H^(-1)={h^(-1)|h∈H} 子群的定义 如果G对于运算*为一个群，H包含于G并且H对*构成一个群，那么称H为G的子群。 这条定理可以判定G的子集是否为一个子群： HH=H且H^(-1)=H <=> H是G的子群

入森九分

1832年伽罗瓦证明了：一元 n次多项式方程能用根式求解的一个充分必要条件是该方程的伽罗瓦群为“可解群”（见有限群）。由于一般的一元n次方程的伽罗瓦群是n个文字的对称群Sn，而当n≥5时Sn不是可解群，所以一般的五次以上一元方程不能用根式求解。伽罗瓦还引入了置换群的同构、正规子群等重要概念。应当指出，A.-L.柯西早在1815年就发表了有关置换群的第一篇论文，并在1844～1846年间对置换群又做了很多工作。至于置换群的系统知识和伽罗瓦用于方程理论的研究，由于伽罗瓦的原稿是他在决斗致死前夕赶写成的，直到后来才在C.若尔当的名著“置换和代数方程专论”中得到很好的介绍和进一步的发展。置换群是最终产生和形成抽象群的第一个最主要的来源。

入森九分

在数论中，拉格朗日和C.F.高斯研究过由具有同一判别式D的二次型类,即f=ax^2+2bxy+cy^2,其中a、b、с为整数，x、y 取整数值，且D＝b^2-aс为固定值，对于两个型的"复合"乘法,构成一个交换群。J.W.R.戴德金于1858年和L.克罗内克于1870年在其代数数论的研究中也引进了有限交换群以至有限群。这些是导致抽象群论产生的第二个主要来源。

fleurly

伽罗华的《群论》？
他没写过这本书吧？他的都是论文

入森九分

在若尔当的专著影响下，（C.）F.克莱因于1872年在其著名的埃尔朗根纲领中指出，几何的分类可以通过无限连续变换群来进行。克莱因和（J.-）H.庞加莱在对 "自守函数”的研究中曾用到其他类型的无限群（即离散群或不连续群）。在1870年前后，M.S.李开始研究连续变换群即解析变换李群,用来阐明微分方程的解,并将它们分类。这无限变换群的理论成为导致抽象群论产生的第三个主要来源。

入森九分

今天，群论经常应用于物理领域。粗略地说，我们经常用群论来研究对称性，这些对称性能够反映出在某种变化下的某些变化量的性质。它也跟物理方程联系在一起。基础物理中常被提到的李群，就类似与伽罗瓦群被用来解代数方程，与微分方程的解密切相关。
    在物理上，置换群是很重要的一类群。置换群包括S3群，二维旋转群，三维旋转群以及和反应四维时空相对应的洛仑兹群。洛仑兹群加上四维变换就构成了Poincare群。
    另外，晶体学中早期的关于晶体的各种结构的问题中，也是靠群论中的费得洛夫群的研究给出了答案。群论指出，空间中互不相同的晶体结构只有确定的230种。
    在研究群时，使用表象而非群元是较方便的，因为群元一般来说都是抽象的事物。表象可以看成矩阵，而矩阵具有和群元相同的性质。不可约表象和单位表象是表象理论中的重要概念。
    在许多研究群论的数学家眼中，也即指在抽象群论中，数学家关心的是各元素间的运算关系，也即群的结构，而不管一个群的元素的具体含义是什么。举一个具体的例子，群论研究表明，任何一个群都同构于由群的元素组成的置换群。于是，特别是对研究有限群来说，研究置换群就是一个重要的问题了。

wanwna

无论如何，对于从对代数一无所知到自愿学习抽象代数的人，我都怀以崇敬。

fleurly

难得又遇到一个学过代数的， 狐狸一定非常欣慰。。。。。。
哈哈

申一言

    好文章!
    值得细读和品味!