群的阶与群中元素的阶的关系

石家庄铁道学院毕业论文

群的阶与其元素的阶的关系

摘 要

近世代数虽是一门较新的，较抽象的学科，但如今它已渗透到科学的各个领域，解决了许多著名的数学难题:像尺规作图不能问题，用根式解代数方程问题，编码问题等等．而群是近世代数里面最重要的内容之一，也是学好近世代数的关键．

本论文旨在从各个角度和方面来探讨群的阶与其元的阶之间的关系．具体地来说，本文先引入了群的概念，介绍了群及有关群的定义，然后着重讨论了有限群、无限群中关于元的阶的情况．并举了一些典型实例进行分析，之后又重点介绍了有限群中关于群的阶与其元的阶之间的关系的定理——拉格朗日定理，得出了一些比较好的结论．

在群论的众多分支中，有限群论无论从理论本身还是从实际应用来说，都占据着更为突出的地位．同时，它也是近年来研究最多、最活跃的一个数学分支．因此，在本文最后，我们介绍了著名的有限交换群的结构定理，并给出了实例分析．

关键词：群论 有限群 元的阶

石家庄铁道学院毕业论文

Abstract

The Modern Algebra is a relatively new and abstract subject, but now it has penetrated into all fields of science and solved a number of well-known mathematical problems, such as, the impossibility for Ruler Mapping problem, the solutions for algebraic equations with radical expressions, coding problems and so on. The group is one of the most important portions in the Modern Algebra, and also the key of learning it well. This paper aims at discussing the relations between the order of a group and the orders of its elements from all the angles and aspects. Specifically, this thesis firstly introduces the concept of a group and some relatives with it; secondly focuses on the orders of the elements in the finite group and the infinite group respectively, some typical examples are listed for analyses; thirdly stresses on the theorem - Lagrange's theorem on the relations between the order of a group and the orders of its elements in the finite group, accordingly obtaining some relatively good conclusion.

In the many branches of group theory, the finite group theory, whether from the theory itself or from the practical applications, occupies a more prominent position. At the same time, it is also one of the largest researches and the most active branches of mathematics in the recent years. Therefore, in this paper finally, we introduce the famous theorem of the structures on the finite exchanging groups, and give several examples for analyses.

Key words：group theory finite groups the orders of elements

石家庄铁道学院毕业论文

目 录

１ 绪 论 ······················································································································· 1 1.1 群论的概括 ················································································································· 1 1.2 群论的来源 ················································································································· 1 1.3 群论的思想 ················································································································· 2 2 预备知识 ························································································································· 2 2.1 群和子群 ····················································································································· 2

2.1.1 群的定义 ········································································································· 2 2.1.2 群的阶的定义 ································································································· 3 2.1.3 元的阶的定义 ································································································· 4 2.1.4 子群、子群的陪集 ························································································· 5 2.1.5 同构的定义 ····································································································· 6 2.2 不变子群与商群 ········································································································· 6

2.2.1 不变子群与商群 ····························································································· 6 2.2.2 Cayley(凯莱)定理 ························································································· 7 2.2.3 内直和和外直积的定义 ················································································· 8 3 群中元的阶的各种情况及其实例分析 ········································································· 8 3.1 有限群中关于元的阶 ································································································· 9

3.1.1 有限群中元的阶的有限性 ············································································· 9 3.1.2 有限群中关于元的阶及其个数的关系 ························································· 9 3.2 无限群中关于元的阶 ······························································································· 10

3.2.1 无限群G中，除去单位元外，每个元素的阶均无限 ······························ 10 3.2.2 无限群G中，每个元素的阶都有限 ·························································· 10 3.2.3 G为无限群，G中除单位元外，既有无限阶的元，又有有限阶的元···· 11 4 群的阶与其元的阶之间的关系 ··················································································· 11 4.1 拉格朗日(Lagrange)定理·························································································· 11

4.1.1 拉格朗日定理 ······························································································· 11 4.1.2 相关结论 ······································································································· 12 4.2 有限交换群的结构定理 ··························································································· 13

4.2.1 有限交换群的结构定理 ··············································································· 13

石家庄铁道学院毕业论文

4.2.2 相关例子 ······································································································· 14 参 考 文 献 ······················································································································· 15 致 谢 ····························································································· 错误！未定义书签。

石家庄铁道学院毕业论文

１ 绪 论

本论文旨在综述群论中关于群的阶与其元的阶之间的关系，并找出各种情况进行实例分析．

1.1 群论的概括

