Noetherian and Artinian Modules and Rings Artinian and Noetherian Rings Have Some Measure of Finiteness Associated with Them. In

Total Page:16

File Type:pdf, Size:1020Kb

Noetherian and Artinian Modules and Rings Artinian and Noetherian Rings Have Some Measure of Finiteness Associated with Them. In Noetherian and Artinian Modules and Rings Artinian and Noetherian rings have some measure of finiteness associated with them. In fact, the conditions for Artinian and Noetherian rings, called respectively the descending and ascending chain conditions, are often termed the minimum and maximum conditions. These properties make Artinian and Noetherian rings of interest to an algebraist. Furthermore, these two types of rings are related. Definition 1. Let M be an R-module, and suppose that we have an increasing sequence of submodules M1 M2 M3 . , or a decreasing sequence M1 M2 M3 . We say that the sequence stabilizes if for some t, Mt = Mt+1 = Mt+2 = . The question of stabilization of sequences of submodules appears in a fundamental way in many areas of abstract algebra and its applications. Definition 2. The module M is said to satisfy the ascending chain condition (acc) if every increasing sequence of submodules stabilizes; M satisfies the descending chain condition (dcc) if every decreasing sequence of submodules stabilizes. Definition 3. An R-module M is called Artinian if descending chain conditions (dcc) hold for submodules of M. 1 Definition 4. An R-module M is called Noetherian if ascending chain condition (acc) holds for submodules M. Proposition 1. The following conditions on M are equivalent: (i) M is Artinian; (ii) Every nonempty collection of submodules of M has a minimal element. Proof. (i) (ii) Let F = { Mi | i I } be a non- empty family of submodules of M. Pick any i1 I. M If i1 is a minimal element of F, we are done. If M M not, there exists i2 I such that i2 i1 . If M i is minimal, we are done. Else i I such 2 3 M M that i3 i2 . If F does not contain a minimal element, we obtain an infinite strictly descending M M M ... chain i1 i2 i3 which is a contradiction as M is Artinian. (ii) (i) Consider a descending chain of submodules of M, M1 M2 M3 . Let F = { Mi | i I }, then F has a minimal element say, Mt. Now Mt = Mt+1 = Mt+2 = . Hence M is Artinian. Corollary 1. Every non-zero Artinian module contains a minimal submodule. Proof. Let M be a non-zero Artinian R-module. Let F be a family of all proper submodules of M. Then (0) F implies F . Then F has a minimal 2 element say, N. Clearly N is a minimal submodule of M. Proposition2. The following conditions on an R-module M are equivalent: (1) M is a a Noetherian module; (2) Every nonempty collection of submodules of M has a maximal element (with respect to inclusion). Proof. Assume (1), and let S be a nonempty collection of submodules. Choose M1 S. If M1 is maximal, we are finished; otherwise we have M1 M2 for some M2 S. If we continue inductively, the process must terminate at a maximal element; otherwise the acc would be violated. Conversely, assume (2), and let M1 M2 . The sequence must stabilize; otherwise {M1,M2, . } would be a nonempty collection of submodules with no maximal element. There is another equivalent condition in the Noetherian case. Proposition3. M is Noetherian if and only if every submodule of M is finitely generated. Proof. If the sequence M1 M2 . does N M not stabilize, let r . Then N is a r1 submodule of M, and it cannot be finitely 3 generated. For if x1, . , xs generate N, then for sufficiently large t, all the xi belong to Mt. But then N ⊆ Mt ⊆ Mt+1 ⊆ ·· · ⊆ N, so Mt = Mt+1 = . Conversely, assume that the acc holds, and let N be a submodule of M. If N ≠ 0, choose x1 N. If Rx1 = N, then N is finitely generated. Otherwise, there exists x2 N- Rx1. If x1 and x2 generate N, we are finished. Otherwise, there exists x3 N- (Rx1 + Rx2) . Since Rx1 Rx1 + Rx2 Rx1 + Rx2+ Rx3 …, the acc forces the process to terminate at some stage t, in which case x1, . , xt generate N. Definition5 A ring R is Noetherian [resp. Artinian] if it is Noetherian [resp. Artinian] as a module over itself. If we need to distinguish between R as a left, as opposed to right, R-module, we will refer to a left Noetherian and a right Noetherian ring, and similarly for Artinian rings. Examples 1. Every PID is Noetherian. This follows since every ideal is generated by a single element. 2. Z is Noetherian (a special case of Example 1) but not Artinian. There are many descending chains of ideals that do not stabilize, e.g., Z ⊃ (2) ⊃ (4) ⊃ (8) ⊃ . 4 3. If F is a field, then the polynomial ring F[X] is Noetherian (another special case of Example 1) but not Artinian. A descending chain of ideals that does not stabilize is (X) ⊃ (X2) ⊃ (X3) ⊃ . 4. The ring F[X1,X2, . ] of polynomials over F in infinitely many variables is neither Artinian nor Noetherian. A descending chain of ideals that does not stabilize is constructed as in Example 3, and an ascending chain of ideals that does not stabilize is (X1) ⊂ (X1,X2) ⊂ (X1,X2,X3) ⊂ . 5. A module with only finitely many submodules is Artinian and Noetherian. In particular, finite abelian groups are both Artinian and Noetherian over Z. 6. Let V be a finite dimensional vector space over a field F, say, dim V = n. Then V is both Artinian as well as Noetherian F-module. For, if W is a proper subspace of V , then dimW < n. Thus any proper ascending or descending chain of subspace of V can have at most n + 1 terms. However, infinite dimensional vector spaces are not Artinian. For, suppose V is infinite dimensional vector space over the field K with basis B. Let ui B, i N be distinct elements in B. Define Un => un, un+1, · · · < as a subspace of V . Then U1 ⊃ U2 ⊃ · · · is an infinite descending chain of subspaces. 5 7- Q has only two ideals, (0) and Q. Clearly, Q⊃ (0). This finite chain of ideals clearly bottoms out. This is the only possible chain of proper ideal inclusions in Q since Q only has two ideals. Thus, Q is Artinian. The field of rational numbers provides us with an example of an Artinian ring. It should be noted that by the same logic as in the preceding paragraph, Q is also Noetherian. Remark The following observations will be useful in deriving properties of Noetherian and Artinian modules. If N M, then a submodule L of M that contains N can always be written in the form K+N for some submodule K. (K = L is one possibility.) By the correspondence theorem, (K1 + N)/N = (K2 + N)/N implies K1 + N = K2 + N and (K1 + N)/N (K2 + N)/N implies K1 + N K2 + N. Proposition4. Submodules Noetherian [resp. Artinian] modules are Noetherian [resp. Artinian]. Proof. Assume M is Noetherian and let N be its submodule. Then Any submodule of N is also a submodule of M. Hence acc holds for submodules of N ( similarly any descending chain of submodules of N is a chain of submodules of M). Hence the result follows. Proposition5. If N is a submodule of M, then M is Noetherian [resp. Artinian] if and only if N and M/N are Noetherian [resp. Artinian]. 6 Proof. Assume M is Noetherian. Then N is Noetherian. An ascending chain of submodules of M/N looks like (M1 +N)/N (M2 +N)/N ·· · . But then the Mi +N form an ascending sequence of submodules of M, which must stabilize. Consequently, the sequence (Mi + N)/N, i = 1, 2, . , must stabilize. Conversely, assume that N and M/N are Noetherian, and let M1 M2 ··· be an increasing sequence of submodules of M. Take i large enough so that both sequences {Mi ∩N} and {Mi+N} have stabilized. If x Mi+1, then x+N Mi+1+N = Mi+N, so x = y + z where y Mi and z N. Thus x − y Mi+1 ∩ N = Mi ∩ N, and since y Mi we have x Mi as well. Consequently, Mi = Mi+1 and the sequence of Mi’s has stabilized. The Artinian case is handled by reversing inequalities (and interchanging indices i and i + 1 in the second half of the proof). Corollary If M1, . , Mn are Noetherian [resp. Artinian] R- modules, then so is M1 ⊕M2 ⊕·· ·⊕Mn. Proof. It suffices to consider n = 2 (induction will take care of higher values of n). The submodule N = M1 of M = M1 ⊕ M2 is Noetherian by hypothesis, and M/N M2 (apply the first isomorphism theorem to the natural projection of M onto M2, i.e. f : M M2, where ( ) is also Noetherian. 7 By Proposition5, M is Noetherian. The Artinian case is done the same way. Proposition. In an artinian ring all the prime ideals are maximal. 8 9 11 11 Proposition . A quotient ring of an Artinian (Noetherian) ring is Artinian (Noetherian). Proof. We prove for Artinian rings. The Noetherian case follows on similar lines. Let R be an Artinian ring and I be an ideal of R. Then R/I is an Artinian R-module (as seen in the module case). Now any left ideal of R/I is of the form J/I, where J is a left ideal of R. Hence a descending chain of left ideals of R/I gives descending chain of left ideals of R. Hence R/I is an Artinian ring. Remark . Subring of Artinian or Noetherian may not be Artinian or Noetherian. For example, the subring Z of the Artinian ring Q is not Artinian.
Recommended publications
  • A Representation Theory for Noetherian Rings
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 39, 100-130 (1976) A Representation Theory for Noetherian Rings ROBERT GORDON* AND EDWARD L. GREEN+ Department of Mathematics, Temple University, Philadelphia, Pennsylvania 19122 Department of Mathematics, University of Pennsylvania, Philadelphia, Pennsylvania I9104 Communicated by A. W. Goldie Received October 28, 1974 The representation theory of artinian rings has long been studied, and seldommore intensely than in the past few years. However, with the exception of integral representationsof finite groups, there is no representation theory for noetherian rings even when they are commutative. Our aim in this paper is to develop such a theory. We attempt to pattern it after the known represen- tation theory of artinian rings. For this, we require a notion of indecom- posability different from the usual one; and we say that a module is strongly indecomposableif it is noetherian, and no factor by a nontrivial direct sum of submoduleshas lower Krull dimension than the module. Thus strongly indecomposablemodules are indecomposableand, by way of example, any uniform noetherian module is strongly indecomposable. Our first result states that some factor of a noetherian module by a direct sum of strongly indecomposablesubmodules has dimension less than the dimension of the module. This decomposition refines indecomposable noetherian modules, but we can say little about it without restricting the underlying ring. Thus we study, in Section 1, or-indecomposablemodules; that is, strongly indecomposablea-dimensional modules that have no nonzero submodule of dimension < cz. The resemblanceof these to indecomposable modules of finite length is analogousto that of a-critical modules to simple ones (see [8]).
    [Show full text]
  • Modules with Artinian Prime Factors
    PROCEEDINGS of the AMERICAN MATHEMATICAL SOCIETY Volume 78, Number 3. March 1980 MODULES WITH ARTINIAN PRIME FACTORS EFRAIM P. ARMENDARIZ Abstract. An R -module M has Artinian prime factors if M/PM is an Artinian module for each prime ideal P of R. For commutative rings R it is shown that Noetherian modules with Artinian prime factors are Artinian. If R is either commutative or a von Neumann regular K-rmg then the endomorphism ring of a module with Artinian prime factors is a strongly ir-regular ring. A ring R with 1 is left ir-regular if for each a G R there is an integer n > 1 and b G R such that a" = an+lb. Right w-regular is defined in the obvious way, however a recent result of F. Dischinger [5] asserts the equivalence of the two concepts. A ring R is ir-regular if for any a G R there is an integer n > 1 and b G R such that a" = a"ba". Any left 7r-regular ring is 77-regular but not con- versely. Because of this, we say that R is strongly ir-regular if it is left (or right) w-regular. In [2, Theorem 2.5] it was established that if R is a (von Neumann) regular ring whose primitive factor rings are Artinian and if M is a finitely generated R-module then the endomorphism ring EndÄ(Af ) of M is a strongly 77-regular ring. Curiously enough, the same is not true for finitely generated modules over strongly w-regular rings, as Example 3.1 of [2] shows.
    [Show full text]
  • Integral Domains, Modules and Algebraic Integers Section 3 Hilary Term 2014
    Module MA3412: Integral Domains, Modules and Algebraic Integers Section 3 Hilary Term 2014 D. R. Wilkins Copyright c David R. Wilkins 1997{2014 Contents 3 Noetherian Rings and Modules 49 3.1 Modules over a Unital Commutative Ring . 49 3.2 Noetherian Modules . 50 3.3 Noetherian Rings and Hilbert's Basis Theorem . 53 i 3 Noetherian Rings and Modules 3.1 Modules over a Unital Commutative Ring Definition Let R be a unital commutative ring. A set M is said to be a module over R (or R-module) if (i) given any x; y 2 M and r 2 R, there are well-defined elements x + y and rx of M, (ii) M is an Abelian group with respect to the operation + of addition, (iii) the identities r(x + y) = rx + ry; (r + s)x = rx + sx; (rs)x = r(sx); 1x = x are satisfied for all x; y 2 M and r; s 2 R. Example If K is a field, then a K-module is by definition a vector space over K. Example Let (M; +) be an Abelian group, and let x 2 M. If n is a positive integer then we define nx to be the sum x + x + ··· + x of n copies of x. If n is a negative integer then we define nx = −(jnjx), and we define 0x = 0. This enables us to regard any Abelian group as a module over the ring Z of integers. Conversely, any module over Z is also an Abelian group. Example Any unital commutative ring can be regarded as a module over itself in the obvious fashion.
    [Show full text]
  • Gsm073-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/073 Graduat e Algebra : Commutativ e Vie w This page intentionally left blank Graduat e Algebra : Commutativ e View Louis Halle Rowen Graduate Studies in Mathematics Volum e 73 KHSS^ K l|y|^| America n Mathematica l Societ y iSyiiU ^ Providence , Rhod e Islan d Contents Introduction xi List of symbols xv Chapter 0. Introduction and Prerequisites 1 Groups 2 Rings 6 Polynomials 9 Structure theories 12 Vector spaces and linear algebra 13 Bilinear forms and inner products 15 Appendix 0A: Quadratic Forms 18 Appendix OB: Ordered Monoids 23 Exercises - Chapter 0 25 Appendix 0A 28 Appendix OB 31 Part I. Modules Chapter 1. Introduction to Modules and their Structure Theory 35 Maps of modules 38 The lattice of submodules of a module 42 Appendix 1A: Categories 44 VI Contents Chapter 2. Finitely Generated Modules 51 Cyclic modules 51 Generating sets 52 Direct sums of two modules 53 The direct sum of any set of modules 54 Bases and free modules 56 Matrices over commutative rings 58 Torsion 61 The structure of finitely generated modules over a PID 62 The theory of a single linear transformation 71 Application to Abelian groups 77 Appendix 2A: Arithmetic Lattices 77 Chapter 3. Simple Modules and Composition Series 81 Simple modules 81 Composition series 82 A group-theoretic version of composition series 87 Exercises — Part I 89 Chapter 1 89 Appendix 1A 90 Chapter 2 94 Chapter 3 96 Part II. AfRne Algebras and Noetherian Rings Introduction to Part II 99 Chapter 4. Galois Theory of Fields 101 Field extensions 102 Adjoining
    [Show full text]
  • On Commutative Ekfn-Ring with Ascending Chain Condition on Annihilators
    International Journal of Pure and Applied Mathematics Volume 86 No. 5 2013, 871-881 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu AP doi: http://dx.doi.org/10.12732/ijpam.v86i5.10 ijpam.eu ON COMMUTATIVE EKF N-RING WITH ASCENDING CHAIN CONDITION ON ANNIHILATORS Mohameth Alassane Ndiaye1, Cheikh Thi´ecoumba Gueye2 § 1,2Laboratoire d’Alg`ebre, de Cryptographie De G´eom´etrie Alg´ebrique et Applications (LACGAA) D´epartement de Math´ematiques et Informatique Facult´edes Sciences et Techniques Universit´eCheikh Anta Diop BP 5005 Dakar, SEN´ EGAL´ Abstract: We consider the class E of endo-noetherian modules, ie the modules M satisfying the ascending chain condition for endomorphic kernels: the chain Kerf1 ⊂ Kerf2 ⊂ · · · ⊂ Kerfn ⊂ · · · is stationary, where fi ∈ End(M). And let N be the class of noetherian modules. It is well known that every noetherian R-module M is endo-noetherian, but the converse is not true, so N ⊂ E. The aim of this work, is to characterize commutative rings for which E and N are identical. AMS Subject Classification: 13-XX Key Words: annihilator, Artinian, EKF N-ring, endo-noetherian, Hopfian, Noetherian, strongly Hopfian 1. Introduction The ascending chain condition is a mathematical property on orders, initially identified by Emmy Noether in 1921 [5] in the context of commutative algebra, and objects satisfying it are named noetherian in her honor. Noether showed that this ascending chain condition is equivalent to the non-existence of an infi- nite strictly increasing sequence of ideals. These rings named, noetherian rings, c 2013 Academic Publications, Ltd.
    [Show full text]
  • Lectures on Non-Commutative Rings
    Lectures on Non-Commutative Rings by Frank W. Anderson Mathematics 681 University of Oregon Fall, 2002 This material is free. However, we retain the copyright. You may not charge to redistribute this material, in whole or part, without written permission from the author. Preface. This document is a somewhat extended record of the material covered in the Fall 2002 seminar Math 681 on non-commutative ring theory. This does not include material from the informal discussion of the representation theory of algebras that we had during the last couple of lectures. On the other hand this does include expanded versions of some items that were not covered explicitly in the lectures. The latter mostly deals with material that is prerequisite for the later topics and may very well have been covered in earlier courses. For the most part this is simply a cleaned up version of the notes that were prepared for the class during the term. In this we have attempted to correct all of the many mathematical errors, typos, and sloppy writing that we could nd or that have been pointed out to us. Experience has convinced us, though, that we have almost certainly not come close to catching all of the goofs. So we welcome any feedback from the readers on how this can be cleaned up even more. One aspect of these notes that you should understand is that a lot of the substantive material, particularly some of the technical stu, will be presented as exercises. Thus, to get the most from this you should probably read the statements of the exercises and at least think through what they are trying to address.
    [Show full text]
  • Lectures on Local Cohomology
    Contemporary Mathematics Lectures on Local Cohomology Craig Huneke and Appendix 1 by Amelia Taylor Abstract. This article is based on five lectures the author gave during the summer school, In- teractions between Homotopy Theory and Algebra, from July 26–August 6, 2004, held at the University of Chicago, organized by Lucho Avramov, Dan Christensen, Bill Dwyer, Mike Mandell, and Brooke Shipley. These notes introduce basic concepts concerning local cohomology, and use them to build a proof of a theorem Grothendieck concerning the connectedness of the spectrum of certain rings. Several applications are given, including a theorem of Fulton and Hansen concern- ing the connectedness of intersections of algebraic varieties. In an appendix written by Amelia Taylor, an another application is given to prove a theorem of Kalkbrenner and Sturmfels about the reduced initial ideals of prime ideals. Contents 1. Introduction 1 2. Local Cohomology 3 3. Injective Modules over Noetherian Rings and Matlis Duality 10 4. Cohen-Macaulay and Gorenstein rings 16 d 5. Vanishing Theorems and the Structure of Hm(R) 22 6. Vanishing Theorems II 26 7. Appendix 1: Using local cohomology to prove a result of Kalkbrenner and Sturmfels 32 8. Appendix 2: Bass numbers and Gorenstein Rings 37 References 41 1. Introduction Local cohomology was introduced by Grothendieck in the early 1960s, in part to answer a conjecture of Pierre Samuel about when certain types of commutative rings are unique factorization 2000 Mathematics Subject Classification. Primary 13C11, 13D45, 13H10. Key words and phrases. local cohomology, Gorenstein ring, initial ideal. The first author was supported in part by a grant from the National Science Foundation, DMS-0244405.
    [Show full text]
  • Certain Artinian Rings Are Noetherian
    Can. J. Math., Vol. XXIV, No. 4, 1972, pp. 553-556 CERTAIN ARTINIAN RINGS ARE NOETHERIAN ROBERT C. SHOCK 1. Introduction. Throughout this paper the word "ring" will mean an associative ring which need not have an identity element. There are Artinian rings which are not Noetherian, for example C(pco) with zero multiplication. These are the only such rings in that an Artinian ring R is Noetherian if and only if R contains no subgroups of type C(pœ) [1, p. 285]. However, a certain class of Artinian rings is Noetherian. A famous theorem of C. Hopkins states that an Artinian ring with an identity element is Noetherian [3, p. 69]. The proofs of these theorems involve the method of "factoring through the nilpotent Jacobson radical of the ring". In this paper we state necessary and sufficient conditions for an Artinian ring (and an Artinian module) to be Noetherian. Our proof avoids the concept of the Jacobson radical and depends primarily upon the concept of the length of a composition series. As a corollary we obtain the result of Hopkins. All conditions are on the right, that is, an Artinian ring means a right Artinian ring, etc. We say a module A is embeddable in a module B provided that A is isomorphic to some submodule of B. Our Theorem 3 states that an Artinian ring R is Noetherian if and only if a cyclic Noetherian submodule ofR is embeddable in some Noetherian factor module of R. An example in the paper shows that in an Artinian ring R which is also Noetherian, a cyclic submodule need not be isomorphic to some factor module of R.
    [Show full text]
  • Artinian Modules and Modules of Which All Proper Submodules Are Finitely Generated
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 95, 201-216 (1985) Artinian Modules and Modules of Which All Proper Submodules Are Finitely Generated WILLIAM HEINZER Purdue University, West Lafayette, Indiana 47907 AND DAVID LANTZ Purdue University, West Lafayette, Indiana 47907, and Colgate University, Hamilton, New York 13346 Communicated by I. N. Herstein Received September 5, 1983 1. INTRODUCTION William D. Weakley, in [Wl], studied modules (unitary, over a com- mutative ring with unity) which are not finitely generated but all of whose proper submodules are finitely generated. Weakley called such modules “almost finitely generated” (a.f.g.). He noted that an a.f.g. module has prime annihilator and that, as a faithful module over a domain, it is either torsion or torsion-free. If torsion-free, it is isomorphic as a module to the domain’s quotient field. If torsion, it is Artinian, so Weakley was led to the tools of study of Artinian modules developed by Matlis [Ml, M23 and Vamos [V]. These tools include, for a quasilocal ring (R, M), the injective envelope E,(R/M) of the residue field R/M. The purpose of the present paper is to combine results of [Wl] and [GH2] to characterize the form of a.f.g. modules and the rings which admit such modules, and to describe the a.f.g. submodules of E,(R/M). In Section 2, we refine a result of [ Wl ] to conclude that, if R is a domain and (F’, P) is a discrete rank one valuation domain between R and its quotient field K, then K/V is an a.f.g.
    [Show full text]
  • On the Noetherian Dimension of Artinian Modules*
    Vietnam Journal o! Mathematics3O:2 (2002) 121-130 V [,e r[rma nm _J[o,rurrrrm a l[ olP Mt,A.]f lHI]EMt,A.]f ]IC S O NCST2OO2 On the Noetherian Dimension of Artinian Modules* Nguyen T\r Cuong and Le Thanh Nhan Institute of Mathemati,cs.P. O. Bor 631, Bo Ho, Hanoi, V'ietnam ReceivedJuly L4, 2000 Abstract. Somenew resultsof Noetheriandimension of Artinian modulesare given and severalproperties of Noetherian dimension of local cohomologymodules of finitely generatedmodules are shown. After giving an exampleof an Artinian module ,4 which has Krull dimension strictly larger than its Noetherian dimension, we present some sufficient conditions on Artinian modules .A such that the both notions of dimension of ,4 are the same. 1".Introduction The concept of Krull dimension for Artinian modules was introduced by Roberts lI2]. Kirby [7] changed the terminology of Roberts and referred to Noethe- rian dimension (N-dim) to avoid any confusion with Krull dimension defined for finitely generated modules. In this note we use the terminology of Kirby [7]. Many properties of Noetherian dimension of Artinian modules have been given in [3,7, L2,l7l. The purpose of this note is to study Noetherian dimension of Artinian modules. Expecially, we prove some results on Noetherian dimension of local cohomology modules when these modules are Artinian. This paper is divided into 4 sections. In Sec.2 we will give some preliminary results on Noetherian dimension of Artinian modules. Let R be a commuta- tive Noetherian ring, A an Artinian rR-module and M a finitely generated R- module.
    [Show full text]
  • Commutative Algebra
    Version of September 3, 2012 A Term of Commutative Algebra By Allen ALTMAN and Steven KLEIMAN Contents Preface . iii 1. Rings and Ideals ................... 1 2. Prime Ideals .................... 6 3. Radicals ...................... 10 4. Modules ...................... 14 5. Exact Sequences ................... 20 6. Direct Limits .................... 26 7. Filtered Direct Limits . 33 8. Tensor Products ................... 37 9. Flatness ...................... 43 10. Cayley{Hamilton Theorem . 49 11. Localization of Rings . 55 12. Localization of Modules . 61 13. Support ..................... 66 14. Krull{Cohen{Seidenberg Theory . 71 15. Noether Normalization . 75 Appendix: Jacobson Rings . 80 16. Chain Conditions . 82 17. Associated Primes . 87 18. Primary Decomposition . 91 19. Length ...................... 97 20. Hilbert Functions . 101 Appendix: Homogeneity . 107 21. Dimension . 109 22. Completion . 115 23. Discrete Valuation Rings . 122 24. Dedekind Domains . 127 25. Fractional Ideals . 131 26. Arbitrary Valuation Rings . 136 Solutions . 141 1. Rings and Ideals . 141 2. Prime Ideals . 143 3. Radicals . 145 4. Modules . 148 5. Exact Sequences . 149 i 6. Direct Limits . 153 7. Filtered direct limits . 156 8. Tensor Products . 158 9. Flatness . 159 10. Cayley{Hamilton Theorem . 161 11. Localization of Rings . 164 12. Localization of Modules . 167 13. Support . 168 14. Krull{Cohen{Seidenberg Theory . 171 15. Noether Normalization . 174 16. Chain Conditions . 177 17. Associated Primes . 179 18. Primary Decomposition . 180 19. Length . 183 20. Hilbert Functions . 185 21. Dimension . 188 22. Completion . 190 23. Discrete Valuation Rings . 193 24. Dedekind Domains . 197 25. Fractional Ideals . 199 26. Arbitrary Valuation Rings . 200 References . 202 Index . 203 ii Preface There is no shortage of books on Commutative Algebra, but the present book is different.
    [Show full text]
  • Module (Mathematics) 1 Module (Mathematics)
    Module (mathematics) 1 Module (mathematics) In abstract algebra, the concept of a module over a ring is a generalization of the notion of vector space, wherein the corresponding scalars are allowed to lie in an arbitrary ring. Modules also generalize the notion of abelian groups, which are modules over the ring of integers. Thus, a module, like a vector space, is an additive abelian group; a product is defined between elements of the ring and elements of the module, and this multiplication is associative (when used with the multiplication in the ring) and distributive. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Motivation In a vector space, the set of scalars forms a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module concept represents a significant generalization. In commutative algebra, it is important that both ideals and quotient rings are modules, so that many arguments about ideals or quotient rings can be combined into a single argument about modules. In non-commutative algebra the distinction between left ideals, ideals, and modules becomes more pronounced, though some important ring theoretic conditions can be expressed either about left ideals or left modules. Much of the theory of modules consists of extending as many as possible of the desirable properties of vector spaces to the realm of modules over a "well-behaved" ring, such as a principal ideal domain.
    [Show full text]