DOCSLIB.ORG

Graded Almost Prime Submodules

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Graded Almost Prime Submodules International Journal of Algebra, Vol. 5, 2011, no. 4, 189 - 198 Graded Almost Prime Submodules Malik Bataineh Mathematics Department Jordan University of Science and Technology Irbid 22110, Jordan [email protected] Ala’ Lutfi Khazaa’leh Mathematics Department Jordan University of Science and Technology Irbid 22110, Jordan Ameer Jaber Department of Mathematics The Hashemite University Zarqa 13115, Jordan Abstract Let G be an abelian group with identity e, R be a G−graded com- mutative ring and M a graded R−module. A proper graded submodule N of M is a graded almost prime if for r ∈ h(R) and m ∈ h(M), rm ∈ N − (N : M)N implies r ∈ (N : M)orm ∈ N. A proper graded submodule is a graded weakly prime submodule if for r ∈ h(R) and m ∈ h(M), 0 = rm ∈ N implies r ∈ (N : M)orm ∈ N. Ev- ery graded prime submodule is graded weakly prime as well as graded almost prime. However, since {0} is always a graded weakly prime sub- module and hence a graded almost prime submodule, a graded almost prime submodule need not be a graded prime. Throughout this work, we define graded almost prime submodules as a new generalization of graded prime and graded weakly prime sub- modules of a graded unital modules over a graded commutative ring. We study some properties of graded almost prime submodules and give some of their characterizations. Mathematics Subject Classification: 13A02, 16W50 190 M. Bataineh et al Keywords: Graded Rings, Graded Modules, Graded almost prime Sub- modules, Graded weakly prime Submodules 1 Introduction Several authors have extended the notion of prime ideals to modules [3], [5]. Almost prime ideals were introduced by S M. Bhatwadekar and P. K. Sharma [9] and later studied by D. D. Anderson, and M. Bataineh [7]. Weakly prime ideals were introduced by A. G. Agargun, D. D. Anderson, and S. Valdes-Leon [1] and later studied by D. D. Anderson and E. Smith [4]. A proper ideal P of R considered as almost prime ideal if ab ∈ P −P 2 then a ∈ P or b ∈ P . Graded almost prime ideals in a graded commutative ring with non-zero identity have been introduced and studied by A. Jabeer, M. Bataineh and H. Khashan [2, 6]. Moreover, graded weakly prime submodules in a graded commutative ring with non-zero identity have been introduced and studied by S. E. Atani [11]. In this study, we investigated graded almost prime submodules of a graded module over a graded commutative ring. A proper graded submodule N of a unital graded module is considered a weakly prime if for a ∈ h(R) and m ∈ h(M), 0 = am ∈ N implies a ∈ (N : M)orm ∈ N . A proper graded submodule of a unital graded module is graded almost prime if for a ∈ h(R) and m ∈ h(M), am ∈ N − (N : M)N implies that a ∈ (N : M)orm ∈ N. Throughout this work we investigate various properties of graded almost prime submodules and their generalizations. Moreover, for a graded almost prime submodule N in a unital graded module M over a graded commutative ring R, we show that S−1N is a graded almost prime submodule for any multiplicatively closed subset S of R disjoint from (N : M). We also explore the relationship between graded almost prime and graded weakly prime submodules. 2 Graded Almost Prime Submodules In this chapter, the authors define graded almost prime (g-prime) submodules, give some properties, characterizations and examples of graded almost prime (g-prime) submodules and show relationship between graded weakly prime (g-prime) submodules and graded almost prime (g-prime) submodules. Let us introduce some notation and terminology. Let G be an arbitrary abelian group with identity e.ByaG−graded commutative ring we mean a commutative ring R with non-zero identity together with a direct sum decom- position (as an additive group) R = ⊕ Rg with the property that RgRh ⊆ Rgh g∈G for all g, h ∈ G . Also, we write h(R)=∪g∈GRg. The summands Rg are called homogeneous components and elements of these summands are called homo- geneous elements Moreover, Re is a subring of R and 1R ∈ Re. Product of graded submodules 191 Let R be a G−graded ring and M an R−module. We say that M is a G−graded R−module if there exists a family of additive subgroups {Mg}g∈G of M such that M = ⊕g∈GMg (as abelian groups), andRgMh ⊆ Mgh for all g, h ∈ G. Also, we write h(M)=∪g∈GMg.IfM = ⊕g∈GMg is a graded R-module, then Mg is an Re−module for all g ∈ G. Let N be a graded submodule of M, and let g ∈ G.There are some conditions equivalent to Ng being as weakly g-prime. For example, Ng is weakly g-prime if and only if for P is an ideal of Re and K is a submodule of Mg,0= PK ⊆ Ng implies P ⊆ (Ng : Mg)orK ⊆ Ng. The next theorem has been proved in [11, Theorem 2.6]. Theorem 2.1 [11] For a proper graded submodule N of M and g ∈ G. Then the following are equivalent. (1) If whenever 0 = PK ⊆ Ng with P an ideal of Re and K a submodule of Mg, then P ⊆ (Ng : Mg) or K ⊆ Ng. (2) Ng is a weakly g-prime submodule of Mg. (3) For m ∈ Mg − Ng, then (Ng : m) ≡ (Ng : Mg) ∪ (0 : m). (4) For m ∈ Mg − Ng, then (Ng : m) ≡ (Ng : Mg) or (Ng : m) ≡ (0 : m). Next we define an almost g-prime Re-submodule Ng of Mg and the graded almost prime submodule N of M. Definition 2.2 Let N be a graded submodule of M and g ∈ G. (1) Ng is an almost g-prime submodule of the Re-module Mg ,ifNg = Mg ; and whenever a ∈ Re and m ∈ Mg with am ∈ Ng − (Ng : Mg)Ng then either a ∈ (Ng : Mg) or m ∈ Ng. (2) N is a graded almost prime submodule of M,ifN = M; and whenever a ∈ h(R),and m ∈ h(M) with am ∈ N − (N : M)N, then either a ∈ (N : M) or m ∈ N. Clearly a graded prime (resp. g-prime) submodule is a graded weakly prime (resp. weakly g-prime) submodule and a graded weakly prime (resp. weakly g- prime) submodule is a graded almost prime (resp. almost g-prime) submodule. However, since {0} is a graded weakly prime submodule and hence a graded almost prime submodule (by definition), a graded weakly prime submodule and a graded almost prime submodule need not be graded primes. Now we give a non trivial example of a graded almost prime submodule that is not a graded prime submodule. Example 2.3 Let R ≡ Z[i]=Z + iZ, G = Z2 and M = Z54[i]. Then M is a graded R−module with M0 = Z54 and M1 = iZ54. Take N = 27 + i27 . Then (N : M)=27R and (N : M)N = N.So clearly Nis a graded almost prime submodule, but not a graded weakly prime submodule since 0 =9 i(3) = 27i ∈ N but neither 9i ∈ (N : M) nor 3 ∈ N. Hence Nis not graded prime. 192 M. Bataineh et al Next we give an example of a graded almost prime submodule that is not almost prime. Example 2.4 Let R ≡ Z[i]=Z + iZ, G = Z2 and M is R−module itself. N =2M is a graded submodule of M. Then (N : M)=2R and (N : M)N = 4M. Check that N is a graded almost prime submodule, but N as a submodule of M is not almost prime since (1 −i)(1 + i)=2∈ N −(N : M)N and neither (1 − i) ∈ (N : M) nor (1 + i) ∈ N. We next give four characterizations of homogeneous components of the graded submodules. Compare this result with [11, Theorem 2.6]. Theorem 2.5 Let N be a graded submodule of M. Then the following are equivalent. (1) Ng is a graded almost prime submodule of Mg. (2) For m ∈ Mg − Ng, then (Ng : m) ≡ (Ng : Mg) ∪ ((Ng : Mg)Ng : m). (3) For m ∈ Mg − Ng, then (Ng : m) ≡ (Ng : Mg) or (Ng : m) ≡ ((Ng : Mg)Ng : m). (4) If whenever PK ⊆ Ng and PK (Ng : Mg)Ng with P an ideal of Re and K a submodule of Mg, then P ⊆ (Ng : Mg) or K ⊆ Ng. Proof. (1 ⇒ 2) Let m ∈ Mg − Ng and a ∈ (Ng : m), then am ∈ Ng.If am∈ / (Ng : Mg)Ng, then a ∈ (Ng : Mg) since Ng is graded almost prime and m/∈ Ng.Ifam ∈ (Ng : Mg)Ng implies a ∈ ((Ng : Mg)Ng : m). The reverse inclusion if a ∈ (Ng : Mg), then aMg ⊆ Ng,soam ∈ Ng. Hence a ∈ (Ng : m). If a ∈ ((Ng : Mg)Ng : m), then am ∈ (Ng : Mg)Ng ⊆ Ng , a ∈ (Ng : m). Therefore (Ng : m) ≡ (Ng : Mg) ∪ ((Ng : Mg)Ng : m). (2 ⇒ 3) Clearly, from the graded ring theory on graded ideals. (3 ⇒ 4) Let P be an ideal of Re and K be a submodule of Mg such that PK ⊆ Ng, P (Ng : Mg) and K Ng. Want PK ⊆ (Ng : Mg)Ng. Let a ∈ P and m ∈ K. Case 1 assume that m/∈ Ng.Ifa/∈ (Ng : Mg). Since am ∈ Ng, we have (Ng : m) =( Ng : Mg). By assuming (Ng : m) ≡ ((Ng : Mg)Ng : m). So am ∈ (Ng : Mg)Ng.Ifa ∈ P ∩ (Ng : Mg). Let b ∈ P − (Ng : Mg). Then a + b ∈ P − (Ng : Mg). By previous case, we have bm ∈ (Ng : Mg)Ng and (a + b)m ∈ (Ng : Mg)Ng.Soam ∈ (Ng : Mg)Ng. Case 2 assume that m ∈ Ng.
Load more

