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.     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

关于$(m,n)$-凝聚模与预包络

In this paper, let m, n be two fixed positive integers and M be a right R-module, we define （m, n）-M-flat modules and （m, n）-coherent modules. A right R-module F is called （m, n）-M-flat if every homomorphism from an （n, m）-presented right R-module into F factors through a module in addM. A left S-module M is called an （m, n）-coherent module if MR is finitely presented, and for any （n, m）-presented right R-module K, Hom（K, M） is a finitely generated left S-module, where S = End（MR）. We mainly characterize （m, n）-coherent modules in terms of preenvelopes （which are monomorphism or epimorphism） of modules. Some properties of （m, n）-coherent rings and coherent rings are obtained as corollaries.     

环的左(N,U)-凝聚维数和Excellent扩张

Let S be an excellent extension of a ring R and U a flat right S-module. We show in this paper that the left (N,U)-coherent dimension of S is equal to that of R.     

Some criteria for the Cohen-Macaulay property and local cohomology

Let a be an ideal of a commutative Noetherian ring R and M be a finitely generated R-module of dimension d. We characterize Cohen-Macaulay rings in term of a special homological dimension. Lastly, we prove that if R is a complete local ring, then the Matlis dual of top local cohomology module Ha^d（M） is a Cohen-Macaulay R-module provided that the R-module M satisfies some conditions.     

Left (N,U)-coherent Dimensions and Excellent Extensions of Rings

Let S be an excellent extension of a ring R and U a flat right 5-module. We show in this paper that the left (N, U)-coherent dimension of S is equal to that of R.     

广义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）.     

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.     

The Auslander-type condition of triangular matrix rings

Let R be a left and right Noetherian ring and n,k be any non-negative integers.R is said to satisfy the Auslander-type condition G n (k) if the right flat dimension of the (i + 1)-th term in a minimal injective resolution of RR is at most i + k for any 0 i n 1.In this paper,we prove that R is Gn (k) if and only if so is a lower triangular matrix ring of any degree t over R.     

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.     

环的Extensions扩张与余纯维数(英文)

Let R be a noetherian ring and S an excellent extension of R.cid(M) denotes the copure injective dimension of M and cfd(M) denotes the copure flat dimension of M.We prove that if M S is a right S-module then cid(M S)=cid(M R) and if S M is a left S-module then cfd(S M)=cfd(R M).Moreover,cid-D(S)=cid-D(R) and cfd-D(S)=cfdD(R).     

IFP-FLAT DIMENSIONS AND IFP-INJECTIVE DIMENSIONS

In basic homological algebra,the flat and injective dimensions of modules play an important and fundamental role.In this paper,the closely related I F P-flat and I F P-injective dimensions are introduced and studied.We show that I F P-fd(M) = I F P-id(M +) and I F P-fd(M +)=I F P-id(M) for any R-module M over any ring R.Let IIn(resp.,IFn) be the class of all left(resp.,right) R-modules of IFP-injective(resp.,I F P-flat) dimension at most n.We prove that every right R-module has an IF npreenvelope,(IF n,IF n⊥) is a perfect cotorsion theory over any ring R,and for any ring R with I F P-id(RR) ≤ n,(II n,II n⊥) is a perfect cotorsion theory.This generalizes and improves the earlier work(J.Algebra 242(2001),447-459).Finally,some applications are given.     

SELF-CANCELLATION OF MODULES HAVING THE FINITE EXCHANGE PROPERTY

Self-cancellation of modules having the finite exchange property is introduced. If a right R-module M has the finite exchange property, it is shown that M has self-cancellation if and only if EndR(M) is a strongly separative ring. Using this result, some new characterizations of strong separativity are obtained.     

拟-Armendariz模

For a right R-module N, we introduce the quasi-Armendariz modules which are a common generalization of the Armendariz modules and the quasi-Armendariz rings, and investigate their properties. Moreover, we prove that NR is quasi-Armendariz if and only if Mm(N)Mm(R) is quasi-Armendariz if and only if Tm(N)Tm(R) is quasi-Armendariz, where Mm(N) and Tm(N) denote the m×m full matrix and the m×m upper triangular matrix over N, respectively. NR is quasi-Armendariz if and only if N[x]R[x] is quasi-Armendariz. It is shown that every quasi-Baer module is quasi-Armendariz module.     

Λ-模的σ-子模的标准表示式

