课件1完整教案.docVIP

我们知道，一元二次方程有求根公式，一般的一元三次方程、一元四次方程等高次方程是否也有类似的求根公式呢？1545年意大利数学家卡当和费拉里分别给出了三次和四次代数方程的求根公式， 1824年挪威数学家阿贝尔证明了五次和五次以上的代数方程没有求根公式，是不是意味着五次和五次以上的代数方程就没有解呢？直到19世纪初，法国青年数学家伽罗瓦引入了群的概念，发现了五次和五次以上的代数方程可解的法则，在伽罗瓦之后群的理论逐渐成为现代化数学研究的重要领域，随着社会的发展，群在现实生活中有非常广泛的应用。所以这一节课我们来学习群的定义和初步性质。 在第一章中学习过代数运算和结合律的定义，我们一起来回顾一下， ，，。在验证一法则是集合的代数运算时，只需验证封闭性即可。比如在中，，所以只是代数运算的一个代表，以后简称乘法，并且还可简写成或。对于结合律，只需验证与是否相等。 下面我们考虑两熟悉集合， Z + 0+a=a。 1a=a -a+a=0 a=1 由上面的分析可以看出： 定义了普通加法的整数集和定义了普通乘法的正有理数集具有如下五个共同特点： 第一 都是非空集合； 第二 都有一个代数运算； 第三 代数运算满足结合律； 第四 存在e； 第五 存在b。 象这一类的具有这种特殊运算的集合，我们给它起一个名字，叫做群。 下面我们给出群的定义： 集合G非空，表示G的一个代数运算，如果满足以下条件： ①代数运算满足结合律，即对 都有； ②，，使得； ③，，使得 在这里我们称e为G的左单位元；b为a的左逆元。 由于群的定义很抽象，我给大家举一形象例子，我们把整个社会看成一个集合，把约束作为代数运算，在这个集合里，有法律的约束 纪律的约束和道德的约束，只有每个人遵纪守法，恪守道德，才能构成一个和谐的社会。这个和谐社会就相当于一个群。 根据群的定义，咱们再来看这两个集合，第一 都是非空集合； 第二 都有一个代数运算； 第三 代数运算满足结合律； 第四 这两个集合的左单位元是否存在？ 第五 这两个集合中每个元素的左逆元是否存在？ 现在根据群的定义，谁能总结一下要验证一个集合对其运算能否作成群的步骤 第一 集合非空； 第二 具有一个代数运算； 第三 代数运算满足结合律； 第四 存在左单位元； 第五 存在左逆元。 对于这几个步骤，如何来验证呢？下面我们通过例子来分析： 例1 令表示数域上全体阶方阵构成的集合，设问关于矩阵的普通乘法能否作成群？ 由于同学们已经了解了验证一个集合对其运算能否作成群的步骤，现在我把同学们分成两组A,B进行解决。现在我们来看本题完整的解题过程 ； ；即矩阵的普通乘法为的代数运算； 显然成立； ，则为的左单位元； ，则为的左逆元。 则关于矩阵的普通乘法构成一个群。 在例1中，如果把这一条件去掉，关于矩阵的普通乘法还能不能作成群？（不能，因为左逆元不存在）如果把代数运算改为普通加法，关于其运算还能作成群吗？能 结合律满足，左单位元为，的左逆元为。 也就是说对矩阵的普通加法构成群，但对矩阵的普通乘法却不能构成群。 可见，对于一个集合，要考察他是否作成群，不仅要注意它的元素，更要注意它的代数运算。 例2，令，定义，证明对其运算作成群。 左单位元和左逆元的定义我们已经知道，右单位元和右逆元的定义是否存在？即，。这就引起了我们的思考：在群中 第一 由能不能推出？ 第二 由能不能推出？ 第三 如果都能推出，和唯一吗？ 好，对这几个问题，我们—来分析。 先看第一个问题，由能不能推出？ 是中的元素吗？是 所以也存在左逆元，设为。即。我们来看由这两个条件，怎样得到？因为。所以既是的左逆元又是的右逆元。以后称表示的逆元。 再看 第二个问题 由能不能推出？用代替即可。 所以既是的左单位元也是的右单位元。以后称是的单位元。 最后，我们来看单位元和每个元素的逆元是否惟一？设 与 都是的单位元，对于，把看作元素，看作单位元，等于；把看作元素，看作单位元，可得，所以与相等。即单位元惟一；再看逆元，设与都是的逆元，即有 。如何得出与相等？ ，所以每个元素的逆元惟一。 这3个问题的答案正是本节课我们所学习的第二个内容群的性质。 第一个性质 群的元素的左逆元也是的 右逆元，用表示的逆元； 第二个性质 群的左单位元也是的右单位元，即