CINTA加分作业4

设p和q是两个不同的素数，G是阶为pq的阿贝尔群，请证明G是循环群。

证明：
若G没有非平凡子群，则G显然是循环群。
当G有非平凡子群时，由拉格朗日定理得存在G的一个阶为p的子群H，且H是循环群，对于任意非单位元h∈H都是H的生成元。同理可得存在另一个阶为q的子群K，则K = < b >,H = < a >。由于G是阿贝尔群，所以H,K也是阿贝尔群。则a^pb^pa^qb^q = a^pa^qb^pb^q = a^pqb^pq = (ab)^pq ，则对于任意g∈G，存在a，b使得g = (ab)^pq，所以G是循环群，且G = <a,b>。