群论是从实践中发展起来的一门比较抽象的学科，它不仅在数学中居显著地位，而且在许多现代科学分支中居重要地位．群论的概念和结果远不限于对几何学、拓扑学等纯粹数学方面的应用，实际上它已成为研究物质结构和物质微粒运动的有力工具．随着科学技术的发展，群论的理论和方法获得了越来越广泛的应用，除了大家比较熟悉的对物理学、特别是理论物理学和结晶学的应用，它还渗透到计算机科学、通讯理论、系统科学、乃至数理经济等许多领域．因此，今天需要掌握和了解群论知识的人越来越多．

1.2 群论的来源

为什么正方形在我们看来是对称图形，圆是更为对称的图形，而数字“4”就根本不对称？为了回答这个问题，我们来考虑使图形与其自身重合的那些运动．容易了解，正方形的这样的运动有八个，圆有无穷多个这样的运动，而数字“4”只有一个，即所谓恒等运动，它使图形的每个点留在原位不动．使某个图形自身重合的各种运动的集G，是对称性为大为小的一个特征：这样的集越大，图形就越对称．在集G上按下列规则定义合成，即对其元素的运算：如果x，y是G的两个运动，那么所谓它们的合成结果就是等价于先作运动x，后作运动y的连接实施的运动x?y．例如，如果x，y是正方形相对于有关对角线的反射运动，那么x?y就相当于绕中心转180°的旋转．显然，在G上的合成具有下列性质：

1)对G中的任意元素x,y,z,(x?y)?z?x?(y?z)；

2)在G中存在这样的e，使得x?e?e?x?x，对G中的任意的x都成立；

3)对G中的任意x，在G中存在这样的元素x，使x?x-1-1?x?x?e-1；

实际上，e可取恒等运动，而x?1可取x的逆运动，即图形的每一点从新位置还原到旧位置．

1

石家庄铁道学院毕业论文

1.3 群论的思想

在群的思想凝练成今天这样晶莹的瑰宝以前，需要几代数学家的辛勤劳动，总计花费了近一百个春秋．从拉格朗日(Lagrange)自发地采用置换群以解决用根式解代数方程问题起(1771)，中间经过罗菲(Ruffin，1799)与阿贝尔(Abel，1824)，直到伽罗瓦(Galois，1830)在他的著作中已经足够自觉地应用群的思想(就是他首先引进群这个术语的)，这就是在代数方程论内这个思想发展的过程．与此独立，由于其他原因，当19世纪中叶，在统一的古希腊几何舞台上出现了多种“几何”，尖锐地提出了研究它们之间的联系与“血缘”关系问题时在几何中出现了群．

现在群论是代数学发展最充分的分支之一，无论在数学本身还是数学以外——在拓扑学，函数论，结晶学，量子力学以及数学与自然科学其他领域中，都有许多应用．

2 预备知识

2.1 群和子群

2.1.1 群的定义

我们将群论的简介中的例子抽象出来就得到群的定义．

设?是非空集合G的一个代数运算(我们常称作乘法)．称(G，?)为一个群，如果这个运算满足下列诸公理：

G1)对?a?G，b?G，有a?b?G；

G2)对?a，b，c?G，有(a?b)?c?a?(b?c)； G3)存在e?G，使对?a?G，有e?a?a?e?a； G4)对?a?G，存在一元素b?G，使a?b?b?a?e；

如果群G还满足：

G5)对?a，b?G，有a?b?b?a；

则称(G，?)为交换群，或者Abel群．

另若一个群G的每一个元都是某一个元a的乘方，这时我们把G叫做循环群．我们也说，G是由元a生成的，并用符号G=表示，其中a叫做G的一个生成元．

例1．（全体整数集，数的普通加法）显然满足公理G1—G5，做成一个Abel群．并且不难验证，它还是一个由整数1生成的循环群．即该群可用符号<1>来表示．

例2．设G={(a，b)|a，b为实数，且a不为0}．规定

2

石家庄铁道学院毕业论文

(a，b)?(c，d)?(ac，ad?b)

则G显然满足G1—G4，做成一个群．

事实上，显然G非空．又在G中任取(a，b)，(c，d)．则a，b，c，d是实数且a，c均不为零．于是ac，ad+b也均为实数且ac也不为零．从而

(a，b)?(c，d)?(ac，ad?b)?G

再任取(e,f)?G,则有[(a,b)?(c,d)]?(e,f)?(ac,ad?b)?(e,f)?(ace,acf?ad?b)(a,b)?[(c,d)?(e,f)]?(a,b)?(ce,cf?d)?(ace,acf?ad?b)故[(a,b)?(c,d)]?(e,f)?(a,b)?[(c,d)?(e,f)],即G对?满足结合律.又(1,0)?G,且(1,0)?(a,b)?(a,b)?(a,b)?(1,0).即(1,0)是G的单位元.又对G中任意(a,b)?G,(a,b)?(即(1a1a,?baba)?(1a,?有(ba1a,?ba)?G,且)?(a,b)?(1,0).,?)是(a,b)在G中的逆元.作成一个群,但它不作成一个Abel群.因为:所以G满足G1—G4,(3,6)?(1,2)?(3,4)?(3,4)?(1,2)?(3,10) 例3．（有理数集上行列式为1的2阶方阵的全体，矩阵的乘法）显然满足G1—G4，但它不满足G5．因为：