Recommended publications
  • 3. Some Commutative Algebra Definition 3.1. Let R Be a Ring. We
    3. Some commutative algebra Definition 3.1. Let R be a ring. We say that R is graded, if there is a direct sum decomposition, M R = Rn; n2N where each Rn is an additive subgroup of R, such that RdRe ⊂ Rd+e: The elements of Rd are called the homogeneous elements of order d. Let R be a graded ring. We say that an R-module M is graded if there is a direct sum decomposition M M = Mn; n2N compatible with the grading on R in the obvious way, RdMn ⊂ Md+n: A morphism of graded modules is an R-module map φ: M −! N of graded modules, which respects the grading, φ(Mn) ⊂ Nn: A graded submodule is a submodule for which the inclusion map is a graded morphism. A graded ideal I of R is an ideal, which when considered as a submodule is a graded submodule. Note that the kernel and cokernel of a morphism of graded modules is a graded module. Note also that an ideal is a graded ideal iff it is generated by homogeneous elements. Here is the key example. Example 3.2. Let R be the polynomial ring over a ring S. Define a direct sum decomposition of R by taking Rn to be the set of homogeneous polynomials of degree n. Given a graded ideal I in R, that is an ideal generated by homogeneous elements of R, the quotient is a graded ring. We will also need the notion of localisation, which is a straightfor- ward generalisation of the notion of the field of fractions.
    [Show full text]
  • Associated Graded Rings Derived from Integrally Closed Ideals And
    PUBLICATIONS MATHÉMATIQUES ET INFORMATIQUES DE RENNES MELVIN HOCHSTER Associated Graded Rings Derived from Integrally Closed Ideals and the Local Homological Conjectures Publications des séminaires de mathématiques et informatique de Rennes, 1980, fasci- cule S3 « Colloque d’algèbre », , p. 1-27 <http://www.numdam.org/item?id=PSMIR_1980___S3_1_0> © Département de mathématiques et informatique, université de Rennes, 1980, tous droits réservés. L’accès aux archives de la série « Publications mathématiques et informa- tiques de Rennes » implique l’accord avec les conditions générales d’utili- sation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ ASSOCIATED GRADED RINGS DERIVED FROM INTEGRALLY CLOSED IDEALS AND THE LOCAL HOMOLOGICAL CONJECTURES 1 2 by Melvin Hochster 1. Introduction The second and third sections of this paper can be read independently. The second section explores the properties of certain "associated graded rings", graded by the nonnegative rational numbers, and constructed using filtrations of integrally closed ideals. The properties of these rings are then exploited to show that if x^x^.-^x^ is a system of paramters of a local ring R of dimension d, d •> 3 and this system satisfies a certain mild condition (to wit, that R can be mapped
    [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]
  • Integral Closures of Ideals and Rings Irena Swanson
    Integral closures of ideals and rings Irena Swanson ICTP, Trieste School on Local Rings and Local Study of Algebraic Varieties 31 May–4 June 2010 I assume some background from Atiyah–MacDonald [2] (especially the parts on Noetherian rings, primary decomposition of ideals, ring spectra, Hilbert’s Basis Theorem, completions). In the first lecture I will present the basics of integral closure with very few proofs; the proofs can be found either in Atiyah–MacDonald [2] or in Huneke–Swanson [13]. Much of the rest of the material can be found in Huneke–Swanson [13], but the lectures contain also more recent material. Table of contents: Section 1: Integral closure of rings and ideals 1 Section 2: Integral closure of rings 8 Section 3: Valuation rings, Krull rings, and Rees valuations 13 Section 4: Rees algebras and integral closure 19 Section 5: Computation of integral closure 24 Bibliography 28 1 Integral closure of rings and ideals (How it arises, monomial ideals and algebras) Integral closure of a ring in an overring is a generalization of the notion of the algebraic closure of a field in an overfield: Definition 1.1 Let R be a ring and S an R-algebra containing R. An element x S is ∈ said to be integral over R if there exists an integer n and elements r1,...,rn in R such that n n 1 x + r1x − + + rn 1x + rn =0. ··· − This equation is called an equation of integral dependence of x over R (of degree n). The set of all elements of S that are integral over R is called the integral closure of R in S.
    [Show full text]
  • On Graded Weakly Primary Ideals 1. Introduction
    Quasigroups and Related Systems 13 (2005), 185 − 191 On graded weakly primary ideals Shahabaddin Ebrahimi Atani Abstract Let G be an arbitrary monoid with identity e. Weakly prime ideals in a commutative ring with non-zero identity have been introduced and studied in [1]. Here we study the graded weakly primary ideals of a G-graded commutative ring. Various properties of graded weakly primary ideals are considered. For example, we show that an intersection of a family of graded weakly primary ideals such that their homogeneous components are not primary is graded weakly primary. 1. Introduction Weakly prime ideals in a commutative ring with non-zero identity have been introduced and studied by D. D. Anderson and E. Smith in [1]. Also, weakly primary ideals in a commutative ring with non-zero identity have been introduced and studied in [2]. Here we study the graded weakly pri- mary ideals of a G-graded commutative ring. In this paper we introduce the concepts of graded weakly primary ideals and the structures of their homogeneous components. A number of results concerning graded weakly primary ideals are given. In section 2, we introduce the concepts primary and weakly primary subgroups (resp. submodules) of homogeneous compo- nents of a G-graded commutative ring. Also, we rst show that if P is a graded weakly primary ideal of a G-graded commutative ring, then for each , either is a primary subgroup of or 2 . Next, we show that g ∈ G Pg Rg Pg = 0 if P and Q are graded weakly primary ideals such that Pg and Qh are not primary for all g, h ∈ G respectively, then Grad(P ) = Grad(Q) = Grad(0) and P + Q is a graded weakly primary ideal of G(R).
    [Show full text]
  • Weak Singularity in Graded Rings -.:: Natural Sciences Publishing
    Math. Sci. Lett. 4, No. 1, 51-53 (2015) 51 Mathematical Sciences Letters An International Journal http://dx.doi.org/10.12785/msl/040111 Weak Singularity in Graded Rings Gayatri Das and Helen K. Saikia∗ Department of Mathematics, Gauhati University, Guwahati, 781014 India Received: 27 Jun. 2014, Revised: 27 Sep. 2014, Accepted: 18 Oct. 2014 Published online: 1 Jan. 2015 Abstract: In this paper we introduce the notion of graded weak singular ideals of a graded ring R. It is shown that every graded weak singular ideal of R is graded singular. A graded weakly nil ring is graded weak singular. If R is a graded weak non-singular ring then R is graded semiprime. Every graded strongly prime ring R is graded weak non-singular and the same holds for every reduced graded ring. Keywords: Graded Ring, Graded Ideals, Graded Singular Ideals, Graded Semiprime Ring. 1 Introduction We now present the following definitions that are needed in the sequel. The notion of singularity plays a very important role in the study of algebraic structures. It was remarked by Definition 2.1: The graded singular ideal of R, denoted Miguel Ferrero and Edmund R. Puczylowski in [3] that by Z(R) is defined as studying properties of rings one can usually say more Z(R)= {x ∈ R|annR(x) ∩ H = 0 for every nonzero graded assuming that the considered rings are either singular or ideal H of R} = {x ∈ h(R)|xK = 0 for some graded nonsingular. Therefore, in the studies of rings, the essential ideal K} importance of the concept of singularity is remarkable.
    [Show full text]
  • When Is a Semigroup Ring of a Commutative Semigroup Local Or Semilocal?
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 108, 188-194 (1987) When Is a Semigroup Ring of a Commutative Semigroup Local or Semilocal? P. WAUTERS* Katholieke Universireit Leuven, Leuven, Belgium AND E. JESPERS University of Cape Town, Cape Town, South Africa Communicated by J. Dieudonne Received October 12, 1985 In this article we give necessary and sufficient conditions for a semi- group ring of a commutative semigroup S over an arbitrary coefficient ring R to be local or semilocal. Since the semigroup S is arbitrary, some struc- tural results on semigroups will be needed. Let S be a commutative semigroup. If 5 denotes the least separative congruence (cf. Sect. 2 for the definitions), then S/C = lJ,, r T, is a disjoint union of cancellative semigroups T, , r is a semilattice and T, Tb c T,, for all IX,fl E f. Since T, is cancellative, the question when R[T,] is semilocal is easily answered. Now RCS/tl= Oacr R[ T,] becomes a r-graded ring. Precisely by con- sidering R[S/(] as a r-graded ring, we solve the problem for R[S/<] and finally for R[S]. Therefore we include a separate section on rings graded by a semilattice in which we prove when such a ring is semilocal. J. Okninski studies in [7] semigroup algebras which are semilocal. In particular he gives necessary and sufficient conditions for k[S], k a field, S a commutative semigroup, to be semilocal. Nevertheless we feel that our conditions are more intrinsic than his.
    [Show full text]
  • Commutative Algebra)
    Lecture Notes in Abstract Algebra Lectures by Dr. Sheng-Chi Liu Throughout these notes, signifies end proof, and N signifies end of example. Table of Contents Table of Contents i Lecture 1 Review of Groups, Rings, and Fields 1 1.1 Groups . 1 1.2 Rings . 1 1.3 Fields . 2 1.4 Motivation . 2 Lecture 2 More on Rings and Ideals 5 2.1 Ring Fundamentals . 5 2.2 Review of Zorn's Lemma . 8 Lecture 3 Ideals and Radicals 9 3.1 More on Prime Ideals . 9 3.2 Local Rings . 9 3.3 Radicals . 10 Lecture 4 Ideals 11 4.1 Operations on Ideals . 11 Lecture 5 Radicals and Modules 13 5.1 Ideal Quotients . 14 5.2 Radical of an Ideal . 14 5.3 Modules . 15 Lecture 6 Generating Sets 17 6.1 Faithful Modules and Generators . 17 6.2 Generators of a Module . 18 Lecture 7 Finding Generators 19 7.1 Generalising Cayley-Hamilton's Theorem . 19 7.2 Finding Generators . 21 7.3 Exact Sequences . 22 Notes by Jakob Streipel. Last updated August 15, 2020. i TABLE OF CONTENTS ii Lecture 8 Exact Sequences 23 8.1 More on Exact Sequences . 23 8.2 Tensor Product of Modules . 26 Lecture 9 Tensor Products 26 9.1 More on Tensor Products . 26 9.2 Exactness . 28 9.3 Localisation of a Ring . 30 Lecture 10 Localisation 31 10.1 Extension and Contraction . 32 10.2 Modules of Fractions . 34 Lecture 11 Exactness of Localisation 34 11.1 Exactness of Localisation . 34 11.2 Local Property .
    [Show full text]
  • Chintegrality.Pdf
    Contents 7 Integrality and valuation rings 3 1 Integrality . 3 1.1 Fundamentals . 3 1.2 Le sorite for integral extensions . 6 1.3 Integral closure . 7 1.4 Geometric examples . 8 2 Lying over and going up . 9 2.1 Lying over . 9 2.2 Going up . 12 3 Valuation rings . 12 3.1 Definition . 12 3.2 Valuations . 13 3.3 General remarks . 14 3.4 Back to the goal . 16 4 The Hilbert Nullstellensatz . 18 4.1 Statement and initial proof of the Nullstellensatz . 18 4.2 The normalization lemma . 19 4.3 Back to the Nullstellensatz . 21 4.4 A little affine algebraic geometry . 22 5 Serre's criterion and its variants . 23 5.1 Reducedness . 23 5.2 The image of M ! S−1M ............................ 26 5.3 Serre's criterion . 27 Copyright 2011 the CRing Project. This file is part of the CRing Project, which is released under the GNU Free Documentation License, Version 1.2. 1 CRing Project, Chapter 7 2 Chapter 7 Integrality and valuation rings The notion of integrality is familiar from number theory: it is similar to \algebraic" but with the polynomials involved are required to be monic. In algebraic geometry, integral extensions of rings correspond to correspondingly nice morphisms on the Spec's|when the extension is finitely generated, it turns out that the fibers are finite. That is, there are only finitely many ways to lift a prime ideal to the extension: if A ! B is integral and finitely generated, then Spec B ! Spec A has finite fibers. Integral domains that are integrally closed in their quotient field will play an important role for us.
    [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]
  • Hilbert Functions of Graded Algebras*
    ADVANCES IN MATHEMATICS 28, 57-83 (1978) Hilbert Functions of Graded Algebras* RICHARD P. STANLEY Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139 1. INTRODUCTION Let R be a Noetherian commutative ring with identity, graded by the non- negative integers N. Thus the additive group of R has a direct-sum decom- position R = R, + R, + ..., where RiRi C R,+j and 1 E R, . If in addition R, is a field K, so that R is a k-algebra, we will say that R is a G-akebra. The assumption that R is Noetherian implies that a G-algebra is finitely generated (as an algebra over k) and that each R, is a finite-dimensional vector space over k. The Hilbe-rt function of R is defined by H(R, n) = dim, Rn , for nfzN. Thus in particular H(R, 0) = 1. Our object will be to see what kind of con- ditions the structure of R imposes on the Hilbert function H, and conversely what we can deduce about R from knowledge of H. Although much of what we say can be extended to more general rings, for simplicity we will restrict ourselves to G-algebras as defined above. This paper is partially expository in nature. Many results about Hilbert functions have been previously obtained, though frequently they have been stated in an obscure or cumbersome fashion. The most striking of these results are due to F. S. Macaulay. Our primary new results are Theorem 4.4 and its applications. We show that if a G-algebra R is a Cohen-Macaulay integral domain, then the question of whether or not R is Gorenstein is completely determined by the Hilbert function of R.
    [Show full text]
  • Math 615: Winter 2014 Lectures on Integral
    MATH 615: WINTER 2014 LECTURES ON INTEGRAL CLOSURE, THE BRIANC¸ON-SKODA THEOREM AND RELATED TOPICS IN COMMUTATIVE ALGEBRA by Mel Hochster Lecture of January 8, 2014 These lectures will deal with several advanced topics in commutative algebra, includ- ing the Lipman-Sathaye Jacobian theorem and its applications, including, especially, the Brian¸con-Skoda theorem, and the existence of test elements in tight closure theory: basic tight closure theory will be developed as needed. In turn, tight closure theory will be used to prove theorems related to the Brian¸con-Skoda theorem. Several other topics will be discussed, including the known results on the existence of linear maximal Cohen-Macaulay modules, also known as Ulrich modules, and Hilbert-Kunz multiplicities. A special (but very important) case of the Lipman-Sathaye theorem is as follows: Theorem (Lipman-Sathaye). Let R ⊆ S be a homomorphism of Noetherian domains such that R is regular and S is a localization of a finitely generated R-algebra. Assume that the integral closure S0 of S is module-finite over S and that the extension of fraction fields frac (S)=frac (R) is a finite separable algebraic extension. Then the Jacobian ideal 0 JS=R multiplies S into S. Both the Jacobian ideal and the notion of integral closure will be treated at length below. We shall also prove a considerably sharper version of the theorem, in which several of the hypotheses are weakened. An algebra S that is a localization of a finitely generated R-algebra is called essentially of finite type over R. The hypothesis that the integral closure of S is module-finite over S is a weak assumption: it holds whenever S is essentially of finite type over a field or over a complete local ring, and it tends to hold for the vast majority of rings that arise naturally: most of the rings that come up are excellent, a technical notion that implies that the integral closure is module-finite.
    [Show full text]