第12章 代数系统

代数系统

代数运算

二元运算:A,B,C是非空集合,从A×BC的映射(或函数)f:A×BC称为A×BC的二元代数运算,简称二元运算
算符:二元运算中除了用以外,还常用,,+,,,,,
运算表:当集合AB是有限集合时,一个A×BC的代数运算可以借用一个表来表示,称该表为运算表
二元运算封闭:如果A×AA的二元运算,则称运算对集合A是封闭的,或者称A上的二元运算

*n元运算:A1,A2,,AnA是非空集合,从A1×A2××An,到A的一个映射(或函数) A1×A2××AnA称为从A1×A2××AnAn元代数运算,简称n元运算.当n=1时,称为一元运算.
*n元运算上的封闭:是从A1×A2××AnAn元代数运算,如果A1=A2=...=An=A,则称运算对集合A是封闭的,或者称A上的n元代数运算.

代数系统与子代数

代数系统

代数系统:

同类型:

<P(S),,,∼>称为集合代数
<S,,V,¬>称为命题代数

子代数

<A,1,2,,m>是代数系统,如果

  1. BAB
  2. 1,2,,m都是B上的封闭运算

<B,1,1,,m>也是一个代数系统,称其为<A,1,2,,m>的子代数系统,简称子代数,又若BA,则称<B,1,2,,m><A,1,2,,m>的真子代数.

代数系统的应用

例题:
用代数系统说明正常调节之间的联系:

解:
设集合A是所有正常调节的字符串,则对任意x,yA,令xy=xy
其中称为字符串之间的连接运算
设集合B={10m10n1|m,nN}
对任意xAx可以被表示为B中有限个字符串的连接
<A,>是一个代数系统

代数系统的基本运算和性质

*广群:只有一个二元运算的代数系统<A,>

二元运算律(六律)

结合律

  • 定义:

只有当运算满足结合律是才有abc=(ab)c=a(bc),否则abc有歧义

交换律

  • 定义:<A,>是二元代数系统,如果对a,bA,都有ab=ba,则称A上是可交换的,或称满足交换律.

消去律

  • 定义:(有元,左右消)

幂等律

  • 定义:(有元)
  • n次幂:若满足结合律,定义a的正整数幂an,称为an次幂

分配律

  • 定义:(左右分配abc)

吸收律

  • 定义:(左吸xxy)
    是集合A上的二元运算,<A,,>是一个代数系统,若对x,yA,都有x(xy)=x以及x(xy)=x,则称满足吸收律.

如果满足第一分配律,且满足结合律,且a(b1b2bn)=(ab1)(ab2)(abn)

表中结论:

代数系统的性质(五元)

另外两元即可消去元、幂等元,在六律里面介绍过

幺元

  • 定义:
  • 寻找方式:
  • 唯一性定理:(唯一性的证明一般用反证法)

零元

  • 定义:(幺元和零元称为代数系统的特异元)
  • 寻找方式:

  • 零元与可消去元:零元一定不是可消去元,故存在零元的运算不满足消去律
  • 唯一性定理:

逆元

  • 定义:(若a1a的逆元,则aa1互为逆元)
  • 逆元与可消去元:
    逆元(左逆元/右逆元)一定是可消去元(左可消去元/右可消去元),但可消去元不一定是可逆元.
    在满足结合律的二元运算中,若a,b分别有逆元a1,b1,则(ab)1=b1a1
  • 唯一性定理:

幺元例题:
<P(A×A),>,其中P(A×A)表示集合A上的所有二元关系集合,运算表示关系的复合
解:

逆元例题:
下列代数系统中是否存在可逆元,如果存在,则计算可逆元的逆元
<Z+,+>,其中Z+是正整数集,+是普通加法运算
解:由于该代数系统不存在幺元,所以Z+中的元没有逆元

例题:

(1)验证<G,>是代数系统
解:

(5)如有可逆元,计算这些元的逆元
解:

同态与同构

同态与同构

同态与同构

  • 定义:
  • 单一同态、满同态、同构:

  • 同态或同构的证明方法:(对于两个运算表,如果一个运算表改名并交换行列顺序后与另一个运算表相同,则这两个运算同构)

同态映射与子代数:ψ是从<A,><B,>的同态映射,那么ψ<(A),><B,>的子代数.

同态的性质

满同态的性质

  • 对于结合律、交换律、五元:
  • 对于分配律、吸收律:

由于ψ<A,><ψ(A),>的满同态,所以满同态的性质在这两个代数系统之间成立.

同构的性质:ψ是从<A,><B,>的同构映射,则ψ的逆映射ψ1是从<B,><A,>的同构映射,因此,不仅<B,>中的性质可以通过ψ转化为<A,>中的性质,而且<A,>中的性质可以通过ψ1转化为<B,>的性质,即这两个代数系统具有完全相同的代数性质.

同态与同构的应用

例题1:

解:

例题2:

posted @   kksk43  阅读(265)  评论(0编辑  收藏  举报
相关博文:
阅读排行:
· 全程不用写代码,我用AI程序员写了一个飞机大战
· DeepSeek 开源周回顾「GitHub 热点速览」
· 记一次.NET内存居高不下排查解决与启示
· MongoDB 8.0这个新功能碉堡了,比商业数据库还牛
· 白话解读 Dapr 1.15:你的「微服务管家」又秀新绝活了
历史上的今天:
2021-03-15 概率论笔记(2)
特效
黑夜
侧边栏隐藏
点击右上角即可分享
微信分享提示