Jacobson-Chevalley稠密定理的一个推广

我们在[1]中证明了,一个半环(hemiring)关于它的Jacobson关系根的商同构于完全本原半环的亚直和。这使我们有兴趣对这个特殊的半环类——完全本原半环的结构作进一步的讨论。本文的主要结果是:一个半环是完全本原的当且仅当它是一个半模上的亚稠密自同态半环。这个定理给出了完全本原半环的结构,推广了Jacobson—Chevalley稠密定理。     

模的根和底座

在§1中我们将讨论模的根(定义1.1)以得到某些模类的分解性质,并由此推出Szsz关于半本原的MHL-环(即主左理想满足降链条件的环,见[7])的结构定理(命题1.8)。这样的环介乎半本原Artin环类和半本原环类之间,因而Szsz定理自然地给出了一个介乎古典的Wedderburn-Artin定理和Jacobson定理([2],p.14)之间的环结构定     

拟本原环(Ⅰ)

本文引进拟本原环的概念,它是Jacobson本原环的推广,在对拟本原环引进了一系列基本概念及其基本性质之后,建立了一些基本定理,诸如稠密定理、双侧模同构定理等等。     

关于含有ν-基座的本原环的结构

众所周知,任一Jacobson半单纯环均可表示为本原环的子直和[参看文1]。因此,本原环构造的研究对于探索一般环的结构具有重要的意义。在本原环结构研究中,Jacobson给出了一个著名的结构定理:若(?)是一个有非零基座的本原环,则必可找到一对偶向量空间(?),使(?)。这儿(?)表示在(?)-拓扑下连     

凝聚局部代数

通过引进S—代数的概念,把交换代数和非交换代数联系起来,[1]和[2]在Nocthcr局部代数上定义了有限生成模的级(grade),研究了Nocther局部代数,推广了著名的Auslandcr—Buchsbaum定理.本文将在凝聚局部代数上引进模的级的概念,对凝聚局部代数进行研究,得到了一些新结果.而使得关于Nocthcr局部代数的一些经典结果成为本文中相应定理的特殊情况.     

Verlinde模性范畴上的Casimir数及其应用

本文计算了秩为n+1的一类特殊的Verlinde模性范畴L的Casimir数,计算结果表明该Casimir数为2n+4.作为应用,由Higman定理知域K上的Grothendieck代数Gr(L)_Z K是半单代数当且仅当2n+4在域K中不为零.这也给出了第二类型n+1次Dickson多项式E_(n+1)(X)在K[X]中无重因式的一个等价刻画.如果2n+4在域K中为零,借助于Dickson多项式的有关因式分解定理,本文完全给出了Grothendieck代数Gr(L)_Z K的Jacobson根.     

对偶双代数

在文献[1]中,作者引入了扭曲积（twistingproduct）概念,并指出量子偶（Drinfel’ddouble）D（H）为张量积代数的扭曲积．本文把扭曲积加以推广为扭曲模,并给出它的基本结构定理．同时,我们引进对偶Hopf模,它是[2]中对偶Hopf模的发展．     

强群分次环中的Mackey分解定理和Maschke定理

本文给出强群分次环中的Mackey分解定理和Maschke定理的一般形式,也给出了A与A_1的Jacobson根之间的一些关系。 本文中模均指右西模,G是有单位元1的群。A是有单位元1的交换环k上的一个有单位元1的结合代数。A称为强G-分次的,如果有k-模直和分解且满足A_gA_h=     

量子群主Tilting模的张量积及其滤过

A=z[υ]Ω,Ω是Z[υ]的由υ-1和奇素数p生成的理想.U是A上的量子代数.令φp是p次分圆多项式,B=A/(φp),Γ是商代数B关于理想(ξ-1)的完备化,式中ξ是p次本原根.对λ∈X+,Mr(λ)表首权为λ的不可分解Uг-Tilting模(称为主Ur模).本文给出了量子群主Ur模的张量积定理.对p≥2(h-1),在p2室中描述了量子群主Ur模好滤过滤过商之首权的分布状态及其滤过重数.作为例子,对秩1型和A2型的量子群情形给出了p2室中一般位置室主Ur模好滤过的分解模式.     

加法范畴的Jacobson结构定理

本文从环论的角度来研究加法范畴的结构,对加法范畴完整地给出相应于环的Jacobson理论的结构定理。定义加法范畴上的模与Jacdbson根,证明本原加法范畴都是稠密线性变换加法范畴等。     

Wlelandt—Hoffman定理的简单证明

