DOCSLIB.ORG

Exercises in Commutative Ring Theory the Enhanced Program for Graduate Study, BICMR

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Exercises in Commutative Ring Theory the Enhanced Program for Graduate Study, BICMR Exercises in Commutative Ring Theory The Enhanced Program for Graduate Study, BICMR Wen-Wei Li, Chunlin Shao Peking University, Spring 2019 Preface The present document comprises the homework for the course Commutative Ring Theory (Spring 2019) for the 11th Enhanced Program for Graduate Study organized by the Beijing International Cen- ter for Mathematical Research. They are divided into 11 problem sets, corresponding roughly to the materials in the lecture notes of the first-named author. Due to time constraints, they cover onlya very limited terrain of Commutative Algebra. Nevertheless, we hope this will be of some use to the readers. Most of the exercises herein are collected from existing resources such as the textbooks by Atiyah– Macdonald, Eisenbud, Matsumura, etc., or the websites MathOverflow and Stacks Project. The au- thors claim no originality of the exercises. We are deeply grateful to the students of this course, coming from all over mainland China, for their active participation and valuable feedback. Last update: May 25, 2019 General conventions • Unless otherwise specified, the rings are assumed to be commutative with unit 1. The ring of integers, rational, real and complex numbers are denoted by the usual symbols ℤ, ℚ, ℝ and ℂ respectively. • An expression 퐴 ∶= 퐵 means that 퐴 is defined to be 퐵. Injections and surjections are indicated by ↪ and ↠, respectively. The difference of sets is denoted as 퐴 ∖ 퐵, etc. • The group of invertible elements in a ring 푅 is denoted by 푅×. The localization of 푅 with respect to a multiplicative subset 푆 is denoted by 푅[푆 −1], and the localization with respect to a prime ideal 픭 by 푅픭. The space of prime ideals (resp. maximal ideals) of 푅 is denoted by Spec(푅) (resp. MaxSpec(푅)) and we let 푉 (픞) ∶= {픭 ∈ Spec(푅) ∶ 픭 ⊃ 픞} for any ideal 픞. The ideal generated by elements 푎, 푏, … is denoted by (푎, 푏, …). • The field of fractions of an integral domain 푅 is denoted by Frac(푅). • The support of an 푅-module 푀 is denoted by Supp(푀), and the set of associated prime by Ass(푀). The annihilator ideals are denoted by ann(⋯). • For a ring 푅, the 푅-algebra of polynomials (resp. formal power series) is denoted by 푅[푋, 푌 , …] (resp. 푅 푋, 푌 ) where 푋, 푌 , … stand for the indeterminates. J K 1 Problem set 1 28 February You may select 5 of the following problems as your homework. Ring Theory Revisited 1. Let 푥 be a nilpotent element of ring A. Show that 1 + 푥 is a unit of 퐴 . Deduce that the sum of a nilpotent element and a unit is a unit. 2. Let 퐴 be a ring and let 퐴[푥] be the ring of polynomials in an an indeterminate 푥, with coeffi- 푛 cients in 퐴 . Let 푓 = 푎0 + 푎1푥 + ⋯ + 푎푛푥 ∈ 퐴[푥]. Prove that: (1) 푓 is a unit in 퐴[푥] ⟺ 푎0 is a unit in 퐴 and 푎1, … , 푎푛 are nilpotent. 푚 푟 +1 (Hint: If 푏0 + 푏1푥 + ⋯ + 푏푚푥 is the inverse of 푓 , prove by induction on 푟 that 푎푛 푏푚−푟 = 0. Hence show that 푎푛 is nilpotent, and then use Ex.1.) (2) 푓 is nilpotent ⟺ 푎0, 푎1, … , 푎푛 are nilpotent. (3) 푓 is a zero-divisor ⟺ there exists 푎 ≠ 0 in 퐴 such that 푎푓 = 0. 푚 (Hint: Choose a polynomial 푔 = 푏0 + 푏1푥 + ⋯ + 푏푚푥 of least degree 푚 such that 푓 푔 = 0. Then 푎푛푏푚 = 0, hence 푎푛푔 = 0.) (4) 푓 is said to be primitive if (푎0, 푎1, … , 푎푛) = (1). Prove that if 푓 , 푔 ∈ 퐴[푥], then 푓 푔 is primitive ⟺ 푓 and 푔 are primitive. 3. Prove that a local ring contains no element 푒 ≠ 0, 1, such that 푒2 = 푒. Zariski Topology 4. For each 푓 ∈ 퐴, let 푋푓 denote the complement of 푉 (푓 ) in 푋 = Spec(퐴). The sets 푋푓 are open. Show that they form a basis of open sets for the Zariski topology, and that (1) 푋푓 ∩ 푋푔 = 푋푓 푔 (2) 푋푓 = ∅ ⟺ 푓 is nilpotent. (3) 푋푓 = 푋 ⟺ 푓 is a unit. Prime Avoidance 2 5. Here are two examples that show how the prime avoidance cannot be improved. (1) Show that if 푘 = ℤ/(2) then the ideal (푥, 푦) ⊂ 푘[푥, 푦]/(푥, 푦)2 is the union of 3 properly smaller ideals. 2 (2) Let 푘 be any field. In the ring 푘[푥, 푦]/ (푥푦, 푦 ), consider the ideals 퐼1 = (푥), 퐼2 = (푦), 2 and 퐽 = (푥 , 푦) . Show that the homogeneous elements of 퐽 are contained in 퐼1 ∪ 퐼2, but that 퐽 ⊈ 퐼1 and 퐽 ⊈ 퐼2 . Note that one of the 퐼푗 is prime. Localization of rings and modules 6. Let 푓 ∶ 퐴 → 퐵 be a homomorphism of rings and let 푆 be a multiplicatively closed subset of 퐴. Let 푇 = 푓 (푆). Show that 퐵[푆 −1] and 퐵[푇 −1] are isomorphic as 퐴[푆 −1] -modules. 7. Let 푀 be an 퐴 -module. Then the following are equivalent: (1) 푀 = 0. (2) 푀픭 = 0 for all prime ideals 픭 of 퐴. (3) 푀픪 = 0 for all maximal ideals 픪 of 퐴. Nakayama’s lemma 8. Let 퐴 be a ring, 픞 an ideal contained in the Jacobson radical ℜ of 퐴, let 푀 be an 퐴 -module and 푁 a finitely generated 퐴 -module, and let 푢 ∶ 푀 → 푁 be a homomorphism. If the induced homomorphism 푀/픞푀 → 푁 /픞푁 is surjective, then 푢 is surjective. 3 Problem set 2 7 March You may select 3 of the following problems as your homework. Radicals 1. A ring 퐴 is such that every ideal not contained in the nilradical (i.e. √0) contains a non-zero idempotent (that is, an element 푒 such that 푒2 = 푒 ≠ 0). Prove that the nilradical and Jacobson radical of 퐴 are equal. Noetherian and Artinian rings 2. In a Noetherian ring 퐴, show that every ideal a contains a power of its radical. 3. Let 푀 be an 퐴-module and let 푁1, 푁2 be submodules of 푀. If 푀/푁1 and 푀/푁2 are Noetherian, so is 푀/ (푁1 ∩ 푁2). Similarly with Artinian in place of Noetherian. Support of a module 4. (1) Let 퐴 be a local ring, 푀 and 푁 finitely generated 퐴 -modules. Prove that if 푀 ⊗퐴 푁 = 0, then 푀 = 0 or 푁 = 0. (Hint: Let 픪 be the maximal ideal, 푘 = 퐴/픪 the residue field. Let 푀푘 = 푘⊗퐴푀 ≅ 푀/픪푀, and similarly definition for 푁푘. Then use Nakayama’s lemma, and note that 푀푘, 푁푘 are vector spaces.) (2) Let 퐴 be a ring, 푀, 푁 are finitely generated 퐴-module. Prove that Supp (푀 ⊗퐴 푁 ) = Supp(푀) ∩ Supp(푁 ) 4 Problem set 3 14 March You may select 4 of the following problems as your homework. Support, Associated primes and Primary decompositions 1. Show that the support of the ℤ-module 푀 ∶= ⨁푛≥1 ℤ/푛ℤ is not a closed subset of Spec(ℤ). Show that its closure equals 푉 (annℤ(푀)). ∞ 푎 2. Let 푝 be a prime number. Show that the support of the ℤ-module ∏푎=1 ℤ/푝 ℤ is not equal ∞ 푎 to the closure of ⋃푎=1 Supp (ℤ/푝 ℤ). 3. Let 푀 be an 푅-module, which is “graded” in the following sense: we are given decompositions ∞ ∞ of abelian groups 푅 = ⨁푎=0 푅푎 and 푀 = ⨁푏=0 푀푏 , such that 1 ∈ 푅0 and for all 푎, 푏 ∈ ℤ≥0, 푅푎 ⋅ 푅푏 ⊂ 푅푎+푏 , 푅푎 ⋅ 푀푏 ⊂ 푀푎+푏 . Suppose that 푚 ∈ 푀 and 픭 ∶= ann푅(푚) is a prime ideal of 푅. (1) Show that 픭 = ⨁푎≥0(픭 ∩ 푅푎) .We say 픭 is a “homogeneous ideal”. ′ ′ (2) Show that there exist some 푏 ≥ 0 and 푚 ∈ 푀푏 such that 픭 = ann푅(푚 ) .Thus 픭 is actually the annihilator of some “homogeneous element”. 4. Let 1 1 0 퐴 = ( 0 1 0 ) 0 0 2 3 푚 푗 푚 푗 Regard the ℂ-vector space ℂ as a ℂ[푇 ] -module via (∑푗 =0 푎푗 푇 ) 푣 ∶= ∑푗 =0 푎푗 (퐴 푣). What are the associated prime ideals of this ℂ[푇 ] -module? 5. Try to give a primary decomposition of the ideal 퐼 = (푥3푦, 푥푦 4) of the ring 푅 = 푘[푥, 푦]. (Hint:If 퐼 is a monomial ideal with a generator 푎푏, where 푎 and 푏 are coprime, say 퐼 = (푎푏)+ 퐽 , then 퐼 = ((푎) + 퐽 ) ∩ ((푏) + 퐽 ). Applying this recursively gives a primary decomposition.) 5 Problem set 4 21 March You may select 4 of the following problems as your homework. Integral dependence, Nullstellensatz 1. Prove that the integral closure of 푅 ∶= ℂ[푋, 푌 ]/(푌 2 −푋 2 −푋 3) in Frac(푅) equals ℂ[푡] with 푡 ∶= 푌̄ /푋̄ , where 푋,̄ 푌̄ denote the images of 푋, 푌 in 푅. (Hint: First, show that the homomorphism 휉 ∶ ℂ[푋, 푌 ] → ℂ[푇 ] given by 푋 ↦ 푇 2 − 1 and 푌 ↦ 푇 3 − 푇 has kernel equal to (푌 2 − 푋 2 − 푋 3). Secondly, show that 푇 is in the field of fractions of 푅 ≃ image(휉 ) ⊂ ℂ(푇 ), integral over 푅, and argue that ℂ[푇 ] is the required integral closure. Try to motivate the choice of 휉 .) 2. Consider a Noetherian ring 푅 with 퐾 ∶= Frac(푅). Show that 푥 ∈ 퐾 is integral over 푅 if and only if there exists 푢 ∈ 푅 such that 푢 ≠ 0 and 푢푥푛 ∈ 푅 for all 푛. (Hint: When this condition holds, 푅[푥] is an 푅-submodule of 푢−1푅.) 3. Let 푅 = ℚ[푋1, 푋2, …] (finite or infinitely many variables).
Load more

