允许素数阶互素自同构的有限解

本文中涉及的群都是指有限群。文中使用的一切符号的意义遵循文献[1]。 首先作一说明。设群G允许素数r阶自同构α,且r|G|。令A=<α>,那末C_G(α)=C_G(A),且G的“A不变子群”与“α不变子群”等同,所以在涉及此情形时,我们可应用文献[1]定理6.2.2.     

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

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

一个新的基数不等式

§1.引言文献[1]中的最主要定理是:对于任意T_1空间X,有|X|≤2~(L~*(X)·psw(X)),其中psw(X)=min{k:X有开覆盖u,x∈X,{x}=∩{U∈u|x∈U},ord(x,u)=k}L~*(X)=min{k:X的任一开覆盖u,有A(?)X,|A|≤k,∪st(x,u)=X}。Burke     

曲面在4-流形中的嵌入(Ⅱ)

本文是文献[1]的续篇,因此符号与定理编号均与文献[1]一脉相承。 一、二维球面的嵌人(续) 下面的定理是关于殆定流形M中一个本原类x∈H_2(M)之可表示性的,此处x~2=0。取     

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

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

关于有限单群的阶

研究有限单群的阶历史上有著名的Brauer纲领。文献[1]的作者证明了:若G是有限偶阶群,|G|>2,则G中含真子群H,满足|G|≦|H|~3。由于奇阶群可解,上述定理中偶阶的条件显然可去掉。在研究有限单群的过程中,用群阶与单性为条件来刻划单群有不少零星的结果,如见文献[2]。本文受上述工作的启发,用单群分类定理从两个方面来研究有限单群的阶,从而推广了上述结论。我们的研究表明,除少数例外情形外,几乎所有的有限单群均可用群阶与单性加以刻划。本文所讨论的群恒为有限,所用的符号都是标准的。     

关于Hrmander条件

设T:D→D’为线性连续算子,其分布核K(x,y)限制在R~n×R~n\{x=y}上满足大小条件|K(x,y)|≤A|x-y|~(-n),(1)以及光滑性条件|K(x,y)-K(x’,y)| |K(y,x)-K(y,x’)|≤B|x-x’|r|x-y|~(-n-r),当|x—x’|≤|x-y|/2,(2)其中0相似文献   

Hilbert零点定理的推广

在文献[1]中,Abian证明了: 定理A(Abian) 设C为复数域,P=C[x_0,x_1,…,x_E,…]为C上的多项式环,其中x_0,x_1,…,x_E,…为C上的一组不相关不定元,其个数不超过C的基数|C|。设Π是P的一个子集,其基数|Π小于|C|。如果Π中任意有限个多项式都在C中有公共零点,则Π中全     

某些非线性算子的固有值

在这篇文章中,作者推广了Cronin在文献[1]中的主要结果,所用的方法比文献[1]中的方法简单。设X是一无限维的线性赋范空间,DX,映照A:D→X满足下面诸条件:(ⅰ)A全连续(即A把D中的有界集变成X中的紧集);     

良紧集的层次结构与不分明Wallace定理

文献[1]与[2]关于良紧性的工作无疑是L-不分明拓扑学中重要而漂亮的成果。对于良紧性,有一个自然而有趣的问题:良紧性的层次结构问题。我们证明了:对弱诱导的Hausdorff空间,上层空间中的不分明集A的良紧性等价于对每一并既约元α,A的α-水平截集在底空间中的紧性;满层的弱Hausdorff空间中的良紧集为闭集。另外在本文中,对良紧性我们证明了不分明Wallace定理,这一定理的一个特殊情形(n=2)在文献[1]中曾得到。     

关于算子方程A=A~*C

H是复Hilbert空间,B(H)是H上有界线性算子全体,C是复数域。对任何A,A~(-1)∈B(H),文献[1]中称算子C=A~(*-1)A为A的极·积算子,文献[1]对C作了较多研究,文献[2]中以极·积算子为工具,给出H上算子方程λA~2+μA~(*2)=αA~*A+βAA~*(λ,μ,α,β∈C)可解性的研究,并写出了它的全部解。文献[2]中主要用到当C为正常算子时,方程C=A~(*-1)A可解的充要条件以及它的全部解的表达式(见文献[1]定理5)。这就很自然地促使人们研究     

关于判定问题的两个注记

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

关于局部连通性的注记

文[1,2]对“连续开映射保持局部连通性”的经典结果分别作了改进。本文继续改进了文[1,2]的结果。定义1 对拓扑空间x的子集A,如果ACint C1(A)(int和C1分别表示集合的内部和闭包),则称它为pre-open集。定理1 设x是拓扑空间,则当且仅当对x∈x和包含x的开集U,存在一个pre-open连通集A,使得时,x是局部连通的。定理2 设x是拓扑空间,则当且仅当x的     

关于Zassenhaus猜想

一、问题的提出 在文献[1]中,Thompson用Glauberman关于特征K-函子的结论解决了Zassenhaus提出的一个著名的猜想,即证明了如下定理: 设G为有限群,对G之每一Sylow子群P,有N_G(P)=P,那么|G|为一素数的幂(文献[1]X.8.15)。     

关于K.Chiba的一个问题

在文献[1]中,Chiba证明了如下的结果: 设τ是一任意的不可数基数,若空间{X_α|α<τ}的每个可数积是Lindelf的且X=∑{X_α|α<τ}是正规的,则X是可数仿紧的充要条件是X具有弱(?)-性质。 在文献[1]的结尾“注记”中,Chiba问到是否上述结果中的条件“X是正规的”可以去掉。     

Hopf模代数的投射性与平坦性

Hopf代数是代数学的一个活跃分支。给出一个H-模代数A,Hopf代数理论的一个重要课题是研究代数A,不动子代数A~H及Smash积A#H三者代数性质之间的关系。我们知道,若A/A~H是H-Galois扩张,则_A~HA是投射模(见文献[1]中定理1.7或文献[2]中定理1.2′)。这启发我们研究在什么条件下_A~HA是投射模或平坦模。     

关于Lindelf空间三个问题的回答

1983年,文[1]提出了三个尚未解决的问题:(1)c.c.c.(?)~*Lindel(?)f 性成立吗?(2)文[1]定理18(对于可展空间类,*~Lindel(?)f 性等价于可分性)的可展性条件能减弱到何种程度?(3)两个*~Lindel(?)f 空间的积空间是*~Lindel(?)f 空间吗?对于问题(1),我们赋予集合(?)(R)={F(?)R|F 是有限集}(其中R 是实数直线,通常拓扑)以拓扑,其拓扑基为(?)={[A,V]|V 是     

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

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

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

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

高维Hadamard矩阵的几个猜想之证明

本文所指的猜想(d,e,c)出自文献[1]的第Ⅵ节。下面我们将证明:猜想d与e是正确的,猜想c可以举出反例。 猜想d:由m~2Hadamard矩阵可以造出m~2完全正常的Hodamard矩阵。下面定理1就是一种证明。