关于Mukhin的一个问题

在文献[1]中Mukhin提出了如下公开问题:是否存在有限非交换单群,使得它的全部sylow子群的正规化子均有奇指数?在本文里,我们利用有限单群分类定理证明了如下定理。定理如果有限群G的全部sylow子群的正规化子均有奇指数,那么G为2-幂零群。这样,我们完全解决了Mukhin问题。以下假定所讨论的群均为有限群,所用术语和符号同文献[2]。证设群G为极小阶反例。我们首先证明G为非交换单群。实际上,容易证明定理的     

Horn集上RUE-NRF推理规则下的输入半锁反驳

文献[1]提出了Horn集上输入半锁归结原理,文献[2]则把文献[1]的结论推广到了含有等词的Horn集上。文献[3]提出了处理等词的RUE-NRF推理规则。它的特点是把等词的自反性,可传性以及替换性包括在这一推理规则之中,从而在整个定理反驳证明过程中不再出现任何等词公理。文献[3]证明了这一规则的正确性和完备性,并用布尔代数,群论和环论等十七个定理在计算     

交换环上一类特殊模的同调维数

文献[1]中证明:在一个交换环上单模平坦,当且仅当它内射,这个结果在文献[2]中有所推广,本文使用不同的技巧推广文献[2]中的主要定理.本文假定所有的环都是具有单位元的交换元,并且采用文献[3]中的符号.本文的主要结果如下:定理 设R是一个交换环,A是一个交换诺特环,(?):R→A是一个环同态.N是     

Banach压缩映象原理与空间的完备性表征

著名的Ekeland变分原理与Caristi不动点定理与空间的完备性是等价的,其直接证明见文献[1]和[2]间接证明见文献[3]。1983年Borwein指出:在赋范空间中Banach压缩映象原理与空间的完备性是等     

格值模型论中常量构作法的两个应用

本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

关于群作用下的特征标对应与算子群的交换性的一个证明

文章给出了文献[3]中定理2的一个详细的证明,使得特征标的对应关系和群作用的结果更明朗。     

关于群作用下的特征标对应与算子群的交换性的一个证明

文章给出了文献[3]中定理2的一个详细的证明,使得特征标的对应关系和群作用的结果更明朗.     

关于限制模的分量

关于群表示论中对限制模的分量(component)的研究已有著名的Green对应定理、Nagao定理及文献[1—5]的结果等。本文按文献[6,7]的术语符号(G为有限群,F为特征p的域)。先叙述     

p-可解群的p-正则类的长和p-秩

本文目的是建立有限p-可解群G的p-正则类的长的p-部分和G的p-秩及p-长的关系.文中所说的群均指有限群.p总代表素数.G_p表示群G的Sylow p-子群.r_p(G)和 l_p(G)分别表示p-可解群G的p-秩和p-长.对任一个群G及X∈K≤G,Cl_k(x)表示K的含X的共轭类.Con(G):={C|C是G的共轭类}.对于C∈Con(G),|C|叫做共轭类C的长.G的p′-元叫p-正则元,p-正则元的共轭类叫做p-正则类.对于整数n,如果n=p~am,p(?)m,那么我们写ω_p(n)=a.对于群G,我们定义rc_p(G)=max{ω_p(|C|)C∈Con(G)且C是p-正则的}.     

模态模型论中Bowen若干定理的反例和内插定理的失败

Kit Fine在文献[1]中证明了对于包含S_5的一些模态谓词演算而言,内插定理不成立,这与Bowen的结论相矛盾,并说,由于文献[2]“关于Robinson的联合无矛盾性定理(此定理为内插定理的主要依据——作者按)未给出详细证明,我们难于了解其错误所在。”事实上,Bowen的错误不在于其联合无矛盾性定理(文献[3]定理11.1,文献[2]定理10.1)、内插定理     

三维FDS非线性波动方程初值问题的整体解

一 在文献[1]中提出了一类由数量场形成的三维孤立于问题,指出了这类非拓扑性孤立子解存在的必要条件,建立了依量子力学稳定性的一般定理,并对特殊问题给出了数值结果。在文献[2]中将此问题推广到具有非Abel内部对称性的情况。正如在文献[3]中指出,文献[1]中研究的方程组为     

关于拓扑熵的一点注记

Adler,Konheim和McAndrew于1965年在文献[1]中首次引进了拓扑熵的概念。稍后Bowen在文献[2]中证明了一个相当重要的结果,他指出,紧致度量空间自映射的拓扑熵等于这一映射在它的非游荡集上的限制映射的拓扑熵。在文献[3]中也可找到另一个证明。关于这一结果的所有已知的证明均强烈地依赖于所考虑的映射的定义域的可度量性。本文推广Bowen的上述结果,证明了下述定理。     

格值模型论的Morley定理

本文在文献[1—5]的基础上引进了格值模型论的Skolem函数、不可辨元集、饱和模型、原子模型和α-稳定理论等概念,证明了在值格有限时的格值模型论的Morley定理。 本文所用符号取自文献[1—5]。要求值格适合(F_1)、(F_2)和强特征式及紧致性定理。     

无界报酬半马氏折扣模型的初等方法

半马氏决策规划折扣模型已由许多作者所研究(如文献[1—5])。从所用的方法来看,有的用不动点定理(如文献[4]),有的用马氏位势理论(如文献[5]),有的先给出一些条件,然后从最优方程获得通常的结果(如文献[2])。这些证明均较冗长。本文是文献[6]的继续,对文献[4]中无界报酬半马氏折扣模型{S, (A(i), (i), i∈S), q, r, t, V_α},我们用初等的证明方法,反而比前述方法更快地获得了结果。这里S为一可列集;A(i)为非空集,(A(i),     

关于具有T.I Sylow p子群的有限群的p可解性

Feit曾利用抽象群论的方法,巧妙地证明了下面的定理。 定理1 设G是任意有限群,G的Sylow p子群P是循环的。若G有正规子群N使得P|(|N|,|G/N|),则G是p可解的。 此定理在讨论具有循环Sylow P子群的有限群的理论中占有十分重要的地位,Brauer在文献[1]中还曾利用模表示论的方法再次给出定理1一个精彩证明。1985年Blau证明了     

关于Zassenhaus猜想

文献[1]利用有限单群分类定理及有限群局部理论中关于广义Fitting子群的一些深刻结论,推广了Zassenbaus的一个猜想.证明了陈重穆教授提出的如下定理.     

拟核族的一个性质

本文讨论拟核族的构造。我们引进自匹满半函子并证明拟核族是它的一个不变量。从而,文献[1]的一条主要定理,定理3.8,被推广到带终对象的范畴而得定理A.定义1 设为一范畴,函数ψ:称为上的自匹满半函子,若     

关于单模的同调维数

徐金中及郭善良分别证明了交换环上任一单模是内射的当且仅当它为平坦的。郭善良还将此结论推广到Duo环上。事实上这些结果可在文献[2]中找到。本文将证明一个一般的结论:交换环上任一单模的平坦维数等于它的内射维数。我们还将给出带有内射单模的交换环的特征。本文所涉及的环均有恒等元,模皆为单式模。有关同调代数的记号参看文献[3]。定理1 设R是一个交换环,则任一单 R-模的平坦维数等于它的内射维数。特别若R又是Noether环,则任一单 R-模的投射维数等于其内射维数。     

关于相对反杯性质的一个结果

1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术语.称函数f支配g,如果对几乎所有的X,