Extensions of Modules with ACC on d-annihilators

A unitary right R-module MR satisfies acc on d-annihilators if for every sequence(a_n)_n of elements of R the ascending chain AnnM(a_1)■ AnnM(a_1 a_2)■AnnM(a_1 a_2 a_3)■… of submodules of MR stabilizes. In this paper we first investigate some triangular matrix extensions of modules with acc on d-annihilators. Then we show that under some additional conditions,the Ore extension module M[x]R[x;α,δ]over the Ore extension ring R[x;α,δ] satisfies acc on d-annihilators if and only if the module MR satisfies acc on d-annihilators. Consequently, several known results regarding modules with acc on d-annihilators are extended to a more general setting.     

Gorenstein projective modules and Frobenius extensions

We prove that for a Frobenius extension, if a module over the extension ring is Gorenstein projective,then its underlying module over the base ring is Gorenstein projective; the converse holds if the frobenius extension is either left-Gorenstein or separable(e.g., the integral group ring extension ZZG).Moreover, for the Frobenius extension RA = R[x]/(x~2), we show that: a graded A-module is Gorenstein projective in GrMod(A), if and only if its ungraded A-module is Gorenstein projective, if and only if its underlying R-module is Gorenstein projective. It immediately follows that an R-complex is Gorenstein projective if and only if all its items are Gorenstein projective R-modules.     

V-Gorenstein Injective Modules Preenvelopes and Related Dimension

Let R and S be associative rings and _SV_R a semidualizing(S-R)-bimodule. An R-module N is said to be V-Gorenstein injective if there exists a Hom_R(I_V(R),-) and Hom_R(-, I_V(R)) exact exact complex ···→ I_1 d_0→I_0→I~0 d_0→I~1→··· of V-injective modules I_i and I~i, i ∈ N_0, such that N≌Im(I_0→I~0). We will call N to be strongly V-Gorenstein injective in case that all modules and homomorphisms in the above exact complex are equal, respectively. It is proved that the class of V-Gorenstein injective modules are closed under extension, direct summand and is a subset of the Auslander class A_V(R) which leads to the fact that V-Gorenstein injective modules admit exact right I_V(R)-resolution. By using these facts, and thinking of the fact that the class of strongly V-Gorenstein injective modules is not closed under direct summand, it is proved that an R-module N is strongly VGorenstein injective if and only if N⊕E is strongly V-Gorenstein injective for some V-injective module E. Finally, it is proved that an R-module N of finite V-Gorenstein injective injective dimension admits V-Gorenstein injective preenvelope which leads to the fact that, for a natural integer n, Gorenstein V-injective injective dimension of N is bounded to n if and only if Ext_(IV(R))~(≥n+1)(I, N) = 0 for all modules I with finite I_V(R)-injective dimension.     

On Ding homological dimensions

In this paper, we investigate Ding projective dimensions and Ding injective dimensions of modules and ringsLet R be a ring with r DP D(R) = n ∞, and let W1 = {M|fd(M) ∞}We prove that(DP, W1) is a complete hereditary cotorsion pair such that a module M belongs to DP ∩ W1 if and only if M is projective, moreover,W1 = {M|pd(M) ∞} = {M|fd(M) ≤ n} = {M|pd(M) ≤ n}Then we introduce and investigate Ding derived functor Dexti(-,-), and use it to characterize global Ding dimensionWe show that if R is a Ding-Chen ring, or if R is a ring with r DP D(R) ∞ and r DI D(R) ∞,then r DP D(R) ≤ n if and only if r DI D(R) ≤ n if and only if Dextn+i(M, N) = 0 for all modules M and N and all integer i ≥ 1.     

具有对称自同态的环及其扩张