?0??0.5但是?0.8???0.6所以?0??0.5?2??0.8??0???0.60.6??0.8???0.8???0.60.6??0??0.8??0.5?2??,0?0.6??0??0.8??0.5?2??0.3???0??0.4?1.6??1.2??2??0.8??0???0.60.6??1.2???0.8??0.4?1.6??0.3?

交换律不成立.所以它也只是一个普通的群．

2.1.2 群的阶的定义

如果群G只有有限个元素，我们称它为有限群．其元素的个数称为群G的阶，记为|G|，否则称它为无限群，记|G|=?．

从前面我们举的例子（例1至例3）都是无限群．下面我们举两个有代表性的有限群的例子．

3

石家庄铁道学院毕业论文

例4．模n的剩余类加群Zn．

G包含模n的n个剩余类．我们要规定一个G的叫做加法的代数运算．我们用[a]来表示a这个整数所在的剩余类．我们规定：

[a]+[b]=[a+b] (1)

我们先看一看，这样规定的+是不是一种代数运算．我们知道，

假如a’?[a]，b’? [b]．那么[a’]=[a]，[b’]=[b] 照我们的规定，

[a’]+[b’]=[a’+b’] (2)

(1)，(2)两式的左端是一样的，如果它们的右端不一样：[a+b] ?[a’+b’] 那么我们规定的+就不是代数运算了．我们说这种情况不会发生．因为 [a’]=[a]，[b’]=[b] 就是说a’?a(n)，b’?b(n)．

也就是说n|(a’-a)，n|(b’-b)．因此，能n|[(a’-a)+(b’-b)]，即n|[(a’+b’)-(a+b)]．

所以[a’+b’]=[a+b]，这样规定的+是G的一个代数运算．而且 [a]+([b]+[c])=[a]+[b+c]=[a+(b+c)]=[a+b+c]． ([a]+[b])+[c]=[a+b]+[c]=[(a+b)+c]=[a+b+c]． 这既是说 [a]+([b]+[c])= ([a]+[b])+[c]．

并且 [0]+[a]=[0+a]=[a]．

[-a]+[a]=[-a+a]=[0]．

所以对于这个加法来说，G做成一个群，这个群叫做模n的剩余类加群．记为

Zn．仔细研究这个群，它还是一个循环群，即Zn=<[1]>．

例5．三次对称群S3

一个有限集合的一个一一变换叫做一个置换．一个包含n个元素的集合的全体置换做成的群叫做n次对称群．这个群我们用S3来表示．

容易知道n次对称群Sn的阶为n!，即|Sn|=n!，当n=3时，就是三次对称群S3，下面我们将S3的元素一一列出．

S3={(1)，(12)，(13)，(23)，(123)，(132)}

依照群的定义，容易验证S3满足G1—G4，做成一个群．但它不是一个Abel群．因为

(12)?(13)?(13)?(12),事实上，(12)?(13)?(123),(13)?(12)?(132).

并且可以说S3是一个最小的有限非交换群(略去证明　)．有兴趣的可见参考文献[3]．

2.1.3 元的阶的定义

我们下面来看群G的一个元素a，能够使得am?e的最小整数m叫做元a的阶，记为|a|=m．如果这样的m不存在，我们说a是无限阶的，记为|a|??．

4

石家庄铁道学院毕业论文

下面举两个关于阶的例子，希望读者对它有一个较好的理解： 例6．设G刚好包含x3?1的三个根：1，???1?2?3，???1?2?3．

G对于普通乘法来说显然满足G1—G4，做成一个群．在这个群里面，1的阶为1，?的阶为3，

的阶也为3．

例7．（非零有理数集，数的普通乘法）显然满足G1—G5，做成一个Abel群． 在这个群里面除了1，-1外，其它元素皆为无限阶的．

另外，有关元的阶，我们还有以下几个比较好的结论．

结论1．在群G中，若元a的阶为m，且an?e(e为单位元)，则m|n． 证 我们采用反证法．设m不整除n，由代数的基本知识可知，

?q，r使n?mq?r(其中0?r?m)．又因为e?an?amq?ar?(am)q?ar?ar．

这与元a的阶为m矛盾，所以m整除n，即m|n．

结论2．设G为群，a?G，且|a|=n，则对任意的整数k，有|ak|?n(k，n)．

