俄罗斯教材《代数学引论》的启迪(初稿) 庄瓦金 (漳州师范学院,福建,363000) 二十年前,北京大学三位教授根据1982年斯普林格出版社的英文版翻译了莫斯科大学A.И.柯斯特利金院士的《代数学引论》[1,2],使得国内同行们对俄罗斯高水平的代数教材有所认识。但鉴于中国国情,至今还没看到该书对中国大学本科代数教学有实质的影响。而今,在中国数学会、中国工业与应用数学学会、国家自然科学基金委员会的关注下,数学天元基金资助、高等教育出版社出版了庆祝莫斯科大学成立250周年而推出的一批优秀数学教材的中译本,其中有 A.И.柯斯特利金的《代数学引论》(第二、三版)三卷本[3~5](以下简称《引论》)。笔者看后,很受启发,现根据这几年来对高等代数研究的基础[17~23],对《引论》作些思索,为提升中国大学本科代数教学水平奉献余力。 一《引论》的特色 稍读[3~5],笔者认为,A.И.柯斯特利金之著有以下四大特色。 1 继承性 [1]的英文版译者指出:A.И.柯斯特利金“发展了莫斯科大学的代数课”,这从《引论》著者经历就可以看出。A.И.柯斯特利金1959年获莫斯科大学数理科学博士学位,1972年任莫斯科大学高等代数教研室主任,1976年升为教授,同年当选为苏联科学院通讯院士,1977-1980任莫斯科大学数学系主任,1991年起为莫斯科大学学术委员会成员,他的《引论》理所当然地继承了А.Г.库洛什等老一辈代数学家的代数教材,这还从[3~5]的补充文献也得到进一步证实。 在注意《引论》继承自己前辈工作之时,我们注意到《引论》三卷本与N.Jacobson的《抽象代数学》三卷本[6]在分卷上的相似性,这也多少说明[3~5]继承了国际上代数教材的遗产,使得这三卷本能够更好地贯串一条主线。因此,《引论》的继承性不仅是莫斯科大学的,而且也包涵了全世界各著名大学的。 值得一提的是,[3~5]的俄文版,第二卷2004年出版,第三卷2001年出版,估计第一卷也是2001年出版,也就是说:这三卷本是在著者去世之后出版的。记得Φ.Ρ.甘特马赫尔的《矩阵论》俄文第二版也是在著者去世后出版的。看来,这里说的继承性是莫斯科学派集体继承性,这是多么伟大的继承性,它体现了俄罗斯数学家的优良品格。 2 整体性 《引论》的特色不仅在于教材的系统性,更在于教材的整体性。首先是代数科学的整体性,中国的高等代数与抽象代数两门课程,在[3~5]中则整合为一,使整个代数教材的水平提高了一个层次,让学生尽早接触抽象代数思想,推进了学生对代数结构的理解。这显然对于学生的整个数学学习大有好处。其次是数学课程的整体性,《引论》第一卷的前言一开头就写到:“人们很早就感到有必要把代数、线性代数和几何放到一个统一的教程中。而教科书《代数学引论》自出版后的22年来可以看作是这种统一处理的初步考试。”因此,《引论》突出了代数与几何的统一;同时也注意了与分析的联系,特别是注意到了线性代数的两大后继课程:计算数学与泛函分析,这不仅在教材中有交代,而且在基本术语上相一致,如“线性变换”称为“线性算子”。再次是数学语言的整体性,在[1]中,著者就注
1 设a ,b 为群G 的元素,设a 为5阶元,且33 a b ba =,证明ab ba =。 证明:因为33a b ba =,所以133b a b a -=,所以1326()b a b a -=,即166 b a b a -=。 又a 为5阶元,所以5a e =,所以1 b ab a -=,即ab ba =。 2 证明对群G 的非空子集H ,若对所有,x y H ∈,1 xy -也属于H ,证明H 是一个子群。 证明:因对,x y H ∈,1xy H -∈,所以11 ,,x H e xx H x xe H --?∈=∈=∈, 1 111 ,,()y H y e y H x y x y H ----?∈=∈=∈,所以H 是G 的子群。 3 证明在任意群G 中,对其任意两个元素a ,b ,ab 与ba 的阶相等。 证明:因为()1 ab a ba a -=,故ab 与ba 共轭。 设ab n =,若()m ba e =,则1[()]m a ba a e -=,即()|m ab e n m =? 所以||||ab ba n ==。 4 置换群4S 中有多少个2阶元? 解:由置换群中每个元素都可表示为不相交的轮换之积,而k 轮换的阶为k 。两不相交轮换的阶为k 轮换的最小公倍数。故二阶元有9个,为: (1 2),(1 3),(1 4), (2 3), (2 4),(3 4),(1 2)(3 4),(1 3)(2 4),(1 4)(2 3)。 5证明群G 的自同构的集合以映射的合成为乘法构成一个群。 证明::AutG G =群的所有自同构的集合,恒等映射,id AutG AutG ∈≠?故 由G 上的所有双射显然构成一个群,关于映射的乘法,下证AutG 为其子群 (1)AutG 对于映射的合成封闭: ,(),()A u t G a b G a b G στττ?∈?∈?∈,, 故()(())(()())(())(())()()ab ab a b a b a b στστσττστστστστ==== 故AutG στ∈。 (2)下证1 AutG AutG σσ -?∈?∈ '''''1'1,,,,(),()(),()AutG a b G a b G a a b b a a b b σσσσσ--∈?∈?∈====使即 则1 1 ' ' 1 '' 1 '' '' 1 1 ()(()())(())()()()ab a b a b a b a b a b σσσσσσσσσσ------===== 所以1AutG σ -∈。 故AutG 关于映射合成的乘法构成一个群。 6 设G 是一个群。证明由()n x x φ=定义的映射:G G φ→是G 到自身的同态。
五上: 早在三千六百多年前,埃及人就会用方程解决数学问题了。在我国古 代,大约两千年前成书的《九章算术》中,就记载了用一组方程解决实际 问题的史料。一直到三百年前,法国的数学家笛卡儿第一个提倡用x、y、 z 等字母代表未知数,才形成了现在的方程。 大约在两千年前,我国数学名著《九章算术》中的“方田章”就论 述了平面图形面积的算法。书中说:“方田术曰,广从步数相乘得积步。” 其中“方田”是指长方形田地,“广”和“从”是指长和宽,也就是说: 长方形面积= 长×宽。还说:“圭田术曰,半广以乘正从。”就是说: 三角形面积= 底×高÷2。 我国古代数学家刘徽利用出入相补原理来计算平面图形的面积。出入 相补原理就是把一个图形经过分割、移补,而面积保持不变,来计算出 它的面积。如下图所示,它们显示了平面图形的转化。 五下: 1、6 的因数有1、 2、 3、6,这几个因数的关系是:1+2+3=6。 像6 这样的数,叫做完全数(也叫做完美数)。 28 也是完全数,而8 则不是,因为1+2+4 ≠8。完全数非常稀少, 到2004 年,人们在无穷无尽的自然数里,一共找出了40 个完全数, 其中较小的有6、28、496、8128 等。 2、为什么判断一个数是不是2 或5 的倍数,只要看个位数?为什么 判断一个数是不是3 的倍数,要看各位上数的和? 24 = 20 +() 2485= 2480 +() 20、2480 都是2 或5 的倍 数,所以一个数是不是2 或5 的倍数,只要看? 24 = 2×10+4= 2×(9+1)+4= 2×9+(2)+(4) 2485= 2×1000+4×100+8×10+5 = 2×(999+1)+4×(99+1)+8×(9+1)+5 = 2×999+4×99+8×9+()+()+()+() 3、哥德巴赫猜想从上面的游戏我们看到:4=2+2,6=3+3,8=5+3,10=7+3,
第一章代数基本概念 1.如果群 G 中,对任意元素 a,b 有(ab)2=a2b2,则 G 为交换群. 证明: 对任意 a,bG,由结合律我们可得到 (ab)2=a(ba)b, a2b2=a(ab)b 再由已知条件以及消去律得到 ba=ab, 由此可见群 G 为交换群. 2.如果群 G 中,每个元素 a 都适合 a2=e, 则 G 为交换群. 证明: [方法 1] 对任意 a,bG, ba=bae=ba(ab)2=ba(ab)(ab) =ba2b(ab)=beb(ab)=b2(ab)=e(ab)=ab 因此 G 为交换群. [方法 2] 对任意 a,bG, a2b2=e=(ab)2, 由上一题的结论可知 G 为交换群. 3.设 G 是一非空的有限集合,其中定义了一个乘法 ab,适合条件: (1)a(bc)=(ab)c; (2)由 ab=ac 推出 a=c; 1
(3)由 ac=bc 推出 a=b; 证明 G 在该乘法下成一群. 证明:[方法 1] 设 G={a1,a2,…,a n},k 是1,2,…,n中某一个数字,由(2)可知若ij(I,j=1,2,…,n),有 再由乘法的封闭性可知a k a i a k a j<1> a i a k a j a k<2> G={a1,a2,…,a n}={a k a1, a k a2,…, a k a n} <3> G={a1,a2,…,a n}={a1a k, a2a k,…, a n a k} <4> 由<1>和<3>知对任意 a t G, 存在 a m G,使得 a k a m=a t. 由<2>和<4>知对任意 a t G, 存在 a s G,使得 a s a k=a t. 由下一题的结论可知 G 在该乘法下成一群. 下面用另一种方法证明,这种方法看起来有些长但思路比较清楚。 [方法 2] 为了证明 G 在给定的乘法运算下成一群,只要证明 G 内存在幺元(单位元),并且证明G 内每一个元素都可逆即可. 为了叙述方便可设 G={a1,a2,…,a n}. (Ⅰ) 证明 G 内存在幺元. <1> 存在 a t G,使得 a1a t=a1.(这一点的证明并不难,这里不给证明); <2> 证明 a1a t= a t a1; 因为 2
1.证明:在环R 到环R 的一个同态满射φ之下,R 的一个子环S 的象S 是R 的一个子环。 证明: S 为R 的一个子环, ∴0∈S , 而0=(0)φ∈S , 故S 非空。 对,a b ?∈S ,?,a b ∈S ,使得a =()a φ,b =()b φ 由于S 是环R 的子环,故a b S -∈,ab S ∈ ∴ a b -=()a φ-()b φ=()a b φ-S ∈ a b = ()a φ()b φ=()ab φS ∈ 故S 是R 的一个子环。 2. 证明:在环R 到环R 的一个同态满射φ之下, R 的一个子环S 的逆象S 是R 的一个子环。 证明: S 为R 的子环, ∴0∈S , 而0=(0)φ∈S , ∴0∈S ,故S 非空。 对?,a b ∈S ,?,a b ∈S ,使得 a =()a φ,b =()b φ, 由于S 是环R 的子环, 故 a b -=()a φ-()b φ=()a b φ-S ∈ a b =()a φ()b φ=()ab φS ∈ ∴a b S -∈,ab S ∈ 故S 是R 的一个子环。 3.证明:在环R 到环R 的一个同态满射φ之下,R 的一个理想A 的象A 是R 的一个理想。 证明: A 为R 的理想,∴ 0A ∈,,而0=(0)φ∈A ,故A 非空。 对,a b A ?∈,r R ?∈, ?,a b ∈A ,r R ∈ 使得 ()a a φ=,()b b φ=,()r r φ= 由于A 是环R 的一个理想,故 a b A -∈,ra A ∈,ar A ∈
∴ a b -=()a φ-()b φ=()a b φ-A ∈ ra =()r φ()a φ=()ra A φ∈, ar =()a φ()r φ=()ar A φ∈ 故 A 是环R 的一个理想。 4.证明:在环R 到环R 的一个同态满射φ之下,R 的一个理想A 的逆象A 是R 的一个理想。 证明: A 为环R 的理想,∴0∈A , 而0=φ(0)∈A , ∴0∈A, 故A 非空。 对于?,a b ∈A ,?r R ∈,?,a b ∈A ,r R ∈ 使得 ()a a φ=,()b b φ=,()r r φ= 由于A 是环R 的理想, 故 a -b ∈A ,ar A ∈,ra A ∈。 a -b =()a φ-()b φ=()a b φ-A ∈ r a =()r φ()a φ=()ra φ∈A , ar =()a φ()r φ=()ar φA ∈ ∴a b A -∈,ra A ∈,ar A ∈, 故 A 是R 的一个理想。
一、单项选择题 1.关于古埃及数学的知识,主要来源于( )。 A.埃及纸草书和苏格兰纸草书 B.兰德纸草书和莫斯科纸草书 C.莫斯科纸草书和希腊纸草书 D. 兰德纸草书和尼罗河纸草书 2.以“万物皆数”为信条的古希腊数学学派是( )。 A.爱奥尼亚学派 B.伊利亚学派 C.诡辩学派 D.毕达哥拉斯学派 3.最早记载勾股定理的我国古代名著是( )。 A.《九章算术》 B.《孙子算经》 C.《周髀算经》 D.《缀术》 4.首先使用符号“0”来表示零的国家或民族是( )。 A.中国 B.印度 C.阿拉伯 D.古希腊 5.欧洲中世纪漫长的黑暗时期过后,第一位有影响的数学家是( )。 A.斐波那契 B.卡尔丹 C.塔塔利亚 D.费罗 6.对微积分的诞生具有重要意义的“行星运行三大定律”,其发现者是( )。 A.伽利略 B.哥白尼 C.开普勒 D.牛顿 7.对古代埃及数学成就的了解主要来源于( ) A.纸草书 B.羊皮书 C.泥版 D.金字塔内的石刻 8.公元前4世纪,数学家梅内赫莫斯在研究下面的哪个问题时发现了圆锥曲线?( ) A.不可公度数 B.化圆为方 C.倍立方体 D.三等分角 9.《九章算术》中的“阳马”是指一种特殊的( ) A.棱柱 B.棱锥 C.棱台 D.楔形体 10.印度古代数学著作《计算方法纲要》的作者是( ) A.阿耶波多 B.婆罗摩笈多 C.马哈维拉 D.婆什迦罗 11.射影几何产生于文艺复兴时期的( ) A.音乐演奏 B.服装设计 C.雕刻艺术 D.绘画艺术 12.微分符号“d”、积分符号“”的首先使用者是( ) A.牛顿 B.莱布尼茨 C.开普勒 D.卡瓦列里 13.作为“非欧几何”理论建立者之一的年轻数学家波尔约是( )