群的运算满足交换律