定理4 设代数系统A, ,这里是定义在A上的一个二元.pptVIP

定理4 设代数系统A, ?，这里?是定义在A上的一个二元运算，A中存在幺元e，且每一个元素都有左逆元。如果?是可结合的运算， 那么，这个代教系统中任何一个元素的左逆元必定也是该元素的右逆元，且每个元素的逆元是唯一的。 证明：设a，b，c?A，且b是a的左逆元，c是b的左逆元。 因为 (b?a)?b=e?b=b 所以 e= c?b=c?((b?a)?b) = ( c? (b?a) ) ?b =( c? b)?a)?b =( e?a)?b =a?b 因此，b也是a的右逆元。 设元素a有两个逆元b和c， 那么 b =b?e=b?(a?c) =(b?a)?c =e?c =c 因此，a的逆元是唯一的。 可以指出：A, ?是一个代数系统，?是A上的一个二元运算，那么该运算的有些性质可以从运算表中直接看出。那就是：  1．运算?具有封闭性，当且仅