近世代数习题解答张禾瑞三章.docxVIP

  • 106
  • 0
  • 约8.07千字
  • 约 20页
  • 2021-09-05 发布于四川
  • 举报
近世代数习题解答 第三章环与域 1加群、环的定义 证明,本节内所给的加群的一个子集作成一个子群的条件是充分而且必要的. 证(。假设,是一个子群 贝Q,。G S 。€ S 。是S的零兀,即0 + a — a 对G的零兀,O + q = q「.0 = 0 即 0 6 s 二 0 - c S. (ii)假设 + 今证S是子群 由a.b eSna + bwS,S对加法是闭的,适合结合律, 由 ieS=-osS,而且得= 0eS 再证另一个充要条件: 假设 S 是子群,a,b w S = a,-b eS = a-beS 反之 3cSm- = OcSnO-i = -eS 故 n a —(-b) = a + b w S R = {O,q,,c},加法和乘法由以下两个表给定: + 0 a b c 0 a b c 0 0 a b c 0 0 0 0 0 a a 0 c b a 0 0 0 0 b b c 0 a b 0 a b c c c b a 0 c 0 a b c 证明,R作成一个环 证R对加法和乘法的闭的. 对加法来说,由2.9.习题6, R和阶是4的非循环群同构,且为交换群. 乘法适合结合律x(yz) = 3y)z 事实上. 当x = 0或X = Q, (A)的两端显然均为0. 当x = b或x=c, (A)的两端显然均为yz. 这已讨论了所有的可能性,故乘法适合结合律. 两个分配律都成立x(y + z) = xy + xz 事实上,第一个分配律的成立和适合律的讨论完全一样, 只看工=0或工=。以及x = 或工=。就可以了. 至于第二个分配律的成立的验证,由于加法适合交换律,故可看 y = 0或y = 3 (可省略z = 0,z = a的情形)的情形,此时两端均为zx 剩下的情形就只有 /. R作成一个环. 2交换律、单位元、零因子、整环 证明二项式定理 在交换环中成立. 证用数学归纳法证明. 当〃=1时,显然成立. 假定n = k时是成立的: 看〃=上+ 1的情形(。+人)*(。+ /?) (因为(尸)= (:) + ()) 即二项式定理在交换环中成立. 假定一个环R对于加法来说作成一个循环群,证明R是交换环. 证设。是生成元 那么R的元可以写成 na (〃整数) 证明,对于有单位元的环来说,加法适合交换律是环定义里其他 条件的结果(利用(。+们(1 + 1)) 证 单位元是1, a,b是环的任意二元, 找一个我们还没有提到过的有零因子的环. 证 令R是阶为2的循环加群 规定乘法:a,b g R而ab = 0 那么R显然为环. 阶为2 .?.有而心0 但 aa = 0 即1为零因子 或者R为〃 x 〃矩阵环. 证明由所有实数a + b^2 整数)作成的集合对于普通加法和乘法来说 是一个整环. 证令 R = {i + b42 (a,b 整数)} (i ) R 是加群(i + Z?很)+ (c + d扼)= (】 + c) + 0 + d)扼 适合结合律,交换律自不待言.零元 0 + Oa/2 。的负 7U Q (ii) ( + Z?V2)(c + 6?V2) = (ac + 2bd) + (ad + Z?c)V2 乘法适合结合律,交换律,并满足分配律. (iii) 单位元 1 + oV^ (iii) R没有零因子,任二实数】8 = 0m = 0或人=0 3除、环、域 日={所有复数a + bi 力是有理数} 证明 F =对于普通加法和乘法来说是一个域. 证 和上节习题5同样方法可证得F是一个整环. 即a,b中至少一个公0并且( 即a,b中至少一个公0 (ii) a-^-bi^0 使(八时土^/牛1:.a2 +b2。。因而有, a -b a2 +b2 * / +屏, 故F 使(八时土^/牛1 F = {所有实数a + bg 证明 F对于普通加法和乘法来说是一个域. 证 只证明a + by[3 0有逆元存在.那么中至少有一个云0 , 我们说。2-3b2 ^0 不然的话,疽=3所 假设b = 0 贝【J a = 0矛盾) 2 3 = 土 但不是有理数 b 既然 a2-3b2^Q 那么a + b后的逆为+ a -3b a -3b 证明 例3的乘法适合结合律. 证[(%,“1)02,”2)](%伊3) 又 0)[(明,腐)(%)] =[%(6^2。3 — ”3 )—也(。2月3 + 。3 ), 验证,四元数除环的任意元(。+切),(。+勿),这里a,b,c,d是实数,可以写成 0,0) + 0,0)00) + (.0)(0,1) + (J,0)(0,0 的形式. 证 (1 + 所,c + di) = (q, c) + (bi, di) 4无零因子环的特征 假定F是一个有四个元的域,证明. (。)的特征是2; (b) F的更0 或11的两

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档