由于
M中的a已经和N中a相等了,所以
只要看M中的1,b 和N中的 a^2,ab的关系了
1）
当1=a^2 ,b=ab时,那么根据
b=ab,以及a^2=1
得到a=1,b=任意值
2）
当1=ab
b=a^2时候
那么
根据
ab=1=a*a^2=a^3=1
所以a=1
b=a^2=1
综上a=1,b=任意值