证 设（k，n）=d，不妨设k=dk1，n=dn1，且(k1，n1)?1．又因为an?e， 所

knnkknkm以有设所以akm?e，由结论1可知，n|km，即dn1|dk1m， （a）?a?a?e．（a）?e，111所以n1|k1m．又因为(k1，n1)?1．所以n1|m．所以|ak|?n1?nd?n(k，n)．

．

结论3．在群G中，元素a的阶为n，b的阶为m．若ab=ba，且(m，n)=1．则ab|mn?证 首先由于|a|=n，|b|=m，故an?bm?e．又由于ab=ba，故

(ab)?mn(an)mb(?)mn．e

nk其次，设有正整数 k，使(ab)k?e．则因ab=ba，故(ab)(?a)bnknknkb?.e?而|b|=m，

所以m|kn．又因为(m，n)=1，故m|k．同理可证n|k．由(m，n)=1得mn|k．所以|ab|?mn．

结论4．在交换群G中，对任意的两个元素a，b都有|ab|?|a|?|b|． 证

设|a|=m，|b|=n．则am?bn?e．由于G

(ab)mn是Abel群，故

?amnbmn?(a)(b)mnnm?e．

从而|ab|?mn.即|ab|?|a|?|b|．

2.1.4 子群、子群的陪集

假设H是群G的一个非空子集．如果对G中的代数运算H本身做成一个群．则称H为群G的一个子群．

我们称G的子集aH＝{ah|h?H}与Ha＝{ha|h?H}分别为子群H的左陪集、右陪集．

5

石家庄铁道学院毕业论文

定理2.1 一个子群H的右陪集的个数和左陪集的个数相等．

证 我们把H的右陪集所做成的集合叫做Sr，H的左陪集所做成的集合叫做

Sｌ．我们说，

?1． ?: Ha?aH是一个Sr与Sl.间的一一映射．因为：

1)Ha?Hb?ab?H?(ab)-1-1-1?1?ba?H?aH?bH.所以右陪集Ha的象与a

-1-1-1的选择无关，?是一个Sr到Sl的映射；

2)Sl的任意元aH是Sr的元Ha的象，所以?是一个满射；3)Ha?Hb?ab?H?(ab)-1-1?1 ?ba?H?aH?bH；-1-1-1由1)，2) ,3)可知?是一个一一映射.定理证毕．

一个群G的子群H的右陪集(或左陪集)的个数叫做H在G中的指数，记作[G:H]．例如：[整数加群:?n?]?n．

2.1.5 同构的定义

设?是群G到G的一个一一映射.如果对G中任意元素a，均b有?(ab)??(a)?(b)则称?是群G到群G的一个同构映射.若群G与群G间有一同构映射,则称G与G同构.记为G?G.

有了同构的定义，我们可以完全掌握循环群，下面的结论就巧妙地利用同构指出循环群只有两类．

结论5．设为循环群．则

1)若不存在正整数n，使an?e(e为单位元).则与整数加群同构．

2)若存在正整数n，使an?e(e为单位元).且n为最小．则与n次单位根群同构．

证 1)由题意知

mn当m?n时，a?a.于是作映射?

?：am?mm

n是?a?到整数加群Z的一个一一映射.又因为a?a?am?n?m?n,故?是?a?到Z的同构映射.因此,?a??Z．

?:22)容易验证

am??}m

是?a?到n次单位根群????{1,?,?,?,?n?1(其中?为n次单位元根)的一个同构映射.故?a?????.

2.2 不变子群与商群

2.2.1 不变子群与商群

一个群G的子群N叫做一个不变子群，假如对于G的每一个元a来说，都有

6

石家庄铁道学院毕业论文

Na=aN

由于一个不变子群的左陪集与右陪集相同，所以我们可以称一个不变子群N的一个左（或）右陪集叫做N的一个陪集．显然，对于Abel群来说，每一个子群都是一个不变子群．

我们看一个群G的不变子群N．把N的所有陪集做成集合

S?{aN，bN，cN?} 我们说，法则

(xN)(yN)=(xy)N

是一个乘法．要看清这一点，我们只须证明，两个陪集xN和yN的乘积与x和y的选择无关．让我们看一看：

假定 xN= x’N，yN= y’N 那么 x?x'n1，y?y'n2，(n1，n2?N) xy?x'n1y'n2

但由于N是不变子群，n1y'?Ny'?y'N 所以 n1y'?y' n3(n3?N).

所以xy?x'y'(n3n2)，即xy?x'y'N，所以我们有xyN?x'y'N．

定理2．一个不变子群的陪集对于上边规定的乘法来说做成一个群． 证 我们证明不变子群的陪集满足群的定义G1—G4． G1) 由上边规定的乘法来说是显然的; G2) (xNyN)zN =[(xy)N] zN =(xyz)N xN(yNzN)= xN [(yz)N]= (xyz)N G3) eNxN=(ex)N=xN

