有限abel群的结构定理（FundamentalTheoremofFiniteAbelian.docVIP

有限Abel群的结构定理（Fundamental Theorem of Finite Abelian Groups） 有限Abel群是群论中已被研究清楚了的重要群类，也是应用比较广泛的群类，本节的主要结论是有限Abel群可以分解成阶为素数的方幂的循环群（循环p-群）的直积，而且表法是唯一的。我们先看几个具体的例子。 4阶群都是Abel群，它们有两种互不同构的类型，代表分别是。 6阶群有两种不同的类型，代表分别是，其中是非Abel群；是Abel群，且。 8阶Abel群有三种不同的类型，代表分别是。 9阶群都是Abel群，它们有两种互不同构的类型，代表分别是。 这些有限Abel群都同构于循环群或者循环群的直积，并且每个循环群的阶都是一个素数的方幂，这些循环群的阶组成的有重集合正好是该群阶素数方幂乘积的所有可能组合。例如8阶Abel群，有三种情形：，分别对应于8写成素数方幂乘积所有可能的形式（三种）：。 下面我们讨论一般有限Abel群的结构。 引理1 设是群G的一个元素，a的阶等于。其中与是两个互素的正整数，那么a可以唯一的表示成，式中的阶是；；而且都是a的方幂。 证明 因为与互素，所以存在整数使得。于是，令，则，而且都是的方幂。因为，所以的阶是的因子。由于与互素，从而互素，并且，故的阶等于。但是的阶是，所以必有。 再证表法的唯一性。设，其中满足条件。那么，注意到可以交换，所以的阶是的因子，同理的阶是的因子，又与互素，故必有，从而。 引理2 设是群的有限阶元素，，是使的最小正整数，则 （1） 当时，； （2） 当ord a 。 证明 （1）令，则，由k的最小性知，。因此，k|s 。 （2）由条件可知存在。令。设ord a=n，则，由k的最小性知，。假若，则由（1）可知n|s,所以，与矛盾。因此，ord a 。 定理1 设G是一个n（）阶Abel群，，其中是互异的素数，，那么。其中表示G中阶为素数的方幂的元素的全体（这里因为非空，而且对G的运算封闭，所以是G的子群）。 证明 由引理1，考虑分解成几个互素的因子的一般情形，可证结论。 因中元素的阶都是素数的方幂，的阶也是素数的方幂，，所以。 定义1 如果群G中一个元素g的阶为素数p的一个方幂，则称g为一个p－元素(p－element)。如果群G的阶是素数p的一个方幂，则称G为一个ｐ－群(ｐ－group)。 定义2 设群G的阶为是一个素数，q与p互素，那么G的阶子群称为G的一个Sylow p－子群(Sylow p－subgroup)。 定理1说明每个n阶Abel群可以表示为它的Sylow p－子群的直积。 定理2 （有限Abel群的结构定理Abel群）阶Abel群，，其中是互异的素数，，那么 ， 其中且。称每个为群的初等因子(elementary divisor)，其全体称为群的初等因子组(group of elementary divisor)。 证明 由定理1我们仅需证明G是素幂阶有限Abel群即可。为此，我们可设是素数，是正整数。 （1）存在性 设，且是G的使最小的一组n元生成系，即对G的任何一组n元生成系均有。下面证明：。 令，仅需证。若不然，不妨设，，其中。再令是使的最小正整数且不妨设，则由引理2，。但是，，故每个都是p的方幂，从而都是p的方幂而且，再由引理2可得 （1） 再由于，故可令 ， （2） 从而由此可知 ， 故。于是由（2）知 ， （3） 由此等式又可知，从而由引理2，。进而。令 ， （4） 并且令 ， （5） 则由此可知 。从而 即也是群G的一组n元生成系。 然而由（5）以及（3），（4）可知 ， 于是由（1）知，ord().从而 ， 这与的最小性矛盾。因此，结论成立。 2） 唯一性 设 (6) 是G的两种这样的分解，且其初等因子组分别为 。 由于，故每个和每个，都是p的方幂。不妨假定 。 （1）若且不妨设rs，又。则由（5）知，G的阶按第一种分解为 , 而按第二种分解又为 , 这显然是不可能的。 （2）若，但。则令