一个群论公式及其应用

一个群论公式及其应用①肖文俊（厦门大学数学研究所厦门３６１００５）在以下的讨论中，均假定Ｇ为一有限群，Ｓ为Ｇ的一个生成集，１Ｓ，Ｓ＝Ｓ－１．现设Ｌ为群Ｇ的任一子群，｜Ｇ：Ｌ｜＝ｎ，那么有如下公式定理ＡＧ＝Ｌ（１∪Ｓ）Ｓｎ－２．这一公式的证明相当简短...     

pqr 阶群的生成集的一个性质

证明了如下结果：设Ｇ是有限群，｜Ｇ｜＝ｐｑｒ，ｐ、ｑ、ｒ为素数，ｐ＜ｑ＜ｒ，Ｇ是Ｇ的换位子群，｜Ｇ｜＝ｑｒ。则（１）不属于Ｇ的元均为ｐ阶元，（２）若Ｍ是Ｇ的极小生成集，且Ｍ∩Ｇ＝，则｜Ｍ｜＝２。     

极大强码

本文给出极大强码的二个等价定义，设Ａ是字母表，（１）设Ｍ是Ａ的子么半群，Ｍ≠φ，Ｍ≠（），ａｌｐｈ（Ｍ）＝Ａ，Ｍ满足性质，若ｕｖ∈Ｍ，ｕｗｖ∈Ｍ，则ｗ∈Ｍ的充要条件是Ｍ由一个极大强码生成。（２）设φ：Ａ→Ｇ是满同态，Ｇ是群，Ｈ是Ｇ的正规子群Ｍ＝φ＾－１（Ｈ），则Ｍ的基是极大强码；还研究二个非极大无穷强码（ｕ）＋和ｗ（ｕ）以及Ｓｙｎ（ｕ）∪（１）的性质。     

Euler ψ函数的推广

如果ｐ，ｑ是两个互素的整数，证明了｜ＧＬ（ｎ，ｐｑ）｜＝ＧＬ（ｎ，ｐ）‖ＧＬ（ｎ，ｑ）｜；当ｎ＝１，｜ＧＬ（１，ａ（｜＝ψ（ａ）。因此这是Ｅｕｌｅｒψ函数ψ（ｐｑ）＝ψ（ｐ）ψ（ｑ）的推广。     

点泛圈偶图的一个充分条件

设Ｇ是连通偶图,（Ｘ１,Ｘ２）是其顶点的二分类,｜Ｘ１｜＝｜Ｘ２｜＝ｎ,δ（Ｇ）≥ｔ≥３。证明了若任意ｕ,ｖ∈Ｘｉ蕴含｜Ｎ（ｕ）∪Ｎ（ｖ）｜≥ｎ－（ｔ－２）,ｉ＝１,２,则当ｔ＝７时Ｇ是点泛圈偶图。     

关于定常Stokes绕流的悖论

证明了定常Ｓｔｏｋｅｓ绕流ｖ≡０，即Ｓｔｏｋｅｓ悖论，如果相应的Ｄｉｒｉｃｈｌｅｔ积分有限，或者，当｜ｘ｜→∞时，｜ｖ（ｘ）｜＝Ｏ（ｌｎα｜ｘ｜）（α≥０，ｎ＝２），｜ｖ（ｘ）｜＝Ｏ（｜ｘ｜２－ｎ）（ｎ＞２）．     

点泛圈偶图

设Ｇ是连通偶图，（Ｘ１，Ｘ２）是其顶点的二分类，｜Ｘ１｜＝｜Ｘ２｜＝ｎ，δ（Ｇ）≥ｔ≥３，且对于Ｘｉ中的任意两点ｕ和ｖ，均有｜Ｎ（ｕ）∪Ｎ（ｖ）｜≥ｎ－（ｔ－２），ｉ＝１，２，文中对ｔ≤６的情况，证明Ｇ是点泛圈偶图。     

偶图中独立边集的1—因子扩张

Ｇ＝（Ａ，Ｂ；Ｅ）是偶图，｜Ａ｜＝｜Ｂ｜＝ｎ≥２，若ｅ，ｆ∈Ｅ，ｅ≠ｆ，有ｄ（ｅ）＋ｄ（ｆ）≥３ｎ＋ｋ（ｋ≥１），则Ｇ中所有ｋ个边的独立集Ｍ皆可扩张成Ｇ的１－因子。     

简单连通图的k阶幂图的指数集(英文)

设Ｇ 是一个ｎ 阶简单连通图,ｋ≥２ 是一个整数．Ｇ 的ｋ 阶幂图记作Ｇｋ ,定义为：Ｖ（ Ｇｋ） ＝ Ｖ（ Ｇ） 且对任意ｕ ,ｖ∈Ｖ（ Ｇｋ） （ ｕ≠ｖ） ,（ ｕ ,ｖ） ∈Ｅ（ Ｇｋ） 当且仅当ｄＧ（ ｕ ,ｖ） ≤ｋ ,则对任意的ｋ≥２ ,Ｇｋ 本原．令Ｅ（ｋ,ｎ） ＝ ｛ γ（ Ｇｋ）｜ Ｇ 是ｎ阶简单连通图｝ ,可以得到Ｅ（ｋ ,ｎ） ＝ｄｋ ｋ＋ １ ≤ｄ ≤ｎ － １ ,　　若２ ≤ｋ≤ｎ － ２ ,｛２｝ ,　　　　　　　　　　　　若ｋ≥ｎ － １ ．     

