DOCSLIB.ORG

A Primer of Commutative Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Primer of Commutative Algebra A Primer of Commutative Algebra James S. Milne August 15, 2014, v4.01 Abstract These notes collect the basic results in commutative algebra used in the rest of my notes and books. Although most of the material is standard, the notes include a few results, for example, the affine version of Zariski’s main theorem, that are difficult to find in books. Contents 1 Rings and algebras......................3 2 Ideals...........................3 3 Noetherian rings.......................9 4 Unique factorization...................... 14 5 Rings of fractions....................... 18 6 Integral dependence...................... 24 7 The going-up and going-down theorems.............. 30 8 Noether’s normalization theorem................. 33 9 Direct and inverse limits.................... 35 10 Tensor Products....................... 38 11 Flatness.......................... 43 12 Finitely generated projective modules............... 49 13 Zariski’s lemma and the Hilbert Nullstellensatz............ 57 14 The spectrum of a ring..................... 60 15 Jacobson rings and max spectra.................. 68 16 Artinian rings........................ 73 17 Quasi-finite algebras and Zariski’s main theorem............ 74 18 Dimension theory for finitely generated k-algebras........... 81 19 Primary decompositions.................... 86 20 Dedekind domains...................... 91 21 Dimension theory for noetherian rings............... 96 22 Regular local rings...................... 100 23 Flatness and fibres...................... 102 24 Completions......................... 105 A Solutions to the exercises..................... 107 References........................... 108 Index............................. 109 c 2009, 2010, 2011, 2012, 2013, 2014 J.S. Milne. Single paper copies for noncommercial personal use may be made without explicit permission from the copyright holder. Available at www.jmilne.org/math/. 1 CONTENTS 2 Notations and conventions Our convention is that rings have identity elements,1 and homomorphisms of rings respect the identity elements. A unit of a ring is an element admitting an inverse. The units of a ring 2 A form a group, which we denote by A. Throughout “ring” means “commutative ring”. Following Bourbaki, we let N 0;1;2;::: . Throughout, k is a field and kal is an algebraic D f g closure of k. X YX is a subset of Y (not necessarily proper). X def YX is defined to be Y , or equals Y by definition. D X YX is isomorphic to Y . X YX and Y are canonically isomorphic ' (or there is a given or unique isomorphism). Prerequisites A knowledge of the algebra usually taught in advanced undergraduate or first-year graduate courses. References A reference to monnnn is to question nnnn on mathoverflow.net. Historical Notes Sometime I’ll add these. For the moment, I refer the reader to Bourbaki AC, Historical Note; Matsumura 1986, Introduction; Nagata 1962, Appendix A2. Acknowledgements I thank the following for providing corrections and comments for earlier versions of these notes: Florian Herzig, Chun Yin Hui, Keenan Kidwell, Leon Lampret, Andrew McLennan, Shu Otsuka, Dmitri Panov, Bhupendra Nath Tiwari, Wei Xu. 1An element e of a ring A is an identity element if ea a ae for all elements a of the ring. It is usually D D denoted 1A or just 1. Some authors call this a unit element, but then an element can be a unit without being a unit element. Worse, a unit need not be the unit. 2This notation differs from that of Bourbaki, who writes A for the multiplicative monoid A 0 and A X f g for the group of units. We shall rarely need the former, and is overused. 1 RINGS AND ALGEBRAS 3 1 Rings and algebras A ring is an integral domain if it is not the zero ring and if ab 0 in the ring implies that D a 0 or b 0. D D Let A be a ring. A subring of A is a subset that contains 1A and is closed under addition, multiplication, and the formation of negatives. An A-algebra is a ring B together with a homomorphism iB A B.A homomorphism of A-algebras B C is a homomorphism W ! ! of rings ' B C such that '.iB .a// iC .a/ for all a A. W ! D 2 Elements x1;:::;xn of an A-algebra B are said to generate it if every element of B can be expressed as a polynomial in the xi with coefficients in iB .A/. This means that the homomorphism of A-algebras AŒX1;:::;Xn B acting as iB on A and sending Xi to xi ! is surjective. When A B and x1;:::;xn B, we let AŒx1;:::;xn denote the A-subalgebra of B 2 generated by the xi . A ring homomorphism A B is of finite type, and B is a finitely generated A-algebra, ! if B is generated by a finite set of elements as an A-algebra. This means that B is a quotient of a polynomial ring AŒX1;:::;Xn. An A-algebra B is finitely presented if it is the quotient of a polynomial ring AŒX1;:::;Xn by a finitely generated ideal. A ring homomorphism A B is finite, and B is a finite3 A-algebra, if B is finitely ! generated as an A-module. If A B and B C are finite ring homomorphisms, then so ! ! also is their composite A C . ! Let k be a field, and let A be a k-algebra. If 1A 0, then the map k A is injective, ¤ ! and we can identify k with its image, i.e., we can regard k as a subring of A. If 1A 0, then D the ring A is the zero ring 0 . f g Let AŒX be the ring of polynomials in the symbol X with coefficients in A. If A is an integral domain, then deg.fg/ deg.f / deg.g/, and so AŒX is also an integral domain; D C moreover, AŒX A . D Let A be both an integral domain and an algebra over a field k. If A is finite over k, then it is a field. To see this, let a be a nonzero element of A. Because A is an integral domain, the k-linear map x ax A A is injective, and hence is surjective if A is finite, which 7! W ! shows that a has an inverse. More generally, if every element a of A is algebraic over k, then kŒa is finite over k, and hence contains an inverse of a; again A is a field. An A-module M is faithful if aM 0, a A, implies a 0. D 2 D Exercises EXERCISE 1.1. Let k be an infinite field, and let f be a nonzero polynomial in kŒX1;:::;Xn. Show that there exist a1;:::;an k such that f .a1;:::;an/ 0. 2 ¤ 2 Ideals Let A be a ring. An ideal a in A is a subset such that a is a subgroup of A regarded as a group under addition; ˘ a a, r A ra a: ˘ 2 2 H) 2 3This is Bourbaki’s terminology (AC V 1, 1). Finite homomorphisms of rings correspond to finite maps of varieties and schemes. Some other authors say “module-finite”. 2 IDEALS 4 The ideal generated by a subset S of A is the intersection of all ideals a containing S — it is easy to verify that this is in fact an ideal, and that it consists of all finite sums of the form P ri si with ri A, si S. The ideal generated by the empty set is the zero ideal 0 . When 2 2 f g S a;b;::: , we write .a;b;:::/ for the ideal it generates. D f g An ideal is principal if it is generated by a single element. Such an ideal .a/ is proper if and only if a is not a unit. Thus a ring A is a field if and only if 1A 0 and the only proper ¤ ideal in A is .0/. Let a and b be ideals in A. The set a b a a; b b is an ideal, denoted a b. The f C j 2 2 g C ideal generated by ab a a; b b is denoted by ab. Clearly ab consists of all finite P f j 2 2 g sums ai bi with ai a and bi b, and if a .a1;:::;am/ and b .b1;:::;bn/, then 2 2 D D ab .a1b1;:::;ai bj ;:::;ambn/. Note that ab aA a and ab Ab b, and so D D D ab a b: (1) \ The kernel of a homomorphism A B is an ideal in A. Conversely, for every ideal a ! in a ring A, the set of cosets of a in A (regarded as an additive group) forms a ring A=a, and a a a is a homomorphism ' A A=a whose kernel is a. There is a one-to-one 7! C W ! correspondence b '.b/ ideals of A containing a 7! ideals of A=a : (2) 1 f g '! .b/ b f g [ For an ideal b of A, ' 1'.b/ a b. D C The ideals of A B are all of the form a b with a and b ideals in A and B. To see this, note that if c is an ideal in A B and .a;b/ c, then .a;0/ .1;0/.a;b/ c and 2 D 2 .0;b/ .0;1/.a;b/ c. Therefore, c a b with D 2 D a a .a;0/ c ; b b .0;b/ c : D f j 2 g D f j 2 g An ideal p in A is prime if p A and ab p a p or b p. Thus p is prime if and ¤ 2 ) 2 2 only if the quotient ring A=p is nonzero and has the property that ab 0 a 0 or b 0; D H) D D i.e., A=p is an integral domain.
Load more

