第三讲中的旋转矩阵R以及变换矩阵T加上乘法运算就构成一种群。