Weak-Injective Modules

Pure-injective and RD-injective R-modules over domains R have been investigated by many authors. We introduce another class of R-modules, called weak-injective modules, which turn out to be useful in addressing several unanswered questions between the two classes of modules. We also find that this class is an envelope class over any domain, giving a partial answer to the existence of envelope classes in the hierarchy of injective and divisible modules.

Communicated by I. Swanson.     

Injective and Projective Properties of <Emphasis Type="Italic">R</Emphasis>[<Emphasis Type="Italic">x</Emphasis>]-Modules

We study whether the projective and injective properties of left R-modules can be implied to the special kind of left R[x]-modules, especially to the case of inverse polynomial modules and Laurent polynomial modules.     

AB-Contexts and Stability for Gorenstein Flat Modules with Respect to Semidualizing Modules

We investigate the properties of categories of G _C -flat R-modules where C is a semidualizing module over a commutative noetherian ring R. We prove that the category of all G _C -flat R-modules is part of a weak AB-context, in the terminology of Hashimoto. In particular, this allows us to deduce the existence of certain Auslander-Buchweitz approximations for R-modules of finite G _C -flat dimension. We also prove that two procedures for building R-modules from complete resolutions by certain subcategories of G _C -flat R-modules yield only the modules in the original subcategories.     

The Mal'cev Rank for Modules over Pseudo-Valuation Domains

Let R be a commutative ring and A be an R-module. The Mal'cev rank μ(A) of A is the sup of genN, where N ranges over the finitely generated submodules of A, and genN is the minimum number of generators of N. We prove that μ is both sub-additive and pre-additive as an invariant of Mod(R). Our main goal is to investigate μ for modules over pseudo-valuation domains. Specifically, we establish which pseudo-valuation domains R satisfy the property that an R-module of finite Mal'cev rank must be finitely generated. We split the class 𝒞 of pseudo-valuation domains as a union 𝒞 = 𝒞₁ ∪ 𝒞₂ ∪ 𝒞₃ ∪ 𝒞₄ of suitably defined subclasses, and prove that the property holds if and only if R ∈ 𝒞₃ ∪ 𝒞₄. In that case we can describe the R-modules A where μ(A) < ∞. We also show that, for R ∈ 𝒞₄, there exist indecomposable R-modules of arbitrarily large finite Mal'cev rank.     

Rings Over Which the Class of Gorenstein Flat Modules is Closed Under Extensions

A ring R is called left “GF-closed”, if the class of all Gorenstein flat left R-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension.

In this article, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein flat left modules is projectively resolving over right coherent rings to left GF-closed rings. Also, we generalize the characterization of Gorenstein flat left modules (then of Gorenstein flat dimension of left modules) over right coherent rings to left GF-closed rings. Finally, using direct products of rings, we show how to construct a left GF-closed ring that is neither right coherent nor of finite weak dimension.     

Butler Modules Over Prüfer Domains

If R is an integral domain, let  be the class of torsion free completely decomposable R-modules of finite rank. Denote by  the class of those torsion-free R-modules A such that A is a homomorphic image of some C ? , and let 𝒫 be the class of R-modules K such that K is a pure submodule of some C ? . Further, let Q  and Q 𝒫 be the respective closures of  and 𝒫 under quasi-isomorphism. In this article, it is shown that if R is a Prüfer domain, then Q  = Q 𝒫, and  = 𝒫 in the special case when R is h-local. Also, if R is an h-local Prüfer domain and if C ?  has a linearly ordered typeset, it is established that all pure submodules and all torsion-free homomorphic images of C are themselves completely decomposable. Finally, as an application of these results, we prove that if R is an h-local Prüfer domain, then  = Q  = Q 𝒫 = 𝒫 if and only if R is almost maximal.     

On the Prime Spectrum of X-Injective Modules

Let R be a commutative ring and M an R-module. The purpose of this article is to introduce a new class of modules over R called X-injective R-modules, where X is the prime spectrum of M. This class contains the family of top modules and that of weak multiplication modules properly. In this article our concern is to extend the properties of multiplication, weak multiplication, and top modules to this new class of modules. Furthermore, for a top module M, we study some conditions under which the prime spectrum of M is a spectral space for its Zariski topology.     

Cyclically Presented Modules Over Rings of Finite Type

