生成交换群的DET的一个算法.pdfVIP

第26卷 第4期 延安大学学报(自然科学版) Vo1．26 No．4 2007年12月 Journal of Yanan University(Natural Science Edition Dec．2Oo7 生成交换群的DET的一个算法 刘兰兰 ，樊 恽2 (1．贵州民族学院 设计学院，贵州 贵阳550025；2．邯郸学院 教学系，河北 邯郸 056005) 摘 要：主要对有限交换群来考虑它的复杂度0(IGI)，给出计算阶为p 的非交换群的(DET)复杂 度的例子。 关键词：离散的傅立叶变换(DET)；诱导；延拓 中图分类号：0157．4 文献标识码：A 文章编号：1004-602X(2007)04-0003-04 有规范型g： …g； 。 1 引言及定理 定理1 G为有限群， G且I G／HI=p，若 在同一个共轭类上特征标为常值函数，两个表 的不可约表示记为 ( )，陪集代表是{1，g，… 示等价当且仅当他们的特征标相等。一个特征标叫 }。那么，VF∈， ( )有两种情况： 作线性特征标当且仅当它所对应的表示是一维的。 情况1 若F 0 后p均等价时，F可延拓成 对于超可解群我们有合成列C=(G=G G 一 … G上的p个不等价不可约表示 = 0F他们的次 G Go={1})，其中G ／G 是p 阶循环群，1 i 数都为degF． n，giG。是商群的生成元，那么Vg∈G有规范型g 情况2 若F 0 后p均不等价时，F的诱导 = … 。 有一个pc表写G=(g 一g I ‘∈G…， 表示D=F T( )是G的不可约表示，其次数为p· [gl，g。]∈G ，0 n)． degF，而且(F t( ))』，( )=0 。 定义1[1 群G到G2( )的一个同态p：G—G2 证明：若 一 ，其中0s，tp，t≠1，j ∈Gl ( )叫作G的一个表示。 (g)：=Trace(p(g))，g∈ ( )，使得 X= “，而 F(g ng’) =F ‘’”’ G我们称 (g)为p的特征标。 (g‘。 ng。)，令g’=n ，那么 F(n ) =F~(t-1)l(n )， 定义2[2 我们称Int(D，D )为缠结空间，如果 因此F— -1)|，可得F— ” (0mp)，故F 0 Int(D，D )：={ ∈Cd I XD(g)=D (g) ，g∈G}， 后p均等价，因此只能是F 0 后p均等价或均 d，d 分别为两不可约表示D，D 的级数。 不等价。 由Schur s引理Int(D，D )是一维的当且仅当D 若0 后p 均等价时，jX∈Gl(n，c)，使得 是不可约的。一个群G是交换群，那么它可以写成 F(n)X=F (n)，就有 F(n) ：V(g n )=F 准素循环群的直积。即G=( )×…×(o )，I o I (g )F(n)F( )，即 F(n)： F(g )‘ = 对于交换群G有主群列为G=(o 一，。 ) … F(凡)F( ) ，也就是F( ) 是纯量矩阵，F( ) (o川，…，o ) … (o ，o ) (o ) (o： ) =cE，c。是它的一个根， 是p次本原单位根，则 c0· I，0 后p是全部根。DI(g)=co· I· ，DI … (o ) {1}，G 用来记其中的第i个甑G ，