无单位元环A=sZ_(st)的同调不变量Tor_m~(Z,Z)的计算

设A=sZst,A~=A Z,本文作者给出了A~-模Z的自由预解,并以此为基础计算了T orAm(Z,Z).     

$(m,d)$-内射盖与Gorenstein $(m,d)$-平坦模

研究了$(m,d)$-内射$R$-模作成的类是(预)盖类的条件,证明了$(m,d)$-凝聚环上的每一个左$R$-模都具有$(m,d)$-内射盖.在此基础上,又引入研究了Gorenstein $(m,d)$-平坦模和Gorenstein $(m,d)$-内射模,证明了$(m,d)$-凝聚环上的左$R$-模$M$是Gorenstein$(m,d)$-平坦模的充分必要条件是它的特征模$M^{+}$是Gorenstein $(m,d)$-内射模.推广了Goresntein平坦模和Goresntein $n$-平坦模上的一些结果.     

A(m)-代数的形变理论

本文研究A(m)-代数的形变理论,利用A(m)-代数上同调定义了形变后的障碍,获得了形变与障碍的关系,为A(m)-代数的形变结构提供了研究理论基础.     

A(X,M)-c-内射性

本文研究了X-扩张模.利用A( X,M)-c-内射模的概念,获得了A( X,M)-c-内射模的有限直和仍是A( X,M)-c-内射模的一个充分必要条件,并推广了相应的结果.     

LP(E,m)空间上Markov过程的构造

引进拟正则Markov豫解族的概念,证明L^P(E,m)上的Markov豫解族(G_a)_(a>0)联系一个以E为状态空间的m-胎紧、m-特殊标准过程当且仅当它是拟正则的。进一步,举例说明所给出的拟正则条件是可验证的。需要指出的是这些例子不能用通常的Dirichlet型方法来处理。     

三角代数上的零点(m,n)-弱可导映射

设m和n是任意固定的非零整数且m+n≠0,u是一个|mn(m+n)|-无挠的三角代数,δ是u上的一个线性映射.本文证明了:如果对任意的x,y∈u且xy=yx=0有mδ(xy)+nδ(yx)=mδ(x)y+mxδ(y)+nδ(y)x+nyδ(x),则在u上存在一个导子Φ和一个中心元λ使得对任意的x∈u,有δ(x)=Φ(x)+λx.     

交叉积群代数模范畴的左部分和右部分(英文)

设G是一个有限群,k为一个特征不整除G的阶数的域,∧是一个扭kG-模代数,且∧*_σG（简写为∧*G）是一个交叉积代数.设L_∧（R_∧）为代数∧的模范畴中前缀（后缀）的投射（内射）维数至多为1的所有有限生成的不可分解模.本文主要研究了交叉积代数∧*G的模范畴左（右）部分L_∧*G(R_∧*G)与代数∧的左（右）部分L_∧（R_∧）之间的关系.最后,利用本文得到的结果,考察了代数∧的相关性质在交叉积扩张下在代数∧*G中的保持性.     

弱闭T(N)-模的预零化子的等距映射

本文刻划了弱闭T(N)-模的预零化子间的等距映射.设u,W分别为由左连续序同态N→~N和N→~N所确定的弱闭T(N)-模, u(?),W(?)分别为u,W的预零化子,Φ为由u(?)到W(?)上的线性等距映射.若(0)*=(0)#=(0),dim(0)+≠1且min{dim(H(?)~H),dim(He(?)^H)}≥2,则存在酉算子Ui,Vi(i=1,2),使得Φ(A)=U1AV*1或Φ(A)=U2A*V2*.     

方阵A、B与A(○×)B的关系

利用方阵的Jordan分解与翻转矩阵等技巧,给出方阵A、B及其张量积A(○×)B性质间的关系.     

矩阵方程X~s+A~*X~(-t)A=Q的无逆迭代解法

文中给出了求解矩阵方程Xs+A*X-tA=Q的最小极值正定解的无逆迭代法,证明了算法的收敛性,并给出了说明算法有效性的数值例子.     

同态模Hom(A,B)的同调维数

本文从研究函子(?)与Hom的联系入手,来考虑求Hom(A,B)的弱维数与投射维数。当K为域时,且条件(a)[R:K]∞,A是有限生成右R模;(b)·[R:K]<∞,S是右凝聚代数:(c)[S:K]∞,R是右Noether代数,有一成立得到1.wd_R(?)SHom(A,B)r.id_RA+1.wd_sB。     

GSM（m,1）（m=1,2）模型的数值解

本用样条函数对GM（m,1)(m=1,2)模型的残差序列进行行值似合,得到GSM（m,1)(m=1,2)模型的数值解。     

Asymptotically invariant sequences and an action of SL (2,Z) on the 2-sphere

LetG be a countable group which acts non-singularly and ergodically on a Lebesgue space (X, ȑ, μ). A sequence (B _n) in ℒ is calledasymptotically invariant in lim _n μ (B _nΔgB _n)=0 for everygεG. In this paper we show that the existence of such sequences can be characterized by certain simple assumptions on the cohomology of the action ofG onX. As an explicit example we prove that a natural action of SL (2,Z) on the 2-sphere has no asymptotically invariant sequences. The last section deals with a particular cocycle for this action which has an interpretation as a random walk on the integers with “time” in SL (2,Z).     

A New Proof of Diophantine Equation （^n2） = （^m4）

By using algebraic number theory and p-adic analysis method, we give a new and simple proof of Diophantine equation （^n2） = （^m4）     

Semigroups satisfying (xy)m = xmym

In this paper we characterize Archimedean semigroups with idempotents satisfying (xy)^m = x^my^m as exactly those semigroups which are a retract extension of a completely simple semigroup satisfying (xy)^m = x^my^m by a nil semigroup satisfying (xy)^m = x^my^m. Regular semigroups satisfying (xy)² = x²y² are exactly those semigroups which are a spined product of a band and a semigroup which is a semilattice of Abelian groups. A semigroup which is a nil extension of a regular semigroup satisfies (xy)² = x²y² if and only if it is a retract extension of a regular semigroup satisfying (xy)² = x²y² by a nil semigroup satisfying (xy)² = x²y²     

On the functional equationS(m,n)F[n/(m,n)] =F(n)h[n/(m,n)]

In this paper, we discuss the pairs (f, h) of arithmetical functions satisfying the functional equation in the title, whereF is the product off andh under the Dirichlet convolution; that is,F(n) = Σ _d|n ?(d)h(n/d) andS(m n) = Σd|(m, n) ?(d)h(n/d). The well-known Hölder's identity is a special case of this functional equation (?(n) =n, h(n) = μ(n)). We also generalize the functional equation in the title to any arbitrary regular arithmetical convolution and discuss the pairs of solutions (f, h) of the generalized functional equation and pose some problems relating to the characterization of all pairs of solutions.