特别地,有限生成Abel群G就有极大正规子群,从而G就是它极大子群关于Abel单群的扩张。而Abel单群就是素数阶循环群,因此可以得知有限生成Abel群是t个Z直和关于若干个素数阶循环群的扩张。如果我们能说明关于Zp扩张和关于Zq扩张在p,q互素时可交换,那么似乎就可以通过讨论若干Zp的扩张的结构来(初等地)证明有限生成Abel群...