§20.1 群的概念