“群〃的定义是指，设G是一个带有运算的非空集合，并且满足封闭律与逆元律，则称G 是一个群。( )