A ring is of finite type if it has only finitely many maximal right ideals, all two-sided. In this article, we give a complete set of invariants for finite direct sums of cyclically presented modules over a ring R of finite type. More generally, our results apply to finite direct sums of direct summands of cyclically presented right R-modules (DCP modules). Using a duality, we obtain as an application a similar set of invariants for kernels of morphisms between finite direct sums of pair-wise non-isomorphic indecomposable injective modules over an arbitrary ring. This application motivates the study of DCP modules.     

Krull–Remak–Schmidt Fails for Artinian Modules over Local Rings

Let R be a ring. Any R-module M which is Artinian or Noetherian can be written as the direct sum of a finite number of indecomposable R-modules. The theorem of Krull–Remak–Schmidt asserts that in the case where M is of finite length, such a decomposition is unique up to isomorphism. On the other hand, examples of Noetherian R-modules which have essentially different decompositions have been known for a long time. The first examples of Artinian R-modules with essentially different decompositions were published only in 1995 by Facchini, Herbera, Levy and Vámos. In order to construct such examples, one needs to deal with suitable rings R. Note that for R Noetherian or commutative, all the Artinian modules have the Krull–Remak–Schmidt property. In 1998, Facchini raised the problem of whether the same is true in the case where R is a local ring. The aim of this note is to show that this is not so: we are going to present a local ring R and Artinian R-modules M with essentially different direct decompositions into indecomposables. The military importance of these results has been discussed during the NATO meeting at Constantia (August 2000) which was organized by K. W. Roggenkamp.     

Auslander–Bridger Modules

Classically, the Auslander–Bridger transpose finds its best applications in the well-known setting of finitely presented modules over a semiperfect ring. We introduce a class of modules over an arbitrary ring R, which we call Auslander–Bridger modules, with the property that the Auslander–Bridger transpose induces a well-behaved bijection between isomorphism classes of Auslander–Bridger right R-modules and isomorphism classes of Auslander–Bridger left R-modules. Thus we generalize what happens for finitely presented modules over a semiperfect ring. Auslander–Bridger modules are characterized by two invariants (epi-isomorphism class and lower-isomorphism class), which are interchanged by the transpose. Via a suitable duality, we find that kernels of morphisms between injective modules of finite Goldie dimension are also characterized by two invariants (mono-isomorphism class and upper-isomorphism class).     

相对于余挠对的维数(英文)

本文介绍了右R-模的F-维数(C-维数)以及环R上整体F-维数(C-维数).利用同调方法,给出了平坦模维数的新刻画.另外,得到了von Neumann正则环和完全环的新刻画.     

Injective Hulls of Simple Modules over Differential Operator Rings

We study injective hulls of simple modules over differential operator rings R[θ; d], providing necessary conditions under which these modules are locally Artinian. As a consequence, we characterize Ore extensions of S = K[x][θ; σ, d] for σ a K-linear automorphism and d a K-linear σ-derivation of K[x] such that injective hulls of simple S-modules are locally Artinian.     

Gorenstein Analogue of Auslander's Theorem on the Global Dimension

In this paper, we prove that the Gorenstein analogue of the well-known Auslander's theorem on the global dimension holds true. Namely, we prove that the Gorenstein global dimension of a commutative ring R is equal to the supremum of the set of Gorenstein projective dimensions of all cyclic R-modules.     

On liftable and weakly liftable modules

Let T be a Noetherian ring and f a nonzerodivisor on T. We study concrete necessary and sufficient conditions for a module over R=T/(f) to be weakly liftable to T, in the sense of Auslander, Ding, and Solberg. We focus on cyclic modules and obtain various positive and negative results on the lifting and weak lifting problems. For a module over T we define the loci for certain properties: liftable, weakly liftable, having finite projective dimension and study their relationships.     

Second representable modules over commutative rings*

Let R be a commutative ring. We investigate R-modules which can be written as finite sums of second R-submodules (we call them second representable). The class of second representable modules lies between the class of finitely generated semisimple modules and the class of representable modules; moreover, we give examples to show that these inclusions are strict even for Abelian groups. We provide sufficient conditions for an R-module M to be have a (minimal) second presentation, in particular within the class of lifting modules. Moreover, we investigate the class of (main) second attached prime ideals related to a module with such a presentation.     

t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

Modules which are extending relative to module classes

Given a ring Rand a class χ of right R-modules, a right R-module Mcan be an extending module relative to χ in two different ways. Various general properties of such extending modules are given and, in case of specific classes of R-modules, we characterize them.     

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.