INDECOMPOSABLE GORENSTEIN MODULES OF ODD RANK. Christel Rotthaus, Dana Weston and Roger Wiegand. July 17, (the direct sum of r copies of ω R)
|
|
- Carol Fitzgerald
- 5 years ago
- Views:
Transcription
1 INDECOMPOSABLE GORENSTEIN MODULES OF ODD RANK Christel Rotthaus, Dana Weston and Roger Wiegand July 17, 1998 Abstract. Let (R,m) be a local Cohen-Macaulay ring with m-adic completion R. A Gorenstein R-module is a non-zero finitely generated R-module whose m-adic completion is isomorphic to a direct sum of copies of the canonical module ω R. The rank of the Gorenstein module G is the positive integer r such that Ĝ = r ω R (the direct sum of r copies of ω R). In this note we show that for any given positive integer r there is a Cohen-Macaulay ring R with an indecomposable Gorenstein module G of rank r. Throughout this paper (R, m) denotes a Cohen-Macaulay local Noetherian ring with m- adic completion R, and ω R denotes the canonical module of R. A Gorenstein R-module is a non-zero finitely generated R-module G such that Ĝ = r ω R (the direct sum of r copies of ω R) for some integer r (called the rank of G). Equivalently, [Sh3, (2.7)], G is a maximal Cohen-Macaulay R-module with finite injective dimension. If R has a Gorenstein module, then R has, up to isomorphism, a unique indecomposable Gorenstein module G, and every Gorenstein module is isomorphic to a direct sum of copies of G. (See [FFGR, (4.6)].) Gorenstein modules were introduced by Rodney Sharp [Sh1], [Sh2] and studied extensively in [FFGR]. For many years it was unknown whether a Cohen-Macaulay ring having a Gorenstein module must also have a canonical module (i.e., a Gorenstein module of rank 1). This was settled in a 1988 paper [We1] by Weston, who produced a Cohen-Macaulay unique factorization domain having an indecomposable Gorenstein module of rank 2. In this note we will show that there are Cohen-Macaulay unique factorization domains having indecomposable Gorenstein modules of arbitrary rank. (The first example of a Cohen-Macaulay, non-gorenstein, unique factorization domain was given by Ogoma [O].) One of the interesting features of [FFGR] is the use of the Brauer group of R. It turns out that Λ := End R (G) is an Azumaya R-algebra if G is a Gorenstein R-module. The order of Λ in the Brauer group is always a divisor of the rank r, [KO, Ch. IV, (6.1)], and if Λ is trivial in Br(R) then R has a canonical module. It follows that if G is an indecomposable 1991 Mathematics Subject Classification. Primary 13C14, 13C11; Secondary 13A20, 13B22, 13B35. Key words and phrases. Gorenstein module, canonical module, unique factorization domain, Brauer group. Rotthaus and Wiegand thank the National Science Foundation for partial research support. 1 Typeset by AMS-TEX
2 2 CHRISTEL ROTTHAUS, DANA WESTON AND ROGER WIEGAND Gorenstein module of prime rank p, then the endomorphism ring Λ must have order p in Br(Λ). Our results contradict Theorem 4.9 of [FFGR], which says that the order of Λ in Br(R) must be either 1 or 2, and that, consequently, an indecomposable Gorenstein module of rank > 1 must have even rank. (The error in the proof of [FFGR, (4.9)] seems to be in the second displayed isomorphism on page 210 of [FFGR]: One needs instead Λ op A End A (G) = End Λ (Λ A G) in order for the obvious module homomorphsm to be a ring homomorphism.) The examples. Let k be an algebraically closed field of characteristic 0, and let B = k[[x,y ]], the power series ring in two variables. Fix an integer r 2 and put A = A r := k[[x r,x r 1 Y,...,XY r 1,Y r ]]. Then A is the fixed ring of the k-automorphism of B that multiplies each variable by ζ r = primitive r th root of unity. We see that A is a complete local normal domain of dimension 2. By Heitmann s theorem [Hei] there is a local unique factorization domain (R,m) = (R r,m) such that R = A. We will show that R r has an indecomposable Gorenstein module of rank r if r is odd and of rank r/2 if r is even. The divisor class group of A r. We need to compute the divisor class group of A r and identify the canonical module. Computations of this sort occur often in the literature, e.g., [F], [Her], [Wa1], [Wa2], [We2]. Here, following [Her], we will give a direct argument, which has the feature of identifying all of the indecomposable reflexive modules. The trick is to decompose B as an A-module. We have B = A J 1 J r 1, where J i is the A-submodule of B generated by the monomials of degree i in X and Y. Let I = (X r,x r 1 Y ), the ideal of A generated by X r and X r 1 Y. Then J i = I i for i = 1,...,r 1. Thus we have the decomposition ( ) B = A I I 2 I r 1. Since depth(b) = 2 each I i is a divisorial ideal of A and therefore an indecomposable reflexive (= maximal Cohen-Macaulay) A-module. Following [Her], we will show that these divisorial ideals form a complete set of representatives for the indecomposable reflexive A- modules. Write V W to indicate that the A-module V is isomorphic to a direct summand of W. Suppose M is an indecomposable finitely generated reflexive A-module. Since A B by ( ) we see that M B A M. Therefore M (B A M) (duals over A). Now M = M ; and (B A M) is a B-module of depth 2 and is therefore B-free. By the Krull-Schmidt theorem (for finitely generated modules over the complete ring A), M must be isomorphic to one of the I i. Since µ A (I i ) = i + 1 for 0 i r 1 (where µ = number of generators), the divisorial ideals I i are pairwise non-isomorphic. Thus we have the following result: Proposition 1. The divisor class group Cl(A r ) is cyclic of order r with generator [I] and with [I] i = [I i ] for 0 i r 1. ( The ideal I r is not divisorial since it is isomorphic to m, so [I] r = [A].) Next we identify the canonical module of A r. Proposition 2. The canonical module ω r of the complete local ring A r is the ideal I r 2. In particular, µ Ar (ω r ) = r 1. Moreover, the order of [ω r ] in Cl(A r ) is r if r is odd and r/2 if r is even.
3 GORENSTEIN MODULES 3 Proof. We have already seen that [I] has order r and that [I r 2 ] = [I] r 2. It follows that [I r 2 ] has the order indicated. Since ω r must be isomorphic to one of the ideals I i,0 i r 1, it will suffice to show that µ Ar (ω r ) = r 1. Let C = A r /(X r,y r ), and let n be the maximal ideal of C. We have µ Ar (ω r ) = µ C (ω r /(X r,y r )ω r ), which is the k-dimension of the socle of C. (See [BH, 3.3].) But n 2 = 0, so n is the socle, and we have µ Ar (ω r ) = dim k (n) = r 1. Recall [B, Chap.VII, 4.7] that if S is a normal Noetherian domain one can associate to each finitely generated S-module M a divisor class [M] Cl(S) in such a way that (1) if 0 M M M 0 is an exact sequence of finitely generated S-modules, then [M] = [M ] + [M ], and (2) if J is a fractional ideal of S, then [J] = [J ], the isomorphism class of J. The following result is a slight reformulation of [We1, (1.5)]: Proposition 3. Let (S,m S ) be a local Noetherian ring of dimension two whose m S -adic completion T is a normal domain, and let N be a finitely generated torsion-free T-module. Then N is extended from S (that is, there is an S-module M necessarily finitely generated and torsion-free such that N = T S M) if and only if [N] is in the image of the natural map Φ : Cl(S) Cl(T). Proof. Suppose N is extended, say, N = T S M. By faithful flatness, M is finitely generated and torsion-free. By Bourbaki s theorem [B, chap. VII, $4.9, Thm.6] there is an exact sequence (1.1) 0 F M J 0, in which F is a free S-module and J is an ideal of S. Tensoring (1.1) with T and using properties (1) and (2), we see that [N] = [T S J] = [(T S J) ] in Cl(T). But (T S J) = T S J where the latter duals are computed over S. Thus [N] = Φ([J ]) Im(Φ). (In fact, not surprisingly, [N] = Φ([M]).) For the converse, choose a Bourbaki sequence (1.2) 0 G N L 0, where now G is a free T-module and L is an ideal of T. Then [L] = [N], and since [N] is in the image of Φ there is a divisorial ideal D of S such that T S D = L. Put V := L /L. This is a T-module of finite length and is therefore a finitely generated S-module. Now Hom T (L,V ) = T S Hom S (D,V ) = Hom S (D,V ), since Hom S (L,V ) has finite length. In other words, the quotient map L V is extended from an S-homomorphism f : D V. Putting J := Ker(f), we see that T S J = L. Let F be a free S-module such that T S F = G. The exact sequence in (1.2) represents an element of Ext 1 T (L,G) = T S Ext 1 S (J,F) = Ext1 S (J,F), since Ext1 S (J,F) has finite length. In other words, the exact sequence in (1.2) is actually extended from an exact sequence of S-modules as in (1.1). It follows that N = T S M.
4 4 CHRISTEL ROTTHAUS, DANA WESTON AND ROGER WIEGAND The hypothesis that M be torsion-free cannot be omitted. For example, in our ring T := A 2 the ideal I is not extended from S = R 2. Therefore M := I A/I cannot be extended either, even though [M] = 0 in Cl(T). Returning to our examples, we fix an arbitrary positive integer s. Put r = s if s is odd; and if s is even put r = 2s. Let A = A r, and let ω = ω r, the canonical module of A. We know that [ω] has order s in Cl(A). Since R = R r is a unique factorization domain (whence Cl(R) = 0), Proposition 3 implies that the direct sum c ω of c copies of ω is extended from R if and only if c is a multiple of s. Therefore R has an indecomposable Gorenstein module of rank s. Suppose now that s is prime. The order of Λ := End(G) divides s by [KO, Chap. IV, (6.1)]; and by [FFGR,(4.1)] Λ must be non-trivial in Br(R). Therefore Λ has order s in Br(R). We conclude on a positive note. Proposition 4. Let (R,m,k) be a local ring with a Gorenstein module G of rank 2. Suppose char(k) 2 and the group R of units of R is 2-divisible. Then R has a canonical module. Proof. We consider the splitting ring S, constructed in [AG, (6.3)], for the Azumaya algebra Λ := End R (G). This splitting ring is free of rank 2 as an R-module and is constructed as follows: Since [Λ] is in the kernel of the canonical map Br(R) Br(k), we can identify Λ/mΛ with the ring of 2 2 matrices over k. Then S = R[β], where β Λ is a preimage of α := [ ] under the natural map π : Λ Λ/mΛ. By the proof of [AG, (6.3)], β 2 = a+bβ ], we see that a R and b m. for suitable a,b R. Since π(β 2 ) = α 2 = [ Put γ = b 2 + β. Then π(γ) = α and γ2 = c, where c = a + b2 4 R. It follows that S = R[γ]. Moreover, since S is a free R-module (with basis 1 and γ) the division algorithm shows that S = R[X]/(X 2 c). Since c is a square in R (as R is 2-divisible), S = R R. It follows that Λ already splits over R, and by [FFGR, Theorem 4.1 (4)] R has a canonical module. Remark. One can obtain the canonical module explicitly as the fixed module of the ordertwo automorphism of G : x 1 c γ(x). References [AG] M. Auslander and O. Goldman, The Brauer group of a commutative ring, Trans. Amer. Math. Soc. 97 (1960), [B] N. Bourbaki, Commutative Algebra, Springer Verlag, New York, [BH] W. Bruns and J. Herzog, Cohen-Macaulay Rings, Cambridge Studies in Advanced Math., vol. 39, Cambridge University Press, Cambridge, [F] R. Fossum, The Divisor Class Group of a Krull Domain, Springer-Verlag, New York, [FFGR] R. Fossum, H.-B. Foxby, P. Griffith and I.Reiten, Minimal injective resolutions with applications to dualizing modules and Gorenstein modules, IHES Publ. Math. 45 (1976), [Hei] R. Heitmann, Characterizations of completions of unique factorization domains, Trans. Amer. Math. Soc. 337 (1993),
5 GORENSTEIN MODULES 5 [Her] J. Herzog, Ringe mit nur endlich vielen Isomorphieklassen von maximalen unzerlegbaren Cohen- Macaulay Moduln, Math. Ann. 233 (1978), [Hi] V. Hinich, Rings with approximation property admit a dualizing complex, Math. Nachr. 163 (1993), [KO] M.-A. Knus and M. Ojanguren, Théorie de la Descente et Algèbres d Azumaya, Lecture Notes in Math., vol. 389, Springer, Berlin. [M] D. Mumford, The topology of normal singularities of an algebraic surface and a criterion for simplicity, Publ. Math. Inst. Hautes Etud. Sci. 9 (1961), [O] T. Ogoma, Cohen Macaulay factorial domain is not necessarily Gorenstein,, Mem. Fac. Sci. Kochi University (Math.) 3 (1982), [Sh1] R. Sharp, The Cousin complex for a module over a commutative Noetherian ring, Math. Z. 112 (1969), [Sh2], Gorenstein modules, Math. Z. 115 (1970), [Sh3], On Gorenstein modules over a complete Cohen-Macaulay local ring, Quart. J. Math. 22 (1971), [St] R. Stanley, Invariants of finite groups and their applications to combinatorics, Bull. Amer. Math. Soc.(N.S.) 1 (1979), [Wa1] K. Watanabe, Certain invariant subrings are Gorenstein I, Osaka J. Math. 11 (1974), 1 8. [Wa2], Certain invariant subrings are Gorenstein II, Osaka J. Math. 11 (1974), [Wa3]. [We1] D. Weston, On descent in dimension two and non-split Gorenstein modules, J. Algebra 118 (1988), [We2] D. Weston, Divisorial properties of the canonical module for invariant subrings, Comm. Algebra 19 (1991), Department of Mathematics, Michigan State University, East Lansing, MI address: rotthaus@math.msu.edu Department of Mathematics, University of Missouri, Columbia, MO address: weston@math.missouri.edu Department of Mathematics, University of Nebraska, Lincoln, NE address: rwiegand@unl.edu
Gorenstein modules, finite index, and finite Cohen Macaulay type
J. Pure and Appl. Algebra, (), 1 14 (2001) Gorenstein modules, finite index, and finite Cohen Macaulay type Graham J. Leuschke Department of Mathematics, University of Kansas, Lawrence, KS 66045 gleuschke@math.ukans.edu
More informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More informationarxiv:math/ v2 [math.ac] 25 Sep 2006
arxiv:math/0607315v2 [math.ac] 25 Sep 2006 ON THE NUMBER OF INDECOMPOSABLE TOTALLY REFLEXIVE MODULES RYO TAKAHASHI Abstract. In this note, it is proved that over a commutative noetherian henselian non-gorenstein
More informationTHE FUNDAMENTAL MODULE OF A NORMAL LOCAL DOMAIN OF DIMENSION 2
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 309, Number 1, September 1988 THE FUNDAMENTAL MODULE OF A NORMAL LOCAL DOMAIN OF DIMENSION 2 YUJI YOSHINO AND TAKUJI KAWAMOTO ABSTRACT. The fundamental
More informationDESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 DESCENT OF THE CANONICAL MODULE IN RINGS WITH THE APPROXIMATION PROPERTY CHRISTEL ROTTHAUS (Communicated by Wolmer V. Vasconcelos)
More informationCONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING
CONTRAVARIANTLY FINITE RESOLVING SUBCATEGORIES OVER A GORENSTEIN LOCAL RING RYO TAKAHASHI Introduction The notion of a contravariantly finite subcategory (of the category of finitely generated modules)
More informationTHE ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES OVER RINGS OF SMALL DIMENSION. Thomas Marley
THE ASSOCATED PRMES OF LOCAL COHOMOLOGY MODULES OVER RNGS OF SMALL DMENSON Thomas Marley Abstract. Let R be a commutative Noetherian local ring of dimension d, an ideal of R, and M a finitely generated
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationTHE FROBENIUS FUNCTOR AND INJECTIVE MODULES
THE FOBENIUS FUNCTO AND INJECTIVE MODULES THOMAS MALEY Abstract. We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again
More informationTwo theorems about maximal Cohen Macaulay modules
Mathematische Annalen manuscript No. (will be inserted by the editor) Two theorems about maximal Cohen Macaulay modules Craig Huneke Graham J. Leuschke July 9, 2004 c Springer-Verlag 2004 arxiv:math.ac/0404204
More informationREFLEXIVE MODULES OVER GORENSTEIN RINGS
REFLEXIVE MODULES OVER GORENSTEIN RINGS WOLMER V. VASCONCELOS1 Introduction. The aim of this paper is to show the relevance of a class of commutative noetherian rings to the study of reflexive modules.
More informationA GENERALIZATION OF THE AUSLANDER-NAGATA PURITY THEOREM
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 127, Number 1, January 1999, Pages 71 78 S 0002-9939(99)04501-3 A GENERALIZATION OF THE AUSLANDER-NAGATA PURITY THEOREM MIRIAM RUTH KANTOROVITZ (Communicated
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More informationTIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH
TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure
More informationFROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES
FROBENIUS AND HOMOLOGICAL DIMENSIONS OF COMPLEXES TARAN FUNK AND THOMAS MARLEY Abstract. It is proved that a module M over a Noetherian local ring R of prime characteristic and positive dimension has finite
More informationSEQUENCES FOR COMPLEXES II
SEQUENCES FOR COMPLEXES II LARS WINTHER CHRISTENSEN 1. Introduction and Notation This short paper elaborates on an example given in [4] to illustrate an application of sequences for complexes: Let R be
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationOn the vanishing of Tor of the absolute integral closure
On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent
More informationarxiv: v1 [math.ac] 4 Nov 2012
ON TEST MODULES FOR FLAT DIMENSION arxiv:1211.0734v1 [math.ac] 4 Nov 2012 JAVIER MAJADAS Abstract. A ring with a test module of finite upper complete intersection dimension is complete intersection. 1.
More informationVANISHING THEOREMS FOR COMPLETE INTERSECTIONS. Craig Huneke, David A. Jorgensen and Roger Wiegand. August 15, 2000
VANISHING THEOREMS FOR COMPLETE INTERSECTIONS Craig Huneke, David A. Jorgensen and Roger Wiegand August 15, 2000 The starting point for this work is Auslander s seminal paper [A]. The main focus of his
More informationCOMPRESSIBLE MODULES. Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad India. Abstract
COMPRESSIBLE MODULES Abhay K. Singh Department of Applied Mathematics, Indian School of Mines Dhanbad-826004 India Abstract The main purpose of this paper is to study under what condition compressible
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationThe What, Where, and Why of Almost Split Sequences
Proceedings of the International Congress of Mathematicians Berkeley, California, USA, 1986 The What, Where, and Why of Almost Split Sequences MAURICE AUSLANDER Throughout this paper we assume that R is
More informationProjective and Injective Modules
Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every
More informationarxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach
EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic
More informationarxiv: v1 [math.rt] 12 Jul 2018
ON THE LIFTING OF THE DADE GROUP CAROLINE LASSUEUR AND JACQUES THÉVENAZ arxiv:1807.04487v1 [math.rt] 12 Jul 2018 Abstract. For the group of endo-permutation modules of a finite p-group, there is a surjective
More informationHypersurfaces of bounded Cohen Macaulay type
Journal of Pure and Applied Algebra 201 (2005) 204 217 www.elsevier.com/locate/jpaa Hypersurfaces of bounded Cohen Macaulay type Graham J. Leuschke a,, Roger Wiegand b a Department of Mathematics, Syracuse
More informationPresentations Of Rings With Non- Trivial Self-Orthogonal Modules
Presentations Of Rings With Non- Trivial Self-Orthogonal Modules David A. Jorgensen, Graham J. Leuschke Sean Sather-Wagstaff Technical Report 2009-09 http://www.uta.edu/math/preprint/ PRESENTATIONS OF
More informationACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS
ACYCLIC COMPLEXES OF FINITELY GENERATED FREE MODULES OVER LOCAL RINGS MERI T. HUGHES, DAVID A. JORGENSEN, AND LIANA M. ŞEGA Abstract We consider the question of how minimal acyclic complexes of finitely
More informationALMOST GORENSTEIN RINGS
ALMOST GORENSTEIN RINGS SHIRO GOTO, NAOYUKI MATSUOKA, AND TRAN THI PHUONG Abstract. The notion of almost Gorenstein ring given by Barucci and Fröberg [2] in the case where the local rings are analytically
More informationA NOTE ON BASIC FREE MODULES AND THE S n CONDITION. 1 Introduction
PORTUGALIAE MATHEMATICA Vol. 63 Fasc.4 2006 Nova Série A NOTE ON BASIC FREE MODULES AND THE S n CONDITION Agustín Marcelo, Félix Marcelo and César Rodríguez Abstract: A new definition of basic free submodule
More informationCohen-Macaulay Dimension for Coherent Rings
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Papers in Mathematics Mathematics, Department of 5-2016 Cohen-Macaulay Dimension
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationGENERALIZED BRAUER TREE ORDERS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 71 1996 NO. 2 GENERALIZED BRAUER TREE ORDERS BY K. W. R O G G E N K A M P (STUTTGART) Introduction. p-adic blocks of integral group rings with cyclic defect
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationn-x -COHERENT RINGS Driss Bennis
International Electronic Journal of Algebra Volume 7 (2010) 128-139 n-x -COHERENT RINGS Driss Bennis Received: 24 September 2009; Revised: 31 December 2009 Communicated by A. Çiğdem Özcan Abstract. This
More informationCHARACTERIZING GORENSTEIN RINGS USING CONTRACTING ENDOMORPHISMS
CHARACTERIZING GORENSTEIN RINGS USING CONTRACTING ENDOMORPHISMS BRITTNEY FALAHOLA AND THOMAS MARLEY Dedicated to Craig Huneke on the occasion of his 65th birthday. Abstract. We prove several characterizations
More informationTHE AUSLANDER BUCHSBAUM FORMULA. 0. Overview. This talk is about the Auslander-Buchsbaum formula:
THE AUSLANDER BUCHSBAUM FORMULA HANNO BECKER Abstract. This is the script for my talk about the Auslander-Buchsbaum formula [AB57, Theorem 3.7] at the Auslander Memorial Workshop, 15 th -18 th of November
More informationLIVIA HUMMEL AND THOMAS MARLEY
THE AUSLANDER-BRIDGER FORMULA AND THE GORENSTEIN PROPERTY FOR COHERENT RINGS LIVIA HUMMEL AND THOMAS MARLEY Abstract. The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely
More informationRIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT MAX-MIN CS PRIME RINGS
Communications in Algebra, 34: 3883 3889, 2006 Copyright Taylor & Francis Group, LLC ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870600862714 RIGHT-LEFT SYMMETRY OF RIGHT NONSINGULAR RIGHT
More informationThe Depth Formula for Modules with Reducible Complexity
The Depth Formula for Modules with Reducible Complexity Petter Andreas Bergh David A Jorgensen Technical Report 2010-10 http://wwwutaedu/math/preprint/ THE DEPTH FORMULA FOR MODULES WITH REDUCIBLE COMPLEXITY
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV Abstract. We generalize the notion of m- full and basically full ideals in the setting of tight closure and demonstrate some
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationOn a Conjecture of Auslander and Reiten
Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 4-30-2003 On a Conjecture of Auslander and Reiten Craig Huneke University of Kansas Graham J. Leuschke Syracuse University Follow
More informationThe torsion free part of the Ziegler spectrum of orders over Dedekind domains
The torsion free part of the Ziegler spectrum of orders over Dedekind domains Carlo Toffalori (Camerino) Manchester, April 6-9, 2018 Work in progress with Lorna Gregory and Sonia L Innocente Dedicated
More informationCharacterizing local rings via homological dimensions and regular sequences
Journal of Pure and Applied Algebra 207 (2006) 99 108 www.elsevier.com/locate/jpaa Characterizing local rings via homological dimensions and regular sequences Shokrollah Salarian a,b, Sean Sather-Wagstaff
More informationLINKAGE AND DUALITY OF MODULES
Math. J. Okayama Univ. 51 (2009), 71 81 LINKAGE AND DUALITY OF MODULES Kenji NISHIDA Abstract. Martsinkovsky and Strooker [13] recently introduced module theoretic linkage using syzygy and transpose. This
More information2 HENNING KRAUSE AND MANUEL SAOR IN is closely related is that of an injective envelope. Recall that a monomorphism : M! N in any abelian category is
ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAOR IN Let R be a ring and consider the category Mod R of (right) R-modules. Given a class C of R-modules, a morphism M! N in Mod R is called
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
More informationIntegral Closures of Ideals in Completions of Regular Local Domains
Integral Closures of Ideals in Completions of Regular Local Domains WILLIAM HEINZER, Department of Mathematics, Purdue University, West Lafayette, IN 47907-1395 USA E-mail: heinzer@math.purdue.edu CHRISTEL
More informationarxiv: v2 [math.ac] 25 Apr 2011
A FINITENESS CONDITION ON LOCAL COHOMOLOGY IN POSITIVE CHAACTEISTIC FLOIAN ENESCU arxiv:1101.4907v2 [math.ac] 25 Apr 2011 Abstract. In this paper we present a condition on a local Cohen-Macaulay F-injective
More informationON MINIMAL APPROXIMATIONS OF MODULES
ON MINIMAL APPROXIMATIONS OF MODULES HENNING KRAUSE AND MANUEL SAORÍN Let R be a ring and consider the category ModR of (right) R-modules. Given a class C of R-modules, a morphism M N in Mod R is called
More informationHomological Dimension
Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof
More informationSPINNING AND BRANCHED CYCLIC COVERS OF KNOTS. 1. Introduction
SPINNING AND BRANCHED CYCLIC COVERS OF KNOTS C. KEARTON AND S.M.J. WILSON Abstract. A necessary and sufficient algebraic condition is given for a Z- torsion-free simple q-knot, q >, to be the r-fold branched
More informationHypersurfaces of Bounded Cohen-Macaulay Type
Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 4-22-2003 Hypersurfaces of Bounded Cohen-Macaulay Type Graham J. Leuschke Syracuse University Roger Wiegand University of Nebraska-Lincoln
More informationBRAUER GROUPS 073W. This is a chapter of the Stacks Project, version 74eb6f76, compiled on May 29, 2018.
BRAUER GROUPS 073W Contents 1. Introduction 1 2. Noncommutative algebras 1 3. Wedderburn s theorem 2 4. Lemmas on algebras 2 5. The Brauer group of a field 4 6. Skolem-Noether 5 7. The centralizer theorem
More informationDimension of the mesh algebra of a finite Auslander-Reiten quiver. Ragnar-Olaf Buchweitz and Shiping Liu
Dimension of the mesh algebra of a finite Auslander-Reiten quiver Ragnar-Olaf Buchweitz and Shiping Liu Abstract. We show that the dimension of the mesh algebra of a finite Auslander-Reiten quiver over
More informationA BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Department of Mathematics, Shanghai Jiao Tong University Shanghai , P. R.
A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai Jiao Tong University Shanghai 200240, P. R. China Since Eilenberg and Moore [EM], the relative homological
More informationSUMS OF UNITS IN SELF-INJECTIVE RINGS
SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring
More informationOn Extensions of Modules
On Extensions of Modules Janet Striuli Department of Mathematics, University of Kansas, Lawrence, KS 66045, USA Abstract In this paper we study closely Yoneda s correspondence between short exact sequences
More informationHomological Methods in Commutative Algebra
Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes
More informationDecompositions Of Modules And Matrices
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Faculty Publications, Department of Mathematics Mathematics, Department of 1973 Decompositions Of Modules And Matrices Thomas
More informationPaul E. Bland and Patrick F. Smith (Received April 2002)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 32 (2003), 105 115 INJECTIVE AND PROJECTIVE MODULES RELATIVE TO A TORSION THEORY Paul E. Bland and Patrick F. Smith (Received April 2002) Abstract. Injective and
More informationRees Algebras of Modules
Rees Algebras of Modules ARON SIMIS Departamento de Matemática Universidade Federal de Pernambuco 50740-540 Recife, PE, Brazil e-mail: aron@dmat.ufpe.br BERND ULRICH Department of Mathematics Michigan
More informationSemi co Hopfian and Semi Hopfian Modules
Semi co Hopfian and Semi Hopfian Modules Pınar AYDOĞDU and A. Çiğdem ÖZCAN Hacettepe University Department of Mathematics 06800 Beytepe, Ankara, Turkey paydogdu@hacettepe.edu.tr, ozcan@hacettepe.edu.tr
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationLOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES
LOCAL COHOMOLOGY MODULES WITH INFINITE DIMENSIONAL SOCLES THOMAS MARLEY AND JANET C. VASSILEV Abstract. In this paper we prove the following generalization of a result of Hartshorne: Let T be a commutative
More informationPresentations of rings with non-trivial semidualizing modules
Collect. Math. vv, n (yyyy), 1 17 c yyyy Universitat de Barcelona DOI 10.1344/collectanea.theDOIsuffix Presentations of rings with non-trivial semidualizing modules David A. Jorgensen David A. Jorgensen,
More informationThe Limiting Behavior on the Restriction of Divisor Classes to Hypersurfaces Sandra Spiroff
The Limiting Behavior on the Restriction of Divisor Classes to Hypersurfaces Sandra Spiroff ABSTRACT. Let A be an excellent local normal domain and {f n } n=1 a sequence of elements lying in successively
More informationRELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES
RELATIVE EXT GROUPS, RESOLUTIONS, AND SCHANUEL CLASSES HENRIK HOLM Abstract. Given a precovering (also called contravariantly finite) class there are three natural approaches to a homological dimension
More informationA SURVEY OF RINGS GENERATED BY UNITS
A SURVEY OF RINGS GENERATED BY UNITS ASHISH K. SRIVASTAVA Dedicated to Melvin Henriksen on his 80 th Birthday Abstract. This article presents a brief survey of the work done on rings generated by their
More informationDedicated to Professor Klaus Roggenkamp on the occasion of his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 86 2000 NO. 2 REPRESENTATION THEORY OF TWO-DIMENSIONAL BRAUER GRAPH RINGS BY WOLFGANG R U M P (STUTTGART) Dedicated to Professor Klaus Roggenkamp on the
More informationON sfp-injective AND sfp-flat MODULES
Gulf Journal of Mathematics Vol 5, Issue 3 (2017) 79-90 ON sfp-injective AND sfp-flat MODULES C. SELVARAJ 1 AND P. PRABAKARAN 2 Abstract. Let R be a ring. A left R-module M is said to be sfp-injective
More informationThe Diamond Category of a Locally Discrete Ordered Set.
The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a
More informationarxiv:math/ v1 [math.ra] 30 Sep 2001
arxiv:math/0110008v1 [math.ra] 30 Sep 2001 DUALIZING COMPLEXES AND TILTING COMPLEXES OVER SIMPLE RINGS AMNON YEKUTIELI AND JAMES J. ZHANG 0. Introduction Simple rings, like fields, are literally simple
More informationRIGHT SELF-INJECTIVE RINGS IN WHICH EVERY ELEMENT IS A SUM OF TWO UNITS
Journal of Algebra and Its Applications Vol. 6, No. 2 (2007) 281 286 c World Scientific Publishing Company RIGHT SELF-INJECTIVE RINGS IN WHICH EVERY ELEMENT IS A SUM OF TWO UNITS DINESH KHURANA and ASHISH
More informationOPENNESS OF FID-LOCI
OPENNESS OF FID-LOCI YO TAKAHASHI Abstract. Let be a commutative Noetherian ring and M a finite -module. In this paper, we consider Zariski-openness of the FID-locus of M, namely, the subset of Spec consisting
More informationAzumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras
Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part
More informationTHE RADIUS OF A SUBCATEGORY OF MODULES
THE RADIUS OF A SUBCATEGORY OF MODULES HAILONG DAO AND RYO TAKAHASHI Dedicated to Professor Craig Huneke on the occasion of his sixtieth birthday Abstract. We introduce a new invariant for subcategories
More informationHorrocks correspondence
Horrocks correspondence Department of Mathematics and Computer Science University of Missouri-St.Louis May, 2016 (Department of Mathematics and Computer Horrocks Science correspondence University of Missouri-St.Louis)
More informationm-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 2, 2014 m-full AND BASICALLY FULL IDEALS IN RINGS OF CHARACTERISTIC p JANET C. VASSILEV ABSTRACT. We generalize the notion of m-full and basically
More informationA BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES. Shanghai , P. R. China
A BRIEF INTRODUCTION TO GORENSTEIN PROJECTIVE MODULES PU ZHANG Department of Mathematics, Shanghai 200240, P. R. China Shanghai Jiao Tong University Since Eilenberg and Moore [EM], the relative homological
More informationPresentations of Rings with Non-Trivial Semidualizing Modules
Syracuse University SURFACE Mathematics Faculty Scholarship Mathematics 11-23-2009 Presentations of Rings with Non-Trivial Semidualizing Modules David A. Jorgensen University of Texas at Arlington Graham
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationSTATE OF THE ART OF THE OPEN PROBLEMS IN: MODULE THEORY. ENDOMORPHISM RINGS AND DIRECT SUM DECOMPOSITIONS IN SOME CLASSES OF MODULES
STATE OF THE ART OF THE OPEN PROBLEMS IN: MODULE THEORY. ENDOMORPHISM RINGS AND DIRECT SUM DECOMPOSITIONS IN SOME CLASSES OF MODULES ALBERTO FACCHINI In Chapter 11 of my book Module Theory. Endomorphism
More informationCOFINITENESS AND COASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES
MATH. SCAND. 105 (2009), 161 170 COFINITENESS AND COASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES MOHARRAM AGHAPOURNAHR and LEIF MELKERSSON Abstract Let R be a noetherian ring, an ideal of R such that
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More information5 Dedekind extensions
18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also
More informationTwo Generalizations of Lifting Modules
International Journal of Algebra, Vol. 3, 2009, no. 13, 599-612 Two Generalizations of Lifting Modules Nil Orhan Ertaş Süleyman Demirel University, Department of Mathematics 32260 Çünür Isparta, Turkey
More informationCOURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA
COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss
More information