群的自同构群
有限p_群的中心自同构群

K
Ho m (G /N , Cp e ) | = | G /N | 1 于是由引理 2 可得 | | = | G /N | |
= nN
K
= n # 1 = n, 所 以 A I
KA H
CAu t G (G /M, N ). 再任取 g I G, 则 ( gN ) H是满射。
= g g =
- 1
A
g g ( gN ) = ( gN ) , 所以 K ,即 A = K , 表明 A = K 综上可得 H是从 CAu t G (G /M, N ) 到 Der (G /N, M ) 的一个同构映射 , 据此即得所证结论。 证毕。 推论 1 设 G 为任意有限群, M, N 均为 G 的正 规子群且 M [ N H Z (G ), 则 : CA ut G (G /M, N ) µ H om (G /N, M ) 证明 因为 M [ N H Z (G ), 所以 M [ Z (N ), 根据定理 1得到 CA ut G ( G /M, N ) µ D er(G /N , M ) 1又 因为 M [ Z (N ), 故 G /N 在 M 上的共轭作用平凡 , 表 明 Der (G /N, M ) = H o m ( G /N , M ) 1 证毕。 引理 1 且 exp K [ 证明 引理 2 证明 定理 2 设 K 为有限交换 p 2群, A 为循环 p 2群 exp A, 则 H om (K, A) µ K 1 见文献 [ 4] 中引理 E 1 设 A, C, U 均 为 有 限 交 换 群 , 则 见文献 [ 4] 中引理 C 1 设 G 为有限 p 2 群 , M, N 均为 G 的正规 CA ut G (G /M, N ) µ G /N 的充要条件是 G c[ N, M 为循环群, 且 exp( G /N ) [
一类有限群的自同构群阶的上确界

考 虑 什么 样 的有 限群 其 自同构群 阶 的上确 界 仅 与群 阶有关 , 是研 究 有 限群 G与其 自同构群 Au( tG)
=
l
l 一
Hale Waihona Puke 又 记 : ( )= { l 为 群 , 且 5n G G 并
G : n. }
b - 据 G 的定义 关系 , 得 '' a.根 可
Ⅱ” 一 n
.
关 于 数 ( ) 以 下 几 个 性 质 是 明 显 的 . 定 理 1 , 在
() 1
的证 明中我们将 不 加说 明地引用 :
引 理 2 (, nD e ) 设 G 是 由 生 成 元 . ,  ̄a y k T , … , 和关 系 ,( , , . ) 1i , 定义 的群 , . :… 一 ,∈ 所 H = < 日 一, > ( 中 的 峨 可 能 相 同 ) V i , 其 , ∈ ,
里H () 的素因子集. 是 那么
Au ( l= . ” t G) ) ) .
" … . 中 P < P < … < P 是互 异 素数 . 其 .
记
j
“
1
() 兀 l( ~ ) n= l ;
・
证明 对 G 的 任 一 自 同 构 . 口 。 = . ( ) 有 ( ) a b
钟 祥 贵
Zh n a g u o g Xin g i
S p e u o he 0r r o t m o ph s u r m m f t de f Au o r im
6阶循环群的自同构群

6阶循环群的自同构群摘要:1.引言2.6 阶循环群的定义3.自同构群的定义和性质4.6 阶循环群的自同构群的构造5.结论正文:【引言】在数学领域,群论是研究离散对称性的一个重要分支。
群的自同构群是群论中的一个重要概念,研究群的自同构群有助于更深入地理解群的结构和性质。
本文将探讨6 阶循环群的自同构群,首先我们需要了解6 阶循环群和自同构群的定义。
【6 阶循环群的定义】6 阶循环群是指由6 个元素组成的群,其中包含一个元素e,满足e*a = a,a*e = a,a*b = c,其中c 是a 和b 的乘积,并且c 不等于e。
6 阶循环群可以表示为{e, a, a^2, a^3, a^4, a^5}。
【自同构群的定义和性质】自同构群是指一个群G 与其自身的同构象。
设f 是群G 的自同构,那么对于G 中的任意元素a,有f(a) = a^x,其中x 是整数。
自同构群的性质包括:1) 自同构群是群的一个正规子群;2) 自同构群的阶是群的阶的因子;3) 自同构群的元素可以表示为群元素的某个整数次幂。
【6 阶循环群的自同构群的构造】对于6 阶循环群{e, a, a^2, a^3, a^4, a^5},我们可以构造一个自同构群。
首先,我们找到群的阶,即6。
然后找到6 的因子,即1、2、3 和6。
对于每个因子,我们可以计算出对应的自同构群。
以因子2 为例,我们可以得到自同构群{e, a^2, a^4}。
这个自同构群的元素可以通过将原群中的元素a 的幂次乘以2 得到。
同理,我们可以构造出其他因子对应的自同构群。
【结论】通过研究6 阶循环群的自同构群,我们发现自同构群可以帮助我们更好地理解群的结构和性质。
对于6 阶循环群,我们可以构造出4 个自同构群,分别是{e, a^2, a^4}、{e, a^3, a^5}、{e, a, a^3, a^5}和{e, a^2, a^3, a^4,a^5}。
四元数群的自同构群-概述说明以及解释

四元数群的自同构群-概述说明以及解释1.引言1.1 概述概述:四元数是一种数学结构,它扩展了复数的概念。
与复数类似,四元数可以用方式a + bi + cj + dk进行表示,其中a、b、c和d分别是实数,而i、j和k是特定的虚数单位。
四元数群是指由四元数构成的数学群,其中群的运算是四元数的乘法。
本文主要研究四元数群的自同构群。
自同构群是指一个数学结构自己到其自身的同构映射所构成的群。
在本文中,我们将探讨四元数群的自同构群的概念和性质,并研究其特点、应用和意义。
了解四元数群的自同构群对于理解四元数的结构和性质具有重要意义。
自同构群可以帮助我们发现四元数群中的对称性质和关系,从而推导出关于四元数的重要性质和结论。
此外,研究四元数群的自同构群还能够为解决一些实际问题提供有力的工具和方法。
因此,深入研究四元数群的自同构群对于数学和工程领域的学者都具有重要的参考价值。
在接下来的正文中,我们将首先介绍四元数群的定义和性质,包括四元数的乘法运算和群的封闭性等。
然后,我们会详细讨论自同构群的概念和性质,并给出一些自同构群的例子和结论。
最后,我们将总结四元数群的自同构群的特点,并探讨其在实际应用中的意义和潜在的发展方向。
希望通过本文的研究,读者能够对四元数群的自同构群有一个清晰的认识,并能够将其应用于相关领域的研究和解决问题中。
1.2文章结构文章结构部分将描述文章的整体结构和各个章节的内容安排。
文章按照以下的结构进行组织和撰写:1. 引言:引言部分主要包括以下内容:1.1 概述:对四元数群和自同构群的基本概念进行简单介绍,强调自同构群对于四元数群的重要性和研究意义。
1.2 文章结构:详细阐述文章的整体结构,即各个章节的内容和组织方式。
1.3 目的:明确本文的研究目的和研究方法,指出本文的创新点和科学价值。
2. 正文:正文部分分为以下几个章节:2.1 四元数群的定义和性质:介绍四元数群的基本定义,包括四元数的表示方法以及群运算的性质,如结合律、单位元等。
《群的自同构群》课件

自同构群的拓扑性质
自同构群的连续性
对于任意的自同构α∈Aut(G),其对应的映射是连续的。
自同构群的开性和闭性
Aut(G)中的子集是开集还是闭集取决于所使用的拓扑。
自同构群的紧致性
如果群G是紧致的,则Aut(G)也是紧致的。
03
群的自同构群的构造
循环群的自同构群
总结词
循环群的自同构群是循环群本身,其元素为整数加法。
自同构群的代数性质
自同构群的指数
对于任意的自同构α∈Aut(G),存在一个正整数n,使得α^n=ε 。这个整数n被称为α的指数。
自同构群的周期性
如果存在一个正整数n,使得对于所有的x∈G,都有α^n(x)=x ,则称α是周期性的。
自同构群的周期指数
对于周期性的自同构α,其最小正整数n被称为α的周期指数。
详细描述
对于循环群$G=langle g rangle$,其中$g$是生成元,自同构群 $text{Aut}(G)$由整数加法构成,即对于任意整数$k$,映射$g rightarrow g^k$是自同构。
交换群的自同构群
总结词
交换群的自同构群是所有可逆线性变 换的集合。
详细描述
对于交换群$G$,其自同构群 $text{Aut}(G)$由所有可逆线性变换 组成。这意味着对于任意元素$x in G$,存在一个可逆线性变换$T$使得 $T(x)=x'$且$T(x')=x$。
《群的自同构群》PPT课件
目 录
• 群与自同构群的基本概念 • 自同构群的基本性质 • 群的自同构群的构造 • 群的自同构群的应用 • 群的自同构群的展望
01
群与自同构群的基本概念
群的定义与性质
定义
【word】带有限性条件Abel群的自同态环和自同构群

带有限性条件Abel群的自同态环和自同构群数学年刊2011,32A(6):665—678带有限性条件Abel群的自同态环和自同构群冰廖军杨艳刘合国.提要给出了带极大或极小条件的Abel群A的自同构群以及自同态环的相伴Lie环是可解或幂零的充要条件.同时也给出了群A=Q0Q0…0Q的自同构群是可解或幂零的充要条件,以及群A的自同态环的相伴Lie环是可解或幂零的充要条件.关键词自同构群,自同态环,可解,幂零MR(2000)主题分类20K30,20F16,20F18中图法分类O152.2文献标志码A文章编号1000—8314(2011)06—0665—141引言本文采用文f121的术语和符号,一般情况下计算群的自同构群和研究群的自同构群的性质是很困难的,即使对Abel群也是如此.从结合环R出发,自然地可以构造一个Lie环L,方法如下:定义L的加群为_R的加法群(R,+)以及Lie积为[X,Y]=xy—yx,通常记为_R(~,称为的相伴Lie环.Abel群的自同态环EndA是结合环,则可以构造Lie环End(一.因此我们可以研究Abel群的自同态环的相伴Lie 环的可解,幂零性质对群结构的影响.同样地,也可以通过研究Abel群的白同构群AutA的可解,幂零性质来分析群A的结构.本文将对几类带有有限性条件的Abel 群进行讨论,并给出了它们的自同态环的相伴Lie环是可解,幂零以及自同构群是可解,幂零的充要条件.在多数情况下它们具有相似性.其实这也并不偶然,正是由于这些Abel群是由它的自同态环或者自同构群所确定.第2节首先给出了有限AbelP一群的自同构群AutA可解的充要条件,接着利用自同构群的稳定自同构的一个结论(见引理2.3),分别给出了带极大和极小条件的Abel群的自同构群是可解,幂零的充要条件.在定理2.6一定理2.10中,分别给出了有限AbelP一群,带极大条件的Abel群和带极小条件的Abelp-群的自同态环的相伴Lie环是可解,幂零的充要条件.当P≠3时,有限Abelp-群的自同构群AutA可解当且仅当群A的自同态环的相伴Lie环End(一)可解.对于带极大,极小条件的Abel群的自同构群AutA的可解性和群的自同态环的相伴Lie环End(一)的可解性,定理2.2一定理2.3和定理2.8一定理2.9分别相对应,在它们的幂零性的论述中,定理2.4和定理2.10相对应.设A=Q0Q.0…④Q,其中Q={丌pmI?Tti,m∈Z},这里7rk为某pi∈k 些素数的集合.第3节对群A讨论了类似的问题:定理3.1和定理3.2分别给出了A的本文2011年2月25日收到,2011年6月18日收到修改稿.北京大学数学科学学院,北京100871.E—mail:*************.ca0湖北大学数学系,武汉430062.E—mail:******************0通讯作者.湖北大学数学系,武汉430062.E—mail:**************.cn国家自然科学基金(No.10971054)资助的项目.数学年刊32卷A辑自同构群AutA是可解,幂零的充要条件,定理3.4给出了群A的自同态环的相伴Lie环EndA(一)是可解,幂零的充要条件.此时AutA是可解(幂零)的当且仅当EndA㈠是可解(幂零)的.定理3.3表明,A的自同构群AutA可解和B1是一致的.除去P=2的情况,比较定理2.4,定理2.10,定理3.2和定理3.4可以知道,对于我们所讨论的Abel群A,的自同构群AutA和自同态环的相伴Lie环EndA(一)是幂零的当且仅当它们是交换的.而且此时它们都具有相对简单的结构:AutA和EndA【一)是幂零(交换)的,如果A是满足极大条件的Abel群,当且仅当A是循环的;如果是满足极小条件的Abel群,当且仅当A是循环的或者是拟循环群的直和;如果A=Q0Q0…0Q当且仅当每一个Q是全不变的.2带极大或极小条件的Abel群设有限Abelp-群有分解A=(zpn)h0(n.)0…0(nr),其中r,ft是正整数,0<nl<n2<…<n.记群A的自同态环EndA=,群A的自同构群为AutA.下列的事实,见文【3-6】.(a)群A的自同态环=EndA可以表示成r×r矩阵环(岛),其中岛=Hom((nt)”,(n));(b)环有Jaeobson根=(),其中=pCi~;当i≠J时,J=(C)AutA的极大正规子群是△=1+.引理2.1【】除了n=2,IFI=2,3外,GL(F)是不可解的.以下总约定P为素数,z为整数环,Zp为进整数环,n=Z/(pZ)为模P剩余类环或P阶循环群.引理2.2(i)群GL2(Z)以及GL2(Zp)不可解;(ii)当素数P>2时,上的上三角可逆矩阵群()不是幂零的;(iii)当素数P>3时,Aut(m0n)不是幂零的.证记[,Y]=[z,Y,Y,…,],其中Y出现n次.环的满同态:Z一诱导群的满同态GL2(Z)一GL2(),同态像GL2()在P>3时是不可解的,因而GL~(Z)不可解.类似地,GL2(Zp)不可解.GL2(Z2)&,是可解的,而中一5-是平凡的,因此不是幂零的.考虑上的上三角可逆矩阵群(zp),由于[(G0o)]=(.1),当P>2时,取a:2,则[(((.1)组因此()不是幂零的.不妨设m≠佗(否则GL2(n)不可解),Aut(m0n)在Q1(m0n)上的限制同构于(),因此Aut(m0n)不是幂零的.6期廖军杨艳刘合国带有限性条件Abel群的自同态环和自同构群667定理2.1设是有限Abelp-群,且A=(n)”0(n).0…0(n),其中r是正整数,n1<n2<…<礼,ft都是正整数.则(1)当P>3时,AutA可解当且仅当f1:f2=…=0=1;(2)当P=2或3时,Aut可解当且仅当li≤2(1≤i≤r)证(1)当P>3,ll=12=…=f=1时,由文【8]中推论2.9知AutA△(一1),这里△=(AutA)是AutA的极大正规子群,因此是幂零群,则是可解群,(zp一1)是Abel群,即AutA是可解子群△=Op(AutA)被Abel群的扩张,因而是可解的.反之,假设存在某个li>1,则GL2(zpn.)≤AutA,但是GL2(nt)的商群GL2()是不可解的,矛盾.所以?1=f2=…=0=1.(2)当P=2或3时,ct≤2(1≤i≤r),由文[8】中定理1.1和命题2.2知rAutA△×lJGLt(),t=1这里△=(AutA),它是幂零的因而是可解的.由引理 2.1,当2t≤2时,GLl(zp)是可解群,则兀GLt()是可解的.则AutA是可解子群△=Op(AutA)被可解群0=lr兀GLf,()的扩张,因而是可解的.反之,假设存在某个fi>2,则GL3(nt)≤AutA,但是GL3(nt)的商群GL3()是不可解的,矛盾.所以li≤2.事实上,对于有界Abelp-群也有同样的结论,定理2.1的证明也同样适用.另一方面,有限Abel群可以分解为有限Abelp-群的直和,每个分支都是全不变的,则是特征子群,所以有限Abel群的自同构群可以分解为有限Abelp-群自同构群的直积.因此对有限Abel群总可以约化到定理2.1的情形,类似地对有界Abel群也一样.为便于叙述,我们首先给出下面的引理,它是本文计算某些自同构群的基础.引理2.3设是Abel群,B是的特征子群,且A=B0,则AutA=Horn(C,B)(AutB×Aut).证的所有稳定B的自同构构成AutA的一个子群,记为Aut(A)B,即Aut()B={∈AutAIB”=B).由于是A的特征子群,所以AutA=Aut(A)B.由文f9]中定理2.1知Aut(A)8=Der,B)Pair(C,B).由于A是Abel群B与C的直和,即A=B0C,因此平凡地作用在Abel 群B上,则导子就是它们之间的同态,即Der(C,B)=Hom(C,),668数学年刊32卷A辑并且由直接验算Pair(C,B)满足的条件,可知Pair(C,B)=AutB×AutC,因此AutA=Hom(C,B)(AutB×Aut),AutB×AutC在Hom(C,B)上的作用为(,(,))一&.定理2.2设是满足极大条件的Abel群,则AutA可解的充要条件是的挠子群的白同构群是可解的且ro(A)≤1.证若AutA可解,由引理2.2,GL2(Z)不可解,知ro(A)≤1,并且A的挠子群的自同构群是AutA的子群,因此是可解的,必要性已证.下证充分性.注意到的挠子群是A的特征子群,设为,如果TO(A):0,则A是有限群,此时归为定理2.1的情形.不妨设TO(A)=1,则A=T0Z,由引理2.3,可得AutA=Hom(Z,T))日(AutTXAutz),其中Hom(Z,T)T,AutZ=Z2.由假设,有AutT可解,因此AutA可解.类似地,对于满足极小条件的Abel群有下面的定理.定理2.3设4是满足极小条件的Abelp-群,则AutA可解的充要条件是A的既约子群R的自同构群是可解的且的极大可除子群D的秩r(D)≤1.证设A是满足极小条件的Abelp-群,的极大可除子群为D,既约子群为R,则‘A=D0R且D是A的特征子群.由引理2.3,可得AutA=Hom(R,D)>日(AutD×AutR),而Horn(R,D)是Abel群,因此AutA可解的充要条件是AutD,AutR是可解的,引理2.2说明GL2(Zp)不可解,其中z是P一进整数环.因此的极大可除子群D的秩r(D)≤1.若r(D)=1,即D=z..,熟知当P>2时,AutZp..~10zp.当P=2 时,AutZ2..Z20z2,其中z是进整数环.反之,4的既约子群R的自同构群是可解的且的极大可除子群D的秩r(D)≤1时,AutA可解.注意到满足极小条件的Abel群的自同构群是其P一子群自同构群的直积,因此满足极小条件的Abel群的自同构群是可解的充要条件是其所有子群的自同构群都是可解的.于是,结合定理2.1和定理2.3我们可以得到满足极小条件的Abel 群的自同构群是可解的充要条件.由引理2.2和引理2.3可以得到下面的定理.定理2.4(i)有限Abel2’-群A的白同构群AutA幂零的充要条件是rp(A)≤1,当且仅当是循环群;(ii)满足极大条件的Abel群且其挠子群是2一群的自同构群AutA 幂零的充要条件是有限且(A)≤1或A=Z,即为循环群;(iii)满足极小条件的Abel2/_群的自同构群AutA幂零的充要条件是A有限且rv(A)≤l或A=0...6期廖军杨艳刘合国带有限性条件Abel群的自同态环和自同构群669证(i)不妨设是有限AbelP一群,由引理2.2,当P>2时,T2()不是幂零的,因此不含形如m0的子群,即是循环群,rp(A)≤1.反之显然.(ii)假设Z=n0Z,则AutAn(AutnX),计算[(1,(1,1)),(0,(1,))]l其中Oz是z的二阶自同构,注意到它的作用方式把它写成矩阵形式[((呈)]=(.12)这里(一2)≠0是因为是2一群,因此AutA不是幂零的,所以或者有限或者自由循环,当有限时,由(i)知也是循环的.(iii)此时的证明方法同(为了处理P=2的情形,我们需要下面定理,见文『1O].稳定性定理设群G忠实地作用在群上,G稳定的如下长度为2的正规群列1≤W<记Z:=41(W)是的中f1.,它自然地作成一个一模,则G≤Der(v/z),其中Der(Z)是到z的所有导子作成的Abel群.定理2.5(i)设是有限Abel2-群,且A=(Z2n)0(Z2n2).0…0(Z2)L,这里nl<?22<…<几,l是正整数,则AutA幂零的充要条件是l=1.(ii)设是自由Abel群与Abel2-群的直和,则A的自同构群AutA幂零当且仅当A=2r2n0Z2nz0?-?0Z2n0Z,这里礼1<礼2<…<72r.(iii)满足极小条件的Abel2-群A的自同构群AutA幂零当且仅当A=Z2n①Z2nz0…0n0..,这里札1<佗2<-??<竹r.证(i)设是有限Abel2-群,且A=(Z2n)h0(Z2n.)120?-?0(Z2n),这里几1<?22<…<n,ll是正整数.当所有的i,1=1时,群4的自同构群AutA是一个2一群,因此是幂零的.反之假设存在某个ft>1,则GL2(n)≤AutA 且它的一个商群是GL(),由引理2.2是非幂零的,矛盾.(ii)设是自由Abel群与Abel2一群的直和,且自由子群是自由循环群z若Abel2一子群B=Z2n0Z2n①…0Z2(其中?21<礼2<…<礼),它是特征子群,由引理2.3,可得AutA=Hom(Z,B)×(AutB×Autz),其中Horn(Z,B)B,AutB是一个2一群,AutZZ2,则AutA是一个2一群,因此是幂零的.670数学年刊32卷A辑当A=Z2n0Z2n.0…0n0z时,证明其自同构群是幂零的另一个方法是:设C=2”A={2”aIa∈),其中n>n,则C2Z,它是的特征子群,A/Cz2n10Z2n20…0Z2n0zn.考虑G=AutA在0≤C<A上的自然作用.记ca(c)={∈GIc.=c,c∈), Cc(A/C):{∈Gl(a+)=a+C,a+C∈A/C},贝0c/ca(c)≤AutC,C/Ca(A/C)≤Aut(A/C),且c/ca(c)rhCa(A/C)≤c/cc(c)XG/Ca(A/C),又cc(c)nCc(A/C)稳定,0<C<A,故根据稳定性定理知cc(c)nCG(A/C)≤Der(A/C,),A/C是有限的,而C是自由循环群,因此Der(A/C,C):Hom(A/C,C)=0.AutA/C是一个2一群,AutC,则G≤AutC×Aut(A/C)是幂零群.反之若AutA是幂零群,则AutA的子群AutB是幂零的,当且仅当B=Z2n0Z2”0…0…由于GL2(Z)不是幂零的,因此自由子群是自由循环群z,因此A=z2n0Z2n20…0n0Z,其中nl<n2<…<nr.(iii)由(ii)以及引理2.2知条件是必要的,下证充分性.设A=Z2n0Z2n20…0n0..,这里仡1<n2<…<nr,设B:Q2n(A)={0∈Al2ha=0),其中n>n,则Bz2n10z2n20…0n0n,它是A的特征子群.考虑G=AutA在0≤B<A上的自然作用.记Ca(B)=fQ∈G1b.=b,b∈B),Cc(A/B)={∈Gl(a+B)”=a+B,a+B∈A/B},则C/Ca(B)≤AutB,C/CG(A/B)≤Aut(A/B),且C/CG(B)nCc(A/B)≤C/Cc(B)×C/Cc(A/B).又Cc(B)nCc(A/B)稳定,0<B<A,故根据稳定性定理知Cc(B)nCc(A/B)≤Der(A/B,B),A/BZ2o.是可除的,而B有限,因此Der(A/B,B)=Hom(A/B,B)=0.AutA/B(o.)=Z20Z2是Abel群,由(i)知AutB是一个2一群,则C≤AutBXAut(A/B)是幂零群.下面讨论带极大,极小条件的Abel群的自同态环构成的Lie环是可解,幂零的条件,为此需要下面的引理.引理2.4(m)(一)可解,坞()(一)不可解.证直接计算可得[(),()]=(c—brz+-cyd一.6cr一一d).6期廖军杨艳刘合国带有限性条件Abel群的自同态环和自同构群671设L=M2(Z2)(一,则由上面的计算知则则)lm)为了计算,在上式中令d=一a,r=一x,有[),G)]=(2.b…z-cyn名一),{(m).令b=2b1,c:2c1,Y=2yl,=2zl,有),()]一blz…l-cly哪yza-bmlx/,)c∈m)归纳地,知M2(Z2m)(一)可解.记K=M3(Z2)(_.,则K=(e),其中表示(J)位置为1,其它位置全为0的矩由于当i≠J时,,eij1=eij,[eij,eft]=eli—ejj,有K=(eij,eii—eli≠歹).又因n>2,存在k满足k≠i,k≠J,i≠J,则eij=【eik,ekj],eii一jJ=【eij,e所以K=K≠0,因此不可解,即M3(Z2)(一)不可解引理2.5当P>2时,()(一)不可解;相伴Lie环(z)(一)和(zp)(一)不可解.证取L=(el2,e21>,由于(e12,e21】=ell—e22,【611一e22,el2】=2e12,【ell—e22,e21】=一2e21, 则el1一e22,e12,e21∈L,归纳地,对任意的正整数此()(一)不可解.m,有el1一e22,e12,e21∈(,则()≠0,L不可解,因()(一)是(z)(一)和Mn(Zp)(一)在自然同态z一以及zp一下诱导的Lie环同态像,因此(z)(一)和(zp)(一)不可解.定理2.6设P是奇素数,记A=(n)ll④(n.)④…0(),这里扎1<n2<…<n,如是正整数,则End(一)可解的充要条件是如=1672数学年刊32卷A辑证如果End(一)可解,由引理2.5知1=1,否则存在一个子环()(一)不可解,矛盾.另一方面,如果li=1,则A=n10zpn20 0EndA{(aij)laijEHorn(,’))且i<J,Pln巧.记L=End(_.,Cij=∑(aikakj—bikakj),如果cij∈L,则PlCij,i≤J.归纳地, Cij∈(,对任意的i,J,有PI.,且当i<J时,P.l,继续重复上述过程,直到Cij=0,因此可解.也可以用另外一种方法来证明可解:EndA在【21(A)上的限制就是n一诱导的环同态,即对每一位置模P,同态像是上的一个三角矩阵,同态的核是每个位置元素都能被P整除的数,即0Mod(p).由环的同态得到Lie环的一个同态,结合可解Lie环在扩张下封闭的性质得到Lie环L=End(一)是可解的.定理2.7设A=(Z2n)/10(Z2)120…0(Z2),这里n1<Tt2<…<n,f是正整数,则End(一)可解的充要条件是ft≤2证设fi≤2,自然同态z2n.一z2诱导的环同态,End(一)的同态像是一个下对角矩阵,并且对角线上是1阶或2阶可解块,因此同态像可解,同时核满足2Ia同上述定理相同的证明方式,知其可解,得到End(一)可解.反之,由引理2.4,如果End(一)可解,则li≤2.定理2.8设A是满足极大条件的Abel群,则End(一)可解的充要条件是EndA可解且_r0(A)≤1.证设A=0A0Z,0A是A的全不变子群,).(~EndAEndZEndA【H.m(z)J(,z/),又(0EndAp)~0EndA和z(一)都是可解的,按分块矩阵计算知EndA(一)是可解的.反之,End是End(一)的子环显然可解,且()(一)不可解,因此ro()≤1.类似的方法可以得到下面极小条件下的定理.定理2.9设是满足极小条件的Abel群,则End(一)可解的充要条件是EndA可解.End可解当且仅当End磷可解且rank(Dp)≤1,其中Rp和Dp分别是A的既约子群和极大可除子群.的引理2.6(z)(一)不是幂零的,若=n0m,n<m,则EndA(一)不是幂零证注意到对任意的正整数n,[el2,?tc22]=el2≠0由引理2.5和引理2.6,立即可得下面的定理6期廖军杨艳刘合国带有限性条件Abel群的自同态环和自同构群673定理2.10(i)有限Abel群的自同态环的相伴Lie环幂零的充要条件是rp(A)≤1;(ii)满足极大条件的Abel群A的自同态环的相伴Lie环幂零的充要条件是有限且口(A)≤1或A=z;(iii)满足极小条件的Abel群的自同态环的相伴Lie环幂零的充要条件是有限且rp(A)≤1或A=0..;P(iv)满足极大或极小条件的Abel群4的自同态环的相伴Lie环幂零的充要条件是的自同态环的相伴Lie环是Abel的.3完全分解的无挠Abel群下面考虑这样一类Abel群,首先介绍符号和一些简单的结论:记丌为某些素数的集合,设Q={兀.mIm,m∈Z}.对群Q有下列简单事Pl∈7r实:(a)Q的元具有无限丌一高,有限丌一高,即任意的P∈7r,P高为0(3,否则为有限.(b)Q的任意一个自同态可以由1的像完全决定.事实上,m=(m?1)妒=m?1;由(pp)=1,知p?(p)=1,因此(p)妒=p1妒,所以(兀m)妒=兀m?1;pp(c)如果71”17I”2,则Horn(Q,Q.)=0,否贝0Horn(Q,Q.)Q.事实上,如果丌17r2,存在P∈丌1一丌2,Q中的任意元具有无限71”1一高,特别地,1具有无限高,若∈Hom(QQ.),则1∈Q.也具有无限p一高,则1=0,因此Horn(Q丌l1Q)=0.如果71”171-2,任意的∈Hom(Q丌¨Q.),由1的像1完全决定,而1∈Q.,因此Horn(Q,Q.)Q..特别地,EndQ=Horn(Q,Q)Q.(d)AutQQ={l=士11p.,Pi∈7r,仃∈z)z2①ZI.特别地,AutQpQ=r,oZ2④Z.这是因为EndQ=Horn(Q,Q)Q,因此AutQQ.若兀m∈Q,则存在p:.兀他∈Q,使1=兀m兀n=兀m佗,贝0mn=1,m=土1.pppp设A:Q0Q.0…0Q此时称是”完全分解”的,首先我们讨论秩为2即=Q0Q.的情形.A=Q0Q的自同态环和自同构群具有下面的矩阵表达形式:EndA竺{I兰三}I∈Itom(p,Q),{,J=1,2},AutA』【【2()可逆,∈H.m(Q,Q)下面按集合71”1和71”2的包含关系分别讨论群A=Q0Q.的白同构群以及自同构群的可解幂零性.(i)当71”171”2,71”271”1时,记71”1=71”2=7r.End[g>(,AutGL2(674数学年刊32卷A辑由于GL2(Z)≤GL2(Q),而GL2(Z)是不可解群,因此GL2(Q)也不可解.GL2(Q)的中5-为CGL2(Q)=)aEQA),铡).易知O.charA,而A=Q0O由引理2.3,知AutAHom(O,O)>日(AutOXAutO)O.(Q.×Q)是可解的,但不是幂零的,事实上,Aut(!)f.∈AutQ.,c∈AutQ~,bEHom(Q,Q:>.若(!)∈~AutA,则()=)=I1c+)=(舌,6=..取是嵌入同态,则.限制在Q等于c,记为..所以()a01),即(~AutA=()I.).若1)∈(~2AutA,则对任意的)∈AutA,有[(6)j(舌tA又(=(.一)一[(),(吾)]=(n0一一ac一-16.)(0一一X--一1)(a..b)(苦Y) =(.1).由于(01)∈<Aut,其中=一a-1bc+X--1yz+a-ix一(6一y)zc=0,对任意的∈Q.,∈Q,Y∈Q成立.若Y=0,即一a-1bc+a-ix_1bzc=0,则b=0,且2C--lyz—a-1-1yzc=0,则a】=c.因此()=()∈(AutA,AutA=(AutA≤AutA,AutA不是幂零群.6期廖军杨艳刘合国带有限性条件Abel群的自同态环和自同构群675当I71-2J<..时,AutA=Q.(AutQ×AutQ.)是有限生成的可解群,但不是多循环的,由于Q.不是有限生成的.而超可解是多循环的,因此它不是超可解的.(iii)当71”171”2,7r27r1时,E..%OZI#ll~.,此时AutA是Abel群.因此若AutA是超可解或多循环的,则AutA是幂零的且是Abel的.当且仅当7rl丌2,7r27r1.一般地,有下面定理.定理3.1设A=Q0Q.0…0Q其中Q:{nm}mi,m∈Z},这里.1rk为某些素数的集合,则AutA可解当且仅当对任意的i≠J,71”i≠7rj.证当7’=2时,由前面的叙述(i)一(iii)知AutA可解当且仅当71”1≠71”2.先证充分性.假设对某个i≠J,7I”i=,当k≠i,时,设A1={∈AutAl使在Q上的限制为1,即lQ:1Q),则1是AutA的子群,且A1GL2(Q.),而GL2(Q)是不可解的,从而1是不可解的,于是AutA不可解,与已知矛盾.再证必要性.如果对任意的i≠J,亿≠,那么存在一个元,不妨记为丌,满足对任意的i≠r,有丌,否则,必有某两个集合相等,与已知矛盾.这样的丌称为集合{『1≤i≤r)的极大元.显然QcharA,则.r一1,,r一1,AutAHorn(0QQ)>日(Aut0Q×AutQ~r)jt=1i=1,r一1,r一1其中Horn(0QQ)0Horn(QQ)与AutQ都是Abel的,对r进行归,i=1=1 r一1纳,知Aut0Q是可解的,因此AutA是可解的.=1定理3.2设A;Q0Q.0…0Q其中Q:{npmIIYt,,m∈Z},这,pt∈丌’里丌为某些素数的集合,则AutA幂零当且仅当对任意的i≠J,死.证当r=2时,由前面的叙述知道AutA幂零当且仅当丌1/1”2,丌2丌1.先证充分性.如果对某个i≠J,7ri7r{,当k≠i,J时,设A1={∈AutAI使在Q上的限制为1,即lQ=1Q),则A1是AutA的子群,当死:时,A1GL~(Q);当时,AutAQ)日(AutQ×AutQ),而aL2(Q)和Q丌j(AutQ×AutQ丌j)都不是幂零群,因此A1不是幂零的,与AutA幂零矛盾.再证必要性.如果对任意的i≠J,7ri,则Horn(QQ)=0.676?数学年刊32卷A辑因此EndAA,AutA(Q)×(Q)×-??×(Q)日≥(z2.z’z’),=1AutA是Abel的,因而是幂零的.推论3.1设A=Q0Q0…0Q其中Q:{兀pmI?gti,m∈Z},这Pl∈.a-k. 里丌为某些素数的集合.则下列条件等价:fa)AutA是多循环的;(b)AutA是超可解的;fC]CAutA是幂零的;(d)AutA是Abel的.注意到群G称为是B的,如果G有一个正规列G=G1>G2>>Gn=1,即G司G,且Gi/Gi+1≤Q或Gi/Gi+l≤Q/z.定理3.3设A=Q0Q0…0Q其中Q={兀pmImt,仇∈z},这Pi∈7rk0里7r为某些素数的集合,则AutA是B1的当且仅当AutA是可解的. 证充分性显然,因为由定义B是可解的.下证必要性.当r=2时,AutAQ>日(AutQ×AutQ.)或AutA=r-oAutQl×AutQ2.若AutAQ:(AutQ×AutQ.),贝40<Q2<QZ2<Q.(Z20Z2)<Q.(Z20Z20Z)<Q>日(Z20Z20Z)<<Q.(Z20Z20Z/】+l.I)=AutA是AutA=Q.(AutQ×AutQ.)的一个正规列,其商因子分别为QZ2,Z2,Z,-? z,而QZ是Q的子群,是O,/Z的子群,因此AutA是B1的.如果AutA=e-,4AutQ1×AutQ2Zg.0Zl10Z20Zl,则AutA是Abel群,且可以分解为和z的直和,因此也是B1的.所以当r=2时,AutA是可解的则是B1的.当r≥3时,由定理3.1,存在一个极大元丌,使QcharA,则AutAHorn((~QQ)×(Al1t0QAutQ).记s=ml7r,1≤i<r)l,有r一1r一1Horn(Q,Q)Horn(Q,Q)Q,6期廖军杨艳刘合国带有限性条件Abel群的自同态环和自同构群677可以得到,r一1,AutAQ(Aut≥Q×AutQ).因Q,AutQ是B1的,由归纳假设Aut0Q是B1的,易知AutA是B1的. 定理3.4设A=Q0Q.0…0Q其中Q={兀pmlmi,m∈Z},这里丌k为某些素数的集合,则(a)EndA(一)可解的充要条件是7i”i≠对任意的i≠J;(b)EndA(一)幂零的充要条件是71”i对任意的i≠J,此时它是Abel的,其中End(一)是由自同态环EndA的加法群以及Lie积Y]=xy—yx构成的相伴Lie环.证先讨论r:2的情形:(i)当71”1=71”2时,EndA=(Q),由于(z)(一)≤(Q)(一)是不可解的,所以M2(Q)(一)不可解;(ii)当丌丌.,7r2丌时,End(Q~l.Q.)(%g),此时它构造的Lie环是可解的不是幂零的,因为[e12,n~22】:e12;(iii)当7r1丌z,7r271”1时,End(Q.Q.)(%.),此时的Lie环是幂零的,并且是交换的.一般地,如果71”i≠对任意的i≠J,则存在一个极大元丌,即7r,设A=B0Q,那么Q是全不变的,Ena(EBH.m),由于EndB(一)是可解的,因此EndA(一)可解.反之,显然有≠霄j对任意的i≠J.这就证明了第一部分.71”i对任意的i≠J,此时EndA0EndQAi是Abel的,因此是幂零的.反之由r=2情形易得对任意的i≠J,7ri参考文献[1]RobinsonDJS.Acourseinthetheoryofgroups[M].2nded.NewY ork:Spri nger—V erlag,1995.【2]KhukhroEI.p-AutomorphismsoffiniteP—groups[M】.Cambridge:Ca mbridgeUniver—sityPress,1998.[31Avifi6MA,SchultzP.Theuppercentralseriesofap-groupactingonaboun dedAbelianP—Group[EB/OL].arXiv:math.GR/0606605.『41Avifi6MA,SchultzP.TheendomorphismringofaboundedAbelianp-gro up[M]//678数学年刊32卷A辑AbelianGroups,RingsandModules,ContemporaryMathematics.V ol273,P rovidence,RI:AmerMathSoc,2001:75—84.[5】FuchsL.InfiniteAbeliangroupsV olI[M].NewY ork:AcademicPress,1970.[6]HausenJ,SchultzP.Themaximalnormalp-subgroupoftheautomorphism groupofanAbelianp-group[J】_ProcAmerMathSoc,1998,216:2525—2533. [7]AlperinJL,BellRB.Groupsandrepresentations[M】.NewY ork:Springe r—V erlag,1995.[8]Avifi6MA.SplittingtheautomorphismgroupofanAbelianp-group 【EB/OL].arXiv:math.GR/0603747.【9]樊恽,黄平安.分裂扩张的稳定自同构群[J].数学年刊,2001,22A(6):791—796.[10】SegalD.Polycyclicgroups[M】.Cambridge:CambridgeUniversityPress,19 83.EndomorphismRingsandAutomorphismGroupsof AbelianGroupswithFinitenessConditionsLIAOJunYANGY an.LIUHeguo. SchoolofMathematicalSciences,PekingUniversity,Beijing100871,China. E—mail:*************.an2DepartmentofMathematics,HubeiUniversity,Wuhan430062,China. E—mail:unicornyy~163.corn3Correspondingauthor.DepartmentofMathematics,HubeiUniversity,Wlu han430062,China.E—mail:ghliu~.ca AbstractLetAbeanAbeliangroupwithmaximumorminimumcondition.Th eauthors givenecessaryandsufficientconditionsfortheautomorphismgroup(resp.Li eringasso—ciatedwiththeendomorphismring)beingsolvable(resp.nilpotent).Moreove r,necessary andsufficientconditionsfortheautomorphismgroup(resp.Lieringassociate dwiththeendomorphismring)beingsolvable(resp.nilpotent)forA=Q7r10Q20…0Q 7rarealsogiven.KeywordsAutomorphismgroup,Endomorphismring,Solvable,Nilpotent 2000MRSubjectClassification20K30,20F16,20F18。
1.6群的同构与同态

§6 群的同构与同态
f (a ) = f (b) ⇒ σ a = σ b ⇒ σ a (e) = σ b (e) ⇒ a = b .
是单射,从而, 是双射 此外, 因此 f 是单射,从而, f 是双射.此外,我们有
f (ab) = σ ab = σ a σ b = f (a ) f (b) , ∀a, b ∈ G .
f a ( x) = axa , ∀x ∈ G .
−1
容易验证, f a 是群 G 的一个自同构 .事实上 , 的一个自同构 事实上, 容易验证 , 根据消去律, 对于任意的 x, y ∈ G ,根据消去律,我们有
f a ( x ) = f a ( y ) ⇔ axa −1 = aya −1 ⇔ x = y .
Company Logo
§6 群的同构与同态
1 e' = 0
0 −1 0 , a' = 0 − 1 , 1
1 0 −1 0 b' = 0 − 1 , c ' = 0 1 .
f (a ⋅ b) = f (a ) o f (b) , ∀a, b ∈ G ,
的一个同构 同构; 则称 f 为群 (G, ⋅ ) 到群 (G ' , o ) 的一个同构;不致 混淆时, 的一个同构 个同构或 混淆时,简称 f 为群 G 到群 G ' 的一个同构或 f 为同构. 同构.
Company Logo
显而易见, 显而易见 , 对于群 G 的任意给定的子群 H , 群 G 的元素之间 的 “ 在 H 中 共轭 ” 的关系 是 G 的元素之间的 共轭” 的关系是 上的一个 等价关系 上的 一个等价关系 . 若令 S 表示 G 的所有子群构 一个 等价关系. 成的集合, 成的集合 , 则群 G 的子群之间的共轭关系是 S 上 的一个等价关系. 一个等价关系. 等价关系
3-5群的自同构群.ppt

于是易知 1 n(A) : A 0 1 是G到自身的一个映射 .又由于 1 ( AB) ( 0 n( AB) 1 ) 0 1 n( A) n( B ) 1
1 n( A) 1 n( B ) ( A) ( B ), 0 1 0 1 故是群G的一个自同态映射 .但是, 把中心元素 2 0 1 0 2 却变成非中心元素 0 不是全特征子群 .
2018/1/10 16:35
(H ) H ,
则称H为群G的一个全特征子群. 全特征子群一定是特征子群.
例2 群G的中心C是G的一个特征子群. 证 : 任取c C, x G, AutG, 则
(c)x (c) [ (x)] [c (x)]
-1 -1
由于无限循环群有两个生成元,n阶循环群有 (n) 个生成元,从而其自同构群分别为2阶循环
2018/1/10 16:35
群和
(n) 阶群.
推论2 无限循环群的自同构群与三阶循环群的自同 构群同构. 定理3 设G是一个群, a G. 1)
则
a : x axa1 ( x G)
是G的一个自同构,称为G的一个内自同构;
2018/1/10 16:35
小结 1.群的自同构群的概念,循环群的自同构群。 2.内自同构群,特征子群,全特征子群。 作业: 5.6
2018/1/10
16:35
2018/1/10
2 ,因此, G的中心 1
16:35
例4 证明:循环群G=<a>的子群都是全特征子群.
全特征子群、特征子群和正规子群间的关系是
全特征子群 特征子群 正规子群
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
§8 群的自同构群给定一个群,可以有各种方式产生新的群。
比如,给定 群G 的任何一个正规子群N ,就可以产生一个商群G H ,它就是一种新的群。
本节要讲的自同构群也是一种产生新的群 的方法。
1. 自同构群的定义:定理1 设M 是一个有代数运算的集合(不必是群),则M 的 全体自同构关于变换的乘法作成一个群,称为M 的自同构群。
证明 设,στ是M 的任意两个自同构,则,a b M ∀∈,有 ()[()][()()](())(())()()ab ab a b a b a b στστσττστστστστ====, 即στ也是M 的一个自同构。
这表明,全体自同构关于变换 的乘法封闭。
又因为x M ∀∈有11()()x x x σσσσ--==,故 111111111()[()()][(()())]()()ab a b a b a b σσσσσσσσσσσσ---------=⋅==即1σ-也是M 的一个自同构。
群的定义的第3条成立。
另外,变换的乘法显然满足结合律,且恒等变换就是单位元, 群的定义的第1、2条也成立。
所以,M 的全体自同构关于变换的乘法作成一个群。
注意:前面有M 的全体双射关于变换的乘法作成一个群,记为()S M ,称为M 的对称群。
定理1表明M 的自同构群是()S M 的一个子群。
推论1 群G (在定理1中取M G =)的全体自同构关于变换的乘法作成一个群。
这个群叫作群G 的自同构群,记作 Aut G 。
由上面,如果||G n =,则Aut n G S ≤。
例1 求Klein 四元群{}{}4(1),(12)(34),(13)(24),(14)(23),,,K e a b c ==的自同构群。
解 4Aut K σ∀∈。
由于σ是自同构,必有()e e σ=(幺元变成幺元)。
又由于σ是双射,因此()()()e a b c e a b c σσσσ⎛⎫= ⎪⎝⎭,其中 (),(),()a b c σσσ是,,a b c 的全排列。
每个全排列不一定都是自同构,但根据4K 的运算特点,可以验证这些全排列都是4K 的自同构。
例如,设(),(),(),()e e a b b a c c σσσσ====,则可以验证它是4K 的自同构: ()()()()ab c c ba a b σσσσ====, ()()()()ac b a bc a c σσσσ====,.由于,,a b c 的全排列共有6 个,与3S 同构,因此4K 的全体自同构也有6 个,43Aut K S ≅。
2.循环群的自同构群定理2 (1)无限循环群的自同构群是一个2阶循环群;(2)n 阶循环群的自同构群是一个阶的群,其中()n ϕ 是欧拉函数(即小于n 且与n 互素的正整数的个数)。
证明 由于在同构映射下,循环群的生成元与生成元相对应,而生成元的对应关系完全决定了群中其它元素的对应关系。
因此,一个循环求有多少个生成元就有多少个自同构。
例如, 设G a =<>是由a 生成的循环群,则当k 是小于n 且与n 互素的正整数时,ka 也是G 的生成元,即k G a =<>。
此时,令 :k G G σ→,()k k a a σ=,则有()i ik k a a σ=,且i j a a ≠时,()()i j k k a a σσ≠, ()()()()()i j i j i j k ik jk i j k k k k a a a a a a a a σσσσ++⋅====, 即k σ是G 的自同构。
由于无限循环群只有2个生成元,n 阶循环群只有()n ϕ个生成元,所以其自同构群分别为2阶循环群和()n ϕ阶的群。
例2 (1)求G a =<>,||4a =,4阶循环群的自同构群。
解 (4)2ϕ=,两个生成元为3,a a ,从而{},Aut G εσ=,其中2323e a a a e a a a ε⎛⎫= ⎪ ⎪⎝⎭是恒等置换,2332e a a a e a a a σ⎛⎫ ⎪= ⎪⎝⎭。
(2)求G a =<>,||5a =,5阶循环群的自同构群。
(5)4ϕ=,4个生成元为234,,,a a a a ,从而{}123,,,Aut G εσσσ=,其中,ε是恒等置换,2341243e a a a a e a a a a σ⎛⎫ ⎪= ⎪⎝⎭, 2342342e a a a a e a a a a σ⎛⎫ ⎪= ⎪⎝⎭,2343432e a a a a e a a a a σ⎛⎫ ⎪= ⎪⎝⎭。
推论2 无限循环群的自同构群与3阶循环群的自同构群同 构。
证明 由定理2知,这两种群的自同构群都是2阶群,2是素数,所有2阶群都彼此同构,都与2次单位根群同构。
注意:定理2说明一件事实,即不同的循环群其自同构群可 以相同。
3. 内自同构群定理3 设G 是一个群,a G ∈,则(1)1:,()ax axa x G σ-→∀∈是G 的一个自同构,称为G 的内自同构;(2)G 的全体内自同构关于变换的乘法作成一个群,称为 G 的内自同构群,记为Inn G ;(3)Inn Aut G G 。
证明 (1)易知a σ是G 的一个双射变换。
又111()()()()()()aa a xy a xy a axa aya x y σσσ---===, 所以a σ是G 的一个自同构。
(2)设a σ与b σ是G 的任何两个自同构,则x G ∀∈,1111()(())()()()()()a b a b aab x x bxb a bxb a ab x ab x σσσσσσ----=====, 即有a b ab σσσ=仍是一个内自同构,此表明Inn G 关于变换的乘法封闭。
又易知()11Inn a a G σσ--=∈,且e σε=是幺元, 结合律显然成立,所以Inn G 关于变换的乘法作成一个群。
(3),Aut Inn a G G τσ∀∈∀∈,x G ∀∈。
令1()x y τ-=,即()y x τ=, 则1111()()()()()()()()()()a a a x y aya a y a a x a x ττσττσττττττσ----=====,由x 的任意性有1()Inn a a G ττστσ-=∈,所以Inn Aut G G 。
注意:设N G ,则a G ∀∈有1aNa N -⊆,即()a N N σ⊆,亦即N 对G 的任何内自同构都保持不变;反之,若G 的一个子群有此性质,则它必是G 的正规子群。
这就是说,G 的正规子群就是对G 的任何内自同构都保持不变的子群:,()Inn NG G N N σσ⇔∀∈⊆。
因此,也常称正规子群为不变子群。
群的中心: 称(){|,}C G a ax xa x G ==∀∈为群的中心,即群G 的中心就是与G 的所有元素都可交换的元素组成的集合。
根据中心的定义,显然有()C G G 。
定理4. .()Inn G G C G ≅证明 利用同态基本定理。
令:Inn G G ϕ→,()()a a a G ϕσ=∀∈,显然,这样定义的ϕ是满射。
由定理3知a b ab σσσ=,即 ()()()ab a b ϕϕϕ=,所以ϕ是满同态。
又{}{}{}(),,(),,Ker a a a a a G a a G a x x a G x G ϕϕεσεσ==∈==∈==∈∀∈ {}{}1,,,,()a axa x a G x G a ax xa a G x G C G -==∈∀∈==∈∀∈=。
由同态基本定理,有.()Inn G G C G ≅注意:定理4表明,要求G 的内自同构群Inn G ,只需求出 G 的中心()C G ,再作商群()G C G ,即得Inn G ,所以求一个群的内自同构群相对容易些。
但是要求出一个群的自同构群Aut G ,一般来说是非常困难的。
这是因为,在大多数情况下,一个群本身的性质不能转移到它的自同构群上去。
例如,由例1知,交换群的自同构群可以是非交换群,43Aut K S ≅;推论2表明,不同构的群它们的自同构群可以同构。
但是,有些群如素数阶循环群的自同构群能够完全确定。
定理4. 设G a =<>是由a 生成的p 阶循环群,p 是素数,则Aut G 是1p -阶的群,且*,Aut G p Z ≅<⋅>。
这里{}*1,2,,1p Z p =-,乘法指模p 乘法。
证明 略。
4。
正规子群的推广前面有,正规子群就是对G 的所有内自同构都保持不变的子群,将这一概念推广就得到:(1)特征子群:对群G 的所有自同构都保持不变的子群叫做G 的一个特征子群,即Aut G σ∀∈都有()N N σ⊆。
例3,任何群的中心都是的特征子群。
证明 只需证明Aut G σ∀∈都有(())()C G C G σ⊆,亦即Aut G σ∀∈,()x C G ∀∈都有()()x C G σ∈。
验证:a G ∀∈,111()()(())(())(())x a x a x a a x σσσσσσσσ---===11(())(())()()a x a x a x σσσσσσ--===, 所以()()x C G σ∈,结论成立。
注意:显然,特征子群一定是正规子群;但反之不成立, 即正规子群不一定是特征子群。
例如,取4{,,,}G K e a b c ==,{,}N e a =,则N G (4K 是交换群)。
取44:K K σ→,(),(),(),()e e a b b a c c σσσσ====,则前面例1已验证σ是4K 的一个自同构,对此自同构(){,}{,}N e b N e a σ=⊄=,所以4K 不是特征子群。
(2)全特征子群:设H G ≤。
如果H 对G 的所有自同态都保持不变,即对G 的每个自同态ϕ都有()H H ϕ⊆,则称H 为G 的一个全特征子群。
例4 证明:循环群G a =<>的子群都是全特征子群。
证明 由于循环群的子群还是循环群,所以可设s H a =<>。
例:G G ϕ→是任何自同态,则存在t ,使得 ()t a a ϕ=。
于是sk a H ∀∈,有()()()sk sk t s kt a a a H ϕ==∈,所以H 是G 的一个全特征子群。
注意:显然,全特征子群一定是特征子群;但反之不成立,即特征子群不一定是全特征子群。
例如,群的中心总是特征子群(例3),但不一定是全特征子群。
例5 有理数域Q 上的2阶线性群2()G GL Q =的中心{}(),,0,C G A A G A aI a a Q =∈=≠∈(高等代数结论), 则()C G 不是全特征子群。
证明 首先A G ∀∈,即A 为有理数域上的2阶满秩方阵,则行列式||A 是一个有理数。