交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

Hopf余模余代数的对偶定理

Blattner和Montgomery在文献[1]中讨论了Hopf模代数的对偶定理.此定理概括了VonNeumann代数的交叉余积的对偶.早在1977年,Molnar在文献[3]中给出了Hopf模代数的对偶概念Hopf余模余代数,并讨论了其性质.但关于Hopf余模余代数的对偶定理至今未见,它具有与文献[2]同等的意义.本文将通过定义左(右)Smash余积,在Hopf代数H有限维时,给出了这一对偶定理:若H~*在H×_H~*~LH~*上的右余作用为右强余内的,那么(C×H)×H~*≈C(?)(H×H~*).     

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

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

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

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

一类半p-交换p-群

我们在文献[1]中定义了半p-交换p-群,并且研究了半p-交换性和正则性的关系。在文献[2]中又引进了半p~s-交换p-群和强半p-交换p-群的概念,研究了它们的幂结构。本文将证明p-群是强半p-交换的一个充分条件(定理1),并应用这个定理推广Laffey的某些新近的结果,还将给出Feit,Thompson和Alperin等人关于p-群的几个著名定理的新证明。     

关于Mukhin的一个问题

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

关于Zassenhaus猜想

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

关于判定问题的两个注记

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

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是投射模或平坦模。     

一类Hopf曲面的模空间

在文献[1]中,Kodaira构造了S~1×(S~3/H)上复结构的模空间为平面上的空心单位圆盘D~*={z=∈C|0<|z|<1),这里H=<σ,τ>为σ,τ自由生成的群。ρ=exp(π/n (-1)~(1/2)),n≥2为固定整数。本文对一般型H构造了S~1×(S~3/H)上复结构的模空间仍为D~*。我们所用方法也不同于文献[1]中的方法。     

关于Zassenhaus猜想

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

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

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

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

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

引力规范场作用量及其主丛表述

一 近年来,文献[1,2]采用在以规范群G为结构群的主丛上适当定义Riemann几何的方式,给出了群G的规范场与Einstein引力场(GR)的统一作用量。最近,文献[3]澄清了文献[1,2]中的一些不确切之处,并进而在主丛上引进Riemann-Cartan(RC)几何,从而给出规范     

有限单群的一个刻划

在文献[1]的基础上,仅用元的阶之集我们又刻划了一批有限单群,即证明了下述定理: 定理 设G是有限群,H为下述有限单群之一:A_(11);PSU(6,2);S_z(2~(2m+1)),m≥1;M_(12),J_3,HS,McL,Suz,Ru,O'N,Co_2和Co_3.则G同构于H当且仅当π(G)=π_e(H),其中π(G)表示G中元的     

多元有界变差函数及其富里埃级数的球形求和

一、引言本文研究多元有界变差函数的Fourier级数的球形求和问题,旨在使用作者在文献[1]中的某些结果以改进的主要定理。在文献[2]中曾引入所谓多元广义有界变差函数的概念,并建立了有关广义有界变差函数之Fourier级数Riesz球形平均(临界阶)的收敛定理。文献[2]的定义如下:     

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

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

modpΛ中无短链的有限表示型自入射代数存在Hall多项式

<正>在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}_[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下     

关于单K_4-群

确定某种类型阶的单群已有不少结果(见文献[1—6]),其中文献[2]证明了有限群G的阶的相异素因子数|π(G)|为3的单群是下述群之一:A_5,A_6,L_2(7),L_2(8),L_2(17),L_3(3),U_3(3)及U_4(2)。文献[7]称上述单群为单K_3-群,并指出它们的分类只能作为所有的有限单群分类的一个推论。     

一类一阶时滞微分方程振动性的充要条件

本文研究时滞微分方程 x'(t)+Px(t-r)-qx(t-σ)=0,(1)其中P、q、r、σ均为正数。主要结果(定理1)解决了文献[1]提出的问题10(见文献[1]p.78),即建立了方程(1)的一切解振动的充