Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

Indecomposable modules over one-dimensional Noetherian rings

In this article we consider finitely generated torsion-free modules over certain one-dimensional commutative Noetherian rings R. We assume there exists a positive integer N_R such that, for every indecomposable R-module M and for every minimal prime ideal P of R, the dimension of M_P, as a vector space over the field R_P, is less than or equal to N_R. If a nonzero indecomposable R-module M is such that all the localizations M_P as vector spaces over the fields R_P have the same dimension r, for every minimal prime P of R, then r=1,2,3,4 or 6. Let n be an integer ≥8. We show that if M is an R-module such that the vector space dimensions of the M_P are between n and 2n−8, then M decomposes non-trivially. For each n≥8, we exhibit a semilocal ring and an indecomposable module for which the relevant dimensions range from n to 2n−7. These results require a mild equicharacteristic assumption; we also discuss bounds in the non-equicharacteristic case.     

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     

The associated primes of local cohomology modules over rings of small dimension

Let R be a commutative Noetherian local ring of dimension d, I an ideal of R, and M a finitely generated R-module. We prove that the set of associated primes of the local cohomology module H ⁱ _I (M) is finite for all i≥ 0 in the following cases: (1) d≤ 3; (2) d= 4 and $R$ is regular on the punctured spectrum; (3) d= 5, R is an unramified regular local ring, and M is torsion-free. In addition, if $d>0$ then H ^{d − 1} _I (M) has finite support for arbitrary R, I, and M. Received: 31 October 2000 / Revised version: 8 January 2001     

Self-dual modules over local rings of curve singularities

Let C be a reduced curve singularity. C is called of finite self-dual type if there exist only finitely many isomorphism classes of indecomposable, self-dual, torsion-free modules over the local ring of C. In this paper it is shown that the singularities of finite self-dual type are those which dominate a simple plane singularity.     

n-almost prime submodules

Let R be a commutative ring with identity. A proper submodule N of an R-module M will be called prime [resp. n-almost prime], if for r ∈ R and a ∈ M with ra ∈ N [resp. ra ∈ N \ (N: M) ^n?1 N], either a ∈ N or r ∈ (N: M). In this note we will study the relations between prime, primary and n-almost prime submodules. Among other results it is proved that:

1. If N is an n-almost prime submodule of an R-module M, then N is prime or N = (N: M)N, in case M is finitely generated semisimple, or M is torsion-free with dim R = 1.
2. Every n-almost prime submodule of a torsion-free Noetherian module is primary.
3. Every n-almost prime submodule of a finitely generated torsion-free module over a Dedekind domain is prime.
4. There exists a finitely generated faithful R-module M such that every proper submodule of M is n-almost prime, if and only if R is Von Neumann regular or R is a local ring with the maximal ideal m such that m ² = 0.
5. If I is an n-almost prime ideal of R and F is a flat R-module with IF ≠ F, then IF is an n-almost prime submodule of F.

     

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.     

Freeness of orthogonal modules

A finitely generated module M over a commutative ring with unit R is said to be orthogonal stably free of type (n, m) if M is isomorphic to the solution space of a mxn matrix α such that αα^t=I_m. Geramita and Pullman have defined “generic” orthogonal stably free modules for each possible type and have obtained results on the freeness of these modules and on the supremum of the ranks of their free direct summands. We obtain further results of this type, concerning the generic modules of Geramita and Pullman as well as their sums with free modules and, in a few cases, their iterated sums. The last results are related to a theorem of T.Y. Lam stating that the iterated sum r · M of a stably free module M is free if r is greater than some lower bound. This lower bound is shown to be best possible in some cases.     

Preinjective modules over pure semisimple rings

For a left pure semisimple ring R, it is shown that the local duality establishes a bijection between the preinjective left R-modules and the preprojective right R-modules, and any preinjective left R-module is the source of a left almost split morphism. Moreover, if there are no nonzero homomorphisms from preinjective modules to non-preinjective indecomposable modules in R-mod, the direct sum of all non-preinjective indecomposable direct summands of products of preinjective left R-modules is a finitely generated product-complete module. This generalizes a recent theorem of Angeleri Hügel [L. Angeleri Hügel, A key module over pure-semisimple hereditary rings, J. Algebra 307 (2007) 361-376] for hereditary rings.     

Reducing system of parameters and the Cohen-Macaulay property

Let R be a local ring and let (x ₁, …, x _r) be part of a system of parameters of a finitely generated R-module M, where r < dim_R M. We will show that if (y ₁, …, y _r) is part of a reducing system of parameters of M with (y ₁, …, y _r) M = (x ₁, …, x _r) M then (x ₁, …, x _r) is already reducing. Moreover, there is such a part of a reducing system of parameters of M iff for all primes P ε Supp M ∩ V _R(x ₁, …, x _r) with dim_R R/P = dim_R M − r the localization M _P of M at P is an r-dimensional Cohen-Macaulay module over R _P. Furthermore, we will show that M is a Cohen-Macaulay module iff y _d is a non zero divisor on M/(y ₁, …, y _d−1) M, where (y ₁, …, y _d) is a reducing system of parameters of M (d:= dim_R M).     

