S-超连续偏序集的几个特征

本文在偏序集上引入Scott S-集、S-基、弱逼近元等概念,得到S-超连续偏序集的几个新的刻画。证明了偏序集是S-超连续的当且仅当任不同两点可由主滤子与Scott S-集分离当且仅当它有S-基。证明了有界完备偏序集(简记为bc-poset)L是S-超连续的当且仅当任不同两点可由Scott S-余滤子集分离当且仅当完全双小于关系■具有插值性质,且L中不同点决定的完全双小于下集也不同。     

K2,3的多重多部图设计的构造

λKn(t)是一个λ重完全多部图,G为一个不带孤立点的简单图.所谓的图设计G-HDλ(tn)是一个序偶(X,B),其中X是Kn(t)的顶点集,B为λKn(t)的一些子图(亦称为区组)构成的集合,使得任一区组均与图G同构,且λKn(t)的任意2个不同点组成的边恰在B的λ个区组中出现.本文讨论了G=K2,3的完全多部图设计存在性问题,证明了存在G-HDλ(tn)当且仅当λn(n-1)t2≡0(mod12),n≥2,nt≥5且(n,,λt)≠(9,1,1),(12,1,1),(3,1,2),(4,1,2).     

O'下纯正多项式极小度的存在性

引言Homer 在中证明了在 P=NP 条件下可以证明 O′下纯正多项式极小度的存在性,他还证明了若干种 O″下的集不具有纯正多项式极小度.如果可以证明一切 O″下的集都不具有纯正极小度,那么可以证明 P≠NP。因此 Homer 的工作给出了一个解决“P=?NP”问题的一个可能途径.本文目的是在 P=NP 条件下证明在 O′下存在纯正多项式极小度.这样只须证明一切O′下的集都不具有纯正多项式极小度,则有 P≠NP.从而可以使证明 P≠NP 的这种途径     

利用“等号”成立条件解题举例

一、两个命题我们知道,对任意实数a、b,有(a-b)2≥0,当且仅当a=b时取等号.这里的当且仅当意指:若a=b,则(a-b)2=0及若(a-b)2=0,则a=b同时成立.将(a-b)2≥0利用完全平方差公式展开变形立得:     

关于所有子模是纯子模的平坦模

引进了一新模类-完全平坦模(每一个商模平坦).并得到了:令M是平坦左R-模,RM是完全平坦模当且仅当RM的所有子模是纯的当且仅当每一个右R-模A是M-平坦的.同时本文用完全平坦模刻画了V.N.正则环.     

半群K(n,r)中的幂等生成元

设Singn是由一个n元集上的所有奇异变换所构成的奇异变换半群，I是由Singn中一些亏数为1的幂等元组成的集合，Howie利用有向图证明了：I是Singn的一个生成集当且仅当与其相应的有向图D（I）是强连通的完全图，本文利用多重有向图将这一结果推广到Singn的每个理想K（,r)上。     

非幂零真子群同阶类类数给定的有限群

作为Schmidt定理的推广,证明了:(1)非幂零真子群同阶类类数<3的有限群可解;(2)G为非幂零真子群同阶类类数=3的非可解群当且仅当G≌A_5或G≌SL_2(5).此外,完全分类了非平凡幂零子群同阶类类数≤5的非可解群和非平凡子群同阶类类数≤9的非可解群.     

关于极限引理的一些应用

本文首先推广定义 n-可加速集,给出 n-非可加集与 n-低度之间的关系.证明 r.e.度(?)使得存在 r.e.n-可加速集 A≡_n(?)当且仅当(?)~(n)>(?)~(n).然后运用极限引理到 H_n 的描述中,证明 r.e.度(?)包含一个 n-极大集 A≡_n(?)当且仅当(?)∈H_n,i.,e.(?)~(n)≥(?)~(n+1)且(?)∈H_n 当且仅当存在一个度≤(?)的函数 f,n-do-minate 每个递归函数.     

可分解半群的Morita等价

设S,R是可分解半群.记US-FAct={sM∈S-Act|SM=M且SHoms(S,M)≌M],给出了范畴US-FAct与UR-FAct等价的刻划;S分别强Morita等价于一个夹层半群、局部单位半群、幺半群和群的条件;S是完全单半群当且仅当S强Morita等价于一个群且对任何指标集I,S SHoms(S,i∈I S)→i∈I S,s t·f→(st)f,是同构.     

奇优美图的构造

图G的标号是指G的顶点集到一个整数集的映射f,且对e=uv∈E(G)由f(u)和f(v)诱导出边e的标号f(uv).本文给出了二分奇优美图的概念,证明了一个图是二分奇优美的当且仅当它是二分优美的,并给出了一些构造奇优美图的方法.     

Fuzzy格的分支构造

