1.2-群的概念

什么是代数运算？

什么是群: 在群G上的二元运算 $\cdot$ 满足

• $G0$ : $\cdot$ 是一个代数运算
• $G1$
• $G2$
• $G3$