关于带作用群的有限群的幂零性

设Ｇ是一个有限群，Ｇ的自同构群Ａ作用于Ｇ，且（｜Ａ｜，｜Ｇ｜）＝１．在未假设Ｃ＿ｃ（Ａ）＝１的情形下，证明了关于群Ｇ幂零性的几个充分条件，其中主要定理为：定理２．４设Ａ≤Ａｕｔ（Ｇ）（｜Ａ｜，｜Ｇ｜）＝１，若Ｇ有Ａ－不变的幂零π－Ｈａｌｌ子群Ｈ，且Ｈ的Ｓｙｌｏｗ２－子群Ｈ＿２为Ａｂｅｌ群，对则Ｇ幂零。     

Near-MDR codes over Z 4

In this paper, we define near-MDR （maximum distance with respect to rank） codes over the ring Z4 and prove that a linear code C over Z4 is near-MDR if and only if the torsion codes Tor（C）is near-MDS. Finally, the generator matrices of all near-MDR codes over Z4 are given.     

F4上二维最优自正交码的分类

根据四元自正交码的重量特点,研究二维最优自正交码的生成矩阵与重量分布之间的关系.通过引入二维四元码的定义向量和射影重量概念,利用Simplex码的码字构成的矩阵,建立二维最优自正交码的存在性与整数方程组的非负解之间的联系,将确定二维最优正交码的生成矩阵问题转化为求解整数方程组的非负解.对于给定码长,首先由Griesmer界确定二维最优自正交码的距离;然后,通过求解整数方程组的非负解,确定出所有二维最优自正交码的生成矩阵和重量多项式;依据二维最优自正交码的生成矩阵,利用矩阵的初等行变化、向量的坐标置换和元素的共轭变换,判断二维最优自正交码的等价性;最后,完全解决了二维最优自正交码的分类问题,给出互不等价的二维最优自正交码的生成矩阵与重量多项式.     

内缀强码的一个刻画

称码ＣＡ＋为强码，若对任意ｘ，ｙ，ｚ∈Ａ＊，（ｉ）ｘ，ｙｚ∈Ｃ蕴含ｙｘｚ∈Ｃ＋且（ｉ）ｙｘｚ∈Ｃ＋与ｘ∈Ｃ＋蕴含ｙｚ∈Ｃ＊；称码ＣＡ＋为内缀码，若ｘ∈Ｃ且ｙｘｚ∈Ｃ蕴含ｙｚ＝１．本文证明：ＣＡ＋为内缀强码的充要条件是对Ｃ的字母表ＡＣＡ有正整数ｋ，使Ｃ＝ＡｋＣ．此结论是对Ｃ．Ｍ．Ｒｅｉｓ类似结论的补充，亦是Ｈ．Ｊ．Ｓｈｙｒ关于有限强码同样结论的推广     

关于卷积码编码方案的研究

文章详述了纠错码理论中的卷积码的编码方案和解码方案,重点分析了它存在的缺陷,然后利用循环码的编码方案改进了卷积码的编码方案,得到了循环卷积码,提高了它编码的纠错能力。     

四维最优二元自正交码及其构造

研究了四维二元自正交码的码长与距离之间的关系,证明了参数为[15m 5,4,8m 2]及[15m 12,4,8m 6]自正交码的不存在性,从而对每个n≥8确定了最优自正交码的极小距离,再构造出相应的最优[n,4]自正交码的生成阵,计算出它们的重量多项式。     

环Fpm+uFpm上任意长度的负循环码

文章运用有限链环理论,研究了环R=Fpm+uFpm上的任意长度的负循环码,通过环R上线性码的剩余码及挠码给出了环R上长度为1的负循环码及其对偶码的结构,并分别确定了p=2和p>2时自对偶负循环码存在的充分必要条件。     

环Fp^m＋uFp^m＋…＋u^k-1Fpm上常循环码的等价性

研究了环Fp^m＋uFp^m＋…＋uk-1Fp^m上任意长度的常循环码的等价性,利用等价性给出了该环上一些常循环码的结构.     

信息系统开发中的代码设计

针对信息系统开发中代码设计存在的不符合标准、结构不合理、内容不完全等问题，提出了严格按国家标准设计，处理好代码的可扩充性与简明性原则的统一，代码结构的合理性与稳定性原则的统一，设计内容必须包括代码校验等具体的处理意见。     

四相差分相移键控的编码

介绍了自然码、循环码的特点及其相互关系,探讨了四进制差分相移键控方式下自然码、循环码的编码,并举例说明     

环F_2+uF_2+…+u~kF_2上的自对偶码

文章研究了环F2+uF2+…+ukF2上的自对偶码,给出了其存在的充分必要条件,并定义了环上线性码的高阶挠码,最后考察了F2+uF2+…+ukF2(k≥2)与F2+uF2上自正交码之间的关系。