Recommended publications
  • Fundamental Algebraic Geometry
    http://dx.doi.org/10.1090/surv/123 hematical Surveys and onographs olume 123 Fundamental Algebraic Geometry Grothendieck's FGA Explained Barbara Fantechi Lothar Gottsche Luc lllusie Steven L. Kleiman Nitin Nitsure AngeloVistoli American Mathematical Society U^VDED^ EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber Michael G. Eastwood Michael P. Loss J. T. Stafford, Chair 2000 Mathematics Subject Classification. Primary 14-01, 14C20, 13D10, 14D15, 14K30, 18F10, 18D30. For additional information and updates on this book, visit www.ams.org/bookpages/surv-123 Library of Congress Cataloging-in-Publication Data Fundamental algebraic geometry : Grothendieck's FGA explained / Barbara Fantechi p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376 ; v. 123) Includes bibliographical references and index. ISBN 0-8218-3541-6 (pbk. : acid-free paper) ISBN 0-8218-4245-5 (soft cover : acid-free paper) 1. Geometry, Algebraic. 2. Grothendieck groups. 3. Grothendieck categories. I Barbara, 1966- II. Mathematical surveys and monographs ; no. 123. QA564.F86 2005 516.3'5—dc22 2005053614 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA.
    [Show full text]
  • MATH 145 NOTES 1. Meta Stuff and an Overview of Algebraic Geometry
    MATH 145 NOTES ARUN DEBRAY AUGUST 21, 2015 These notes were taken in Stanford’s Math 145 class in Winter 2015, taught by Ravi Vakil. I TEXed these notes up using vim, and as such there may be typos; please send questions, comments, complaints, and corrections to [email protected]. CONTENTS 1. Meta Stuff and an Overview of Algebraic Geometry: 1/5/151 2. Projective Space and Fractional Linear Transformations: 1/7/153 3. Diophantine Equations and Classifying Conics: 1/9/155 4. Quadratics and Cubics: 1/12/15 6 5. Cubics: 1/14/15 8 6. The Elliptic Curve Group and the Zariski Topology: 1/16/159 7. Affine Varieties and Noetherian Rings: 1/21/15 11 8. Localization and Varieties: 1/23/15 13 9. Hilbert’s Nullstellensatz: 1/26/15 14 10. Affine Varieties: 1/28/15 15 11. Affine Schemes: 1/30/15 17 12. Regular Functions and Regular Maps: 2/2/15 18 13. Rational Functions: 2/4/15 20 14. Rational Maps: 2/6/15 21 15. Varieties and Sheaves: 2/9/15 23 16. From Rational Functions to Rational Maps: 2/11/15 24 17. Varieties and Pre-Varieties: 2/13/15 25 18. Presheaves, Sheaves, and Affine Schemes: 2/18/15 26 19. Morphisms of Varieties and Projective Varieties: 2/20/15 28 20. Products and Projective Varieties: 2/23/15 29 21. Varieties in Action: 2/25/15 31 22. Dimension: 2/27/15 32 23. Smoothness and Dimension: 3/2/15 33 24. The Tangent and Cotangent Spaces: 3/6/15 35 25.
    [Show full text]
  • Generic Flatness for Strongly Noetherian Algebras
    Journal of Algebra 221, 579–610 (1999) Article ID jabr.1999.7997, available online at http://www.idealibrary.com on Generic Flatness for Strongly Noetherian Algebras M. Artin* Department of Mathematics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139 View metadata, citation and similar papersE-mail: at core.ac.uk [email protected] brought to you by CORE provided by Elsevier - Publisher Connector L. W. Small Department of Mathematics, University of California at San Diego, La Jolla, California 92093 E-mail: [email protected] and J. J. Zhang Department of Mathematics, Box 354350, University of Washington, Seattle, Washington 98195 E-mail: [email protected] Communicated by J. T. Stafford Received November 18, 1999 Key Words: closed set; critically dense; generically flat; graded ring; Nullstellen- satz; strongly noetherian; universally noetherian. © 1999 Academic Press CONTENTS 0. Introduction. 1. Blowing up a critically dense sequence. 2. A characterization of closed sets. 3. Generic flatness. 4. Strongly noetherian and universally noetherian algebras. 5. A partial converse. *All three authors were supported in part by the NSF and the third author was also supported by a Sloan Research Fellowship. 579 0021-8693/99 $30.00 Copyright © 1999 by Academic Press All rights of reproduction in any form reserved. 580 artin, small, and zhang 0. INTRODUCTION In general, A will denote a right noetherian associative algebra over a commutative noetherian ring R.LetR0 be a commutative R-algebra. If R0 is finitely generated over R, then a version of the Hilbert basis theorem 0 asserts that A ⊗R R is right noetherian. We call an algebra A strongly right 0 0 noetherian if A ⊗R R is right noetherian whenever R is noetherian.
    [Show full text]
  • The Harvard College Mathematics Review
    The Harvard College Mathematics Review Volume 3 Spring 2011 In this issue: CHRISTOPHER POLICASTRO Artin's Conjecture ZHAO CHEN, KEVIN DONAGHUE & ALEXANDER ISAKOV A Novel Dual-Layered Approach to Geographic Profiling in Serial Crimes MICHAEL J. HOPKINS The Three-Legged Theorem MLR A Student Publication of Harvard College Website. Further information about The HCMR can be Sponsorship. Sponsoring The HCMR supports the un found online at the journal's website, dergraduate mathematics community and provides valuable high-level education to undergraduates in the field. Sponsors will be listed in the print edition of The HCMR and on a spe http://www.thehcmr.org/ fl) cial page on the The HCMR's website, (1). Sponsorship is available at the following levels: Instructions for Authors. All submissions should in clude the name(s) of the author(s), institutional affiliations (if Sponsor $0 - $99 any), and both postal and e-mail addresses at which the cor Fellow $100-$249 responding author may be reached. General questions should Friend $250 - $499 be addressed to Editor-in-Chief Rediet Abebe at hcmr@ hcs . Contributor $500-$1,999 harvard.edu. Donor $2,000 - $4,999 Patron $5,000 - $9,999 Articles. The Harvard College Mathematics Review invites Benefactor $10,000 + the submission of quality expository articles from undergrad uate students. Articles may highlight any topic in undergrad Contributors ■ Jane Street Capital • The Harvard Uni uate mathematics or in related fields, including computer sci versity Mathematics Department ence, physics, applied mathematics, statistics, and mathemat Cover Image. The image on the cover depicts several ical economics. functions, whose common zero locus describes an algebraic Authors may submit articles electronically, in .pdf, .ps, or .dvi format, to [email protected], or in hard variety (which is in this case an elliptic curve).
    [Show full text]
  • Arxiv:1507.04134V1 [Math.RA]
    NILPOTENT, ALGEBRAIC AND QUASI-REGULAR ELEMENTS IN RINGS AND ALGEBRAS NIK STOPAR Abstract. We prove that an integral Jacobson radical ring is always nil, which extends a well known result from algebras over fields to rings. As a consequence we show that if every element x of a ring R is a zero of some polynomial px with integer coefficients, such that px(1) = 1, then R is a nil ring. With these results we are able to give new characterizations of the upper nilradical of a ring and a new class of rings that satisfy the K¨othe conjecture, namely the integral rings. Key Words: π-algebraic element, nil ring, integral ring, quasi-regular element, Jacobson radical, upper nilradical 2010 Mathematics Subject Classification: 16N40, 16N20, 16U99 1. Introduction Let R be an associative ring or algebra. Every nilpotent element of R is quasi-regular and algebraic. In addition the quasi-inverse of a nilpotent element is a polynomial in this element. In the first part of this paper we will be interested in the connections between these three notions; nilpo- tency, algebraicity, and quasi-regularity. In particular we will investigate how close are algebraic elements to being nilpotent and how close are quasi- regular elements to being nilpotent. We are motivated by the following two questions: Q1. Algebraic rings and algebras are usually thought of as nice and well arXiv:1507.04134v1 [math.RA] 15 Jul 2015 behaved. For example an algebraic algebra over a field, which has no zero divisors, is a division algebra. On the other hand nil rings and algebras, which are of course algebraic, are bad and hard to deal with.
    [Show full text]
  • Solutions to Assignment 5
    Solutions to Assignment 5 Throughout, A is a commutative ring with 0 6= 1. 1. We say that a ∈ A is a zerodivisor if there exists b 6= 0 in A such that ab = 0. (This differs from Lang’s definition only to the extent that 0 will be called a zerodivisor.) Let F be the set of all ideals of A in which every element is a zerodivisor. (a) Prove that F has maximal elements. (b) Prove that every maximal element of F is a prime ideal. (c) Conclude that the set of zerodivisors is a union of prime ideals. Solution: (a) Since (0) ∈ F, the set F is nonempty. Given a chain {aα} of elements of F, it S is easily seen that α aα is an ideal as well. Since each element of this ideal is a zerodivisor, it S follows that α aα ∈ F. By Zorn’s Lemma, the set F has maximal elements. (b) Let p ∈ F be a maximal element. If x∈ / p and y∈ / p, then the ideals p + (x) and p + (y) are strictly bigger than p, and hence there exist nonzerodivisors a ∈ p + (x) and b ∈ p + (y). But then ab ∈ p + (xy) is a nonzerodivisor, and so xy∈ / p. Consequently p is a prime ideal. (c) If x ∈ A is a zerodivisor, then every element of the ideal (x) is a zerodivisor. Hence (x) ∈ F, and so (x) ⊆ p for some prime ideal p ∈ F. It follows that [ {x | x ∈ A is a zerodivisor} = p. p∈F 2. Let a be a nilpotent element of A.
    [Show full text]
  • [Nilradical of a Ring] Let N ⊂ a Consist of All Nilpotent Elements. Prove That N
    ALGEBRA 1: PROBLEM SET 10 A = a commutative ring in all the problems below. Problem 1. [Nilradical of a ring] Let n ⊂ A consist of all nilpotent elements. Prove that \ n = p p⊂A prime ideal Problem 2. Let a ⊂ A be the set of all zero{divisors of A. Is a an ideal of A? Problem 3. Let n 2 A be a nilpotent element and u 2 A be a unit (that is, u has a multiplicative inverse). Prove that u + n is again a unit. Problem 4. Let S ⊂ A be a set such that 0 62 S and r; s 2 S implies rs 2 S (multiplicatively closed set). Let p be an ideal which is maximal among the ideals not intersecting S. That is, maximal with respect to inclusion, from the following set: IS = fa ⊂ A an ideal such that a \ S = ;g Prove that p is prime. Problem 5. If for every x 2 A there exists an n ≥ 2 such that xn = x, then prove that every prime ideal in A is maximal. Problem 6. Let B be another commutative ring and let f : A ! B be a ring homomorphism. Let p ⊂ A be a prime ideal and define b ⊂ B to be the ideal generated by f(p). Prove or disprove: b is a prime ideal. Problem 7. Let K be a field and R = K[[x]] be the ring of formal power series in a variable x with coefficients from K. Prove that R is a local ring, with unique maximal ideal m = (x).
    [Show full text]
  • Hilbert Specialization of Parametrized Varieties 2 Holds in the Case of a K(T )-Variety of Codimension Bigger Than 1
    HILBERT SPECIALIZATION OF PARAMETRIZED VARIETIES ANGELO IADAROLA Abstract. Hilbert specialization is an important tool in Field Arithmetic and Arithmetic Geometry, which has usually been intended for polynomials, hence hypersurfaces, and at scalar values. In this article, first, we extend this tool to prime ideals, hence affine varieties, and offer an application to the study of the irreducibility of the intersection of varieties. Then, encouraged by recent results, we consider the more general situation in which the specialization is done at polynomial values, instead of scalar values. 1. Introduction Hilbert Irreducibility Theorem has been a core result in Field Arithmetic for many decades. A simple form, see for example [FJ08, Page 218], says that, given an irreducible polynomial P (T, Y ) in Q(T )[Y ], one can find infinitely many t ∈ Q such that the so-called specialized polynomial P (t, Y ) is irreducible in Q[Y ]. This result has been generalized under many aspects. First of all, the notion of Hilbertian field has been introduced to identify all those fields K for which the previous statement is verified in the case of polynomials, which are separable in Y , if we replace Q with K, see for example [FJ08, Page 218]. Moreover, if K is of characteristic 0 or imperfect, the same result holds if we replace a separable irreducible polynomial in two variables P (T, Y ) in K(T )[Y ] with several irreducible polynomials P1(T , Y ),...,Pn(T , Y ) in K(T )[Y ] in two arrays of variables, T = (T1,...,Tr) and Y = (Y1,...,Ys) for r, s positive integers: we can find a Zariski- r dense subset H ⊂ AK such that the polynomial Pi(t, Y ) is irreducible in K[Y ] for every t ∈ H and i =1,...,n, see for example [FJ08, Section 12.1].
    [Show full text]
  • Gps Abh1.Pdf
    1 Lecture L6: Pause and Refresh By reading the following summaries of the first five lectures, the rest of the book may become intelligible without studying the details of those lectures. In the first lecture we have introduced the basic structures of algebra such as groups, rings, fields, vector spaces, ideals, modules, polynomials, rational functions, euclidean domains, principal ideal domains, and unique factorization domains. In the second lecture, after introducing power series, meromorphic series, and valuations, we show the equivalence of well-ordering and Zorn's Lemma and use them to establish the existence of vector space basis, transcendence basis, algebraic closure, and maximal ideals. The third lecture deals with the power series theorems of Newton, Hensel, and Weierstrass. The fourth and fifth lectures deal with ideals, modules, varieties, and models which are the avatars of varieties full of local rings. x1: SUMMARY OF LECTURE L1 ON QUADRATIC EQUATIONS For sets (= collections of objects) S and T , a map φ : S ! T is an assignment which to every x 2 S, i.e., to every element (= object) x of S, assigns φ(x) 2 T ; this may be written x 7! φ(x); the element φ(x) is called the image of x under φ; we put dom(φ) = S and ran(φ) = T and call these the domain and range of φ respectively. The composition of maps φ : S ! T and : T ! U is the map φ : S ! U given by ( φ)(x) = (φ(x)). The map φ is injective, or is an injection, if φ(x) = φ(y) ) x = y.A subset of S is a set R whose objects are amongst the objects of S; we write R ⊂ S; we may also write S ⊃ R and call S an overset of R.
    [Show full text]
  • Grundlehren Der Mathematischen Wissenschaften 334 a Series of Comprehensive Studies in Mathematics
    Grundlehren der mathematischen Wissenschaften 334 A Series of Comprehensive Studies in Mathematics Series editors M. Berger B. Eckmann P. de la Harpe F. Hirzebruch N. Hitchin L. Hörmander M.-A. Knus A. Kupiainen G. Lebeau M.Ratner D.Serre Ya.G.Sinai N.J.A. Sloane B. Totaro A. Vershik M. Waldschmidt Editor-in-Chief A. Chenciner J. Coates S.R.S. Varadhan Edoardo Sernesi Deformations of Algebraic Schemes ABC Edoardo Sernesi Universitá "Roma Tre" Department of Mathematics Largo San Leonardo Murialdo 1 00146 Roma, Italy e-mail: [email protected] Library of Congress Control Number: 2006924565 Mathematics Subject Classification (2000): 14D15, 14B12 ISSN 0072-7830 ISBN-10 3-540-30608-0 Springer Berlin Heidelberg New York ISBN-13 978-3-540-30608-5 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com c Springer-Verlag Berlin Heidelberg 2006 Printed in The Netherlands The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use.
    [Show full text]
  • Igor R. Shafarevich Schemes and Complex Manifolds Third Edition
    Igor R. Shafarevich Basic Algebraic Geometry 2 Schemes and Complex Manifolds Third Edition Basic Algebraic Geometry 2 Igor R. Shafarevich Basic Algebraic Geometry 2 Schemes and Complex Manifolds Third Edition Igor R. Shafarevich Translator Algebra Section Miles Reid Steklov Mathematical Institute Mathematics Institute of the Russian Academy of Sciences University of Warwick Moscow, Russia Coventry, UK ISBN 978-3-642-38009-9 ISBN 978-3-642-38010-5 (eBook) DOI 10.1007/978-3-642-38010-5 Springer Heidelberg New York Dordrecht London Library of Congress Control Number: 2013945857 Mathematics Subject Classification (2010): 14-01 Translation of the 3rd Russian edition entitled “Osnovy algebraicheskoj geometrii”. MCCME, Moscow 2007, originally published in Russian in one volume © Springer-Verlag Berlin Heidelberg 1977, 1994, 2013 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher’s location, in its current version, and permission for use must always be obtained from Springer.
    [Show full text]
  • Algebraic Geometry
    Algebraic Geometry J.S. Milne Version 6.01 August 23, 2015 These notes are an introduction to the theory of algebraic varieties emphasizing the simi- larities to the theory of manifolds. In contrast to most such accounts they study abstract algebraic varieties, and not just subvarieties of affine and projective space. This approach leads more naturally into scheme theory. BibTeX information @misc{milneAG, author={Milne, James S.}, title={Algebraic Geometry (v6.01)}, year={2015}, note={Available at www.jmilne.org/math/}, pages={226} } v2.01 (August 24, 1996). First version on the web. v3.01 (June 13, 1998). v4.00 (October 30, 2003). Fixed errors; many minor revisions; added exercises; added two sections/chapters; 206 pages. v5.00 (February 20, 2005). Heavily revised; most numbering changed; 227 pages. v5.10 (March 19, 2008). Minor fixes; TEXstyle changed, so page numbers changed; 241 pages. v5.20 (September 14, 2009). Minor corrections; revised Chapters 1, 11, 16; 245 pages. v5.22 (January 13, 2012). Minor fixes; 260 pages. v6.00 (August 24, 2014). Major revision; 223 pages. v6.01 (August 23, 2015). Minor fixes; 226 pages. Available at www.jmilne.org/math/ Please send comments and corrections to me at the address on my web page. The curves are a tacnode, a ramphoid cusp, and an ordinary triple point. Copyright c 1996, 1998, 2003, 2005, 2008, 2009, 2011, 2012, 2013, 2014 J.S. Milne. Single paper copies for noncommercial personal use may be made without explicit permission from the copyright holder. Contents Contents3 1 Preliminaries from commutative algebra 11 a. Rings and ideals, 11 ; b.
    [Show full text]