离散数学-代数系统总结6-商代数-积代数

商代数:

我们在同余关系中介绍了  同余关系其实是同态映射的衍生物 就是因变量相同的自变量组合,f(x1)=f(x2)=f(x3)=y1; 则x1,x2,x3,就组成了一个商集中的元素 ,

商集两个不同等价组在新定义的商代数的代数系统代数规则下运算等于这两个等价组中任何一个元素在自身运算规则下的等价组

我们通俗来说就是两个等价组的运算还是一个等价组,由于运算具有封闭性,运算生成的新等价组也在商集中

等价关系是由同态映射函数生成的,所以知道等价关系也能推出同态映射

积代数:

离散数学-代数系统总结6-商代数-积代数_第1张图片

我来解释一下积代数S X T:  两个代数系统,所谓的积代数系统中的元素就是一个 序偶,序偶的第一个元素是S中的一个元素,第二个元素是T中的元素,

我们给出积代数新的代数规则 :

任意两个序偶在新运算的作用下,形成一个新的序偶,新的序偶第一个元素是运算前的两个序偶中s1,s2在S的代数规则下算出的另一个数,第二个元素类似

结合下面例子理解,就明白了

离散数学-代数系统总结6-商代数-积代数_第2张图片

再给出一个例子理解

离散数学-代数系统总结6-商代数-积代数_第3张图片

定理6.13设S1:=,S2.=是同类型的代数系统,S=< AXB,●>为S1,和S2的积代数。

(1)如果。和*运算可交换(可结合、幂等),那么●运算也是可交换(可结合、幂等)。

(2)如果e1和e2分别(a1和a2)是 。和*运算的单位元(零元),  那么    也是●运算
的单位元。

(3)如果x和y分别是。和*运算的可逆元素,那么也是●运算的可逆元素,其逆元是
 

之后可能停更一段时间,因为开学了

你可能感兴趣的:(离散数学2,学习)