作业帮 > 英语 > 作业

商半群的二元运算问题Let(S,*) be the semigroup whose operator table is

来源:学生作业帮 编辑:作业帮 分类:英语作业 时间:2024/05/10 12:36:35
商半群的二元运算问题
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]的吗?他们的运算竟然不同?
那什么。不一定真的就必须给我那个运算表,谢绝乱码回答。
既然xx!=yy,R就不是同余了吧,说明第1问有问题啊.
再问: ������ǰ����ĩ���⡣���������ϲ���?����xx��=yy��R�Dz���ͬ���ϵû������ϵ��
再答: ����û˵�����xRy����xx!Ryy��˵��R����ͬ�࣬��û��ɡ