Let R be a ring with an endomorphism α and an α-derivation δ. We introduce the notions of symmetric α-rings and weak symmetric α-rings which are generalizations of symmetric rings and weak symmetric rings, respectively, discuss the relations between symmetricα-rings and related rings and investigate their extensions. We prove that if R is a reduced ring and α(1) = 1, then R is a symmetric α-ring if and only if R[x]/(x n) is a symmetric ˉα-ring for any positive integer n. Moreover, it is proven that if R is a right Ore ring, α an automorphism of R and Q(R) the classical right quotient ring of R, then R is a symmetric α-ring if and only if Q(R) is a symmetric ˉα-ring. Among others we also show that if a ring R is weakly 2-primal and(α, δ)-compatible, then R is a weak symmetric α-ring if and only if the Ore extension R[x; α, δ] of R is a weak symmetric ˉα-ring.     

On（N,U）-Coherence of Modules and Rings

Let U be a flat right R-module and N an infinite cardinal number.A left R-module M is said to be (N,U)-coherent if every finitely generated submodule of every finitely generated M-projective module in σ[M] is (N,U)-finitely presented in σ[M].It is proved under some additional conditions that a left R-module M is (N,U)-coherent if and only if Л^Ni∈I U is M-flat as a right R-module if and only if the (N,U)-coherent dimension of M is equal to zero.We also give some characterizations of left (N,U)-coherent dimension of rings and show that the left N-coherent dimension of a ring R is the supremum of (N,U)-coherent dimensions of R for all flat right R-modules U.     

The Bass-Quillen problem on a class of local rings with weak global dimension two

Let (R,m) be a local GCD domain. R is called a U2 ring if there is an element u ∈ m-m2 such that R/(u) is a valuation domain and Ru is a B′ezout domain. In this case u is called a normal element of R. In this paper we prove that if R is a U2 ring, then R and R[x] are coherent; moreover, if R has a normal element u and dim(R/(u)) = 1, then every finitely generated projective module over R[X] is free.     

McCoy环的扩张(英文)

A ring R is said to be right McCoy if the equation f(x)g(x)=0,where f(x)and g(x)are nonzero polynomials of R[x],implies that there exists nonzero s∈R such that f(x)s=0.It is proven that no proper(triangular)matrix ring is one-sided McCoy.It is shown that for many polynomial extensions,a ring R is right McCoy if and only if the polynomial extension over R is right McCoy.     

Frobenius扩张上的$n$-Gorenstein投射模和维数

In this paper, we study n-Gorenstein projective modules over Frobenius extensions and n-Gorenstein projective dimensions over separable Frobenius extensions. Let R ■ A be a Frobenius extension of rings and M any left A-module. It is proved that M is an n-Gorenstein projective left A-module if and only if A ■_RM and Hom_R(A, M) are n-Gorenstein projective left A-modules if and only if M is an n-Gorenstein projective left R-module. Furthermore, when R ■ A is a separable Frobenius extension, n-Gorenstein projective dimensions are considered.     

ON fPP—Rings

in this psper,we investigate nore general rings than GPP-rings,called fPP-rings.First,we in-vestigate fPP-rings and their classical quotient quotient rings.We ptove (1) fPP-rings are f-quasi-regular rings.(2)R is a fPP-ring then Q(R) is fPP-ring.(3)R= iRi is a fPP-ring if and only if every Ri is a fPP-ring.Second,we present a characterization of fPP-ring via fP-injectivity,we prove that R is a fPP-ring if and only if every quotient module of a imjective R-module is fP-injectiv if and only ifevery quotient module of a P-injective R-module is fP-injective.Third,we study how fPP-rings are related to von Neu-mann regular rings,we prove that R is von Nevmann regular if and only if R is fPP-ring and for every α∈R,there is b∈E(R) and d∈R suth that α=f(α)b and f(α)=f^2(α) d for some f∈F(R).Finally,we give a example of fPP-ring which is not GPP-ring.     

关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

相对平坦模的$\aleph$-积

设$M$是右$R$-模, $\aleph$是一个无穷基数. 称右$R$-模$N$是$\aleph$-$M$-凝聚的,如果对任意的$B/A\hookrightarrow mR$,其中设$M$是右$R$-模, $\aleph$是一个无穷基数. 称右$R$-模$N$是$\aleph$-$M$-凝聚的,如果对任意的$B/A\hookrightarrow mR$,其中设$M$是右$R$-模, $\aleph$是一个无穷基数. 称右$R$-模$N$是$\aleph$-$M$-凝聚的,如果对任意的$B/A\hookrightarrow mR$,其中设$M$是右$R$-模, $\aleph$是一个无穷基数. 称右$R$-模$N$是$\aleph$-$M$-凝聚的,如果对任意的$B/A\hookrightarrow mR$,其中$0\leq A相似文献   

