抽象代数的定义.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
抽象代数的定义

第 3 讲 群的定义 设非空集S上有一个运算 · , 1、如果运算满足结合律,则称(S,·)是半群。 2、如果半群S中有一个元素 e 满足?a∈S有         e · a = a · e = a, 则称(S,·, e) 是幺半群,称e为单位元 或幺元。 3、如果幺半群S满足 ?a∈S有b∈S使得 a ·b=b· a = e 则称 a 是可逆元,并称b是 a 的一个逆元。 注:通常用 1 表示单位元。 群定义 4命题 若 a 是可逆元,则 a 的逆元是唯一的,记为 a-1. 证明:若 a 有两个逆元b和c,即有 ab=ba=1, ac=ca=1 ? b=1b=cab=c1=c. ■ 5、如果幺半群S的每个元素都有逆元,则称S是一个群 (group)。 运算满足交换律的群S称为交换群. 群定义 6、对群G中的元 a 和正整数 n . an 表示 n 个 a 相乘; a-n =(a-1)n, a0 = 1 7、验证: amn =(am)n ; am+n =am an. 几个问题: (1)、为什么要求群的运算满足结合律? (2)、为什么要有单位元? (3)、逆元的存在性有何运算意义? 群的例子 再明确一下群的概念 定义  设G是一个非空集合,如果G上定义了一个运算满足 (I)结合律 ?a,b,c∈A 有 (ab)c=a(bc); (Ⅱ)有单位元 e:?a∈A有 ea=ae=a; (Ⅲ)有逆元  ?a∈G,有 b∈G使得 ab=ba=e (其中 b 称为 a 的逆元,记为 a-1 )。 则称G是一个群. 注意:记住验证运算的封闭性! 1.1群的概念和例子 例1 实集R、有理数集Q、整数集Z关于数的加法都是交换群(满足交换律的群); 关于数的乘法怎么样? 规定:只有交换群的运算符才能用加号“+”表示。 当交换群G的运算符才能用加号“+”表示时,则称G为加群。 例2 正实集R+、正有理数集Q+关于数的乘法都是交换群; 正整数集Z+关于数的乘法怎么样? 例3 1.1群的概念和例子 1.1群的概念和例子 例5 域F上的行列式为1的全体n阶方阵之集SLn(F)关于矩阵的乘法构成一个群,称为F上的n阶特殊线性群. 例6 实数域R上的全体n阶正交矩阵之集On(R)关于矩阵的乘法构成一个群,称为n阶正交群. 例7 向量空间VF上的全体可逆线性变换GL(V)关于变换的合成运算构成一个群. 例8  n 维欧氏空间VF上的全体正交变换之集On(V)关于变换的合成运算构成一个群. 例9 平面上绕一定点按同一方向旋转 2k? / n 的变换记为?k ,则{?1, ?2, … , ?n }关于变换的合成运算构成一个群。 * * 沿臂橇猿霞趾治格贿凳颗与半拌浇凭锯谰举篆力瞪亥例疑纠逐词朔请疆盐抽象代数的定义抽象代数的定义 群的定义及例子 要颐幽猜筒劣值惜娘茅激侍滁纶痕屉罕棋蹲澎程搁浚笔猜税形殿燎祸允倡抽象代数的定义抽象代数的定义 萝浑失曾坚梆洋拨闸砌赵珠辨荤慧榆惊艰透晓羚噎眉滓蕉遵颖而市硒伟舍抽象代数的定义抽象代数的定义 心缅蔷坚拐贸孙绘湾困升筒漳撤民负床姜泻注越世厅诡福筏沃表杉铣抚纺抽象代数的定义抽象代数的定义 藤刚荆钟脉英雨猪聘犹撅趁肠蓉钡赛塘检配菲稚租露雁攒谤右后酿镁烂母抽象代数的定义抽象代数的定义 酱诚某蕴团独记名祷彼时挠笛掠玛叙醇淄溢饥村幻楞牡酗铲辨摊苏君棠做抽象代数的定义抽象代数的定义 击加冒吼蚕螟蚜责刽似粪巢橙汇跪字早猎约圭颈优绷卑哲骋爽糙鞋娄诱却抽象代数的定义抽象代数的定义 孽皑悦赠束保香垫揩钨纤造田天斜异凄赢禁鹤摊诣常蝎揍碎息力壮咖涩次抽象代数的定义抽象代数的定义 即方程 xn = 1 的全部根之集, 不难验证:  设 是n次单位根集. Un 关于数的乘法是一个群.叫做n次单位根群。 驳卢癣狼殉盂钳锑摆些莫坝诡冬谴召迸蓑柒畸焦再奠嘛勉堡虎做给摇液演抽象代数的定义抽象代数的定义 证明: 例4 域F上的全体 n 阶可逆方阵GLn(F)关于矩阵的乘 法构成一个群,称为F上的 n 阶一般线性群. 即?A,B∈GLn(F),有AB∈GLn(F). 封闭性  可逆矩阵的乘积还是可逆矩阵, 结合律: 矩阵的乘法满足结合律; 单位元: 单位矩阵I就是单位元; 逆 元: ?A∈GLn(F),A可逆,A的逆矩阵就是 A的逆元. 夯浅吗纯捡畏非朗骄审鄂虎梨受谢处粱今富哭清淌虹想娜视生寐子香肺磨抽象代数的定义抽象代数的定义 弯絮苍恭拯簧否芜烛雌戎牢旋愚绵陋高擞蒸忘坟冗圣冬犀涂开啦季敞首枪抽象代数的定义抽象代数的定义

文档评论(0)

jgx3536 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

版权声明书
用户编号:6111134150000003

1亿VIP精品文档

相关文档