Nonvanishing cohomology and classes of Gorenstein rings

We give counterexamples to the following conjecture of Auslander: given a finitely generated module M over an Artin algebra Λ, there exists a positive integer n_M such that for all finitely generated Λ-modules N, if Ext_Λⁱ(M,N)=0 for all i?0, then Ext_Λⁱ(M,N)=0 for all i?n_M. Some of our examples moreover yield homologically defined classes of commutative local rings strictly between the class of local complete intersections and the class of local Gorenstein rings.     

Pure Submodules of Finite Direct Sums of Co-Purely Indecomposable Modules

A torsion-free module M of finite rank over a discrete valuation ring R with prime p is co-purely indecomposable if M is indecomposable and rank M = 1 + dim _R/pR (M/pM). Co-purely indecomposable modules are duals of pure finite rank submodules of the p-adic completion of R. Pure submodules of cpi-decomposable modules (finite direct sums of co-purely indecomposable modules) are characterized. Included are various examples and properties of these modules.     

Abelian groups as endomorphic modules over their endomorphism ring

Let R be an associative ring with a unit and N be a left R-module. The set M _R(N) = {f: N → N | f(rx) = rf(x), r ∈ R, x ∈ N} is a near-ring with respect to the operations of addition and composition and contains the ring E _R(N) of all endomorphisms of the R-module N. The R-module N is endomorphic if M _R(N) = E _R(N). We call an Abelian group endomorphic if it is an endomorphic module over its endomorphism ring. In this paper, we find endomorphic Abelian groups in the classes of all separable torsion-free groups, torsion groups, almost completely decomposable torsion-free groups, and indecomposable torsion-free groups of rank 2. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 1, pp. 229–233, 2007.     

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.     

Bounds for regularity and coregularity of graded modules

Let M be a finitely generated graded module over a Noetherian homogeneous ring R with local base ring (R ₀, m₀). If R ₀ is of dimension one, then we show that reg ⁱ⁺¹(M) and coreg ⁱ⁺¹(M) are bounded for all i ∈ ℕ₀. We improve these bounds, if in addition, R ₀ is either regular or analytically irreducible of unequal characteristic.     

Infinite Direct Sums of Lifting Modules

A module M over a ring R is called a lifting module if every submodule A of M contains a direct summand K of M such that A/K is a small submodule of M/K (e.g., local modules are lifting). It is known that a (finite) direct sum of lifting modules need not be lifting. We prove that R is right Noetherian and indecomposable injective right R-modules are hollow if and only if every injective right R-module is a direct sum of lifting modules. We also discuss the case when an infinite direct sum of finitely generated modules containing its radical as a small submodule is lifting.     

The rees valuations of a module over a two-dimensional regular local ring

In this paper we show that the Rees valuation rings, of a finitely generated, torsion-free module M over a two-dimensional regular local ring are precisely the Rees valuation rings of the rank(M)-th Fitting invariant of M. The technical tools used are quadratic transforms and Buchsbaum-Rim multiplicity.     

Complete intersection dimensions and Foxby classes

Let R be a local ring and M a finitely generated R-module. The complete intersection dimension of M-defined by Avramov, Gasharov and Peeva, and denoted -is a homological invariant whose finiteness implies that M is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger’s Gorenstein dimension by the inequalities .Using Blanco and Majadas’ version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms φ:R→S and ψ:S→T such that φ has finite Gorenstein dimension, if ψ has finite complete intersection dimension, then the composition ψ°φ has finite Gorenstein dimension. This follows from our result stating that, if M has finite complete intersection dimension, then M is C-reflexive and is in the Auslander class A_C(R) for each semidualizing R-complex C.     

Primary decomposition II: Primary components and linear growth

We study the following properties about primary decomposition over a Noetherian ring R: (1) For finitely generated modules N⊆M and a given subset X={P₁,P₂,…,P_r}⊆Ass(M/N), we define an X-primary component of N?M to be an intersection Q₁∩Q₂∩?∩Q_r for some P_i-primary components Q_i of N⊆M and we study the maximal X-primary components of N⊆M; (2) We give a proof of the ‘linear growth’ property of Ext and Tor, which says that for finitely generated modules N and M, any fixed ideals I₁,I₂,…,I_t of R and any fixed integer i∈N, there exists a k∈N such that for any there exists a primary decomposition of 0 in (or 0 in ) such that every P-primary component Q of that primary decomposition contains (or ), where .     

Structure theorems over polynomial rings

Given a polynomial ring R over a field k and a finite group G, we consider a finitely generated graded RG-module S. We regard S as a kG-module and show that various conditions on S are equivalent, such as only containing finitely many isomorphism classes of indecomposable summands or satisfying a structure theorem in the sense of [D. Karagueuzian, P. Symonds, The module structure of a group action on a polynomial ring: A finiteness theorem, preprint, http://www.ma.umist.ac.uk/pas/preprints].