问题标题：
离散数学代数系统证明题设A={a,b},且是一个半群,满足a*a=b,试证明：（1）a*b=b*a（2）b*b=b第一小问会做,求第二小问解答（据说用反证法）
问题描述：
离散数学代数系统证明题
设A={a,b},且是一个半群,满足a*a=b,试证明：（1）a*b=b*a（2）b*b=b
第一小问会做,求第二小问解答（据说用反证法）
陈团生回答：
分a*b=a和a*b=b两种情况讨论
a*b=a=>b*b=(a*a)*b=a*(a*b)=a*a=b
a*b=b=>b*b=(a*a)*b=a*(a*b)=a*b=b
点击显示
数学推荐
热门数学推荐