NOETHERIAN GT-REGULAR RINGS ARE REGULAR

ＮＯＥＴＨＥＲＩＡＮＧＴ－ＲＥＧＵＬＡＲＲＩＮＧＳＡＲＥＲＥＧＵＬＡＲ￥ＬＩＨＵＩＳＨＩ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａａｎｘｉＮｏｒｍａｌＵｎｉｖｉｓｉｔｙＸｉ＇ａｎ７１００６２，Ｃｈｉｎａ．）Ａｂｓｔｒａｃｔ：Ｉｔｉｓｐｒ...     

Quasi-injective dimension

Following our previous work about quasi-projective dimension [11], in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module M over a local ring R is finite, then it is equal to the depth of R. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then R is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then R is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.     

The connes spectrums of certain finite non-abelian groups

In this article, we investigate when every simple module has a projective (pre)envelope. It is proven that (1) every simple right R-module has a projective preenvelope if and only if the left annihilator of every maximal right ideal of R is finitely generated; (2) every simple right R-module has an epic projective envelope if and only if R is a right PS ring; (3) Every simple right R-module has a monic projective preenvelope if and only if R is a right Kasch ring and the left annihilator of every maximal right ideal of R is finitely generated.     

F-rings need not be ∏-homogeneous

We give examples of F-rings A with the property that an infinite direct product of copies of a fixed finitely generated indecomposable projective left A-module P admits a finitely generated indecomposable projective summand Q with Q not isomorphic to P.     

A Generalization of Auslander's Last Theorem

Before his death, Auslander announced that every finitely generated module over a local Gorenstein ring has a minimal Cohen–Macaulay approximation. Yoshimo extended Auslander's result to local Cohen–Macaulay rings admitting a dualizing module.Over a local Gorenstein ring the finitely generated maximal Cohen–Macaulay modules are the finitely generated Gorenstein projective modules so in fact Auslander's theorem says finitely generated modules over such rings have Gorenstein projective covers. We extend Auslander's theorem by proving that over a local Cohen–Macaulay ring admitting a dualizing module all finitely generated modules of finite G-dimension (in Auslander's sense) have a Gorenstein projective cover. Since all finitely generated modules over a Gorenstein ring have finite G-dimension, we recover Auslander's theorem when R is Gorenstein.     

Localization of Injective Modules Over Arithmetical Rings

It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P, R _P is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreover, if R is a Prüfer domain of finite character, localizations of injective R-modules are injective.     

Separable Bimodules and Approximation

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another: contravariant finiteness of the subcategory of (finitely generated) left modules with finite projective dimension, finitistic dimension, finite representation type, Auslander algebra, tame or wild representation type. Presented by A. VerschorenMathematics Subjects Classifications (2000) 16L60, 16H05, 16G10.Research supported by the bilateral project BIL99/43 “New computational, geometric and algebraic methods applied to quantum groups and diffferential operators” of the Flemish and Chinese governments.     

One Dimensional Tilting Modules are of Finite Type

We prove that every tilting module of projective dimension at most one is of finite type, namely that its associated tilting class is the Ext-orthogonal of a family of finitely presented modules of projective dimension at most one. Presented by Claus Michael Ringel.     

On the Left Perpendicular Category of the Modules of Finite Projective Dimension

In this article, we characterize several properties of commutative noetherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application, we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module.     

The grothendieck group of the category of modules of finite projective dimension over certain weakly triangular algebras

In this paper we study the category of finitely generated modules of finite projective dimension over a class of weakly triangular algebras, which includes the algebras whose idempotent ideals have finite projective dimension. In particular, we prove that the relations given by the (relative) almost split sequences generate the group of all relations for the Grothendieck group of P ^<∞(Λ) if and only if P ^<∞(Λ) is of finite type. A similar statement is known to hold for the category of all finitely generated modules over an artin algebra, and was proven by C.M.Butler and M. Auslander ( [B] and [A]).     

Cohen–Macaulay Modules of Infinite Projective Dimension

A characterization of finitely generated torsion modules of not necessarily finite projective dimension over a Cohen–Macaulay ring, is given in terms of the non-Cohen–Macaulay loci and the Fitting invariants of a free resolution of such a module.     

投射可迁环上矩阵环的若当同态

