2.1群 定理：设G是一个半群，则G作成群的充要条件 是：对任意的a,b∈G,方程ax=b,ya=b在G中 有解。 1)这是群定义的另一种形式。 2)在群G中，方程ax=b,ya=b的解唯一。 推论：有限半群G是群的充要条件是：在G中两 个消失律成立。2.1 群 定理：设G是一个半群，则G作成群的充要条件 是：对任意的 ，方程ax=b，ya=b在G中 有解。 1) 这是群定义的另一种形式。 2) 在群G中，方程ax=b，ya=b的解唯一。 推论：有限半群G是群的充要条件是：在G中两 个消失律成立。a b G , 