群元素阶的性质