计算题 幺半群M中的元素a称为可逆的，如彐a^-1使aa^-1=a^-1a=1.试证：可逆元的逆元唯一

幺半群M中的元素a称为可逆的，如彐a-1使aa-1=a-1a=1.试证：设a∈M，若彐b，c∈M使ba=ac=1则可逆，且a-1=b=c；（因而称a-1为a的逆元．） 点击查看答案

设HK是二群．在H×K={（h，k）∣h∈H，k∈K}中定义乘法为（h1，k1），（h2，k2）=（h1h2，k1k2）．试证：H1∩K1={（1，1′）}；H×K=H1K1.（H×K称为H1与K1的内直积）. 点击查看答案