同态定义:
其实刚开始学,你看这个式子,其实不是很理解,我解释一下
首先自变量a,b都是代数系统A的元素,f(a),f(b)都是代数系统B的元素,f是一个运算法则,A中的元素在自身代数规则句号的作用下的a句号b,(由于封闭性任然是A中的元素),a句号b在f函数的作用下的 f(a句号b),等同于f(a),f(b) ( b中的元素 )在自身代数规则 * 的作用下的 f(a)*f(b) (任然是B中元素) 再想想同态的中文含义,不就是两个代数系统之间的某些关系,只不过需要外加一个 f 运算法则让A指向B,并且A,B自身运算,构成一个同态。
你看这个例子,虽然比较简单,但是 你要根据同态的定义来看,先定义一个f规则,让一个代数系统指向另一个代数系统,然后验证 f(a (A代数规则) b)=f(a) B代数规则 f(b) ,这就是同态,表示两个代数系统之间的关系。
这个例子是取f(x)=3x,对应的映射不是满射,是单射,所以不是双射,因此不是这样这两个代数系统就不是同构, 如果取 f(x)=x 或 f(x)=-x 对应的两个代数系统就是满射加单射,是双射,这样在f(x)=x或-x的作用下,两个代数系统就是同构关系
仔细分析这个例子也是同构,因为对应的 f(x) 满足双射
再看看这个例子,实数上的加法用f=e^x这个函数对应上了正实数上的乘法
同态还有一个性质:幺元保持性 f(A的幺元)=B的幺元
验证是不是同态映射的办法与步骤
满同态与单同态
同态像
同构就放下一篇讲了