11.2.1 群定义