-1-1G4) xNxN?( xx)N?eN．

由G1—G4可知，一个不变子群的陪集对于上边规定的乘法来说做成一个群．

一个群的一个不变子群N的陪集所做成的群叫做一个商群．这个群我们用符号GN来表示．

2.2.2 Cayley(凯莱)定理

对于同构，我们有下面的一个有趣的Cayley定理．有了它，我们可以只研究变换群了．

定理3．Cayley(凯莱定理) 任何一个群都同构于一个变换群．

证明:假定G是一个群，G的元a，b，c，?．我们在G里任取一个元x出来，那么

?x：是集合G的一个变换.g?gx?g?x?x因为给了G的任意元g,我们能够得到一个唯一的G的元g.这样由G的每一个元x,可以得到G的一个变换?x.我们把所有这样得来的G的变换放在一起,作成一个集合G?{?a,?b,?c,?}那么?:若x?y,x??x是G到G的满射.但消去律:x?y?gx?gy那么?x??y所以?是G与G间的一一映射.g?xy

告诉我们,再进一步看,?g?x?y?g(xy)?(gx)y?(g?x)y?(g?x)?y7

石

这即是说,家庄铁?x?y??xy道学院毕业论文

所以?是G与G间的同构映射,所以G是一个群,但G的单位元e的象?e:g?ge?g

是G的横等变换?,所以G是G的变换群.且G与G的变换群G同构.这个定理告诉我们, 任意一个抽象群都能够在变换群里找到一个具体的实例． 2.2.3 内直和和外直积的定义

设子集H?{h1,?ht}?G，而规定

Z?H?{n1?h1???nt?ht|ni?Z，1?i?t}，易见Z?H??H?，即Z?H就是由H生成的子群，并且当H?{g1， ?gt}是群G的生成元集时，G?Z?H?Z?g1???Z?gt.

设G是加群，而Hi，1?i?t是G的子群.若

1)G?H1???Ht，即每一g都可表成h1???ht，hi?Hi. 2)若对任意g?G，由g?h1???ht?h1???ht，hi，hi?Hi，

'''必有hi?hi，i?1，?t，亦即这种表示法是唯一的。则称G是子群H1，?Ht的内直和，

'记作G?H1?H2???Ht.此时也称G可分解为子群H1，H2，?，Ht的直和．

有了内直和的定义，下面我们来看外直积的定义．

设Gi，i?1，?n，是群，令集合G?G1?G2???Gn，而规定集G中的一个二元运2，?n，规定 算如下：对gi，hi?Gi，i?1，(g1，g2，?gn)?(h1，h2，?hn)?(g1h1，g2h2，?gnhn)，

这里gihi当然按群Gi中的运算得到的乘积。直接验证(G， )是一个群，称之为群Gi，i?1，?,n的外直积，记作G?G1?G2???Gn.特别，当所有Gi是交换群时，易见G也是交换群.我们常把G写成G?G1?G2???Gn，而称之为加群的（外）直

而写成 和.这时G的运算记作加法，(g1，g2，?gn)?(h1，h2，?hn)?(g1?h1，g2?h2，?gn?hn)，

当然gi?hi是指按Gi的加法得到的和.令'''

'Gi?{(0，?0，gi，?，0)|gi?Gi}，

易见Gi是G的子群，Gi?Gi，且按内直和的定义有G是其子群Gi，i?1，，2?n，

的内直和．在这个意义上，内直和、外直积是互通的，虽然内直和概念是属于结构理论的，而外直积是属于构造理论的．

3 群中元的阶的各种情况及其实例分析

下面我们将从有限群、无限群两个角度来分析群中元的阶的各种情况，并举一些典型实例来说明．

8

石家庄铁道学院毕业论文

3.1 有限群中关于元的阶

3.1.1 有限群中元的阶的有限性

在有限群中，有这样一个定理：每一个元的阶都有限． 定理4 在有限群G中，每一个元都是有限阶的．

证 不妨设|G|=n，对?a?G，下面考虑集合A?{a,a2,a3,?an,an?1}

由群G的封闭性G1可知，a,a2,a3,?an,an?1均属于G．而|G|=n，所以必至少存在两个元素ai,aj(其中1?i?j?n?1),使ai?aj.则aj?i?e.所以a为有限阶的．证毕．

例8．令M是除去0，1以外的全体实数做成的集合，G为M的以下6个变换做成的集合：

?1(x)?x?4(x)?11?x,,?2(x)??5(x)?1xx?1x,?3(x)?1?x,?6(x)?xx?1.,

