2.1群 1)al的逆元是a,即a与al互为逆元， 又(ab)=b-lal。 2)群定义中可以将左单位元改写成右单元，左逆 元改成右逆元，其它条件不变，也可将左单位元 改成单位元，左逆元改成逆元，其它条件不变。 3)在群中有消失律成立，即 ab=ac=>b=c ba=ca=>b=c2.1 群 1) a -1的逆元是a，即a与a -1互为逆元， 又(ab)-1=b-1a -1 。 2) 群定义中可以将左单位元改写成右单元，左逆 元改成右逆元，其它条件不变，也可将左单位元 改成单位元，左逆元改成逆元，其它条件不变。 3) 在群中有消失律成立，即 ab=ac=>b=c ba=ca=>b=c