Generalized Ejiri''s Rigidity Theorem for Submanifolds in Pinched Manifolds

Let $M^{n}(n\geq4)$ be an oriented compact submanifold with parallel mean curvature in an $(n+p)$-dimensional complete simply connected Riemannian manifold $N^{n+p}$. Then there exists a constant $\delta(n,p)\in(0,1)$ such that if the sectional curvature of $N$ satisfies $\ov{K}_{N}\in[\delta(n,p), 1]$, and if $M$ has a lower bound for Ricci curvature and an upper bound for scalar curvature, then $N$ is isometric to $S^{n+p}$. Moreover, $M$ is either a totally umbilic sphere $S^n\big(\frac{1}{\sqrt{1+H^2}}\big)$, a Clifford hypersurface $S^{m}\big(\frac{1}{\sqrt{2(1+H^2)}}\big)\times S^{m}\big(\frac{1}{\sqrt{2(1+H^2)}}\big)$ in the totally umbilic sphere $S^{n+1}\big(\frac{1}{\sqrt{1+H^2}}\big)$ with $n=2m$, or $\mathbb{C}P^{2}\big(\frac{4}{3}(1+H^2)\big)$ in $S^7\big(\frac{1}{\sqrt{1+H^2}}\big)$. This is a generalization of Ejiri''s rigidity theorem.     

奇异非线性$p-$调和方程的一类正整体解

设p>1,β≥0是常数, n是自然数, 是一个连续函数.本文研究形如的奇异非线性p-调和方程的正整体解,给出了该类方程具有无穷多个其渐近阶刚好为|x|(2n-2)(当|x|→∞时)的径向对称的正整体解的若干充分条件.     

Projektive Skalen,Tschebyscheff-Polynome und Fibonacci-Zahlen

Summary. Let $\widehat{\widehat T}_n$ and $\overline U_n$ denote the modified Chebyshev polynomials defined by $\widehat{\widehat T}_n (x) = {T_{2n + 1} \left(\sqrt{x + 3 \over 4} \right) \over \sqrt{x + 3 \over 4}}, \quad \overline U_{n}(x) = U_{n} \left({x + 1 \over 2}\right) \qquad (n \in \mathbb{N}_{0},\ x \in \mathbb{R}).$ For all $n \in \mathbb{N}_{0}$ define $\widehat{\widehat T}_{-(n + 1)} = \widehat{\widehat T}_n$ and $\overline U_{-(n + 2)} = - \overline U_n$, furthermore $\overline U_{-1} = 0$. In this paper, summation formulae for sums of type $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k}(\nu; x)$ are given, where $\bigl(\mathbf a_{\mathbf k}(\nu; x)\bigr)^{-1} = (-1)^k \cdot \Bigl( x \cdot \widehat{\widehat T}_{\left[k + 1 \over 2\right] - 1} (\nu) +\widehat{\widehat T}_{\left[k + 1 \over 2\right]}(\nu)\Bigr) \cdot \Bigl(x \cdot \overline U_{\left[k \over 2\right] - 1} (\nu) + \overline U_{\left[k \over 2\right]} (\nu)\Bigr)$ with real constants $ x, \nu $. The above sums will turn out to be telescope sums. They appear in connection with projective geometry. The directed euclidean measures of the line segments of a projective scale form a sequence of type $(\mathbf a_{\mathbf k} (\nu;x))_{k \in \mathbb{Z}}$ where $ \nu $ is the cross-ratio of the scale, and x is the ratio of two consecutive line segments once chosen. In case of hyperbolic $(\nu \in \mathbb{R} \setminus] - 3,1[)$ and parabolic $\nu = -3$ scales, the formula $\sum\limits^{+\infty}_{k = -\infty} \mathbf a_{\mathbf k} (\nu; x) = {\frac{1}{x - q_{{+}\atop(-)}}} - {\frac{1}{x - q_{{-}\atop(+)}}} \eqno (1)$ holds for $\nu > 1$ (resp. $\nu \leq - 3$), unless the scale is geometric, that is unless $x = q_+$ or $x = q_-$. By $q_{\pm} = {-(\nu + 1) \pm \sqrt{(\nu - 1)(\nu + 3)} \over 2}$ we denote the quotient of the associated geometric sequence.

     

