离散数学-代数系统4-同构

从同构的定义可以看出来：在同态的基础上，新增的函数对应f，将两个代数系统联系起来必须是双向的，也就是双射

由定义可知,同构的条件比同态的严格,因为同构映射是双射,即一一对应。而同态映射不一定要求是双射。正因为如此,同构不再仅仅像满同态那样对保持运算是单向的，而是双向的。两个同构的代数,表面上似乎很不相同,但在结构上实际是没有什么差别的，只不过是集合中的元素名称和运算的标识不同而已。当探索新代数结构的性质时，如果发现或者能够证明该结构同构于另外一个性质已知的代数结构,便能直接知道新的代数结构的各种性质。对于同构的两个代数系统来说,在它们的运算表中除了元素和运算的标记不同外，其他都是相同的。因此，可以根据这些特征来识别同构的代数系统。

这里我解释一下，这个 +4 的含义：是模4加法，是运算符号，x+4y不是x加4倍y,是x通过+4这个运算符号，和y相加模4，如果不理解这个。炸一看会很奇怪，其实看完下面这个表之后，我们发现其实同构与同态的本质区别其实是对应映射函数的选择，如果满足双射，并且在运算上满足运算的像等于像的运算，就是同构。

给出一道例题，不需要计算，明白过程操作即可

可以看出这两个代数系统都有两个运算规则，但是我们不能惯性思维认为同构运算是位置上一一对应的，不是说S的代数系统中第一个代数规则就一定得对应T的运算第一个规则

这是需要根据具体计算而言

下面我梳理一下步骤：

首先我们对应一下运算，哪个运算对应哪个运算

接着我们把相应代数系统中的元素一一对应上，构成双射

接着我们分别验证两个运算规则是不是运算的像等于像的运算。

接下来我们总结一下同构和同态

这个规律是对于满同态来说的，那么对于同构来说就是双向的，由一方就能推出另一方，这也符合相关含义

下一节说说同余关系

离散数学-代数系统4-同构相关推荐

与编程密切相关的数学——离散数学——代数系统篇
文章目录思维导图链接分享代数系统广义的代数系统代数系统的基本概念定义:设A是个非空集合且fi是A上的ni元运算,其中i = 1,2,-,m.由A及f1,f2,-,fm组成的结构,称为代数结构 ...
离散数学-代数系统总结3-同态
同态定义: 其实刚开始学,你看这个式子,其实不是很理解,我解释一下首先自变量a,b都是代数系统A的元素,f(a),f(b)都是代数系统B的元素,f是一个运算法则,A中的元素在自身代数规则句号的作用下 ...
离散数学代数系统思维导图
离散数学笔记Discrete Mathematics
------------------------------------------------------------------- Design By 2100301629王家寧第一章集合 1 ...
近世代数笔记与题型连载第十二章（同态与同构）
文章目录基本概念同构的概念和性质同态与同构凯莱定理自同态和自同构同态核相关题型 1.证明两个代数系统是同态的 2.判断同态的类型(满同态.单一同态和同构) 3.对于指定的有限群,找出其对 ...
近世代数概论------整数
近世代数概论------整数交换环交换环基本性质有序整环良序原则数学归纳法可除性欧几里得算法公因子公倍数求(g.c.d.) 算术基本定理同余式环Zn 集合.函数与关系集合函 ...
离散数学·代数结构【代数系统的同态与同构、同余关系与商代数】
练习放在文末同态映射这里算是重点(老师在这里讲了很长时间,而且这里比较抽象) 找到的一个比较好的解释同态像同态象 <f(S),∗′,Δ′,k′> ,是代数系统 A′=<S′, ...
【离散数学】代数系统的同态(同构)
同态/同构设 < X , ★ > <X,\bigstar> <X,★>和
【离散数学】代数系统分类
文章目录代数系统分类半群独异点群环域布尔代数代数系统分类按照运算的性质可以将代数系统分成几类抽象的代数系统: 含有一个运算的:半群.独异点.群含有两个运算的:环.域含有三个运算的 ...

离散数学-代数系统4-同构

离散数学-代数系统4-同构相关推荐

最新文章

热门文章