Let A be a commutative ring with unit element, and let M be a Λ-module and σ∈Hom_Λ (M, M). Then a non-empty subset N of M is called a σ-submodule of the Λ-module M, if (1) a-b∈N for all a, bg∈N, and (2) λσ(α)∈N and x-σ(x)∈N for all λ∈Λ, α∈N, x∈M. Let N be a σ-submodule of M. N is said to be a primary σ-submodule of the Λ-module M, if (1) N≠M, and (2) whenever λ∈Λ, x∈M and λσ(x) ∈N, then either x∈N or λ^kσ(M)?N for some positive integer h. This paper is intended to show (1) that if M satisfies maximal condition of σ-submodule, and K is a σ-submodule of M, then K is a finite intersection of primary σ-submodules, and (2) that the uniqueness on the normal expression of σ-submodule of the Λ-module. Also, some results of fractional module have been obtained.     

THE FUNCTIONAL DIMENSION OF SOME CLASSES OF SPACES

The functional dimension of countable Hilbert spaces has been discussed by some authors. They showed that every countable Hilbert space with finite functional dimension is nuclear. In this paper the authors do further research on the functional dimension, and obtain the following results: (1) They construct a countable Hilbert space, which is nuclear, but its functional dimension is infinite. (2) The functional dimension of a Banach space is finite if and only if this space is finite dimensional. (3) Let B be a Banach space, B* be its dual, and denote the weak * topology of B* by σ(B*,B). Then the functional dimension of (B*,σ(B*,B)) is 1. By the third result, a class of topological linear spaces with finite functional dimension is presented.     

Inverse Functions of Number-Theoretic Functions (I)

If gf(x) =x for every x, then g is called a left inverse function of f and f is a right inverse function of g. If f is both left and right inverse function of g, then f and g are said to be mutually inverse to each other. We show that (§ 1) the following results hold. A function f has a left inverse if and only if f is univalent, a function g has a right inverse if and only if g is exhaustive, i. e., g takes every (natural) number as values. Hence f has both left and right inverse if and only if f is both univalent and exhaustive, i. e., f is a permutation on the domain of natural numbers. Let g_1 and g_2 be two left inverse functions of the function f. If for every left inverse g of f, we have $g_1(x) \leq g(x) \leq g_2(x)$, then g_1(x) is called the weak, and g_2(x) is the strong, left inverse function of f. Similarly we define the weak and the strong right inverse functions. We show that(§ 2) every strict increasing function f must possess weak and strong left inverse functions, and all of its left inverse functions must be exhaustive slow increasing (a function g(x) is slow increasing if and only if g(Sx) —Sg(x) =0, here s denotes the successor function). On the other hand, every exhaustive function g must possess weak and strong right inverse functions, and all of its right inverse functions must strict increasing. We show also that (§ 3): If f_1(x) and f_2(x) both take g(x) as their strong (weak) left inverse, then f_1(x)=f_2(x)(f_1(Sx)=f_2(Sx)). If g_1(x) and g_2(x) both take f(x) as their strong or weak right inverse, then g_1(x)=g_2(x). From these results we see that we may find a function from its strong (weak) left or right inverse function. Let there be f(c) \leq x 相似文献   

Rings Whose Modules Have Grade Zero

In this paper, we prove that R is a two-sided Artinian ring and J is a right annihilator ideal if and only if (i) for any nonzero right module, there is a nonzero linear map from it to a projective module; (ii) every submodule of RR is not a radical module for some right coherent rings. We call a ring a right X ring if Homa(M, R) = 0 for any right module M implies that M = 0. We can prove some left Goldie and right X rings are right Artinian rings. Moreover we characterize semisimple rings by using X rings. A famous Faith‘s conjecture is whether a semipimary PF ring is a QF ring. Similarly we study the relationship between X rings and QF and get many interesting results.     

A NOTE ON FULLER'S THEOREM

In 1972, Fuller proved that a complete additive subeategory _RC of R-Mod isequivalent to amodule category ⊿-Mod if and only if _RC=Gen(_RU)for some quasiprogenerator _RU and ⊿≌End _RU canonically. In this note the author gives a characterization of _RC which makes _RU a projective R-module in the case when R is a right perfect ring with identity, and shows that R-Mod is the unique complete additive subcategory of R-Mod which is equivalent to R-Mod for a left Artinian ring R.     

幺半群上的斜强可逆环

For a monoid M, we introduce the concept of skew strongly M-reversible rings which is a generalization of strongly M-reversible rings, and investigate their properties. It is shown that if G is a finitely generated Abelian group, then G is torsion-free if and only if there exists a ring R with |R| ≥ 2 such that R is skew strongly G-reversible. Moreover, we prove that if R is a right Ore ring with classical right quotient ring Q, then R is skew strongly M-reversible if and only if Q is skew strongly M-reversible.