8 - 群的定义