素数阶群理论的量词消去及复杂性

本文中我们将研究语言,上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质,并利用该性质给出理论Ｔ判定问题的一个复杂性上界．     

具有广义分解的态射的广义逆

本文给出了预加范畴中态射的广义分解的概念,并研究了具有广义分解的态射的｛１,ｉ｝－逆,Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ逆存在的条件及其表达式,得到了态射的群逆及Ｄｒａｚｉｎ逆存在的充要条件,推广了具有泛分解的态射的广义逆的相应结果．     

本质正规算子的模小紧相似

本文证明了一类本质正规算子Ａ＇（Ω＇;１）（Ｔ∈Ａ＇（Ω＇;１）,如果Ｔ满足（１）Ｔ,Ｔ｜Ｈ（Ｔ）分别是本质正规算子;（２）σ（Ｔ）＝Ω,ρＦ（Ｔ）∩σ（Ｔ）＝Ω;（３）ｉｎｄ（Ｔ－λ）＝－１,ｎｕｌ（Ｔ－λ）＝０,λ∈Ω＇;（４）σ（Ｔ｜Ｈ（Ｔ））是一完全集,这里Ω＇是一连通的解析Ｃａｕｃｈｙ域, Ｈｌ（Ｔ）＝ Ｖ｛ｋｅｒ（Ｔ－λ）＊：λ∈ρｒｓ－Ｆ（Ｔ）｝是模小紧相似的．     

pqr阶Cayley图是Hamilt

本文证明了pqr阶连通的Cayley图是Hamilton图,这里p,q,r为相异素数.     

半素PI-环的本质(单边)理想

本文系统研究了半素ＰＩ－环本质（单边）理想及最大商环的有关性质,从ＰＩ－理论中著名的 Ｒｏｗｅｎ非平凡相交定理出发,证明了半素 ＰＩ－环的本质（单边）理想包合一个本质两边理想（定理７,推论８）,建立了半素ＰＩ－环本质（单边）理想与其中心本质理想的内在联系（定理 ９,推论 １０）,并以此为基础,证明了半素 ＰＩ－环的最大商环是 ＰＩ的（定理 １２）,且半素 ＰＩ－环的每一正则元在其最大商环中是可逆的（定理 １４）．     

关于ICF辐射传输计算群参数平均方法的讨论

讨论基于辐射等效温度和基于电子温度的两种群参数平均方法,给出结论:基于电子温度的Rosseland方法优于基于辐射等效温度的平均方法,并有数值例子验证.     

Matrix Elements of One— and Two—Body Operators in the Unitary Group Approach （Ⅱ）—Application

Simple analytical expressions for one-and two-body matrix elements in the unitary group approach to the configuration interaction problems of many-electron systems are obtained based on the previous results for general Un irreps.     

一类多重循环群的同构刻画

设A是秩为n(n≥2)的自由Abel群,α是利用A直和分量上的循环置换与数乘构造的一个A的自同构.作A与α的半直积G=A×〈α〉,本文给出了这类多重循环群G的同构分类,以及它构成超可解群和幂零群的充要条件.     

Steiner 5-设计上的Camina-Gagen定理

著名的Camina-Gagen定理表明,若群G是一个满足k整除v的2-(v, k, 1)设计的区传递的自同构群,则G是旗传递的.本文将这个定理推广到5-(v, k, 1)设计上,并证明了如果群G区传递地作用在一个非平凡的5-(v, k, 1)设计上且满足k整除v,则G是旗传递的.     

模型空间上截断Toeplitz算子的范数和本质范数

借助分布函数不等式,本文得到模型空间上截断Toeplitz算子的范数和本质范数的一个上界和下界.作为应用,本文给出有界符号的截断Toeplitz紧性的一个充分必要条件.