6.2.1 群的基本概念