范畴RMnl上的一个函子

Let _RM_n^l′ be a category which is equivalent to the category of left R-modules.In this paper,we define afunction F:_RM_n^l→_RM_n^l′ and prove that the functor Fpreserves products,direct limits,injections,surjectios and total esactness.Finally,we show that the functor F is a left-adjoint of the inclusion functor I:_RM_n^l′→_RM_n^l. Hence I:_RM_n^l′ is a renective subcategory of _RM_n^l.     

范畴上的一个函子及范畴

本文定义了一个由范畴Ｍ到范畴Ａ的函子Ｇ，并证明了函子Ｇ保持分量正合及全正合，关于范畴ＡＧ证明了定理：任意则其中Ｐ为素数．     

定义在范畴 RMnl上的张量函数

In this paper, we define a tensor functor on the category of R-n modules, where R is a commutative ring with 1, and prove the following theorems:     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R₀-代数,提出了基础R₀-代数的观点并讨论了其中的一些性质,在将L^*系统中的推演证明转化为相应的R₀-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L^*系统中的模糊演绎定理。     

函子范畴上加性函子的一个表示

研究函子范畴ModC上加性函子的表示,把一个Abel群作成范畴ModC上的一个左C-模,构造出一个Hom函子和一个函子态射,证明了从函子范畴ModC到范畴Ab的任意变和为积的反变左正合可加函子都与某个Hom函子自然等价.所得结论在函子范畴上,推广了Watts定理.     

d8(C3v*)EPR理论与CsMgCl3:Ni2+的光、磁性质研究

本文给出了O_h点群表象中的d^2,8(C_3v^*)完全强场矩阵,并借助于这种矩阵的特征值和特征矢量,建立了CsMgX₃:Ni²⁺(X=Cl,B,I)类晶体的全组态混合EPR理论。应用这一理论,对CsMgCl₃晶体中的Ni²⁺杂质离子的光学吸收谱、基态零场分裂参量D、顺磁g因数、基态Zeeman分裂以及EPR条件(B,hv₀)进行了统一的计算。结果与观测非常一致,从而首次对CsMgCl₃:Ni²⁺的光、磁性质作出了统一的理论解释。     

局部R0-代数

文提出了局部R₀-代数的概念,并给出了相应的等价条件,即(i)R₀-代数L是局部的,(ii) ?x∈L,ord(x)<∞或ord(-x)<∞,(iii)每一个真滤子是primary.另外,我们又证明了任一R₀-代数是局部R₀-代数的子直积.     

SL(2,R)上一类极大算子的(H∞,s1,L1)型

本文我们引入了函数类B_δ(G//K)={φ∈L¹(G//K)||φ(t)|≤Δ^-1(t)(1+t)^1-δ,δ>0),对f∈L^p(G//K),1≤p≤∞,和极大算子(?),证明了这类算子是(H_∞,s¹,L¹)型的.     

关于Pn3的优美性

设G(V,E)是一个简单图,对自然数k,当V(G^k)=V(G,E(G^k)=E(G)∪{uv|d(u,v)=k},则称图G^k为k-次方图,本文证明了图P_n³的优美性。     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.     

On the ordered K0 group of a simple C*-algebra

It is shown that any countable simple and unperforated partially ordered Abelian group with order unit, paired in an arbitrary way with a compact metrizable Choquet simplex, occurs as the K₀group of a simple unital ^*-algebra which is the inductive limit of a sequence of subhomogeneous ^*-algebras of a particularly simple form.     

命题公式集F(S)的基于R0-算子的16类分划

利用R₀-蕴涵算子对命题公式集F(S)进行分类,得出了F(S)的一个16类分划,并证明了这种分类关于非运算是同余分类.最后讨论了各类关于MP运算与HS运算的封闭性.     

在奇次Legendre多项式零点上的（0，2）*插值

设Ｐ_ｎ表示ｎ次Ｌｅｓｅｎｄｒｅ多项式，本文考虑多项式（１－ｘ²）Ｐ_ｎ．（ｘ）／ｘ（ｎ为奇数）零点上的（０，２）^*插值问题，得到了这种插值的正则性，显式表达式及收敛性．     

C*-Isomorphisms Associated with Two Projections on a Hilbert C*-Module*

Motivated by two norm equations used to characterize the Friedrichs angle, this paper studies C^*-isomorphisms associated with two projections by introducing the matched triple and the semi-harmonious pair of projections. A triple (P, Q, H) is said to be matched if H is a Hilbert C^*-module, P and Q are projections on H such that their infimum P ∧ Q exists as an element of L(H), where L(H) denotes the set of all adjointable operators on H. The C^*-subalgebras of L(H) generated by elements in {P - P ∧ Q, Q - P ∧ Q, I} and {P, Q, P ∧ Q, I} are denoted by i(P, Q, H) and o(P, Q, H), respectively. It is proved that each faithful representation (π, X) of o(P, Q, H) can induce a faithful representation (π, X e) of i(P, Q, H) such that e π(P - P ∧ Q) = π(P) - π(P) ∧ π(Q),eπ(Q - P ∧ Q) = π(Q) - π(P) ∧ π(Q).When (P, Q) is semi-harmonious, that is, R(P + Q) and R(2I - P - Q) are both orthogonally complemented in H, it is shown that i(P, Q, H) and i(I - Q, I - P, H) are unitarily equivalent via a unitary operator in L(H). A counterexample is constructed, which shows that the same may be not true when (P, Q) fails to be semi-harmonious. Likewise, a counterexample is constructed such that (P, Q) is semi-harmonious, whereas (P, I - Q) is not semi-harmonious. Some additional examples indicating new phenomena of adjointable operators acting on Hilbert C^*-modules are also provided.     

Two Commuting Involutions Fixing RP1(2m + 1) S RP2(2m + 1)*

Let Z₂ denote a cyclic group of 2 order and Z₂² = Z₂ ×Z₂ the direct product of groups. Suppose that (M, Φ) is a closed and smooth manifold M with a smooth Z₂² -action whose fixed point set is the disjoint union of two real projective spaces with the same dimension. In this paper, the authors give a sufficient condition on the fixed data of the action for (M, Φ) bounding equivariantly.     

The newton filtration and d-determination of bifurcation problems related to C0 contact equivalence

In this paper, from the Newton filtration’s point of view, we construct the singular Riemannian metric and use the method in singular theory to study the bifurcation problems, and give the sufficient condition of d-determination of bifurcation problems with respect to C ⁰ contact equivalence. The special cases of the main result in this paper are the results of Sun Weizhi and Zou Jiancheng.