交换群一定是无限的吗