从范畴论的观点看高等代数龙岩学院周金森.PDF

从范畴论的观点看高等代数 从范畴论的观点看高等代数 龙岩学院 周金森 高等代数是一门抽象性较强的数学专业基础课 含有丰富的代数学思想，是进一步学习抽象代数、 同调代数、李代数的一门重要的基础课程。 经过多年的教学实践，在高等代数的教学中 引入范畴论的思想方法，不但能够使学生从更高的 观点去透彻把握这门课程，更深入地理解知识间的 联系，并且还可以牢固掌握代数学的思想方法， 如同构、等价关系及等价分类、直和分解、 化 等重要思想，体会学习数学的乐趣，而不是枯燥无 味，因为掌握数学思想方法比知识更重要。 一、模与范畴的思想 域F上的线性空间就是特殊的模，把线性空 间看成对象，把线性映射看成态射，态 射的合成是线性映射的乘积，则所有的 线性空间构成Abel范畴。 A B V ææÆ W  ææÆ U  Ø Ø Ø n  A  m  B  l  F  ææÆ F  ææÆ F  从列的方向来看，我们可以把它看成是函子G，  G是双重意义的对应，一方面，它把任一个n维  线性空间对应到 n  ，同时在取定两组基下， F  它把线性映射对应到矩阵，并且满足  G (BA ) = G ( B) G ( A)  易证函子G是一个加法、共变、 正合、可逆、完全忠实的函子。 二、交换图与同构的思想 交换图是范畴论中非常有用的基本工具和 研究对象，在线性空间、线性映射、线 性变换的教学中就可以引入交换图。 设V是n维线性空间，W是m维线性空间  A : V Æ W  是线性映射，取定V的一组基 a , a , L, a 和W的一组基 b , b , L, b 1  2  n 1  2  m 设  A( a , a , L, a ) = ( b , b , L, b ) A  1 2  n  1  2  m  A,  n  m  对于  定义线性映射  A : F Æ F  ， 即对任意的  n  X ŒF  ,X a AX  另一方面，还存在线性空间的同构定理  n  h  : V Æ F  h  : W Æ F m  1 2 则 （1）存在交换图  A V ææÆ