抽象代数

群

$$\begin{array}{cc}& G\cdot G\to G(G,\cdot )isgroup⟺\\ & 1)\forall a,b,c\in G⟹a\cdot (b\cdot c)=(a\cdot b)\cdot c\\ & 2)\exists e\in G,\forall a\in G,a\cdot e=e\cdot a=e\end{array}$$