群的直积.docVIP

群的直积（Direct Product of Group） 群的直积是群论中的重要概念，也是研究群的重要手段之一，利用群的直积可以从已知的群构出新的群，可以用小群构造大群，也可以将一个群用它的子群来表示，这一节介绍子群的直积及其基本性质。 定义1 设是群，为集合G1与G2为的卡氏积（Cartesian product）,在G中定义乘法运算 。 则G关于上述定义的乘法构成群，称为群G1与G2的外直积（external direct product），记作，G1、G2称为G的直积因子(factor of the direct product)。 当G1、G2是加群时，G1与G2的外直积也可记作。 定理1 设是群G1与G2的外直积，则 G是有限群的充分必要条件是G1与G2都是有限群，并且，当G是有限群时，有； G是交换群的充分必要条件是G1与G2都是交换群。 ； 若令为G2的单位元，则A1是G的子群，且；若令为的单位元，则A2是G的子群，且。 证明 （1）由卡氏积的性质显然。 （2）如果G1和G2都是交换群，则对任意的有 ，所以G是交换群。 反之，如果G是交换群，那么对任意的，有，即。 故，，所以G1，G2都是交换群。 （3）构造映射 ，， 显然是双射，且 因此，是到的同构映射，即。 （4）构造映射 则易知是一个同构映射，因此是G的子群，同理可证另一个结论。 例1 设分别是3阶和5阶的循环群，则是一个15阶的循环群。 证明 首先，由定理1知，G是一个15阶的交换群，设，是G的单位元，则，所以都不等于，可知ordc由拉格朗日定理知，ordc=15，即是15阶循环群。 例2 这里 证明 对于4阶群中的任意元有 故中没有4阶元素，所以不是循环群，而4阶群在同构的意义下仅有两个，于是事实上， 到G的任意一个将零元映到的双射都是一个群同构。 定理2 设是群，和分别是和中的有限阶元素，则对于有 证明 设则从而的阶有限，设其为，则需证首先。又因为所以，于是且，从而t是m和n的公倍数，而s是m和n的最小公倍数，因此，从而。 例3 试确定中5阶元素的个数。 解 由定理2，即要确定中满足的元素的个数。即要求：或者且或5；或者且。分别讨论如下： （1），此时a可选，b可选，从而共有16个5阶的元。 （2）此时a如上，而b为故共有4个5阶元。 （3）同（1），故也有4个5阶元。 于是共有24个5阶元。 定理3 设和分别是m阶及n阶的循环群，则是循环群的充要条件是。 证明 设 假设是循环群。若，则由于而和的阶都是t，因此和是循环群中的两个不同的t阶子群，矛盾，所以。 反之，假设，则，所以是的生成元，因此是循环群。 定义2 设H和K是群G的正规子群，如果群G满足条件且，则称G是H和K的内直积（internal direct product）。 定理4 设H和K是G的子群，则G是H和K的内直积的充分必要条件是G满足以下两个条件： （1）G中每个元可惟一地表为hk的形式，其中； （2）H中任意元与K中任意元可交换，即：对任意，有hk=kh。 证明 如果G是H和K的内直积，则G=HK，所以，G中每个元g都可表为的hk形式，其中，如果则，从而，因此，即条件（1）成立。 对任意，考虑，则由于，故，同理，所以，即g=e，于是hk=kh，条件（2）成立。 反之，若H，K是G的子群，且条件（1）和（2）成立，则G=HK，又对任意的，其中，则由条件（2），所以。于是。同理可得。 对任意的，有ge = g = eg而由条件（1），g表示为hk的形式是惟一的，故得g = e，即。从而G是H和K的内直积。 例4 设G=，则易证G是的子群，令 则H和K是G的正规子群，显然，且对，有。 由定义知G是H和K的内直积。 例5 将自然地看作的子群，设，则K是的正规子群。显然。因此。从而。但是由于不是的正规子群，因此不是和K的内直积。 关于群的内外直积，我们有如下定理： 定理5 如果群G是正规子群，H和K的内直积，则；反之，如果群，则存在G的正规子群和，且与同构，使得G是和的内直积。 证明 如果群G是正规子群H和K的内直积，定义映射 则由于G=HK，故是满射，又由定理4知G中元与表为hk形式时表法惟一，故是单射，又对任意的，由于H中的元与K中的元可交换，故 所以是同构映射，从而。 如果。令 首先由定理1知，都是G的子群，与同构。且对任意的，这一表法是惟一的。 且对任意的，有。所以，由定理4知G是与的内直积。 定义3 设是有限多个群，构造集合 ， 并在G中定义运算。则G关于上述运算构成群，称为群的外直积，记作。称为G的直积因子。 定义4 设是群G的有限多少个正规子群，如果G满足以下两个条件，我们就称G是的内直积。 注：（2）也可以换成 对多个群直积的情