尽量举一些例子，然后抽象出他们的共同的性质。比如{Z，+}，{Q*，×},{GL(K，n),×}，某个集合S上的变换群，等等。他们都在某个集合G上定义了一种代数运算即乘法，乘法有结合律，有一个幺元，每个元都有逆元，这样的集合和运算{G,*}就是群的概念。