则G对变换的普通乘法显然满足G1—G4，做成一个群．单位元?1(x)的阶为1，另三

,6的(x)个元?2(x),?3(x)?阶均为(?4x(32．而?4(x),?5(x)的阶为

23．因为

)?)?(x53(?))2?x2((?3)x?)(?(x?))62?(x?())()即在这个有限群中，每一个元1素的阶均为有限．

3.1.2 有限群中关于元的阶及其个数的关系

在有限群中，关于元的阶及其个数的关系，有较好的结论． 结论6．在一个有限群里，阶数大于2的元素的个数一定为偶数．

证 假设G是一个有限群，a为G中任意一个阶数大于2的元素．则显然

-12a?a(否则a?e)．但a与a有相同的阶-1．事实上，设an?e，则

?(a)n?1(a)?a?1n?n?e?1?e．

反之，又设(a?1)n?e，则an(a?1)n?ana-n?e.所以an?e. 所以a?1的阶也大于2．又设b也是G中一个阶大于2的元素，且

b?a，b?a.则易知b?1-1?a，b-1?a．

-1这就是说，群G中阶数大于2的元素是成对出现的，由于群G为有限群，所以G中阶数大于2的元素的个数一定为偶数．证毕．

推论 设G是一个偶数阶的有限群．则G中阶为2的元素的个数为奇数． 事实上，由于单位元是群G中阶为1的唯一的元素，又由结论6知群G中阶为2

9

石家庄铁道学院毕业论文

的元素的个数为偶数，所以G中阶为2的元素的个数一定为奇数．证毕．

例如在前面所举的例5．三次对称群S3中, 阶数大于2的只有 (123)，(132)两个, 为偶数． 且该群中阶为2的只有(12)，(13)，(23)三个, 为奇数, 这验证了该结论的正确性．

3.2 无限群中关于元的阶

由于在群中，单位元的阶为1，所以在无限群中关于元的阶大体上可分为以下三种情况．

3.2.1 无限群G中，除去单位元外，每个元素的阶均无限

这样的群确实存在．像我们在例1中所举的整数加群，就是一个典型的例子．任取整数a(a?1)，不存在正整数n，使na=1，即|a|=?．

所以在这个无限群中，除去单位元1外，其余每个元素都是无限阶的． 3.2.2 无限群G中，每个元素的阶都有限

?例9．G＝?Gi，其中Gi为全体n次单位根对普通乘法所做成的群．则G显然满

i?1足G1—G5，做成一个Abel群，且每个元素的阶都有限．事实上，任取a?G,必然存在i?Z?，使a?Gｉ，则ai?1．故a为有限阶的．

另外，我们还可以举一个类似的例子．

例10．考虑实数域上行列式为1的二阶方阵所作成的集合A，即

??cos?A?????sin??sin???|??R cos??则易知，A中的运算为：

A??A??A?????cos??若记A????sin???sin?????. cos???所以集合A对于这种运算显然满足G1—G5，做成一个Abel群．

下面我们将集合A按阶相同做一个等价划分．即把阶相同的元素放在一个等价类里，那么

阶为1的只有A0,阶为2的只有A?,阶为3的只有A2,A4,3?3?

10

石家庄铁道学院毕业论文

阶为4的只有A1,A32?2?阶为5的只有A2,A4,A6,A8,??,5?5?5?5?

可见，在这样一个无限群里，每个元的阶均有限．

3.2.3 G为无限群，G中除单位元外，既有无限阶的元，又有有限阶的元 这样的例子我们以前也有举过，像例7的非零有理数乘群．在这个群中，除单位元1的阶为1外，-1的阶为2，而其余每个元都是无限阶的．

4 群的阶与其元的阶之间的关系

在由于在无限群中，|G|=?．此时，群的阶与其元的阶之间的关系没什么意义．故本节主要探讨在有限群中，群的阶与其元的阶之间的关系．

4.1 拉格朗日(Lagrange)定理

在有限群中，关于群的阶与其元的阶之间的关系，有著名的拉格朗日定理．

4.1.1 拉格朗日定理

引理1．一个子群H与H的右陪集Ha之间都存在一个一一映射． 证 ?: h?ha．

是H与Ha间的一一映射．因为：

1) H的每一个元h有一个唯一的象ha； 2) Ha的每一个元ha是H的元h的象； 3）假如h1a?h2a，那么h1?h2，证毕．

引理2．假定H是一个有限群G的一个子群．那么H的阶n和它在G里的指 数j都能整除G的阶N，并且N=nj．

证 G的阶N既是有限，H的阶n和指数j也都是有限正整数．G的N个 元被分成j个右陪集，而且由引理1可知，每一个右陪集都有 n个元．所以N=nj．

