展开 阿贝尔群一定是循环群吗