An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain

Let R be a Cohen–Macaulay ring. A quasi-Gorenstein R-module is an R-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself. After discussing properties of finitely generated quasi-Gorenstein modules, it is shown that this definition allows for a characterization of diagonal matrices of maximal rank over a Cohen–Macaulay factorial domain R extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative factorial Cohen–Macaulay domain.     

Semi-dualizing modules and related Gorenstein homological dimensions

A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C)?A in the derived category D(A).We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions.     

Divisibility classes are seldom closed under flat covers

We show that the class of all divisible modules over an integral domain R is closed under flat covers if and only if R is almost perfect. Also, we show that if the class of all s-divisible modules, where s is a regular element of a commutative ring R, is closed under flat covers then the quotient ring $R/sR$ satisfies some rather restrictive properties. The question is motivated by the recent classification [11] of tilting classes over commutative rings.     

Finite character of finitely stable domains

A commutative domain is finitely stable if every nonzero finitely generated ideal is stable, i.e. invertible over its endomorphism ring. A domain satisfies the local stability property provided that every locally stable ideal is stable.We prove that a finitely stable domain satisfies the local stability property if and only if it has finite character, that is every nonzero ideal is contained in at most finitely many maximal ideals. This result allows us to answer the open problem of whether every Clifford regular domain is of finite character.     

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.     

Indecomposable Modules and Gelfand Rings

It is proved that a commutative ring is clean if and only if it is Gelfand with a totally disconnected maximal spectrum. It is shown that each indecomposable module over a commutative ring R satisfies a finite condition if and only if R _P is an Artinian valuation ring for each maximal prime ideal P. Commutative rings for which each indecomposable module has a local endomorphism ring are studied. These rings are clean and elementary divisor rings. It is shown that each commutative ring R with a Hausdorff and totally disconnected maximal spectrum is local-global. Moreover, if R is arithmetic, then R is an elementary divisor ring.     

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.     

Module valuations and representation theory of orders I: Algebraic aspects

ABSTRACT

In this article, we study finitely generated reflexive modules over coherent GCD-domains and finitely generated projective modules over polynomial rings. In particular, we give a sufficient condition for a finitely generated reflexive module over a coherent GCD-domain to be a free module. By use of this result, we prove that every finitely generated projective R + [X]-module can be extended from R if R is a commutative ring with gl.dim(R) ≤ 2.     

A Cohen-type theorem for Artinian modules

We show that a finitely embedded module M over a commutative ring R is Artinian if the factor module M/(0 :_M P) is finitely embedded for every prime ideal P of R. Received: 10 June 2005     

Stability results for projective modules over Rees algebras

We provide a class of commutative Noetherian domains R of dimension d such that every finitely generated projective R-module P of rank d splits off a free summand of rank one. On this class, we also show that P is cancellative. At the end we give some applications to the number of generators of a module over the Rees algebras.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

Properties of <Emphasis Type="Italic">P</Emphasis>-coherent and Baer modules

M is called a P-coherent (resp. PP) module if its every principal submodule is finitely presented (resp. projective). M is said to be a Baer module if the annihilator of its every subset is a direct summand of R. In this paper, we investigate the properties of P-coherent, PP and Baer modules. Some known results are extended.     

Homology of perfect complexes

It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known results on free actions of elementary abelian groups and of tori on finite CW complexes. The arguments use numerical invariants of objects in general triangulated categories, introduced here and called levels. They allow one to track, through changes of triangulated categories, homological invariants like projective dimension, as well as structural invariants like Loewy length. An intermediate result sharpens, with a new proof, the New Intersection Theorem for commutative algebras over fields. Under additional hypotheses on the ring R stronger estimates are proved for Loewy lengths of modules of finite projective dimension.     

Strong Cleanness of Matrix Rings Over Commutative Rings

