定义:
简单来说就是:M1和M2两个集合之间有一个映射,叫s,可以使a->a1,b->b1,c->c1.其中,aob=c,a1o1b1=c1.(o和o1各自是自己集合上的一个代数关系),那么s就叫做M1到M2的一个同态映射。
如果M1可以把M2射满,那么这两个集合就同态。
同态的性质:
证明很简单,可以自己试一下。
看起来字多了很多,但其实前面都是废话,第一条性质把废话省略了。
同构下节课再讲。
定义:
简单来说就是:M1和M2两个集合之间有一个映射,叫s,可以使a->a1,b->b1,c->c1.其中,aob=c,a1o1b1=c1.(o和o1各自是自己集合上的一个代数关系),那么s就叫做M1到M2的一个同态映射。
如果M1可以把M2射满,那么这两个集合就同态。
同态的性质:
证明很简单,可以自己试一下。
看起来字多了很多,但其实前面都是废话,第一条性质把废话省略了。
同构下节课再讲。