Recommended publications
  • Noncommutative Unique Factorization Domainso
    NONCOMMUTATIVE UNIQUE FACTORIZATION DOMAINSO BY P. M. COHN 1. Introduction. By a (commutative) unique factorization domain (UFD) one usually understands an integral domain R (with a unit-element) satisfying the following three conditions (cf. e.g. Zariski-Samuel [16]): Al. Every element of R which is neither zero nor a unit is a product of primes. A2. Any two prime factorizations of a given element have the same number of factors. A3. The primes occurring in any factorization of a are completely deter- mined by a, except for their order and for multiplication by units. If R* denotes the semigroup of nonzero elements of R and U is the group of units, then the classes of associated elements form a semigroup R* / U, and A1-3 are equivalent to B. The semigroup R*jU is free commutative. One may generalize the notion of UFD to noncommutative rings by taking either A-l3 or B as starting point. It is obvious how to do this in case B, although the class of rings obtained is rather narrow and does not even include all the commutative UFD's. This is indicated briefly in §7, where examples are also given of noncommutative rings satisfying the definition. However, our principal aim is to give a definition of a noncommutative UFD which includes the commutative case. Here it is better to start from A1-3; in order to find the precise form which such a definition should take we consider the simplest case, that of noncommutative principal ideal domains. For these rings one obtains a unique factorization theorem simply by reinterpreting the Jordan- Holder theorem for right .R-modules on one generator (cf.
    [Show full text]
  • Assignment 2, Due 10/09 Before Class Begins
    ASSIGNMENT 2, DUE 10/09 BEFORE CLASS BEGINS RANKEYA DATTA You may talk to each other while attempting the assignment, but you must write up your own solutions, preferably on TeX. You must also list the names of all your collaborators. You may not use resources such as MathStackExchange and MathOverflow. Please put some effort into solving the assignments since they will often develop important theory I will use in class. The assignments have to be uploaded on Gradescope. Please note that Gradescope will not accept late submissions. All rings are commutative. Problem 1. In this problem you will construct a non-noetherian ring. Consider the group G := Z ⊕ Z; with a total ordering as follows: (a1; b1) < (a2; b2) if and only if either a1 < a2 or a1 = a2 and b1 < b2. Here total ordering means that any two elements of G are comparable. Define a function ν : C(X; Y ) − f0g ! G P α β as follows: for a polynomial f = (α,β) cαβX Y 2 C[X; Y ] − f0g, ν(f) := minf(α; β): cαβ 6= 0g: For an arbitrary element f=g 2 C(X; Y ) − f0g, where f; g are polynomials, ν(f=g) := ν(f) − ν(g): (1) Show that ν is a well-defined group homomorphism. (2) Show that for all x; y 2 C(X; Y ) − f0g such that x + y 6= 0, ν(x + y) ≥ minfν(x); ν(y)g. (3) Show that Rν := fx 2 C(X; Y )−f0g : ν(x) ≥ (0; 0)g[f0g is a subring of C(X; Y ) containing C[X; Y ].
    [Show full text]
  • Generalized Brauer Dimension of Semi-Global Fields
    GENERALIZED BRAUER DIMENSION OF SEMI-GLOBAL FIELDS by SAURABH GOSAVI A dissertation submitted to the School of Graduate Studies Rutgers, The State University of New Jersey In partial fulfillment of the requirements For the degree of Doctor of Philosophy Graduate Program in Department of Mathematics Written under the direction of Daniel Krashen and approved by New Brunswick, New Jersey October, 2020 ABSTRACT OF THE DISSERTATION Generalized Brauer Dimension Of Semi-global Fields By Saurabh Gosavi Dissertation Director: Daniel Krashen Let F be a one variable function field over a complete discretely valued field with residue field k. Let n be a positive integer, coprime to the characteristic of k. Given a finite subgroup B in the n-torsion part of the Brauer group n Br F , we define the index of B to be the minimum of the degrees of field extensions which( ) split all elements in B. In this thesis, we improve an upper bound for the index of B, given by Parimala-Suresh, in terms of arithmetic invariants of k and k t . As a simple application of our result, given a quadratic form q F , where F is a function( ) field in one variable over an m-local field, we provide an upper-bound~ to the minimum of degrees of field extensions L F so that the Witt index of q L becomes the largest possible. ~ ⊗ ii Acknowledgements I consider myself fortunate to have met a number of people without whom this thesis would not have been possible. I am filled with a profound sense of gratitude towards my thesis advisor Prof.
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]
  • Eigenschemes and the Jordan Canonical Form
    EIGENSCHEMES AND THE JORDAN CANONICAL FORM HIROTACHI ABO, DAVID EKLUND, THOMAS KAHLE, AND CHRIS PETERSON ABSTRACT. We study the eigenscheme of a matrix which encodes information about the eigenvectors and generalized eigenvectors of a square matrix. The two main results in this paper are a decomposition of the eigenscheme of a matrix into primary components and the fact that this decomposition encodes the numeric data of the Jordan canonical form of the matrix. We also describe how the eigenscheme can be interpreted as the zero locus of a global section of the tangent bundle on projective space. This interpretation allows one to see eigenvectors and generalized eigenvectors of matrices from an alternative viewpoint. CONTENTS 1. Introduction 1 2. Eigenvectors and eigenschemes 4 3. IdealsofJordanmatriceswithasingleeigenvalue 6 4. Ideals of general Jordan matrices 15 5. Eigenschemes and tangent bundles 20 6. The discriminant 21 References 22 1. INTRODUCTION Motivation. Let K be a field about which we make no a priori assumptions. For any r r r r r × matrix A K × , a non-zero vector v K is an eigenvector if Av is a scalar multiple of v or equivalently∈ if Av and v are linearly∈ dependent. The span of v is a one dimensional subspace of Kr and its projectivization can thus be viewed as a point in the projectivization of Kr. In other words, the subspace of Kr spanned by an eigenvector v of A determines a point [v] Pr 1. Let R = K[x ,..., x ], let x be the column vector of variables, and ∈ − 1 r arXiv:1506.08257v3 [math.AG] 12 Apr 2016 let (Ax x) be the r 2 matrix obtained by concatenating the two r 1 matrices Ax and x side by| side.
    [Show full text]
  • On Primary Factorizations”
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 54 (1988) l-11-154 141 North-Holland ON PRIMARY FACTORIZATIONS” D.D. ANDERSON Department qf Mathematics, University qf lowa, Iowa City, IA 52242, U.S.A. L.A. MAHANEY ** Department of Mathematics, Dallas Baptist Unrversity, Dallas, TX 7521 I, U.S.A. Communicated by C.A. Wcibel Received 11 February 1987 We relate ideals in commutative rings which are products of primary ideals to ideals with primary decompositions. Invertible primary ideals are shown to have special properties. Suffi- cient conditions are given for a primary product ideal to habe a unique product representation. A domain is weakly factorial if every non-unit i5 a product of primary elements. If R is weakly factorial, Pit(R) = 0. A Noctherian weakly factorial domain R is factorial precisely when R i\ ill- tegrally closed. R[X] is weakly factorial if and only if R is a weakly factorial GCD domain. Pro- perties of weakly factorial GCD domains are discussed. 1. Introduction Throughout this paper all rings will be assumed to be commutative with identity. We first discuss ideals that are a product of primary ideals and relate primary pro- ducts to primary decompositions. An ideal with a primary decomposition need not be a product of primary ideals and an ideal that is a product of primary ideals need not have a primary decomposition. However, we show that if an ideal generated by an R-sequence is a product of primary ideals, then it has a primary decomposition.
    [Show full text]
  • Primary Decomposition
    + Primary Decomposition The decomposition of an ideal into primary ideals is a traditional pillar of ideal theory. It provides the algebraic foundation for decomposing an algebraic variety into its irreducible components-although it is only fair to point out that the algebraic picture is more complicated than naive geometry would suggest. From another point of view primary decomposition provides a gen- eralization of the factorization of an integer as a product of prime-powers. In the modern treatment, with its emphasis on localization, primary decomposition is no longer such a central tool in the theory. It is still, however, of interest in itself and in this chapter we establish the classical uniqueness theorems. The prototypes of commutative rings are z and the ring of polynomials kfxr,..., x,] where k is a field; both these areunique factorization domains. This is not true of arbitrary commutative rings, even if they are integral domains (the classical example is the ring Z[\/=1, in which the element 6 has two essentially distinct factorizations, 2.3 and it + r/-S;(l - /=)). However, there is a generalized form of "unique factorization" of ideals (not of elements) in a wide class of rings (the Noetherian rings). A prime ideal in a ring A is in some sense a generalization of a prime num- ber. The corresponding generalization of a power of a prime number is a primary ideal. An ideal q in a ring A is primary if q * A and. if xy€q => eitherxeqory" eqforsomen > 0. In other words, q is primary o Alq * 0 and every zero-divisor in l/q is nilpotent.
    [Show full text]
  • Computing Limit Points of Quasi-Components of Regular Chains and Its Applications
    Western University Scholarship@Western Electronic Thesis and Dissertation Repository 5-11-2017 12:00 AM Computing Limit Points of Quasi-components of Regular Chains and its Applications Parisa Alvandi The University of Western Ontario Supervisor Dr. Marc Moreno Maza The University of Western Ontario Graduate Program in Computer Science A thesis submitted in partial fulfillment of the equirr ements for the degree in Doctor of Philosophy © Parisa Alvandi 2017 Follow this and additional works at: https://ir.lib.uwo.ca/etd Part of the Theory and Algorithms Commons Recommended Citation Alvandi, Parisa, "Computing Limit Points of Quasi-components of Regular Chains and its Applications" (2017). Electronic Thesis and Dissertation Repository. 4565. https://ir.lib.uwo.ca/etd/4565 This Dissertation/Thesis is brought to you for free and open access by Scholarship@Western. It has been accepted for inclusion in Electronic Thesis and Dissertation Repository by an authorized administrator of Scholarship@Western. For more information, please contact [email protected]. Abstract Computing limits is a fundamental task in mathematics and different mathematical con- cepts are defined in terms of limit computations. Among these mathematical concepts, we are interested in three different types of limit computations: first, computing the limit points of so- lutions of polynomial systems represented by regular chains, second, computing tangent cones of space curves at their singular points which can be viewed as computing limit of secant lines, and third, computing the limit of real multivariate rational functions. For computing the limit of solutions of polynomial systems represented by regular chains, we present two different methods based on Puiseux series expansions and linear changes of coordinates.
    [Show full text]
  • Probabilistic Algorithms for Resultants
    Probabilistic Algorithms for Computing Resultants Michael Monagan∗ Centre for Experimental and Constructive Mathematics Simon Fraser University, Burnaby, B.C. V5A 1S6, CANADA [email protected] ABSTRACT of A are repeated n times in the first n rows, and the coef- Let A and B be two polynomials in [x;y] and let R = ficients of B are repeated m times in the last m rows. Thus the resultant is an element of the ring R. resx(A; B) denote the resultant of A and B taken wrt x. In this paper we modify Collins' modular algorithm for com- ¢£ ¥ ¦ ¦ puting R to make it output sensitive. The advantage of our £ am am−1 ... a0 0 ... 0 £ ¦ ¦ algorithm is that it will be faster when the bounds needed £ ¦ £ 0 am am−1 ::: a0 ... 0 ¦ by Collins' algorithm for the coefficients of R and for the £ £ ¦ ¦ degree of R are inaccurate. Our second contribution is an £ . ¦ £ . .. .. .. ¦ output sensitive modular algorithm for computing the monic £ . £ ¦ £ ¦ resultant in ¡ [y]: The advantage of this algorithm is that it ¦ £ 0 ... 0 am am−1 ... a0 ¦ is faster still when the resultant has a large integer content. £ ¦ S = £ ¦ Both of our algorithms are necessarily probabilistic. £ bn bn−1 ... b0 0 ... 0 £ ¦ ¦ The paper includes a number of resultant problems that £ ¦ £ 0 bn bn−1 ::: b0 ... 0 ¦ motivate the need to consider such algorithms. We have £ £ ¦ implemented our algorithms in Maple. We have also imple- . .. .. .. mented Collins' algorithm and the subresultant algorithm in . § Maple for comparison. The timings we obtain demonstrate ¤ 0 ... 0 bn bn−1 ... b0 that a good speedup is obtained.
    [Show full text]
  • Solutions Sheet 6
    D-MATH Commutative Algebra HS 2018 Prof. Paul Nelson Solutions Sheet 6 Associated primes and primary decomposition Let R be a commutative ring, k an algebraically closed field. 1. Let k be a field. A monomial ideal is an ideal I ⊂ k[X1;:::;Xn] generated by monomials in the variables X1;:::;Xn. (a) Characterize those monomial ideals which are prime in k[X1;:::;Xn]. (b) Which monomial ideals are irreducible? Radical? Primary? (Recall that a submodule of a module is called irreducible if it cannot be written as the intersection of two larger submodules) Solution. (a) Assume first that a monomial ideal I ⊂ k[X1;:::;Xn] is prime, and let i1 in X1 ··· Xn a monomial in a fixed finite generating set S of I, where S con- sists only of monomials. Primality (applied inductively) forces that at least one of the variables Xj effectively appearing in the monomial (i.e., for which ij > 0) belongs to I. Applying this argument with every monomial in S, we obtain a subset A ⊂ f1; : : : ; ng such that Xj 2 I for all j 2 A. We claim that I = (Xj; j 2 A). By construction of the Xj for j 2 A, we have that S ⊂ (Xj; j 2 A), whence I ⊂ (Xj; j 2 A). The converse is immediate as well, since we have that Xj 2 I for all j 2 A. We have thus proved that I can be generated by a subset of the set of variables fX1;:::;Xng. Conversely, assume that I has this property, so that I = (Xj; j 2 A) for a certain subset A ⊂ f1; : : : ; ng.
    [Show full text]
  • Irena Swanson Primary Decompositions
    Irena Swanson Primary decompositions The aim of these lectures is to show that primary ideals, and also primary mod- ules, are an important tool for solving problems, proving theorems, understanding the structure of rings, modules, and ideals, and that there are enough of them to be able to apply the theory. Table of contents 1. Primary ideals 1 2. Primary modules 3 3. Primary decompositions 6 4.Morewaystogetassociatedprimes 11 5. Witnesses 14 6. Canonical primary decomposition 17 7.Associatedprimesofpowersofanideal 18 8. Primarydecompositionsofpowersofanideal 20 9. An algorithm for computing primary decompositions 24 10. Complexity of associated primes 28 11. Exercises 31 Bibliography 36 Index 40 1. Primary ideals This section contains the basic definitions. Throughout all rings are commutative with identity, and most of them are Noetherian. Definition 1.1. An ideal I in a ring R is primary if I = R and every zerodivisor in R/I is nilpotent. 6 Examples 1.2. Here are some examples of primary ideals: (1) Any prime ideal is primary. (2) For any prime integer p and any positive integer n, pnZ is a primary ideal in Z. (3) More generally, let m be a maximal ideal in a Noetherian ring R. Let I be any ideal in R such that √I = m. Then I is a primary ideal. Namely, if r R is a zerodivisor modulo I, then as R/I is Artinian with only one maximal∈ ideal, necessarily the image of r is in this maximal ideal. But then a power of r lies in I. Lemma 1.3. Let I be a primary ideal in a ring R.
    [Show full text]
  • Primary Decomposition of Ideals in a Ring
    California State University, San Bernardino CSUSB ScholarWorks Theses Digitization Project John M. Pfau Library 2007 Primary decomposition of ideals in a ring Sola Oyinsan Follow this and additional works at: https://scholarworks.lib.csusb.edu/etd-project Part of the Algebraic Geometry Commons Recommended Citation Oyinsan, Sola, "Primary decomposition of ideals in a ring" (2007). Theses Digitization Project. 3289. https://scholarworks.lib.csusb.edu/etd-project/3289 This Thesis is brought to you for free and open access by the John M. Pfau Library at CSUSB ScholarWorks. It has been accepted for inclusion in Theses Digitization Project by an authorized administrator of CSUSB ScholarWorks. For more information, please contact [email protected]. Primary Decomposition Of Ideals In A Ring A Thesis Presented to the Faculty of California State University, San Bernardino In Partial Fulfillment of the Requirements for the Degree Master of Arts in Mathematics by Sola Oyinsan June 2007 Primary Decomposition Of Ideals In A Ring A Thesis Presented to the Faculty of California State University, San Bernardino by Sola Oyinsan June 2007 Approved by: Laura Wallace, Committee Chair Date jtJrm Okon, Committee Member Davida Fischman, Committee Member Peter Williams, Chair, ^jX^vbseph Chavez Department of Mathematics Graduate Coordin^pr, Department of Mathematics iii Abstract The concept of unique factorization was first recognized in the 1840s, but even then, it was still fairly believed to be automatic. The error of this assumption was exposed largely through attempts to prove Fermat’s last theorem. Once mathematicians discovered that this property did not always hold, it was only natural to for them to try to search for the strongest available alternative.
    [Show full text]