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.     

Frobenius bimodules and flat-dominant dimensions

We establish relations between Frobenius parts and between flat-dominant dimensions of algebras linked by Frobenius bimodules.This is motivated by the Nakayama conjecture and an approach of MartinezVilla to the Auslander-Reiten conjecture on stable equivalences.We show that the Frobenius parts of Frobenius extensions are again Frobenius extensions.Furthermore,let A and B be finite-dimensional algebras over a field k,and let domdim(_AX)stand for the dominant dimension of an A-module X.If_BM_A is a Frobenius bimodule,then domdim(A)domdim(_BM)and domdim(B)domdim(_AHom_B(M,B)).In particular,if B■A is a left-split(or right-split)Frobenius extension,then domdim(A)=domdim(B).These results are applied to calculate flat-dominant dimensions of a number of algebras:shew group algebras,stably equivalent algebras,trivial extensions and Markov extensions.We also prove that the universal(quantised)enveloping algebras of semisimple Lie algebras are QF-3 rings in the sense of Morita.     

关于强n-Corenstein投射模，内射模和平坦模的注记(英文)

In this paper, we mainly investigate some properties of strongly n-Gorenstein projective, injective and flat modules under the extension of rings, which mainly including excellent extensions, morita equivalences, polynomial extensions and localizations.     

H-separable Hopf Galois Extensions and Azumaya Algebra

1 IntroductionLet A/R be a ring extension with the common identity 1. A/R is said to be separable if theA-bimodule homomorphism of A @R A onto A defined by a @ 5-a6 splits. A separableextension over a non-commutative ring generalizes that over a commutative ring which wasdiscussed in [1]. Hirata introduced anOther kind of separable extensions called H-separabeones (see [2]). A/R is said to be H-separable if A @R A is isomorphic as an A-bimoduleto a direct sumrnand of A". riom {2, Theor…     

Global dimension and left derived functors of Hom

It is well known that the right global dimension of a ring R is usually computed by the right derived functors of Hom and the left projective resolutions of right R-modules. In this paper, for a left coherent and right perfect ring R, we characterize the right global dimension of R, from another point of view, using the left derived functors of Hom and the right projective resolutions of right R-modules. It is shown that rD(R)≤n (n≥2) if and only if the gl right Proj-dim MR≤n - 2 if and only if Extn-1(N, M) = 0 for all right R-modules N and M if and only if every (n - 2)th Proj-cosyzygy of a right R-module has a projective envelope with the unique mapping property. It is also proved that rD(R)≤n (n≥1) if and only if every (n-1)th Proj-cosyzygy of a right R-module has an epic projective envelope if and only if every nth Vroj-cosyzygy of a right R-module is projective. As corollaries, the right hereditary rings and the rings R with rD(R)≤2 are characterized.     

关于w-linked扩环

Let R ■ T be an extension of commutative rings.T is called w-linked over R if T as an R-module is a w-module.In the case of R ■ T ■ Q 0 （R）,T is called a w-linked overring of R.As a generalization of Wang-McCsland-Park-Chang Theorem,we show that if R is a reduced ring,then R is a w-Noetherian ring with w-dim（R） 1 if and only if each w-linked overring T of R is a w-Noetherian ring with w-dim（T ） 1.In particular,R is a w-Noetherian ring with w-dim（R） = 0 if and only if R is an Artinian ring.     

Derived representation type and Gorenstein projective modules of an algebra under crossed product

Let H and its dual H* be finite dimensional semisimple Hopf algebras. In this paper, we firstly prove that the derived representation types of an algebra A and the crossed product algebra A#σH are coincident. This is an improvement of the conclusion about representation type of an algebra in Li and Zhang [Sci China Ser A, 2006, 50: 1-13]. Secondly, we give the relationship between Gorenstein projective modules over A and that over A#σH. Then, using this result, it is proven that A is a finite dimensional CM-finite Gorenstein algebra if and only if so is A#σH.     

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.     

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.     

On Maximal Injectivity

A right R-module E over a ring R is said to be maximally injective in case for any maximal right ideal m of R, every R-homomorphism f ： m → E can be extended to an R-homomorphism f^1 ： R → E. In this paper, we first construct an example to show that maximal injectivity is a proper generalization of injectivity. Then we prove that any right R-module over a left perfect ring R is maximally injective if and only if it is injective. We also give a partial affirmative answer to Faith＇s conjecture by further investigating the property of maximally injective rings. Finally, we get an approximation to Faith＇s conjecture, which asserts that every injective right R-module over any left perfect right self-injective ring R is the injective hull of a projective submodule.     

相对平坦模的$\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相似文献   

形式三角矩阵环的PS性质和CESS性质

