模的弱消去问题和Exchange环的弱稳定条件

本文研究模的弱消去问题和exchange环的弱稳定条件,给出了wsrl条件的新刻划,证明了对具有有限exchange性质的模,外弱消去等价于内弱消去并等价于自同态环满足wsrl条件.     

色多项式对图的刻画

By means of the chromatic polynomials, this paper provided a necessary and sufficient condition for the graph G being a mono-cycle graph(the Theorem 1), a first class bi-cycle graph and a second class bicycle graph(the Theorem 2), respectively.     

图的周长的一个度条件

本文用度和给出一个关于图的最长圈的存在性条件.这一结果是N.Dean和P.Fraisse的相应结论的推广.     

条件中位数L_1－模核估计的逐点相合性

设（Ｘ，Ｙ）．（Ｘ１，Ｙ１），（Ｘ２，Ｙ２），…为Ｒｄ×Ｒ１上ｉ．ｉ．ｄ．随机向量序列。Ｙ对Ｘ的条件中位数θ（ｘ）定义为在Ｘ＝ｘ时Ｙ的条件分布函数的中位数．校函数Ｋ（·）是Ｒｄ上正实值函数，对ｘ∈Ｒｄ，θ（ｘ）的Ｌ１－模核估计θｎ（ｘ）定义由（１）给出．本文中，我们将文献［４］的均匀核法推广至一般核的情况，并在定义了θ的Ｌ１－模核估计基础之上，研究了其逐点相合性质．     

一类Caterpillars图的匹配刻画

利用匹配多项式的性质以及匹配根的信息研究了图的匹配刻画问题,给出了一类Caterpillars图F（2,m,3）及补图匹配刻画的充分必要条件是m=2,5,8.     

和图、整和图与模和图的几个结果

Let N denote the set of positive integers. The sum graph G^＋（S） of a finite subset S belong to N is the graph （S, E） with uv ∈ E if and only if u ＋ v ∈ S. A graph G is said to be a sum graph if it is isomorphic to the sum graph of some S belong to N. By using the set Z of all integers instead of N, we obtain the definition of the integral sum graph. A graph G = （V, E） is a mod sum graph if there exists a positive integer z and a labelling, λ, of the vertices of G with distinct elements from {0, 1, 2,..., z - 1} so that uv ∈ E if and only if the sum, modulo z, of the labels assigned to u and v is the label of a vertex of G. In this paper, we prove that flower tree is integral sum graph. We prove that Dutch m-wind-mill （Dm） is integral sum graph and mod sum graph, and give the sum number of Dm.     

关于含1—因子图幂中边不交1—因子

本文讨论一般含1-因子连通图的n次幂中边不交1-因子的个数.从而证明了L.Nebesky(1984)猜想对含1-因子图成立.     

几类多圈图的拉普拉斯谱刻画

设图G是一个简单连通图. 如果任何一个与图G同拉普拉斯谱的图都与图G同构,则称图G是由其拉普拉斯谱确定的. 定义了双圈图\theta_{n}(p_1,p_2,\cdots,p_t) 和m 圈图H_n(m\cdot C_3;p_1,p_2,\cdots,p_t). 证明了双圈图\theta_{n}(p)和\theta_{n}(p,q),三圈图H_n(3\cdot C_3;p)和H_n(3\cdot C_3;p,q)分别是由它们的拉普拉斯谱确定的.     

关于给定控制数的连通二部图的极大图的刻画

本文研究了给定控制数的连通二部图的极大图的结构问题.利用分类讨论思想和数学归纳法,刻画了控制数等于3和大于等于4这两类边数达到极值时的连通二部图.本文所得结果可用于进一步研究给定全控制数的连通二部图的极大图问题.     

Automorphisms of Tensor Completions of Algebras

In the classical representation of different groups, frequent use is made of a linear automorphism group of various algebras. Since the linear automorphism group is only part of a full automorphism group, such an approach might seem to be too restrictive. In this connection, we point out a natural, wide class of algebras whose automorphisms are standard and are reducible to linear. Thus, for algebras in this class, studying the full automorphism group reduces to treating the linear, a traditional approach in the class of such algebras being quite general.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 368–382, May–June, 2005.     

Comparison of MacNeille,Canonical, and Profinite Completions

Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic. The second author was supported by VICI grant 639.073.501 of the Netherlands Organization for Scientific Research (NWO).     

模糊偏序集上理想完备的幂等性

主要讨论模糊偏序集上理想完备性的本质.并得到以下结论:模糊偏序集的理想完备是幂等的当且仅当理想完备上的广义Scott拓扑与Alexandroff拓扑是一致的.     

The Lattice of Completions of an Ordered Set

For any ordered set P, the join dense completions of P form a complete lattice K(P) with least element O(P), the lattice of order ideals of P, and greatest element M(P), the Dedekind–MacNeille completion P. The lattice K(P) is isomorphic to an ideal of the lattice of all closure operators on the lattice O(P). Thus it inherits some local structural properties which hold in the lattice of closure operators on any complete lattice. In particular, if K(P) is finite, then it is an upper semimodular lattice and an upper bounded homomorphic image of a free lattice, and hence meet semidistributive.     

Adams完备化与局部化的等价性

本文在一般的范畴上考虑了幂等对与Ａｄａｍｓ完备化的关系，证明了它们是等价的     

On the Stability of Bifurcation Diagrams of Vanishing Flattening Points

On a smooth surface in Euclidean 3-space, we consider vanishing curves whose projections on a given plane are small circles centered at the origin. The bifurcations diagram of a parameter-dependent surface is the set of parameters and radii of the circles corresponding to curves with degenerate flattening points. Solving a problem due to Arnold, we find a normal form of the first nontrivial example of a flattening bifurcation diagram, which contains one continuous invariant.     

Diagrams of divide links

Recently N. A'Campo suggested a construction of a link from a generic immersion of a curve into a 2-disk. It is tightly related to the singularity theory. In this paper, we give a simple procedure to draw a diagram of the link from a picture of the curve.

     

序半群Quantale完备化的进一步结果

本文给出了序半群上幂集Quantale的最大拓扑闭包的具体形式,即序半群的最小Quantale完备化.在此基础上,证明了Quantale范畴Quant是序半群范畴OSGrp*的满的反射子范畴.最后,给出了序半群Quantale完备化的一个应用.