黄赞勇同学期末试卷答案-天津大学研究生e-Learning平台.doc

天津大学2013～2014学年第一学期研究生课程考试试卷 课程名称：抽象代数 课程编号：S210G041 学院：理学院 专业：运筹学与控制论 学号：2013210044 姓名：黄赞永 题号一二三四五六七八九十成绩核分人 签字得分 一、填空题（每空1分，总计20分） 1.设为一个环，且，则中元素个数为 1 ，所以为 零环 . 2.已知为环的，则为环的 ，中的元素可以表示为. 3.设为非零环，为幂零元，且，称为的阶数，则的阶数为 2 ； 设，则为幂零元是为零因子的 充分不必要 条件. 4.设为环的，为的单位，若，则1 ， . 5.设为的，定义自然同态，则 ，若为单同态，则 . 6.已知环仅含有一个极大，则为 局部环 ，设均为有限生成的模，，则 . 7.设为有限生成的模，为的，为模的一个自然同态，使得，设为的一组生成元，且有，显然有满足如下方程： 若为上三角阵，则 ， ， . 8.设为模，对环的一切极大都有，若为的一个素，则 . 9.设为一个模同态，对一切素有为双射，则为 双射 ，若为一极大，则为 双射 （单射，满射或双射）. 10.若为中所有素的交，则分式环为的 小根 （小根或大根）； 设为环同态，为的素，若为中一个素的局限，则有 . 二、简单题（每题4分，共5小题，总计20分） 1.举例说明四元代数. 定义环，其中，中的加法和乘法运算定义为： 这里表示的共轭： （均为实数） 2.简要说明群、环、整环、除环和域之间的关系. 环是在群的基础上引入乘法运算，构成乘法半群并满足分配律及单位元存在； 不含有非零零因子的环构成整环； 非零元都有单位的环为除环； 域是可交换的除环. 3.简要论述每个真必含于某个极大. 设为环的一个真，则有，所以中必含有一个极大（任何非零环必含有一个极大）. 映射为满同态，由同态基本定理可知中含的极大与中的极大一一对应，显然，因此必然含于某个极大. 4.简述何为范畴与函子，两者之间有什么联系. 范畴由以下要素构成： 由构成的???； 由构成的类，其中由的所有态射（）构成； 二元运算（态射复合），使得，都有 且态射复合满足结合律和单位元公理. 函子：范畴之间保持结构的映射，即以范畴为对象的范畴间的， 范畴范畴 使得两个范畴间的对象，，单位元，二元运算相对应. 5.结合所学知识，简要论述《抽象代数》主要的研究对象是什么？ 抽象代数作为数学的一门学科，主要以代数结构为主要研究对象，如群、环、域、模和代数等，其通过分析具有不同内部结构（这种结构主要通过所定义的内部成员间的运算反映）的集合，以找到各类集合之间的对应关系（类似于“代数的拓扑结构”），从而抽象出不同代数结构之间的普遍联系（即公理化性质），最终通过类比将不同的逻辑结构统一为简单地由公理构成的核心. 三、设为含有单位元的交换环，证明下列条件等价： 是域； 的只有； 到任意非零环的同态均为单同态.（本题15分） Proof 若为域，假设中存在非平凡理想，显然中含有非零元，不妨设. 为域， 又为的，，则有，矛盾于关于为非平凡理想的假设，因而的只有； 若的只有，设为中的任意非零元，假设不存在逆元，显然有，进而有（真包含），矛盾于只有平凡理想，因而必有逆元存在，即是域； 若为域，假设到某个非零环的同态不是单同态，则有，那么存在非零元. 为域，，即有，所以为零环，矛盾于假设，故到任意非零环的同态均为单同态. 若到任意非零环的同态均为单同态，设为中的任一非零元，若不存在逆元，显然为单同态，则有，矛盾于为非平凡，故必有逆元，即是域. 四、设是环，而是系数属于的形式幂级数所组成的环，证明： 是中可逆元是中可逆元； 如果幂零，那么对一切都幂零，逆命题是否成立？ 属于环的大根属于环的大根.（本题15分） Proof 若是可逆元，则。特殊地，，故是中可逆元； 如果是中可逆元，令，，则，有，故是可逆元. 假设幂零，则，使得，，故是幂零；考虑，幂零，，使得，，故幂零，依此类推，，幂零，命题得证. 逆命题未必成立. 令 则，.显然，幂零，但不是幂零. 设，则 . 是中可逆元，由知是中可逆元，. 若，，那么是中可逆元，由知是中可逆元，. 五、证明以下两个命题（本题10分） 1.设为环中幂零元，证明是的可逆元，由此推出幂零元和可逆元的和为可逆元.（本小题5分） Proof 设为环的一个单位，为的幂零元，假设不是可逆元，那么存在一个极大（中的任一非可逆元素都包含于某一个极大中）. 显然极大为，所以，因而有. ，矛盾于为极大，故为可逆元，即有幂零元和可逆元的