On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

Coherent Rings and Gorenstein FP-Injective Modules

In this article, Gorenstein FP-injective modules are introduced and investigated. A left R-module M is called Gorenstein FP-injective if there is an exact sequence … → E ₁ → E ₀ → E ⁰ → E ¹ → … of FP-injective left R-modules with M = ker(E ⁰ → E ¹) such that Hom _R (P, ?) leaves the sequence exact whenever P is a finitely presented left R-module with pd _R (P) < ∞. Some properties of Gorenstein FP-injective modules are obtained. Several well-known classes of rings are characterized in terms of Gorenstein FP-injective modules.     

Relative Projective Modules and Relative Injective Modules

Let R be a ring, and n and d fixed non-negative integers. An R-module M is called (n, d)-injective if Ext ^d+1 _R (P, M) = 0 for any n-presented R-module P. M is said to be (n, d)-projective if Ext¹ _R (M, N) = 0 for any (n, d)-injective R-module N. We use these concepts to characterize n-coherent rings and (n, d)-rings. Some known results are extended.     

Co-Hopfian Modules of Generalized Inverse Polynomials

Let R be an associative ring not necessarily possessing an identity and (S, ≤) a strictly totally ordered monoid which is also artinian and satisfies that 0 ≤s for any s∈S. Assume that M is a left R-module having propertiy (F). It is shown that M is a co-Hopfian left R-module if and only if [M ^{S , ≤}] is a co-Hopfian left [[R ^{S , ≤}]]-module. Received October 14, 1998, Accepted October 15, 1999     

Characterization of Quasi-Coherent Modules that are Module Schemes

Let R be a commutative ring with unit, and let E be an R-module. We say the functor of R-modules E, defined by E(B) = E ? _R B, is a quasi-coherent R-module, and its dual E* is an R-module scheme. Both types of R-module functors are essential for the development of the theory of the linear representations of an affine R-group. We prove that a quasi-coherent R-module E is an R-module scheme if and only if E is a projective R-module of finite type, and, as a consequence, we also characterize finitely generated projective R-modules.     

A Criterion for Projective Modules

In case G is a finite group, there is a well-known criterion for projective modules: A ? G-module M is projective if and only if it is ? -free and has finite projective dimension. We first investigate whether only finite groups satisfy the above criterion. In the class of groups L H 𝔉, we conclude that this is true. Secondly, we consider the problem when a stably flat Γ-module is projective, where Γ is an arbitrary group. We show that if Γ is an L H 𝔉-group, then every stably flat cofibrant ? Γ-module is projective.     

On Factorization in Modules

In two articles, Anderson and Valdes-Leon generalized the theory of factorization in integral domains to commutative rings with zero divisors and to modules. Here we investigate some factorization properties in modules and state a result that relates factorization properties of an R-module, M, to the factorization properties of M as an (R/Ann(M))-module. Furthermore, we will investigate when a polynomial module, M[x], has the bounded factorization property, assuming that M has this property.     

Modules having Baer summands

Let R be an arbitrary ring with identity and M a right R-module with S = End_R(M). Let F be a fully invariant submodule of M and I^?1(F) denotes the set {m∈M:Im?F} for any subset I of S. The module M is called F-Baer if I^?1(F) is a direct summand of M for every left ideal I of S. This work is devoted to the investigation of properties of F-Baer modules. We use F-Baer modules to decompose a module into two parts consists of a Baer module and a module determined by fully invariant submodule F, namely, for a module M, we show that M is F-Baer if and only if M = F⊕N where N is a Baer module. By using F-Baer modules, we obtain some new results for Baer rings.     

Simple-Direct-Projective Modules