设$R$是环. 称右$R$-模$M$是PS-模,如果$M$具有投射的socle. 称$R$是PS-环,如果$R_R$是PS-模. 称$M$是CESS-模,如果$M$的任意具有基本socle的子模是$M$的某个直和因子的基本子模.本文给出了形式三角矩阵环 $T=\left( \begin{array}{cc} A & 0 \\     

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

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.     

相对于幺半群的McCoy环的扩张

对于幺半群~$M$, 本文引入了~$M$-McCoy~环.~证明了~$R$~是~$M$-McCoy~环当且仅当~$R$~上的~$n$~阶上三角矩阵环~$aUT_n(R)$~是~$M$-McCoy~环;得到了若~$R$~是~McCoy~环,~$R[x]$~是~$M$-McCoy~环,则~$R[M]$~是~McCoy~环;对于包含无限循环子半群的交换可消幺半群~$M$,证明了若~$R$~是~$M$-McCoy~环,则半群环~$R[M]$~是~McCoy~环及~$R$~上的多项式环~$R[x]$~是~$M$-McCoy~环.     

Gorenstein projective and flat complexes over noetherian rings

We give sufficient conditions on a class of R‐modules $\mathcal {C}We give sufficient conditions on a class of R‐modules $\mathcal {C}$ in order for the class of complexes of $\mathcal {C}$‐modules, $dw \mathcal {C}$, to be covering in the category of complexes of R‐modules. More precisely, we prove that if $\mathcal {C}$ is precovering in R ? Mod and if $\mathcal {C}$ is closed under direct limits, direct products, and extensions, then the class $dw \mathcal {C}$ is covering in Ch(R). Our first application concerns the class of Gorenstein flat modules. We show that when the ring R is two sided noetherian, a complex C is Gorenstein flat if and only if each module C_n is Gorenstein flat. If moreover every direct product of Gorenstein flat modules is a Gorenstein flat module, then the class of Gorenstein flat complexes is covering. We consider Gorenstein projective complexes as well. We prove that if R is a commutative noetherian ring of finite Krull dimension, then the class of Gorenstein projective complexes coincides with that of complexes of Gorenstein projective modules. We also show that if R is commutative noetherian with a dualizing complex then every right bounded complex has a Gorenstein projective precover.     

关于余挠三元组的余星子范畴和余倾斜子范畴

设$\mathcal{A}$ 是一个Abel范畴,且 $(\mathcal{X}, \mathcal{Z},\mathcal{Y})$ 是一个完全遗传余挠三元组.介绍 $\mathcal{A}$ 的 $n$-$\mathcal{Y}$-余倾斜子范畴的定义,并给出 $n$-$\mathcal{Y}$-余倾斜子范畴的一个刻画,类似于 $n$-余倾斜模的 Bazzoni 刻画.作为应用,证明了在一个几乎 Gorenstein 环 $R$ 上, 如果 $\mathcal{GP}$ 是 $n$-$\mathcal{GI}$-余倾斜的, 那么 $R$ 是一个 $n$-Gorenstein 环, 其中 $\mathcal{GP}$ 表示 Gorenstein 投射 $R$-模组成的子范畴且 $\mathcal{GI}$ 表示 Gorenstein 内射 $R$-模组成的子范畴. 进而, 研究 任意环$R$上的$n$-余星子范畴, 以及关于余挠三元组 $(\mathcal{P}, R$-Mod, $\mathcal{I})$ 的 $n$-$\mathcal{I}$-子范畴与 $n$-余星子范畴之间的关系, 其中 $\mathcal{P}$ 表示投射左 $R$-模组成的子范畴且 $\mathcal{I}$ 表示内射左 $R$-模组成的子范畴.     

对称广义中心对称矩阵模型修正的矩阵逼近法及其扰动性

X,B是实测的位移矩阵和载荷矩阵,C是有限元方法得到的估计矩阵,给出了AX=B的对称广义中心对称矩阵解集合ζ的表达式,对于逼近问题||C-A||F=min A∈ζ||C-A||F的解A,给出了它的表达式并分析了解A的扰动性,数值结果表明方法是行之有效的.     

$\mathcal{F}$-Perfect Rings and Modules

Let $R$ be a ring, and let $(\mathcal{F}, C)$ be a cotorsion theory. In this article, the notion of $\mathcal{F}$-perfect rings is introduced as a nontrial generalization of perfect rings and A-perfect rings. A ring $R$ is said to be right $\mathcal{F}$-perfect if $F$ is projective relative to $R$ for any $F ∈ \mathcal{F}$. We give some characterizations of $\mathcal{F}$-perfect rings. For example, we show that a ring $R$ is right $\mathcal{F}$-perfect if and only if $\mathcal{F}$-covers of finitely generated modules are projective. Moreover, we define $\mathcal{F}$-perfect modules and investigate some properties of them.     

L7（3）与GL7（3）的OD-刻画

对于任意一个有限群G,令π（G）表示由它的阶的所有素因子构成的集合.构建一种与之相关的简单图,称之为素图,记作Γ（G）.该图的顶点集合是π（G）,图中两顶点p,g相连（记作p～q）的充要条件是群G恰有pq阶元.设π（G）={P₁,p2,…,p_x}.对于任意给定的p∈π（G）,令deg（p）:=|{q∈π（G）|在素图Γ（G）中,p～q}|,并称之为顶点p的度数.同时,定义D（G）:=（deg（p₁）,deg（p₂）,…,deg（p_s））,其中p₁2<…相似文献   

一类上三角矩阵环$W_{n}(p, q)$的斜Armendariz性质

设α是环R的一个自同态,称环R是α-斜Armendariz环,如果在R[x;α]中,(∑_(i=0)~ma_ix~i)(∑_(j=0)~nb_jx~j)=0,那么a_ia~i(b_j)=0,其中0≤i≤m,0≤j≤n.设R是α-rigid环,则R上的上三角矩阵环的子环W_n(p,q)是α~—-斜Armendariz环.