Commutative Algebra Background

Total Page:16

File Type:pdf, Size:1020Kb

Load more

Commutative Algebra Background September 18, 2007 1 Spectra and Localization. 1.1 Prime Spectra of rings. Rings, unless otherwise signaled, will be commutative rings with unit element, and homomorphism of rings will be assumed to preserve the unit element. A ring denoted k will be understood to be a field, and k[X, Y, . .] the (commutative) ring of polynomials in the independent variables X, Y, . with coefficients in the field k. The standard list of notation for the rings of rational integers, rational numbers, reals, and complexes, will also be understood: Z, Q, R, C. If A is a ring, Spec A, its prime spectrum (for short: its spectrum) is—as a set—the set of prime ideals of A. Discuss: Spectrum versus Max Spectrum, with examples of Banach algebras. If f : A → B is a ring-homomorphism, the pullback, i.e., full inverse image, of any prime ideal of B under the homomorphism f is a prime ideal of A. This gives us a map on spectra Spec B → Spec A that we will denote by Spec(f) (or, sometimes, by just f again) allowing us to consider Spec as a contravariant functor from the category of commutative rings to the category of sets. If f : A → B is a surjective ring-homomorphism, then Spec(f) : Spec B → Spec A is an injection. 1.2 The “Universal solution” to the problem of inverting a given set of elements in a ring. Let A be a ring, and S ⊂ A any subset. Consider the “problem” of finding ring homomorphisms A → A0 such that the set S gets sent to a set of units in A0. The “universal solution” to this problem (which exists, and is therefore easily seen to be unique up to unique isomorphism) is a ring 1 −1 homomorphism ιS : A → S A which sends S to units, and has the property that any “solution” 0 −1 −1 A → A is obtained by composition of ιS with a unique homomorphism A → S A. The ring S A is called the localization of A with respect to the set S. Since the problem of inverting a set S is equivalent to the problem of inverting the multiplicative system in A generated by S, we may—when it is convenient for us to do so—suppose that the set S we wish to invert contains the identity element of A and is closed under multiplication. Exercise 1. If A is a ring and S ⊂ A a subset, let {Xs}s∈S be a collection of independent variables; −1 show that S A can be given as the quotient of the polynomial ring A[Xs; s ∈ S] by the ideal generated by the polynomials s · Xs − 1 for s ∈ S. Exercise 2. If A is a ring and S ⊂ A a multiplicative system, show that any element in the kernel of A → S−1A is also in the kernel of A → {f}−1A for some element f ∈ S. Exercise 3. If A is a ring and S ⊂ A a multiplicative system, show that the kernel of A → S−1A consist precisely in the elements of A which are annihilated by some element of S. (Hint: Let a ∈ A be in that kernel. By the previous exercise we may replace S by (the multiplicative system generated by) a single element s and our element a will “still” be in the kernel. But now we’re home since S−1A = A[X]/(Xs − 1) so we get that a = g(X) · (Xs − 1) is a equation in A[X] for some polynomial g(X) ∈ A[X]. Then compute.) This operation A 7→ S−1A is indeed a localization operation for on the level of spectra we have that the map induced by ιS, i.e., −1 Spec(ιS) : Spec S A → Spec A is injective, and its image is the complement of {P ∈ Spec A | P ∩ S 6= the empty set}. Discuss the difficulties of extending this localization procedure to noncommutative rings (or more general set-ups) these difficulties suggesting the scope of geometry. Here are some important special cases of localization: • Let A be an integral domain, and suppose that the multiplicative system S ⊂ A doesn’t contain 0 ∈ A. In this case, if K is the field of fractions of A (K being the localization of A relative to the multiplicative system A − {0}), then S−1A = {a/s ∈ K | a ∈ A, s ∈ S}; • Suppose the subset S is generated by finitely many elements s1, s2, . , sm of A. In this case Q −1 −1 put s = i si and you can take S A to be the ring A[1/s] := A[s]/(st−1) with A → S A the −1 natural homomorphism A → A[1/s]. Denoting X := Spec A and Xf := Spec S A we have that Xs ⊂ X is the open subset consisting of the set of all points of Spec A that correspond to prime ideals P in A that do not contain the element s; visually: “the complement of the locus of zeroes of s.” 2 • For a prime ideal P ⊂ A take S = A − P . Then S is a multiplicative system. We usually −1 denote S A as AP (the localization of A at P ). We have that AP is a local ring, with maximal ideal equal to PAP ⊂ AP , and with residue field AP /P AP = the field of fractions of the integral domain A/P . The set of prime ideals of AP pull back to the set of prime ideals of A contained in P . Define the Zariski topology on spectra as follows: If A is a ring, the open sets on Spec A is given by the complements of the injective mappings Spec(φ) : Spec B,→ Spec A where φ runs through all surjective ring-homomorphisms with domain A. A base for the open sets is given by the images −1 2 of the mappings Spec(Sf A) → Spec A for f ∈ A, where Sf = {1, f, f ,...} is the multiplicative set generated by f. For any homomorphism f of rings, the induced morphism Spec f is a continuous map of spectra. 1.3 Some examples • Regarding the spectra of local rings: – If A = k is a field, the zero ideal is the only prime ideal, so Spec A consists of one point. – If A is a local ring, its unique maximal ideal corresponds to the unique closed point in Spec A. – If A is a local ring with nilpotent maximal ideal (e.g., Z/p2Z, or any other artinian local ring) then Spec A consists of one point. • More generally, – if A is a ring and N ⊂ A is its nilradical, consider the associated reduced ring to A, denoted Ared := A/N . The natural projection A −→ Ared induces a homeomorphism on spectra, but wait ...1; – if A is noetherian and we let P1,P2,...,Pν denote the set of its minimal primes (i.e., those that are connected to a primary decomposition of the zero ideal in A) then Spec A is the union of the closed subsets Spec A/Pj for j = 1, 2, . , ν. – if A = B × C is a product then Spec A is the disjoint union of Spec B and Spec C, and conversely; 1.4 Partitions of unity. The last example of the previous subsection gives us a way of decomposing spectra into a disjoint union of smaller spectra (essentially equivalent to giving orthogonal idempotent decompositions of the unit element). We will now consider something much more general. Let A be a ring. An equation 1 = f1 + f2 + ... + fν 1We will be considering these spectra along with their natural local ring structure. 3 with fi ∈ A will be called a partition of unity attached to which we have a homomorphism of rings, ν Y −1 A −→ {fi} A, i=1 and therefore an open mapping on the level of spectra, ν ν G −1 Y −1 Spec({fi} A) = Spec ( {fi} A) −→ Spec A. i=1 i=1 −1 The collection of open subsets Ui := Spec {fi} A ⊂ Spec A for i = 1, 2, . , ν, form a cover of Spec A. (Proof: If P is a prime ideal of A there is some index i such that fi ∈/ P which strange as it sounds means exactly that the point P of Spec A is in the image of −1 Spec {fi} A.) Exercise 4. If A is an integral domain and K its field of fractions, and we are given a partition of unity for A as above, show that ν \ −1 A = ({fi} A) ⊂ K. i=1 • Discrete Valuation Rings. A ring is a DVR if it is a principal ideal domain and has precisely one nonzero prime ideal, so Spec A consists of two points, one closed point corresponding to the maximal ideal, the other open point corresponding to the zero ideal. If A is a DVR then its nonzero prime ideal, m(A) ⊂ A is visibly its only maximal ideal; so A is a local ring, and A/m(A) is its residue field. Any element not contained in m(A) is a unit in A; i.e., A∗ = A − m(A). Any generator z of the ideal m(A) is called a uniformizer, the uniformizers being the irreducible elements of A. Fix a uniformizer z. For any nonzero element α ∈ A there is a maximal integer (≥ 0) n such that α is divisible by zn in A, and for such an n we have that α = uzn for a unit u ∈ A∗ (proof: A is a PID so a UFD and has only one irreducible element up to multiplication by a unit, namely z).
Recommended publications
  • Varieties of Quasigroups Determined by Short Strictly Balanced Identities

    Varieties of Quasigroups Determined by Short Strictly Balanced Identities

    Czechoslovak Mathematical Journal Jaroslav Ježek; Tomáš Kepka Varieties of quasigroups determined by short strictly balanced identities Czechoslovak Mathematical Journal, Vol. 29 (1979), No. 1, 84–96 Persistent URL: http://dml.cz/dmlcz/101580 Terms of use: © Institute of Mathematics AS CR, 1979 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz Czechoslovak Mathematical Journal, 29 (104) 1979, Praha VARIETIES OF QUASIGROUPS DETERMINED BY SHORT STRICTLY BALANCED IDENTITIES JAROSLAV JEZEK and TOMAS KEPKA, Praha (Received March 11, 1977) In this paper we find all varieties of quasigroups determined by a set of strictly balanced identities of length ^ 6 and study their properties. There are eleven such varieties: the variety of all quasigroups, the variety of commutative quasigroups, the variety of groups, the variety of abelian groups and, moreover, seven varieties which have not been studied in much detail until now. In Section 1 we describe these varieties. A survey of some significant properties of arbitrary varieties is given in Section 2; in Sections 3, 4 and 5 we assign these properties to the eleven varieties mentioned above and in Section 6 we give a table summarizing the results. 1. STRICTLY BALANCED QUASIGROUP IDENTITIES OF LENGTH £ 6 Quasigroups are considered as universal algebras with three binary operations •, /, \ (the class of all quasigroups is thus a variety).
  • Dedekind Domains

    Dedekind Domains

    Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K=F is a finite extension and A is a Dedekind domain with quotient field F , then the integral closure of A in K is also a Dedekind domain. As we will see in the proof, we need various results from ring theory and field theory. We first recall some basic definitions and facts. A Dedekind domain is an integral domain B for which every nonzero ideal can be written uniquely as a product of prime ideals. Perhaps the main theorem about Dedekind domains is that a domain B is a Dedekind domain if and only if B is Noetherian, integrally closed, and dim(B) = 1. Without fully defining dimension, to say that a ring has dimension 1 says nothing more than nonzero prime ideals are maximal. Moreover, a Noetherian ring B is a Dedekind domain if and only if BM is a discrete valuation ring for every maximal ideal M of B. In particular, a Dedekind domain that is a local ring is a discrete valuation ring, and vice-versa. We start by mentioning two examples of Dedekind domains. Example 1. The ring of integers Z is a Dedekind domain. In fact, any principal ideal domain is a Dedekind domain since a principal ideal domain is Noetherian integrally closed, and nonzero prime ideals are maximal. Alternatively, it is easy to prove that in a principal ideal domain, every nonzero ideal factors uniquely into prime ideals.
  • Noncommutative Unique Factorization Domainso

    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.
  • SOME ALGEBRAIC DEFINITIONS and CONSTRUCTIONS Definition

    SOME ALGEBRAIC DEFINITIONS and CONSTRUCTIONS Definition

    SOME ALGEBRAIC DEFINITIONS AND CONSTRUCTIONS Definition 1. A monoid is a set M with an element e and an associative multipli- cation M M M for which e is a two-sided identity element: em = m = me for all m M×. A−→group is a monoid in which each element m has an inverse element m−1, so∈ that mm−1 = e = m−1m. A homomorphism f : M N of monoids is a function f such that f(mn) = −→ f(m)f(n) and f(eM )= eN . A “homomorphism” of any kind of algebraic structure is a function that preserves all of the structure that goes into the definition. When M is commutative, mn = nm for all m,n M, we often write the product as +, the identity element as 0, and the inverse of∈m as m. As a convention, it is convenient to say that a commutative monoid is “Abelian”− when we choose to think of its product as “addition”, but to use the word “commutative” when we choose to think of its product as “multiplication”; in the latter case, we write the identity element as 1. Definition 2. The Grothendieck construction on an Abelian monoid is an Abelian group G(M) together with a homomorphism of Abelian monoids i : M G(M) such that, for any Abelian group A and homomorphism of Abelian monoids−→ f : M A, there exists a unique homomorphism of Abelian groups f˜ : G(M) A −→ −→ such that f˜ i = f. ◦ We construct G(M) explicitly by taking equivalence classes of ordered pairs (m,n) of elements of M, thought of as “m n”, under the equivalence relation generated by (m,n) (m′,n′) if m + n′ = −n + m′.
  • 1 Affine Varieties

    1 Affine Varieties

    1 Affine Varieties We will begin following Kempf's Algebraic Varieties, and eventually will do things more like in Hartshorne. We will also use various sources for commutative algebra. What is algebraic geometry? Classically, it is the study of the zero sets of polynomials. We will now fix some notation. k will be some fixed algebraically closed field, any ring is commutative with identity, ring homomorphisms preserve identity, and a k-algebra is a ring R which contains k (i.e., we have a ring homomorphism ι : k ! R). P ⊆ R an ideal is prime iff R=P is an integral domain. Algebraic Sets n n We define affine n-space, A = k = f(a1; : : : ; an): ai 2 kg. n Any f = f(x1; : : : ; xn) 2 k[x1; : : : ; xn] defines a function f : A ! k : (a1; : : : ; an) 7! f(a1; : : : ; an). Exercise If f; g 2 k[x1; : : : ; xn] define the same function then f = g as polynomials. Definition 1.1 (Algebraic Sets). Let S ⊆ k[x1; : : : ; xn] be any subset. Then V (S) = fa 2 An : f(a) = 0 for all f 2 Sg. A subset of An is called algebraic if it is of this form. e.g., a point f(a1; : : : ; an)g = V (x1 − a1; : : : ; xn − an). Exercises 1. I = (S) is the ideal generated by S. Then V (S) = V (I). 2. I ⊆ J ) V (J) ⊆ V (I). P 3. V ([αIα) = V ( Iα) = \V (Iα). 4. V (I \ J) = V (I · J) = V (I) [ V (J). Definition 1.2 (Zariski Topology). We can define a topology on An by defining the closed subsets to be the algebraic subsets.
  • Right Ideals of a Ring and Sublanguages of Science

    Right Ideals of a Ring and Sublanguages of Science

    RIGHT IDEALS OF A RING AND SUBLANGUAGES OF SCIENCE Javier Arias Navarro Ph.D. In General Linguistics and Spanish Language http://www.javierarias.info/ Abstract Among Zellig Harris’s numerous contributions to linguistics his theory of the sublanguages of science probably ranks among the most underrated. However, not only has this theory led to some exhaustive and meaningful applications in the study of the grammar of immunology language and its changes over time, but it also illustrates the nature of mathematical relations between chunks or subsets of a grammar and the language as a whole. This becomes most clear when dealing with the connection between metalanguage and language, as well as when reflecting on operators. This paper tries to justify the claim that the sublanguages of science stand in a particular algebraic relation to the rest of the language they are embedded in, namely, that of right ideals in a ring. Keywords: Zellig Sabbetai Harris, Information Structure of Language, Sublanguages of Science, Ideal Numbers, Ernst Kummer, Ideals, Richard Dedekind, Ring Theory, Right Ideals, Emmy Noether, Order Theory, Marshall Harvey Stone. §1. Preliminary Word In recent work (Arias 2015)1 a line of research has been outlined in which the basic tenets underpinning the algebraic treatment of language are explored. The claim was there made that the concept of ideal in a ring could account for the structure of so- called sublanguages of science in a very precise way. The present text is based on that work, by exploring in some detail the consequences of such statement. §2. Introduction Zellig Harris (1909-1992) contributions to the field of linguistics were manifold and in many respects of utmost significance.
  • 6. PID and UFD Let R Be a Commutative Ring. Recall That a Non-Unit X ∈ R Is Called Irreducible If X Cannot Be Written As A

    6. PID and UFD Let R Be a Commutative Ring. Recall That a Non-Unit X ∈ R Is Called Irreducible If X Cannot Be Written As A

    6. PID and UFD Let R be a commutative ring. Recall that a non-unit x R is called irreducible if x cannot be written as a product of two non-unit elements of R i.e.∈x = ab implies either a is an unit or b is an unit. Also recall that a domain R is called a principal ideal domain or a PID if every ideal in R can be generated by one element, i.e. is principal. 6.1. Lemma. (a) Let R be a commutative domain. Then prime elements in R are irreducible. (b) Let R be a PID. Then an irreducible in R is a prime element. Proof. (a) Let (p) be a prime ideal in R. If possible suppose p = uv.Thenuv (p), so either u (p)orv (p), if u (p), then u = cp,socv = 1, that is v is an unit. Similarly,∈ if v (p), then∈ u is an∈ unit. ∈ ∈(b) Let p R be irreducible. Suppose ab (p). Since R is a PID, the ideal (a, p)hasa generator, say∈ x, that is, (x)=(a, p). Then ∈p (x), so p = xu for some u R. Since p is irreducible, either u or x must be an unit and we∈ consider these two cases seperately:∈ In the first case, when u is an unit, then x = u−1p,soa (x) (p), that is, p divides a.Inthe second case, when x is a unit, then (a, p)=(1).So(∈ ab,⊆ pb)=(b). But (ab, pb) (p). So (b) (p), that is p divides b.
  • Ring (Mathematics) 1 Ring (Mathematics)

    Ring (Mathematics) 1 Ring (Mathematics)

    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
  • Algebraic Geometry Part III Catch-Up Workshop 2015

    Algebraic Geometry Part III Catch-Up Workshop 2015

    Algebraic Geometry Part III Catch-up Workshop 2015 Jack Smith June 6, 2016 1 Abstract Algebraic Geometry This workshop will give a basic introduction to affine algebraic geometry, assuming no prior exposure to the subject. In particular, we will cover: • Affine space and algebraic sets • The Hilbert basis theorem and applications • The Zariski topology on affine space • Irreducibility and affine varieties • The Nullstellensatz • Morphisms of affine varieties. If there's time we may also touch on projective varieties. What we expect you to know • Elementary point-set topology: topological spaces, continuity, closure of a subset etc • Commutative algebra, at roughly the level covered in the Rings and Modules workshop: rings, ideals (including prime and maximal) and quotients, algebras over fields (in particular, some familiarity with polynomial rings over fields). Useful for Part III courses Algebraic Geometry, Commutative Algebra, Elliptic Curves 2 Talk 2.1 Preliminaries Useful resources: • Hartshorne `Algebraic Geometry' (classic textbook, on which I think this year's course is based, although it's quite dense; I'll mainly try to match terminology and notation with Chapter 1 of this book). • Ravi Vakil's online notes `Math 216: Foundations of Algebraic Geometry'. • Eisenbud `Commutative Algebra with a view toward algebraic geometry' (covers all the algebra you might need, with a geometric flavour|it has pictures). 1 • Pelham Wilson's online notes for the `Preliminary Chapter 0' of his Part III Algebraic Geometry course from last year cover much of this catch-up material but are pretty brief (warning: this year's course has a different lecturer so will be different).
  • Integral Closures of Ideals and Rings Irena Swanson

    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.
  • 13. Dedekind Domains 117

    13. Dedekind Domains 117

    13. Dedekind Domains 117 13. Dedekind Domains In the last chapter we have mainly studied 1-dimensional regular local rings, i. e. geometrically the local properties of smooth points on curves. We now want to patch these local results together to obtain global statements about 1-dimensional rings (resp. curves) that are “locally regular”. The corresponding notion is that of a Dedekind domain. Definition 13.1 (Dedekind domains). An integral domain R is called Dedekind domain if it is Noetherian of dimension 1, and for all maximal ideals P E R the localization RP is a regular local ring. Remark 13.2 (Equivalent conditions for Dedekind domains). As a Dedekind domain R is an integral domain of dimension 1, its prime ideals are exactly the zero ideal and all maximal ideals. So every localization RP for a maximal ideal P is a 1-dimensional local ring. As these localizations are also Noetherian by Exercise 7.23, we can replace the requirement in Definition 13.1 that the local rings RP are regular by any of the equivalent conditions in Proposition 12.14. For example, a Dedekind domain is the same as a 1-dimensional Noetherian domain such that all localizations at maximal ideals are discrete valuation rings. This works particularly well for the normality condition as this is a local property and can thus be transferred to the whole ring: Lemma 13.3. A 1-dimensional Noetherian domain is a Dedekind domain if and only if it is normal. Proof. By Remark 13.2 and Proposition 12.14, a 1-dimensional Noetherian domain R is a Dedekind domain if and only if all localizations RP at a maximal ideal P are normal.
  • Chapter 2 Affine Algebraic Geometry

    Chapter 2 Affine Algebraic Geometry

    Chapter 2 Affine Algebraic Geometry 2.1 The Algebraic-Geometric Dictionary The correspondence between algebra and geometry is closest in affine algebraic geom- etry, where the basic objects are solutions to systems of polynomial equations. For many applications, it suffices to work over the real R, or the complex numbers C. Since important applications such as coding theory or symbolic computation require finite fields, Fq , or the rational numbers, Q, we shall develop algebraic geometry over an arbitrary field, F, and keep in mind the important cases of R and C. For algebraically closed fields, there is an exact and easily motivated correspondence be- tween algebraic and geometric concepts. When the field is not algebraically closed, this correspondence weakens considerably. When that occurs, we will use the case of algebraically closed fields as our guide and base our definitions on algebra. Similarly, the strongest and most elegant results in algebraic geometry hold only for algebraically closed fields. We will invoke the hypothesis that F is algebraically closed to obtain these results, and then discuss what holds for arbitrary fields, par- ticularly the real numbers. Since many important varieties have structures which are independent of the field of definition, we feel this approach is justified—and it keeps our presentation elementary and motivated. Lastly, for the most part it will suffice to let F be R or C; not only are these the most important cases, but they are also the sources of our geometric intuitions. n Let A denote affine n-space over F. This is the set of all n-tuples (t1,...,tn) of elements of F.