- 27
- 0
- 约1.6万字
- 约 67页
- 2017-03-11 发布于广东
- 举报
离散数学第六章代数系统课件.ppt
6.6 积代数 定理6.12: 设S1=A,? ,S2=B,? 是同类型的代数系统,S= A×B, · 为 S1 和 S2 的积代数。 如果? 和?运算可交换(可结合、幂等),那么·运算也是可交换(可结合、幂等)。 如果e1和e2分别(θ1 和θ2)是? 和?运算的单位元(零元),那么e1,e2 也是·运算的单位元。 如果x和y分别是? 和?运算的可逆元素,那么x,y也是·运算的可逆元素,其逆元是x-1,y-1 PART 01 PART 02 PART 03 代数系统的一般概念 代数系统的基本性质 同态与同构 PART 04 代数系统实例 PART 05 同余、商代数、积代数 6.7 代数系统实例 按下面的条件,给出尽可能简单的代数系统实例。给出的代数系统须含有一个二元运算,运算可用运算表定义,给出的代数系统可以同时满足1个或多个条件。 (1) 有幺元; (2) 有零元; (3) 同时有幺元和零元; (4) 有幺元但无零元; (5) 有零元但无幺元; (6) 运算不可交换; (7) 运算不可结合; (8) 有左零元,无右零元; (9) 有右幺元,但无左幺元; (10) 有幺元,每个元素有逆元; (11) 满足幂等性; (12) 满足消去律 END 性质9 可约率与可约元 给定S,⊙且零元θ∈S,则 ⊙满足左可约律或是左可约的:(?x)(?y)(?z)((x,y,z∈S∧x ≠ θ∧x⊙y = x⊙z) → y = z),并称x是关于⊙的左可约元。 ⊙满足右可约律或是右可约的:(?x)(?y)(?z)((x,y,z∈S∧x ≠ θ∧y⊙x = z ⊙x)→ y = z),并称x是关于⊙的右可约元。 若⊙既满足左可约律又满足右可约律或⊙既是左可约又是右可约的,则称⊙满足可约律或⊙是可约的。 若x既是关于⊙的左可约元又是关于⊙的右可约元,则称x是关于⊙的可约元。 6.2 代数系统的基本性质 可约律与可约元也可形式地定义如下: ⊙满足可约律:(?x)(?y)(?z)(x,y,z∈S∧x ≠ θ∧((x⊙y = x⊙z∨y⊙x = z⊙x)→y = z)) 给定S,⊙且零元θ,x∈S。x是关于⊙的可约元:(?y)(?z)(y,z∈S∧x ≠ θ∧((x⊙y)= x⊙z∨y⊙x = z⊙x)→ y = z))。 6.2 代数系统的基本性质 例6.24 给定Z,×,其中Z 是整数集合,×是一般乘法运算。显然,每个非零整数都是可约元,而且运算×满足可约律。 定理6.9 给定S,*且*是可结合的,如果x是关于*可逆的且x ≠ θ,则x也是关于*的可约元。 6.2 代数系统的基本性质 最后,作一补充说明,用运算表定义一代数结构的运算,从表上能很好地反映出关于运算的各种性质。为确定起见,假定S,*及x,y,θ,e∈S。 (1)运算*具有封闭性,当且仅当表中的每个元素都属于S。 (2)运算*满足交换律,当且仅当表关于主对角线是对称的。 (3)运算*是等幂的,当且仅当表的主对角线上的每个元素与所在行或列表头元素相同 (4)元素x是关于*的左零元,当且仅当x所对应的行中的每个元素都与x相同;元素y是关于*的右零元,当且仅当y所对应的列中的每个元素都与y相同;元素θ是关于*的零元,当且仅当θ所对应的行和列中的每个元素都与θ相同。 6.2 代数系统的基本性质 (5)元素x为关于*的左幺元,当且仅当x所对应的行中元素依次与行表头元素相同;元素y为关于*的右幺元,当且仅当y所对应的列中元素依次与列表头元素相同;元素e是关于*的幺元,当且仅当e所对应的行和列中元素分别依次地与行表头元素和列表头元素相同。 (6)x为关于*的左逆元,当且仅当位于x所在行的元素中至少存在一个幺元,y为关于*的右逆元,当且仅当位于y所在列的元素中至少存在一个幺元;x与y互为逆元,当且仅当位于x所在行和y所在列的元素以及y所在行和x所在列的元素都是幺元。 6.2 代数系统的基本性质 6.2 代数系统的基本性质 PART 01 PART 02 PART 03 代数系统的一般概念 代数系统的基本性质 同态与同构 PART 04 代数系统实例 PART 05 同余、商代数、积代数 6.3 同构与同态 6.3.1 同态 定义6.6:设有两个代数系统A,°,B,*,其中*与o均为二元运算,则称A,o同态于B,*,若存在映射f:A?B,使得对任意的a,b?A。有: f(a*b)=f(a)of(b) 其中f(a),f(b)与f(a*b)均为B中的元素。此时称f为代数系统A,°到代数系统B,*的一个同态映射。 6.3
您可能关注的文档
- 神经解剖图片-2课件.ppt
- 神经轴突的神经传导的电学模型课件.ppt
- 神话原型批评课件.ppt
- 神话概论课件.ppt
- 票据业务相关知识银行课件.ppt
- 禄丰三中-拜如雄-地理自然灾害与防治2009高考题集锦》课件.ppt
- 福克纳烧马棚美国文学课件.ppt
- 福利国家与社会保障课件.ppt
- 福利经济学课件.ppt
- 福利设计与管理课件.ppt
- 2025年全国演出经纪人员资格认定考试试卷带答案(研优卷).docx
- 2025年全国演出经纪人员资格认定考试试卷完整版.docx
- 2025年全国演出经纪人员资格认定考试试题库及完整答案.docx
- 2025年全国演出经纪人员资格认定考试试卷完美版.docx
- 2025年全国演出经纪人员资格认定考试试卷含答案(实用).docx
- 2025年全国演出经纪人员资格认定考试试卷及答案(各地真题).docx
- 2025年下半年内江市部分事业单位公开考试招聘工作人员(240人)备考题库附答案.docx
- 2025年全国演出经纪人员资格认定考试试卷及答案1套.docx
- 2025年下半年四川成都市郫都区面向社会引进公共类事业单位人员2人备考题库最新.docx
- 2025年下半年内江市部分事业单位公开考试招聘工作人员(240人)备考题库附答案.docx
最近下载
- 微机电系统MEMS简介课件.ppt VIP
- 大型活动交通需求预测和其交通组织管理方法研究.pdf VIP
- 苏州工业职业技术学院单招《数学》题库(精选题)附答案详解.docx VIP
- 共点力平衡的七大题型-Word版含解析.pdf VIP
- 人教版小学数学一年级口算比赛题库[全套].doc VIP
- 交通组织设计与优化.pptx VIP
- 2026年CNAS_认可评审员应知应会考点练习题及答案.docx VIP
- AP统计学 2012年真题 附答案和评分标准 AP Statistics 2012 Real Exam with Answers and Scoring Guidelines.pdf VIP
- 专题04 连接体模型(原卷版).docx VIP
- (完整版)mems简介课件.pptx VIP
原创力文档

文档评论(0)