因为N的指数就是N的陪集的个数，我们显然有商群GN的元的个数等于N的指数．当G是有限群的时候，由引理2可知

G的阶N的阶?GN的阶?[G:N]．

定理5(Lagrange定理)．一个有限群G的任一个元a的阶n都整除G的阶． 证 a生成一个阶是n的子群，由引理2知，n整除|G|．证毕．

例11．我们还是看例5中的S３和其子群H={(1),(12)}．S３的阶为6，H的阶为2，H的指数是3，2和3果然整除6，并且6=2×3．

11

石

S３ 的

家庄铁道学院毕业论文

6个元是(1)，(12)，(13)，(23)，(123)，(132)．它们的阶是1或2或3．而

整数1、2、3都整除整数6．这当然验证了著名的Lagrange定理．

4.1.2 相关结论

运用拉格朗日定理，我们可得以下几个较好的结论． 结论7．阶为素数的群为循环群．

证 不妨假设|G|=P(P为素数)．任取元素a(a?e)，则由Lagrange定理可知，

a|P.又因为a?1，所以a?P.所以G??a?,为循环群，证毕．

结论8．阶为Pm的群（P为素数）一定包含一个阶为P的子群.． 证 任取一元素a(a?e)，假设|a|=n，则由Lagrange定理可知，

n|P，又由于P为素数，所以n?P(1?j?m)．

mj若j=1，则n=P．就是群的一个P阶子群． 若j>1，则

e?a故|aP(j-1)Pj?(aP(j-1))?e．

p|?P,所以?aP(j-1)?就是G的一个P阶子群.证毕．

结论9．阶为6的交换群必为循环群．

证 不妨假设|G|=6，任取G中元素a(a?e)，设|a|=m，则由Lagrange定理可知，m|6．所以m可取2或3或6．

①若m=6，则G=是循环群．

②若m=2，则为G的一个2阶循环子群．但由于G为交换群，故G?a?作成一个商群，由于|G?a?|?3，由结论7可知群G?a?为一个循环群．

故可设G?a???b?，其中|b|?3.由于|b|?1，|b|也不为2（否则，有(b)?e,从而23|2.矛盾).则由Lagrange定理可知，|b|=3或者6．

若|b|=6，则G=为循环群．

若|b|=3，则由于|a|=2，而(2，3)=1，故由结论3可知，|ab|=6，从而G=为循环群．

③若m=3，由于2和3的地位一样，所以②的讨论包含了③的讨论． 总之，G为循环群．

容易验证该结论条件中的交换群是必要的．因为例5中的三次对称群的阶为6，但其不是交换群，并且它不是循环群，因为其中没有阶为6的元素．

有了这个结论，我们很容易得下面的推论．

推论：pq阶交换群必为循环群，其中p, q为互异素数．

证 因为|G|=pq，任取G中元素a(a?e)，设|a|=m，则由Lagrange定理可知，m|pq．所以m可取p或q或pq．

①若m=pq，则G=是循环群．

②若m=p，则为G的一个p阶循环子群．但由于G为交换群，故G?a?作成一个商群，由于|G?a?|?q，由结论7可知群G?a?为一个循环群．

故可设G?a???b?，其中|b|?q.由于|b|?1，|b|也不为p（否则，有(b)?e,从而p

q|p.矛盾）．则由Lagrange定理可知，|b|=pq或者q．

若|b|=pq，则G=为循环群．

12

石家庄铁道学院毕业论文

若|b|=q，则由于|a|=p，而(p，q)=1，故由结论3可知，|ab|=pq，从而G=为循环群．

③若m=q，由于p和q的地位一样，所以②的讨论包含了③的讨论．有兴趣的读者可再推导一次，增强自己的推理能力．

总之，G为循环群．

结论10．在循环群中，除去单位元外，其余元素的阶都相同且有限当且仅当该循环群的阶为素数．

证 ?设|G|?P(P 为素数,为G循环群，不)妨设G??a则?,|a?|．P则由结论2可知， |a|??iP(P,i)?P (i?1,2,?P-1).故得证.

i)设G为循环群，且G的阶为合数，即|G|?M?N(M,N均为大于1的正M数）.又不妨设G??a?,则|a|?M?N,由结论2可知，|a |?N.这就与题设矛盾.ii)设G为循环群，且G的阶为?，则由结论5知,G同构于整数加群.而在整数加群中,除去单位元1的阶为1外,其余元素的阶均为无限.由同构可知,G也由此性质,故与题设矛盾.

4.2 有限交换群的结构定理

本节我们将看到非常漂亮完整的有限交换群的结构定理．由此，我们将具体地理解到什么是群的结构理论．在本节中G表示交换群，群的运算记作加法“+”，简称加群．

4.2.1 有限交换群的结构定理