文[1]用较长的篇幅给出了Wielandt—Hoffman定理的证明。该定理最早由Hoffman和Wielandt于1953年给出,并基于线性规划的理论绐出了证明(见文[2]),1965年曾由Wilkinson给出纯代数的证明(见文[3]),本文借助双重随机矩阵的一个性质,给出一种相当简单的证明方法。为方便起见,先将原定理叙     

一道几何题的别证与变式

图1文[1][2][3]中都有如下一道几何题:如图1,△ABC中,E、F分别在边AB、AC上,BF与CE相交于点P,且∠1=∠2=12∠A,求证:BE=CF.文[2]中用共角定理给出证明,方法简洁、巧妙,文[3]中利用三角法结合正弦定理证明线段相等.这两种方法难度都较大,本文拟给出两种学生容易接受的常规证法并证明两个变式.图2证法1如图2,过点B作BG∥CE,过点C作CG∥BE,BG、CG相交于点G,连结GF,则∠4=∠2=∠1=12∠A,∠ACG=180°-∠A,四边形BGCE是平行四边形,∴CG=BE,∵∠FBG+∠FCG=∠1+∠4+∠ACG=12∠A+12∠A+180°-∠A=180°,     

多元算子群的根

多元算子群(简称Ω-群)的概念见[1]或[2].本文在Ω-群中引进(?)-根的概念。并对(?)(G)及(?)-半单Ω-群作了刻划,从而把[4]与[5]中关于环和模的结果推广到多元算子群中.     

B2型李代数上的Whittaker模

Kostant在文[Invent. Math.,1978,48:101-184]中介绍了有限维单李代数上的Whittaker模的概念,他用非奇异的Whittaker函数详细地描述了这一类模的结构.本文研究了B₂型李代数上奇异型Whittaker函数定理的单的Whittaker模.     

关于F_(A,δ)—环与广义周期环的几个定理

本文首先引入F_(A,δ)—环的概念,给出了某些F_(A,δ)—环的结构定理。最后引入广义周期环的概念,给出了某些广义周期环的结构定理。 本文中的环Ω均是结合环。B(Ω),L(Ω),K(Ω),J(Ω)分别是Ω的Bear根,Levitzki根,Kothe根,Jacobson根。除特别申明外,均有Ω≠0,K(Ω)。由整序定理(参见文献[1],29),对本文中任一集合,不妨设有整序集I使={a_i}i∈I,还简记I_n={1,2,…,n}∈Z~+。     

关于拟本原环

本文在[1,2]基础上,对拟本原环给出了一个新的定义,并着重举出例子,说明在本文定义下的拟本原环,一般不再是通常的本原环,虽然通常的本原环必是拟本原环。此时,我们确信对本文所定义的拟本原环可建立文[1]中对本原环所有的定理。     

关于半拓扑空间

文[2]、[3]引入了半拓扑空间的概念,本文继续[2]、[3]讨论半拓扑空间的性质。本文的主要目的,在于统一处理H-闭空间,近似紧空间、S-闭空间与U-闭空间。文[5]—[10]的一些结果,可以作为本文定理的特例得出,其中部分结果得到了改进。另外,本文还给出有关上述空间的一些新结果。本文未加定义而直接使用的概念与术语的意义,可参考文[1]—[3]。     

也谈广义积分的判敛

文[1]针对无穷限广义积分比较判敛法的弱点给出了根值判敛法(定理1)及其推广(定理2),但功效并不显著(仍须选择α,β的值),且定理2结论也不完整。本文给出无穷限广义积分的对数判敛法。并论证文[1]的两个定理     

Fuzzy数测度与积分

本文利用文[2]所给出的Fuzzy数测度的概念,定义了(—)fuzzy值函数关于(—)fuzzy数测度的积分,并且研究了这种积分的性质,得到了各种收敛定理,其中包括广义Lebesgue单调收敛定理、Fatou引理及Lebesgue控制收敛定理。在最后,讨论了(—)fuzzy数测度的R—N导数的存在性,并且给出了Fubini定理。     

从Carnap-Bass-Horn定理谈起

所谓Carnap-Bass-Horn定理系指如下定理: 定理A 对每个正整数n,具有n个自由生成元的自由一目Boole代数(即monadic Boolean algebras,以下简称一目代数)所含元素数目有限,其精确表达式为2~([2~n.2(2~n)1])。 由于S5代数和一目代数两概念完全相合(见文末说明),上述定理等价于次之 定理B 对于每一正整数n,具有n个自由生成元之自由S5代数所含元素数目有限,其精确表达式为2~([2~n.2(2~n-1)])。 又因模态系统S5的只含n个命题变元的子系统的Lindenbaum-Tarski代数就是具有n个自由生成元的自由S5代数,再根据在文[2]和[2]中引进的(广义)模态函