��算比如加法是不被讨论的。数学家们把乘法抽象出来，就成为了群。群需要满足以下三条性质：</span></div>
<div style="text-indent: 15.75pt"><span style="font-size: medium">结合律：对群中的任意元素a,b,c 有 a(bc)=(ab)c</span></div>
<div style="text-indent: 15.75pt"><span style="font-size: medium">单位元：在群中存在唯一的元素e，它对群中任意的元素a有ea=a，ae=a</span></div>
<div style="text-indent: 57.75pt"><span style="font-size: medi