前面我们有了内直和与外直积的定义，下面来简要介绍有限交换群的结构定理．由于篇幅问题，我们不作证明，供读者欣赏，有兴趣的读者可见参考文献[4]．

定理6．（有限交换群的结构定理）：有限交换群G可唯一分解为素数幂循环群的直和，若|G|?p1mp2m?ptm，pi是不同素数，则

12t1)G?G11???G1s1???Gt1???Gtst，其中Gij是阶为piij的循环群；

m2)自然数集　(p111，?p1mm1s1，?，ptt1，?ptmmtst)由群G唯一确定.

这是一个很值得玩味的结构定理．读者可以把它和算术基本定理相比．那里表示任意整数的基本构件是“素数”，构造方法是“乘积”，而这里则是：表示有限加群的基本构件是“素数幂阶的循环群”，构造方法是“直和”．在整数论中，自然数n的分解是

mmmn?p1p2?pt，

12t则在交换群论中，有限加群G的阶n的分解将是

．

如果把n的因数和G的子群相类比，我们可以容易地证明下面的推论．有兴趣的读者可以证明一下．

推论：G是有限加群，|G|=n，而m|n，则G中必有阶为m的子群．

n?p1?p11m11m1s?ptmt1?ptmtst13

石家庄铁道学院毕业论文

4.2.2 相关例子

m我们称每个pi为群G的初等因子，而其全体{p1m，?p1，?，pt，?pt的初等因子组．

例12．在同构的意义下, 给出所有8阶交换群．

3解 用Cn表示n阶循环群.由于8?2,故

111t1mijm1smtst}为群

8阶交换群3个，即

{2},C8,3{2,2},C2?C4,2{2,2,2} C2?C2?C2

从而相应地，在同构意义下8阶交换群共有3个，即

另外，对于8阶群，我们这儿举一个非交换群的例子． 设Ａ是由以下8个矩阵所组成的集合．

?1???0?i???00??,1?0??,?i??0???1?0???i?1??,0?i?2?.(其中i??1)0?

规定Ａ里面的乘法为普通乘法，则Ａ对于该乘法显然满足G1—G4，做成一个群．但它是一个非交换群．因为

?0??ii??0???0??1?1??i???0??00??i????i??00??0????i??1?1??0???0???i?i??0?．

例13．在同构的意义下，利用不变因子给出所有72阶交换群．

32解因为72=2?3，故72阶交换群的初等因子共有6种，即

{2,2,2,3,3},{2,2,2,3},2{2,2,3,3},{2,2,3},{6,12},{2,36},C6?C12,C2?C36,222{2,3,3},{2,3}.323

于是相应的不变因子组也有6种，即

{2,6,6},{2,2,18},C2?C6?C6,C2?C2?C18,{3,24},{72},C3?C24,C72.

从而相应地，得互不同构的所有72阶交换群共有6个，即

．

小结：本论文先介绍了群及有关群的定义，然后着重讨论了有限群、无限群中元的阶的概念、群的阶与其元的阶之间的关系，并举了一些典型实例来说明它们之间的关系．最后，介绍了著名的有限交换群的结构定理，以及它的典型实例．

14

石家庄铁道学院毕业论文

参 考 文 献

[1] 刘木兰、冯克勤编，群论，北京：国防工业出版社，1992，前言． [2] 邓应生译，群论基础，北京：高等教育出版社，1994，绪论． [3] 张禾瑞著，近世代数基础，北京： 高等教育出版社，1978． [4] 刘绍学编，近世代数基础，北京：高等教育出版社，1999． [5] 熊全淹编，近世代数，武汉：武汉大学出版社，1984．

[6] 聂灵沼，丁石孙编，代数学引论，北京：高等教育出版社，1988．

[7] Shafarevich I R Basic Notions of AlGebra, Encyclopedia of Mathematical Sciences.

Berlin:SprinGer-VerlaG， 1990．

[8] 万哲先编，代数和编码（修订版），北京：科学出版社，1980． [9] Artin M .AlGebra.EnGlewood Cliffs:Prentice-Hall，1991

[10] Nikulin V，Shafarevich I R. Geometries and Groups. BeijinG: SprinGer-VerlaG，World

PublishinG Corporation，1989．

[11] 潘承洞，潘承彪编，初等代数数论，山东：山东大学出版社，1991．

[12] 杨子胥，宋宝和编著，近世代数习题解，济南：山东科学技术出版社，2004． [13] 杨子胥，近世代数，高等教育出版社，2000． [14] 吴品三，近世代数，高等教育出版社，1979． [15] J．S．Rose，Ａ course on Group theory，1978．

[16] 杨子胥，关于循环环及其幂等元，数学的实践与认识，1985，3．

15