有限群稳定模范畴的Bousfield等价

考虑有限群稳定模范畴的Bousfield等价关系, 证明了若H是G的强p 嵌入子群, 则两个有限生成不可分解kG 模(kH 模)是Bousfield等价的当且仅当其Green对应是Bousfield等价的, 且Green对应诱导了Stmod(kG)的全体Bousfield等价类与Stmod(kH)的全体Bousfield等价类之间的一一对应.     

图UnUK4-的色等价刻画

h（G，x）表示图G的伴随多项式，它从图G的补图出发研究色惟一和色等价．若P（G，λ）：P（H，λ），称G和H色等价，一个图被称为是色惟一的，如P（G，λ）=P（H，λ）意味着G≈H．若h（G，x）：h（H，x），称G和H伴随等价；G和H色等价当且仅当G^-和H^-伴随等价；G色惟一当且仅当G^-伴随惟一．Un表示从路Pn-4的每个1度点分别引出两个悬挂边所得到的具有两个3度点4个1度点的树．K4^-表示从K4中删去一条边得到的图．应用伴随多项式理论研究了图（UnUK4^-）^-的伴随多项式系数和根的性质，以此为基础刻画了图（UnUK4^-）^-的色等价图类。     

关于广义路代数

通过将箭图的每个顶点放置一个k-代数,路代数的概念被推广到了广义路代数。首先研究了广义路代数的遗传性质。其次讨论了同构问题,证明了当两个正规广义路代数中的箭图都有限且无定向圈时,它们作为代数是同构的当且仅当它们中的箭图及对应顶点上的单代数是同构的。     

一致左F—析取语言

令X为由有限字母表生成的自由么半群.X的元素称作字,X的子集称作X上的语言.语言称作析取的当且仅当其句法同余为恒等的.语言A称作F—析取的当且仅当其每一个句法同余类仅包含有限个词.Shyr,H.J.在中主要考察了析取语言类.Guo,Y.Q.等在中主要考察了F—析取语言类.在此基础上,本文考察一致左F—析取语言类.     

弱紧集的一个新特征

研究了Banach空间X中的有界闭凸集C的弱紧性与其可逼近性的关系,证明了C是弱紧的当且仅当C在每个包含它(在仿射等距的意义下)的Banach空间中均是可逼近的.而当C不是完全时,C是弱紧的当且仅当对于X的每个等价范数|.|,C在(X,|.|)中均是可逼近的.     

幂等矩阵线性组合的非奇异性

幂等矩阵是矩阵理论中一类特殊的矩阵,它具有良好的性质和实际应用。利用分块矩阵给出幂等矩阵线性组合非奇异性的充分必要条件。证明了A1+A2是非奇异的当且仅当T是非奇异的;A1-A2是非奇异的当且仅当T是非奇异的且M=NT-1H当且仅当T与Ir-M都是非奇异的。     

认知态的相似性与等价性

以Bochman引入的一种非单调逻辑与信念修正的统一框架--认知态(epistemic states)为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系.因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par(·).利用有限子语言在原语言上的归约,得到如下的表示定理:任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似.     

关于Hilbert空间中部分等距算子的一点注记

引进Hilbert空间中部分等距算子的半等价关系，证明了在任意的无限维Hilbert空间中，存在两个部分等距算子，它们为半等价，但不为酉等价     

遗传σ-有界亚紧的一个等价刻画

证明了拓扑空间是遗传σ-有界亚紧的当且仅当它的每一个散射分散都有一个σ-点有界的开膨胀，丰富并深化了一般拓扑学中关于覆盖性质的研究．     

平面图平方的最小度

设G是一个没有4-圈的平面图,G的平方图G2定义在V(G)上,使得2个点u和v在G2中是相邻的当且仅当它们在G中的距离为1或2.证明了:δ(G2)≤Δ(G) 33,并且当δ(G)≥4时有δ(G2)≤16.其中,δ(H)和Δ(H)分别表示图H的最小度和最大度.     

正规的广义四元数群的4-度Cayley图

一个有限群称为广义四元数群,若Q4n=,n≥3.根据广义四元数群Q4p(p为奇素数)中只有两类二元生成集,且它们在Aut(Q4p)的作用下是传递的.结合具体图形,证明了广义四元数群的4-Cayley图的正规性.     

分圆域Q(ζ15)的幂元整基

称一个伽罗华数域L有一个幂元整基,如果它的代数整数环具有形式Z[α],其中α∈L.并且此时称α为幂元整基的生成元.两个幂元整基的生成元α和α′称为等价的,如果α′=m±σ(α),其中m∈Z并且σ∈Gal(L/Q).讨论了分圆域Q(ζ15)的幂元整基的生成元,其中ζ15是15次本原单位根.众所周知ζ15,(1-ζ15)-1和(1 ζ15)-1都是分圆域Q(ζ15)的幂元整基的生成元.证明了当α α-Z时α是分圆域Q(ζ)的幂元整基的生成元当且仅当α与ζ等价.     

广义Frame的谱空间

本文在frame的范畴形式推广--广义frame上引进点、素元与谱空间的概念,并且证明任意广义frame都是完备、余完备的Cartesian闭范畴.进而说明一个广义frame上全体点与该广义frame上全体素元之间存在着范畴等价的关系,此关系不同于经典frame理论中相应的--对应关系.并且讨论了广义Frame范畴与拓扑空间范畴之间的函子关系,最后,证明广义frame的谱空间是Sober空间.     

相对无挠模

讨论了相对于忠实平衡双模ω的相对无挠模的一些性质,给出了一个左或右Noether环是QF-环的一些等价条件, 并证明了当ω为广义倾斜双模时,ω-无挠模与 ω-1-合冲模以及ω-1-挠自由模均是等价的。研究了相对无挠模类的扩张封闭性。部分结果推广了关于经典的无挠模的结论。     

BCH-代数的首行商代数和不变子代数

给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合.     

格效应代数的理想与同态

给出了一些格效应代数的例子,并讨论了其理想.证明了效应代数的一个子集是代数系统F的一个极大效应代数理想,也是F的一个格理想当且仅当它是某个同态映射的核.特别地,单态射的像是一个子效应代数.得到了广义效应代数的真理想是一个子广义效应代数,子广义效应代数也是一个真理想.     

关于Bessel集和广义框架的一些等价刻画

引入了Hibert空间H中Bessel集,研究了Bessel集和广义框架的基本性质,给出了它们的一些等价刻画.     

一类广义多乘积和规划问题的全局优化算法

提出了一类广义多乘积规划问题 （ P ）的一种确定性算法,并用其求解该类多乘积规划问题的全局最优解. 首先,利用等价变换以及线性松弛级数,建立等价问题 （ Q ）的松弛线性规划 （ RLP ）,并给出了分支缩减方法;然后,运用分支定界方法,给出确定性全局优化算法求解等价问题 （ Q ）,算法的收敛性证明以及数值算例的结果说明了该算法是可行的.     

Fredholm框架及其扰动

引入了Hilbert空间H的Fredholm框架概念,它是一种介于普通框架与Riesz基之间的一类特殊框架.应用算子论方法,给出了Fredholm框架的重要性质及其等价刻画,证明了H上全体Fredholm框架构成了由H中全体Bessel列组成的Banach空间中的开集.研究了Fredholm框架在小扰动下和算子扰动下的稳定性,证明了框架与Riesz基的膨胀不变性.