群的性质

• 左逆元同时也是右逆元，即对于 $a,b\in G$ ，如果 $ba=e$，则 $ab=e$
  • 设 $b^{\prime }$ 是 $b$ 的左逆元
  • $ab=eab=(b^{\prime }b)(ab)=b^{\prime }(ba)b=b^{\prime }b=e$
• 左单位元同时也是右单位元
  • $ae=a(ba)=(ab)a=ea=a$
• 单位元是唯一的
  • $e=e{e}^{\prime }=e^{\prime }$
• 逆元是唯一的
  • $b=be=b(ac)=(ba)c=c$

群的乘法满足消去律（左右都可以）

等价性质：如果 G 是一个群，$\forall a,b\in G$，方程

$$ax=b,ya=b$$

有解。反之，如果上面方程在非空集合 G 中有解，且运算满足封闭性结合律，则 G 关于该运算就是一个群