离散数学 第5章 代数结构.ppt

  1. 1、本文档共201页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学 第5章 代数结构

第三篇 代数系统 本篇用代数方法来研究数学结构,故又叫代数结构或近世代数。它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。本篇讨论一些典型的代数系统及其性质(包括格)。 第三篇 代数系统 第五章 代数结构 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6 陪集与拉格朗日定理 §7 同态与同构 §8 环和域 §5-1 代数系统的引入 一、n元运算 §5-1 代数系统的引入 【闭运算】对给定集合R中的元素进行运算,运算的结果都在原来的集合R中,称具有这种特征的运算是封闭的,简称闭运算。 §5-1 代数系统的引入 定义1 设A是一个集合,f是一个函数,f:An?B,则称f为A中的n元运算,整数n称为运算的阶(元,次)。 若 B?A,则称该n元运算是封闭的。 若n=1,则称f: A?B为一元运算; 若n=2,则称f: A2?B为二元运算。 §5-1 代数系统的引入 例:(1)在I和R集合中,+,-,×均为二元运算,且是封闭的。 (2)在集合Z的幂集?(Z)中,?,?均为二元运算,而“~”是一元运算,且均为封闭的。 (3){命题公式}中,∨,∧均为二元运算,而“?”为一元运算,是封闭的。 (4){双射函数}中,函数的合成运算是二元运算,是封闭的。 (5)在正偶数集合中,对×,+是封闭的;在正奇数集合中,对×是封闭的,而对+不是封闭的。 §5-1 代数系统的引入 定义2 一个非空集合A连同若干个定义在该集合上的运算f1,f2,…,fk所组成的系统就称为一个代数系统(代数结构),记作A, f1, f2, …, fk。 §5-1 代数系统的引入 代数结构常用一个多元序组S, ?, ?, … 来表示, 其中 S是载体,?,?,…为各种运算。有时为了强调S有某些元素地位特殊,也可将它们列入这种多元序组的末尾。 §5-1 代数系统的引入 例:I,+,对于+运算具有三个运算规律: (1) x+y?I 封闭性 (2) x+y= y+x 交换律 (3) (x+y)+z = x+(y+z) 结合律 §5-1 代数系统的引入 虽然集合不同,运算不同,但是它们是一些具有共同运算规律的运算,研究 I,+ 就相当于研究 I,·,R,+, ?(S),∪, ?(S),∩ 第五章 代数结构 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6 陪集与拉格朗日定理 §7 同态与同构 §8 环和域 §5-2 运算及其性质 一、二元运算的性质 1 封闭性 定义1 设?是集合A上的二元运算,如果对任意的x,y?A,都有x ? y?A,则称?运算在A上是封闭的。 §5-2 运算及其性质 2 交换性 定义2 设?是集合A上的二元运算,若对任意x,y?A,有x ? y = y ? x,则称?运算在A上是可交换的(或者说?在A上满足交换律)。 §5-2 运算及其性质 3 结合性 定义3 设?是集合A上的二元运算,若对任意x,y,z?A都有(x?y)?z =x?(y?z),则称?运算在A上是可结合的(或者说?在A上满足结合律)。 §5-2 运算及其性质 例3:设A是一个非空集合,★是A上的二元运算,对于任意a,b?A,有a★b=b,证明★是可结合运算。 §5-2 运算及其性质 4 分配律 定义4 设?和Δ是集合A上的二个二元运算, 若对任意x,y,z ?A,有 x ? (yΔz) = (x ? y)Δ(x ? z); (yΔz) ? x = (y ? x) Δ (z ? x), 则称运算?对Δ是可分配的(或称?对Δ满足分配律)。 §5-2 运算及其性质 例4:设集合A={?,β},在A上定义两个二元运算?和Δ如表所示。运算Δ对于运算*可分配吗?运算?对于运算Δ呢? 验证运算△对于运算?是可分配的。 从?和△的运算表中可以看出?和△两种运算都是可交换的。 故只须验证 α△(α*α)=(α△α)*(α△α) α△(α*β)=(α△α)*(α△β) α△(β*β)=(α△β)*(α△β)

文档评论(0)

wyjy + 关注
实名认证
内容提供者

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

1亿VIP精品文档

相关文档