本文的主要结论是:一切Fuzzy格皆由极小分支构成,极小分支则由素元组成。具体地说,本文以正交集为工具,引入了分支,极大、极小分支的概念。证明了极小分支的每个非零元为素元。属于同一极小分支的各素元彼此都不正交,而属于不同极小分支里的素元彼此一定正交,每个Fuzzy格必存在极小分支的完全族。Fuzzy格的每个元素都可向极小分支投影,并且等于各投影的并。即Fuzzy格的各个元可以一意地表成彼此正交的若干素元的并。特别,对于正统Fuzzy格,每个分支的最大元必为分明元,反之每个分明元的下集必是一个分支。分明元与分支一一对应。极小分明元对应于极小分支。在极小分支里,由原来的补结构,可以诱导建立极小分支里的补结构。这时的极小分支也成为一个Fuzzy格(它只有一个分支)。当且仅当这些极小分支Fuzzy格彼此同构时,原Fuzzy格才与L-Fuzzy集同构(即Fuzzy格退化为L-Fuzzy集);当且仅当每个极小分支由一个元素组成时,正统Fuzzy格退化为Boolean代数(格)。非退化的正统Fuzzy格的主要特征在于它有非分明元。正统Fuzzy格不同于L-fuzzy集主要是它的极小分支可以不同构。     

一阶逻辑归约与计算复杂性

在计算科学中,NP完全问题在区分可计算问题的复杂度类发挥着重大的作用,不仅是因为任意NP问题都可多项式时间归约到此类问题,而且若存在一个NP完全问题在确定图灵机多项式时间内可解,那么,所有的NP问题都可在多项式时间内解决.现在广泛认为NP完全问题不存在多项式时间算法,尽管尚未有效地证明,但识别一个问题是否为NP完全问题已经显得尤为重要.从描述复杂性角度阐述计算复杂性与逻辑之间的关联,通过具体实例:集合覆盖和控制集问题,讲述如何应用一阶投射方法证明一个NP问题的完全性.这种通过逻辑归约的方法被证明是十分有用的:只需要很少的公式而不再是冗长的证明.而逻辑归约的作用不仅在于此,在P类问题中应用逻辑归约时,发现计数最小不动点逻辑LFP+C,计数膨胀不动点逻辑IFP+C和C_(∞ω)~ω对P类问题的表达能力并不充分.     

坡上矩阵可逆的条件

坡S是一个元素满足条件s 1=1的交换半环．证明了坡S上n×n矩阵A可逆当且仅当∑k=1 n aik=1(i=1,2,…,n)且aikajk=0(i≠j,k=1,2,…,n)．在坡S中可定义补元,得到S上每一个可逆矩阵是一个置换矩阵当且仅当S不包含不同于0和1的有补元．     

半群上的拓扑、偏序和相关Domain

在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T,的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain.     

幺半群的内射类及投射类刻画

类比于一般环上模的内射类,定义了幺半群上的S-系的内射类和投射类,并利用它们刻画了几类特殊的幺半群．证明了完全内射幺半群和完全拟内射幺半群是等价的．并且证明了对于标致幺半群S,它是完全投射的当且仅当它是完全拟投射的当且仅当它上面的投射S-系构成了一个投射类．     

关于格的极小生成元集

本文证明了格的极小生成元集一定是最小生成元集且只能是非零完全并既约元全体，证明了分配格具有最小生成元集的必要条件是它满足并无限分配律．本文还证明了完全Ｈｅｙｔｉｎｇ代数具有最小生成元集当且仅当它是强代数格，证明了完备格是强代数格当且仅当它和它的对偶格均是具有最小生成元集的分配格．     

实二次域上正定偶幺模格的类数

本文综合利用邻格方法及Siegel　mass公式证明了实二次域Q( )上 内的偶幺模 格类数为2当且仅当Q( ),n=4及Q( ).n=8.     

Cantor集并的自相似性(英文)

本文研究了Cantor集和其并的自相似性.利用Cantor展式的方法,得到了关于Cantor集和迭代函数系的一个基本关系:T∪(T+α)为自相似的当且仅当存在一个非负整数n使得α=±(k2-k1)dn.进一步,若T∪(T+α)是自相似的,则它满足开集条件.     

Dirichlet空间上一类乘法算子的酉等价类

本文研究了Dirichlet空间D上由二阶Blaschke积φ定义的乘法算子M_φ的酉等价类.主要结果表明对于D的一个乘子ψ,乘法算子M_ψ酉等价于M_φ当且仅当存在常数θ,|θ|θ=1,使得ψ(z)=φ(θz).这一结果是完全不同于Hardy空间与Bergman空间上的相应结果.     

H-代数偏序集

本文引入了H-代数偏序集的概念,讨论了它的一些基本性质.得到如下主要结果:(1)举例说明了代数偏序集未必是H-代数偏序集;(2)偏序集是H-代数偏序集当且仅当强紧元是它的强基;(3)偏序集是H-代数偏序集当且仅当它的局部Scott拓扑是强代数格.