Let R be a commutative local ring. It is proved that R is Henselian if and only if each R-algebra which is a direct limit of module finite R-algebras is strongly clean. So, the matrix ring 𝕄 _n (R) is strongly clean for each integer n > 0 if R is Henselian and we show that the converse holds if either the residue class field of R is algebraically closed or R is an integrally closed domain or R is a valuation ring. It is also shown that each R-algebra which is locally a direct limit of module-finite algebras, is strongly clean if R is a π-regular commutative ring.     

Left localizable rings and their characterizations

A new class of rings, the class of left localizable rings, is introduced. A ring R is left localizable if each nonzero element of R is invertible in some left localization $S^{?1}R$ of the ring R. Explicit criteria are given for a ring to be a left localizable ring provided the ring has only finitely many maximal left denominator sets (e.g., this is the case if a ring has a left Noetherian left quotient ring). It is proved that a ring with finitely many maximal left denominator sets is a left localizable ring iff its left quotient ring is a direct product of finitely many division rings. A characterization is given of the class of rings that are finite direct product of left localization maximal rings.     

A generalization of a theorem of Foxby

In this paper, it is proved that a commutative noetherian local ring admitting a finitely generated module of finite projective and injective dimensions with respect to a semidualizing module is Gorenstein. This result recovers a celebrated theorem of Foxby.      

Homological Characterizations of Rings with Property (P)

Abstract

A commutative ring R is said to satisfy property (P) if every finitely generated proper ideal of R admits a non-zero annihilator. In this paper we give some necessary and sufficient conditions that a ring satisfies property (P). In particular, we characterize coherent rings, noetherian rings and Π-coherent rings with property (P).     

On maximal commutative subrings of non-commutative rings

We observe that every non-commutative unital ring has at least three maximal commutative subrings. In particular, non-commutative rings (resp., finite non-commutative rings) in which there are exactly three (resp., four) maximal commutative subrings are characterized. If R has acc or dcc on its commutative subrings containing the center, whose intersection with the nontrivial summands is trivial, then R is Dedekind-finite. It is observed that every Artinian commutative ring R, is a finite intersection of some Artinian commutative subrings of a non-commutative ring, in each of which, R is a maximal subring. The intersection of maximal ideals of all the maximal commutative subrings in a non-commutative local ring R, is a maximal ideal in the center of R. A ring R with no nontrivial idempotents, is either a division ring or a right ue-ring (i.e., a ring with a unique proper essential right ideal) if and only if every maximal commutative subring of R is either a field or a ue-ring whose socle is the contraction of that of R. It is proved that a maximal commutative subring of a duo ue-ring with finite uniform dimension is a finite direct product of rings, all of which are fields, except possibly one, which is a local ring whose unique maximal ideal is of square zero. Analogues of Jordan-Hölder Theorem (resp., of the existence of the Loewy chain for Artinian modules) is proved for rings with acc and dcc (resp., with dcc) on commutative subrings containing the center. A semiprime ring R has only finitely many maximal commutative subrings if and only if R has a maximal commutative subring of finite index. Infinite prime rings have infinitely many maximal commutative subrings.     

IG-projective modules

This paper concerns finitely generated modules over Artin algebras. We introduce the notion of an IG-projective module and use this to prove that if, over such an algebra R$R$, each simple module is strongly Gorenstein projective, then any indecomposable R$R$-module is either projective or simple. We also prove that if R$R$ is local and the simple module is IG-projective, then 1-self-orthogonal modules are projective.     

Differential projective modules over differential rings

Differential modules over a commutative differential ring which are projective as ring modules, with differential homomorphisms, form an additive category. Every projective ring module is shown occurs as the underlying module of a differential module. Differential modules, projective as ring modules, are shown to be direct summands of differential modules free as ring modules; those which are differential direct summands of differential direct sums of the ring being induced from the subring of constants. Every differential module finitely generated and projective as a ring module is shown to have this form after a faithfully flat finitely presented differential extension of the base.