群的定义 若非空集合\(G\)和定义在\(G\)上的二元运算\(⋅\)构成的代数结构\((G,⋅)\),满足: 封闭性:\(\forall a,b\in G\),有\(a⋅b\in G\). 结合律:\(\forall a,b,c\in G\),有\((a⋅b)⋅c=a⋅(b⋅c)\). 单位元:\(\exists e\in G\),满足\(\forall a\in G\)有\(a⋅e=a\). 逆元:\(\forall a\in G\),\(\exists b\in G\)使得\(a⋅b=e\…