商半群的二元运算问题Let(S,*) be the semigroup whose operator table is given below.Let R be the equivalence relation on S defined by the partitin {{x,y},{z,w}}.construct the operator table for qoutient semigroup (S/R,#).本来中间是有个
来源:学生作业帮助网 编辑:六六作业网 时间:2024/11/15 09:32:17
商半群的二元运算问题Let(S,*) be the semigroup whose operator table is given below.Let R be the equivalence relation on S defined by the partitin {{x,y},{z,w}}.construct the operator table for qoutient semigroup (S/R,#).本来中间是有个
商半群的二元运算问题
Let(S,*) be the semigroup whose operator table is given below.Let R be the equivalence relation on S defined by the partitin {{x,y},{z,w}}.
construct the operator table for qoutient semigroup (S/R,#).
本来中间是有个证明R是同余关系的小题,我大概证的是因为 {{x,y},{z,w}},得xRy,zRw,由运算表格证得(x*z)R(y*w)即可。
商群的运算表格时,那个#号我读不懂。于是把它理解为*了= 我用的是公式[a]*[b]=[a*b](不知道能不能用这个式子),但是如果这样的话,[x]*[x]!=[y]*[y],但是由类的定义,[x]不是应该等于[y]的吗?他们的运算竟然不同?
那什么。不一定真的就必须给我那个运算表,谢绝乱码回答。
商半群的二元运算问题Let(S,*) be the semigroup whose operator table is given below.Let R be the equivalence relation on S defined by the partitin {{x,y},{z,w}}.construct the operator table for qoutient semigroup (S/R,#).本来中间是有个
既然xx!=yy,R就不是同余了吧,说明第1问有问题啊.
这是什么东西?