20100514_群的定义及性质