设R′是一个环,Mn′（R′）是R′上的n′×n′矩阵环.如果环R有不变基数性质并且每个有限生成的投射左R-模是自由模,则R是一个投射自由环.如果环R≌Mr（S）,其中S是一个投射自由环,则R是一个投射可迁环.当R是一个投射可迁环时,给出了从Mn′（R′）到Mn（R）（n′≥n≥2）的若当同态的代数公式.     

Homological behavior of idempotent subalgebras and Ext algebras

Let A be a(left and right) Noetherian ring that is semiperfect. Let e be an idempotent of A and consider the ring Γ :=(1-e)A(1-e) and the semi-simple right A-module Se := e A/e rad A. In this paper, we investigate the relationship between the global dimensions of A and Γ, by using the homological properties of Se. More precisely, we consider the Yoneda ring Y(e) := Ext_A~*(Se, Se) of e. We prove that if Y(e) is Artinian of finite global dimension, then A has finite global dimension if and only if so does Γ. We also investigate the situation where both A and Γ have finite global dimension. When A is Koszul and finite dimensional, this implies that Y(e) has finite global dimension. We end the paper with a reduction technique to compute the Cartan determinant of Artin algebras. We prove that if Y(e) has finite global dimension, then the Cartan determinants of A and Γ coincide. This provides a new way to approach the long-standing Cartan determinant conjecture.     

Pure projective torsion free modules over Bass domains

We prove that every pure projective torsion free module over a (commutative) Bass domain with finite normalization contains a finitely generated direct summand.     

On the number of generators of a projective module

In this article we give a bound on the number of generators of a finitely generated projective module of constant rank over a commutative Noetherian ring in terms of the rank of the module and the dimension of the ring. Under certain conditions we provide an improvement to the Forster–Swan bound in case of finitely generated projective modules of rank n over an affine algebra over a finite field or an algebraically closed field.     

Answer to a conjecture of J.M. Cohen

The origin of Gelfand rings comes from [9] where the Jacobson topology and the weak topology are compared. The equivalence of these topologies defines a regular Banach algebra. One of the interests of these rings resides in the fact that we have an equivalence of categories between vector bundles over a compact manifold and finitely generated projective modules over C(M), the ring of continuous real functions on M [17].These rings have been studied by R. Bkouche (soft rings [3]) C.J. Mulvey (Gelfand rings [15]) and S. Teleman (harmonic rings [19]).Firstly we study these rings geometrically (by sheaves of modules (Theorem 2.5)) and then introduce the ?ech covering dimension of their maximal spectrums. This allows us to study the stable rank of such a ring A (Theorem 6.1), the nilpotence of the nilideal of K₀(A) - The Grothendieck group of the category of finitely generated projective A-modules - (Theorem 9.3), and an upper limit on the maximal number of generators of a finitely generated A-module as a function of the afore-mentioned dimension (Theorem 4.4).Moreover theorems of stability are established for the group K₀(A), depending on the stable rank (Theorems 8.1 and 8.2). They can be compared to those for vector bundles over a finite dimensional paracompact space [18].Thus there is an analogy between finitely generated projective modules over Gelfand rings and ?ech dimension, and finitely generated projective modules over noetherian rings and Krull dimension.     

置换群直积的张量对称类的秩

假定基环R是特征为零的整环，并且使得它上每个有限生成的投射模是自由模．本文研究有限秩自由R-模的张量积相对于有限个置换群直积而言的张量对称类，给出了张量对称类非平凡的判别准则以及相应张量对称类秩之间的关系式，并将所得结果应用到模情形．     

Virtually semisimple modules and a generalization of the Wedderburn-Artin theorem

A widely used result of Wedderburn and Artin states that “every left ideal of a ring R is a direct summand of R if and only if R has a unique decomposition as a finite direct product of matrix rings over division rings.” Motivated by this, we call a module M virtually semisimple if every submodule of M is isomorphic to a direct summand of M and M is called completely virtually semisimple if every submodule of M is virtually semisimple. We show that the left R-module R is completely virtually semisimple if and only if R has a unique decomposition as a finite direct product of matrix rings over principal left ideal domains. This shows that R is completely virtually semisimple on both sides if and only if every finitely generated (left and right) R-module is a direct sum of a singular module and a projective virtually semisimple module. The Wedderburn-Artin theorem follows as a corollary from our result.