Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
Bulletin des Sciences Mathématiques
A celebrated conjecture of Auslander and Reiten claims that a finitely generated module M that has no extensions with M ⊕ Λ over an Artin algebra Λ must be projective. This conjecture is widely open in general, even for modules over commutative Noetherian local rings. Over such rings, we prove that a large class of ideals satisfy the extension condition proposed in the aforementioned conjecture of Auslander and Reiten. Along the way we obtain a new characterization of regularity in terms of the injective dimensions of certain ideals. Auslander and Reiten [4] proved that the Generalized Nakayama Conjecture is true if and only if the following conjecture is true: Conjecture 1.2. If Λ is an Artin algebra, then every finitely generated Λ-module M that is a generator (i.e., Λ is a direct summand of a finite direct sum of copies of M) and satisfies Ext i A (M, M) = 0 for all i ≥ 1 must be projective. Auslander, Ding and Solberg [5] formulated the following conjecture, which is equivalent to Conjecture 1.2 over Noetherian rings. Conjecture 1.3. Let M be a finitely generated left module over a left Noetherian ring R. If Ext i R (M, M ⊕ R) = 0 for all i ≥ 1, then M is projective. The case where the ring in Conjecture 1.3 is an Artin algebra is known as the Auslander-Reiten Conjecture. Conjecture 1.3 is known to hold for several classes of rings, for example for Artin algebras of finite representation type [4], however it is widely open in general, even for commutative Gorenstein local rings; see [12]. The purpose of this paper is to exploit a beautiful result of Burch [10] and prove that a large class of weakly m-full ideals satisfy the vanishing condition proposed in Conjecture 1.3 over commuative Noetherian local rings. The definition of a weakly m-full ideal is given in Definition 3.7. Examples of weakly m-full ideals, in fact those I with I : m = I, are abundant in the literature; see, for example, Examples 3.8 and 3.10. The main consequence of our argument can be stated as follows; see Theorem 2.17 and Corollary 3.14. Theorem 1.4. Let (R, m) be a commutative Noetherian local ring and let I be a weakly m-full ideal of R such that I : m = I (or equivalently depth(R/I) = 0.) If R is not regular, then Ext n R (I, I) and Ext n+1 R (I, I) do not vanish simultaneously for any n ≥ 1.
Journal of Algebra, 1990
This paper continues the study of an R-module M through properties of the category a[M] of submodules of M-generated modules. It is shown that a self-projective M is locally artinian if and only if every cyclic module in a[M] is a direct sum of an M-injective and a finitely cogenerated module. From this we derive that a ring T with local units is locally left artinian if and only if every module in T-Mod is a direct sum of a T-injective module and a finitely cogenerated module. For rings with unity this was proved in Huynh--Dung [3) applying Osofsky's observation about left-injective regular rings R: For an infinite set of orthogonal idempotents {eA}, the factor module R/C,, Re, is not injective. Combined with a categorical equivalence Huynh-Dung's result is also used in our own proof.
Bulletin of the Australian Mathematical Society
It is shown that a von Neumann regular ring R is left seif-injective if and only if every finitely generated torsion-free left R-module is projective. It is further shown that a countable self-injective strongly regular ring is Artin semi-simple.
Proc Amer Math Soc, 1974
Let M be a finitely generated module over a (not necessarily commutative) local Artin algebra (R, 3JÎ) with 9Jl2=0. It is known that when R is Gorenstein (i.e. of finite injective dimension) M=2AffiSA/3JÎ. For R not Gorenstein we describe all M with ExtHW, R)=0 and show that Ext'W, R)=0 for some i>l if and only if M is free. It follows that for R not Gorenstein all reflexives are free. We also calculate the lengths of all the Ext*'(A^, R). As an application we show that if {R, 9Ji) is a commutative Cohen-Macaulay local ring of dimension d which is not Gorenstein, if R/Wl2 is Artin and (x¡, ■ ■ ■, xd) is a system of parameters with 9JÏ2 contained in the ideal (*i, ■ • • , xd) and if M is a finitely generated .R-moduIe with ExV(M, R)=0 for 1 ¿i<2d+2, then M is free. We call (R, 93Î) a local Artin algebra if A/93Î is a division ring, where 9JÍ is the lacobson radical of R, if the center of R is an Artin ring, and if R if a finitely generated module over its center. We say R is Gorenstein if it is of finite injective dimension as an i?-module. Throughout this paper all modules will be finitely generated. Let (R, 931) be a local Artin algebra. It is well known that every finitely generated left Ä-module M has a projective cover (i.e. an epimorphism <p:P^>-M minimal in the sense that Ker tp£93ÎP) which, is unique up to isomorphism [3], and that M has no projective (free) direct summands if and only if M* = Homie(M, R) is isomorphic to Homñ(M, 931) [2]. Further, for each finitely generated left Ä-module M there is a minimal presentation-i.e. an exact sequence Fl-^-F0-^-M->0 with <p0:F0-*-M and (px : i*\^>-Ker q>0 projective covers, F0 and Fx free and finitely generated. We use this (unique) minimal presentation to define the parameters Sm and rM. Definition. Let M be a finitely generated left module over a local Artin algebra (R, 93Î). Let Sm-^(^o/93i^o) tne number of generators of M, rM = /(i71/93ÎF,i) the number of relations of M, where /() means the length as a left i?-module.
Algebra Colloquium, 2009
Given a commutative Noetherian local ring (R, 𝔪), it is shown that R is Gorenstein if and only if there exists a system of parameters x1,…,xd of R which generates an irreducible ideal and [Formula: see text] for all t > 0. Let n be an arbitrary non-negative integer. It is also shown that for an arbitrary ideal 𝔞 of a commutative Noetherian (not necessarily local) ring R and a finitely generated R-module M, [Formula: see text] is finitely generated if and only if there exists an 𝔞-filter regular sequence x1,…,xn∈ 𝔞 such that [Formula: see text] for all t > 0.
Journal of Pure and Applied Algebra, 1976
Communications in Algebra, 2003
For a ring S, let K 0 (FGFl(S)) and K 0 (FGPr(S)) denote the Grothendieck groups of the category of all finitely generated flat S-modules and the category of all finitely generated projective S-modules respectively. We prove that a semilocal ring R is semiperfect if and only if the group homomorphism K 0 (FGFl(R)) → K 0 (FGFl(R/J(R))) is an epimorphism and K 0 (FGFl(R)) = K 0 (FGPr(R)).
Michigan Mathematical Journal, 2008
Journal of Algebra, 1979
We prove here, among other results, that if R is a commutative noetherian ring and proJective R[xx, ,..., x,]-modules of rank < Krull dim R are extended, then finitely generated projective R[x, ,..., x,]-modules are extended. We also give an example of a nonfinitely generated projective module over an integral domain which contains no unimodular elements. All the rings in this paper are associative and commutative with unit and the algebras are associative with unit. We present first some variants of Quillen's theorem [lo, Theorem 11. Our arguments in this part are based on a solution of Serre's problem, communicated to the author by Professor L.N. Vasergtein (Moscow) and on the proof of [lo, Theorem 11. If S is a multiplicative set in a ring R, M and R-module and m EM, we denote by m, the image of m in M, under the canonical homomorphism M + MS. As usual if m is a maximal ideal of R we use the notation
arXiv (Cornell University), 2022
In this paper we explore consequences of the vanishing of Ext for finitely generated modules over a quasi-fiber product ring R; that is, R is a local ring such that R/(x) is a non-trivial fiber product ring, for some regular sequence x of R. Equivalently, the maximal ideal of R/(x) decomposes as a direct sum of two nonzero ideals. Gorenstein quasi-fiber product rings are AB-rings and are Ext-bounded. We show in Theorem 3.31 that quasi-fiber product rings satisfy a sharpened form of the Auslander-Reiten Conjecture. We also make some observations related to the Huneke-Wiegand conjecture for quasi-fiber product rings. This article is dedicated to the memory of Nicholas Baeth 1. Introduction This article is motivated by the celebrated Auslander-Reiten Conjecture (ARC) and the Huneke-Wiegand Conjecture for integral domains (HWC d); see [8, p. 70], [31], and [32, pp. 473-474]: Definition 1.1. Let R be a commutative Noetherian local ring. (ARC) Auslander-Reiten Conjecture. If M is a finitely generated R-module such that Ext i R (M, M ⊕ R) = 0, for all i ≥ 1, then M is free. (HWC d) Huneke-Wiegand Conjecture (for domains). If R is a Gorenstein local domain and M is a finitely generated torsion-free R-module M such that M ⊗ R M * is reflexive, then M is free. Here M * denotes the algebraic dual of M , namely, Hom R (M, R). Recall that an R-module M is torsion-free provided every non-zerodivisor of R is a non-zerodivisor on M. Several positive cases for (ARC) are known; see, for instance, work of Huneke,
Journal of Pure and Applied Algebra, 1978
The aim of this note is to prove a non-Noetherian generalization of the Serre Conjecture. However. since we also show that for all zero-dimensional commutative rings R, finitely generated projective R [XI, ..... 11 X,.]-liIodules are exten.. ded, the paper represents our coatnbution to the. seemingly difficult problem of determining the rings for wh'ch some form of the Serre.Conjecture is valir'L. As ever, all rings .are ccmmutative with .1 and.. we, hope, most notation is. standard. A noteworthy exception is-that if R is a ring-with X an indeterminate, then we shall denote 'by R(X) the localization of R[X] at the multiplicative set of all monic polynomials of R(JCJ. We realize that this notation isat variance withthe usual meaning of "R(X)"',bn those familiar with [6J will recognize its origin.
2003
Suppose that A is a semiprimary ring satisfying one of the two conditions: 1) its Yoneda ring is generated in finite degrees; 2) its Loewy length is less or equal than three. We prove that the global dimension of A is finite if, and only if, there is a m> 0 such that Ext n A(S, S) = 0, for all simple A-modules S and all n≥m In a recent paper, Skowronski, Smal ∅ and Zacharia ([8]) proved that a left Artinian ring A has finite global dimension if, and only if, every finitely generated indecomposable left A-module has either finite projective dimension or finite injective dimension. Then, they showed that one cannot replace ’indecomposable’ by ’simple ’ in that statement, by giving a counterexample of Loewy length 4. Finally they asked the following question: Question: Suppose A is a left Artinian ring such that, for each finitely (M, M) = 0 for n ≫ generated indecomposable left A-module M, one has Extn A 0 (i.e. there is a m = m(M)> 0 such that Extn A (M, M) = 0 for all n ≥ m). ...
Arxiv preprint math/0407270, 2004
Abstract. Let R be a commutative Noetherian ring. It is shown that R is Artinian if and only if every R-module is good, if and only if every R-module is representable. As a result, it follows that every nonzero submodule of any representable R-module is representable if and only if R is ...
2017
Let R be a commutative ring with 1 = 0, and let I be a proper ideal of R. Recall that 20
Journal of Algebra, 2006
Let R be a Noetherian commutative ring with unit 1 = 0, and let I be a regular proper ideal of R. The set P(I) of integrally closed ideals projectively equivalent to I is linearly ordered by inclusion and discrete. There is naturally associated to I and to P(I) a numerical semigroup S(I); we have S(I) = N if and only if every element of P(I) is the integral closure of a power of the largest element K of P(I). If this holds, the ideal K and the set P(I) are said to be projectively full. A special case of the main result in this paper shows that if R contains the rational number field Q, then there exists a finite free integral extension ring A of R such that P(I A) is projectively full. If R is an integral domain, then the integral extension A has the property that P((I A + z *)/z *) is projectively full for all minimal prime ideals z * in A. Therefore in the case where R is an integral domain there exists a finite integral extension domain B = A/z * of R such that P(I B) is projectively full.
Journal of Algebra, 2002
Let A be a finitely generated module over a (Noetherian) local ring R M . We say that a nonzero submodule B of A is basically full in A if no minimal basis for B can be extended to a minimal basis of any submodule of A properly containing B. We prove that a basically full submodule of A is M-primary, and that the following properties of a nonzero M-primary submodule B of A are equivalent: (a) B is basically full in A;
2021
Let $(R, mathfrak{m})$ be a Noetherian local ring and $M$, $N$ be two finitely generated $R$-modules. In this paper it is shown that $R$ is a Cohen-Macaulay ring if and only if $R$ admits a non-zero Artinian $R$-module $A$ of finite projective dimension; in addition, for all such Artinian $R$-modules $A$, it is shown that $mathrm{pd}_R, A=dim R$. Furthermore, as an application of these results it is shown that$$pdd H^i_{{frak p}R_{frak p}}(M_{frak p}, N_{frak p})leq pd H^{i+dim R/{frak p}}_{frak m}(M,N)$$for each ${frak p}in mathrm{Spec} R$ and each integer $igeq 0$. This result answers affirmatively a question raised by the present authors in [13].
Czechoslovak Mathematical Journal, 2013
Let (R, m) be a complete Noetherian local ring, I an ideal of R and M a nonzero Artinian R-module. In this paper it is shown that if p is a prime ideal of R such that dim R/p = 1 and (0 : M p) is not finitely generated and for each i ) is not of finite length. Using this result, it is shown that for all finitely generated R-modules N with Supp(N ) ⊆ V (I) and for all integers i 0, the R-modules Ext i R (N, M ) are of finite length, if and only if, for all finitely generated R-modules N with Supp(N ) ⊆ V (I) and for all integers i 0, the R-modules Ext i R (M, N ) are of finite length.
Arxiv preprint math/0606694, 2006
This paper partly settles a conjecture of Costa on (n, d)-rings, i.e., rings in which n-presented modules have projective dimension at most d. For this purpose, a theorem studies the transfer of the (n, d)-property to trivial extensions of local rings by their residue fields. It concludes with a brief discussion -backed by original examples-of the scopes and limits of our results.
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M i = 0 for i / ∈ [0, dim A]; the homology of M has finite length; H 0 (M) contains the residue field of A as a direct summand. This result is an essential component in the proofs of the McKay correspondence in dimension 3 and of the statement that threefold flops induce equivalences of derived categories.
Proceedings of the Edinburgh Mathematical Society, 2003
It was shown by Huynh and Rizvi that a ring $R$ is semisimple artinian if and only if every continuous right $R$-module is injective. However, a characterization of rings, over which every finitely generated continuous right module is injective, has been left open. In this note we give a partial solution for this question. Namely, we show that for a right semi-artinian ring $R$, every finitely generated continuous right $R$-module is injective if and only if all simple right $R$-modules are injective.AMS 2000 Mathematics subject classification: Primary 16D50. Secondary 16P20; 16P60
Loading Preview
Sorry, preview is currently unavailable. You can download the paper by clicking the button above.