In this paper, we introduce and study the dual notion of simple-direct-injective modules. Namely, a right R-module M is called simple-direct-projective if, whenever A and B are submodules of M with B simple and M/A ? B ?^⊕M, then A ?^⊕M. Several characterizations of simple-direct-projective modules are provided and used to describe some well-known classes of rings. For example, it is shown that a ring R is artinian and serial with J²(R) = 0 if and only if every simple-direct-projective right R-module is quasi-projective if and only if every simple-direct-projective right R -module is a D3-module. It is also shown that a ring R is uniserial with J²(R) = 0 if and only if every simple-direct-projective right R-module is a C3-module if and only if every simple-direct-injective right R -module is a D3-module.     

On Copure Projective Modules and Copure Projective Dimensions

Let R be any ring. A right R-module M is called n-copure projective if Ext¹(M, N) = 0 for any right R-module N with fd(N) ≤ n, and M is said to be strongly copure projective if Ext ⁱ (M, F) = 0 for all flat right R-modules F and all i ≥ 1. In this article, firstly, we present some general properties of n-copure projective modules and strongly copure projective modules. Then we define and investigate copure projective dimensions of modules and rings. Finally, more properties and applications of n-copure projective modules, strongly copure projective modules and copure projective dimensions are given over coherent rings with finite self-FP-injective dimension.     

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.     

Enumerating Groups Acting Regularly on a d-Dimensional Cube

Let K be a field of characteristic p > 0, K* the multiplicative group of K and G = G _p  × B a finite group, where G _p is a p-group and B is a p′-group. Denote by K ^λ G a twisted group algebra of G over K with a 2-cocycle λ ∈Z ²(G, K*). In this article, we give necessary and sufficient conditions for K ^λ G to be of OTP representation type, in the sense that every indecomposable K ^λ G-module is isomorphic to the outer tensor product V#W of an indecomposable K ^λ G _p -module V and an irreducible K ^λ B-module W.     

Multiplication Modules in Which Every Prime Submodule is Contained in a Unique Maximal Submodule

Abstract

Let R be a commutative ring. An R-module M is called a multiplication module if for each submodule N of M, N?=?IM for some ideal I of R. An R-module M is called a pm-module, i.e., M is pm, if every prime submodule of M is contained in a unique maximal submodule of M. In this paper the following results are obtained. (1) If R is pm, then any multiplication R-module M is pm. (2) If M is finitely generated, then M is a multiplication module if and only if Spec(M) is a spectral space if and only if Spec(M)?=?{PM?|?P?∈?Spec(R) and P???M ^⊥}. (3) If M is a finitely generated multiplication R-module, then: (i) M is pm if and only if Max(M) is a retract of Spec(M) if and only if Spec(M) is normal if and only if M is a weakly Gelfand module; (ii) M is a Gelfand module if and only if Mod(M) is normal. (4) If M is a multiplication R-module, then Spec(M) is normal if and only if Mod(M) is weakly normal.     

Generic Idempotent Modules for a Finite Group

Let G be a finite group and k an algebraically closed field of characteristic p. Let F _U be the Rickard idempotent k G-module corresponding to the set U of subvarieties of the cohomology variety V _G which are not irreducible components. We show that F _U is a finite sum of generic modules corresponding to the irreducible components of V _G . In this context, a generic module is an indecomposable module of infinite length over k G but finite length as a module over its endomorphism ring.     

On Strongly Copure Flat Modules and Copure Flat Dimensions

Let R be a left coherent ring. We first prove that a right R-module M is strongly copure flat if and only if Ext ⁱ (M, C) = 0 for all flat cotorsion right R-modules C and i ≥ 1. Then we define and investigate copure flat dimensions of left coherent rings. Finally, we give some new characterizations of n-FC rings.     

On ADS Modules and Rings

A right module M over a ring R is said to be ADS if for every decomposition M = S ⊕ T and every complement T′ of S, we have M = S ⊕ T′. In this article, we study and provide several new characterizations of this new class of modules. We prove that M is semisimple if and only if every module in σ[M] is ADS. SC and SI rings also characterized by the ADS notion. A ring R is right SC-ring if and only if every 2-generated singular R-module is ADS.