具误差隐格式迭代逼近严格伪压缩映像族公共不动点 (英)

设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设$K$是实Banach空间$E$中非空闭凸集, $\{T_i\}_i=1^{N}$是$N$个具公共不动点集$F$的严格伪压缩映像, $\{\alpha_n\}\subset [0,1]$是实数列, $\{u_n\}\subset K$是序列, 且满足下面条件 (i)\ 设K是实Banach空间E中非空闭凸集，{Ti}i=1^N是N个具公共不动点集F的严格伪压缩映像，{αn}包括于[0,1]是实数例，{un}包括于K是序列，且满足下面条件（i）0〈α≤αn≤1;（ii）∑n=1∞（1-αn）=＋∞.（iii）∑n=1∞ ‖un‖〈＋∞.设x0∈K,{xn}由正式定义xn=αnxn-1＋（1-αn）Tnxn＋un-1,n≥1,其中Tn=Tnmodn，则下面结论（i）limn→∞‖xn-p‖存在，对所有p∈F；（ii）limn→∞d（xn,F）存在，当d（xn,F）=infp∈F‖xn-p‖；（iii）lim infn→∞‖xn-Tnxn‖=0.文中另一个结果是，如果{xn}包括于[1-2^-n,1]，则{xn}收敛，文中结果改进与扩展了Osilike（2004）最近的结果，证明方法也不同。     

Transplantation Theorems for Ultraspherical Polynomials in Re H 1 and BMO

We consider the uniformly bounded orthonormal system of functions $$ u_n^{(\l)}(x)= \varphi_n^{(\lambda)}(\cos x)(\sin x)^\lambda, \qquad x\in [0,\pi], $$ where $\{\varphi_n^{(\lambda)}\}_{n=0}^\infty \,\, (\lambda > 0)$ is the normalized system of ultraspherical polynomials. R. Askey and S. Wainger proved that the $L^p$-norm $(1 < p < \infty)$ of any linear combination of the first $N+1$ functions $u_n^{(\lambda)}(x)$ is equivalent to the $L^p$-norm of the even trigonometric polynomial of degree $N$ with the same coefficients. This theorem fails if $p=1 $ or $p=\infty.$ Studying these limiting cases, we prove (for $0 < \lambda < 1$) similar transplantation theorems in $\mbox{Re } H^1$ and $\mbox{BMO}.$     

Asymptotics of Laurent Polynomials of Odd Degree Orthogonal with Respect to Varying Exponential Weights

Let denote the linear space over spanned by . Define the (real) inner product , where V satisfies: (i) V is real analytic on ; (ii) ; and (iii) . Orthogonalisation of the (ordered) base with respect to yields the even degree and odd degree orthonormal Laurent polynomials , and . Define the even degree and odd degree monic orthogonal Laurent polynomials: and . Asymptotics in the double-scaling limit such that of (in the entire complex plane), , and (in the entire complex plane) are obtained by formulating the odd degree monic orthogonal Laurent polynomial problem as a matrix Riemann-Hilbert problem on , and then extracting the large-n behaviour by applying the non-linear steepest-descent method introduced in [1] and further developed in [2],[3].     

广义Macaulay-Northcott模与Tor-群

Let （S,≤） be a strictly totally ordered monoid which is also artinian, and R a right noetherian ring. Assume that M is a finitely generated right R-module and N is a left Rmodule. Denote by [[MS,≤]] and [NS,≤] the module of generalized power series over M, and the generalized Macaulay-Northcott module over N, respectively. Then we show that there exists an isomorphism of Abelian groups：Tori[[ RS,≤]]（[[MS,≤]],[NS,≤]）≌ s∈S ToriR （M,N）.