Commutative ring

• 1. Introduction

  ›

  Commutative rings sit at the heart of modern mathematics, quietly underpinning everything from the integers we count with as children to the geometry of curved spaces. The rule that defines them is almost embarrassingly simple: multiply two elements in one order, and you get the same answer as multiplying them in the reverse order. Yet from this single constraint springs one of the richest fields in all of algebra. The ring of integers, the most natural example, obeys this rule. So do the rational numbers, the real numbers, and the complex numbers. So do rings of polynomials, and rings built from continuous functions on a geometric space. What makes the commutative case so compelling is not the definition itself but the astonishing number of deep properties that flow from it. The formal study of these structures is called commutative algebra, and its twin discipline, noncommutative algebra, exists largely because so many powerful theorems simply do not survive the removal of that single symmetry condition. How do you factor elements of a ring that has no unique factorization? What happens when you try to measure the "size" of a ring the way you would measure the dimension of a space? And what does any of this have to do with the solution sets of polynomial equations? Those are the questions this documentary will try to answer.

• 2. The Integer Blueprint

  ›

  The integers, abbreviated Z from the German word Zahlen, are described in the source as an important and, in some sense, crucial example of a commutative ring. Every commutative ring is linked to Z by a unique ring homomorphism, meaning there is exactly one way to interpret ordinary integers inside any commutative ring. That is a remarkable statement. It means the integers are the initial object in the entire category of commutative rings: every other ring receives a copy of Z as a foundation. The binomial formula, familiar from high school algebra, holds in any commutative ring precisely because of this universal map. Fields, such as the rationals, the reals, and the complex numbers, are commutative rings with an extra condition: every nonzero element has a multiplicative inverse. A field has exactly two ideals, the zero ideal and the whole ring. The integers, by contrast, are far richer in structure; they have infinitely many ideals, one for each integer, generated by the multiples of a single element. Such a ring, where every ideal is generated by a single element, is called a principal ideal ring. Since the integers also have no zero divisors, they form a principal ideal domain, one of the two most important examples alongside the polynomial ring over a field. Any principal ideal domain is also a unique factorization domain, which means every element breaks down into irreducible pieces in one and only one way up to reordering. For the integers, this is exactly the fundamental theorem of arithmetic.

• 3. Ideals and the Problem of Factorization

  ›

  Algebraists in the 19th century noticed something troubling: unique factorization fails in rings more general than the integers. In the ring formed by adjoining the square root of negative five to the integers, the number 6 has two genuinely distinct factorizations as a product of irreducible elements. The resolution came through prime ideals. A prime ideal is a proper subset of a ring such that whenever the product of two elements falls inside it, at least one of those elements must already be there. In a principal ideal domain, every prime ideal is generated by a prime element, and the two notions align perfectly. But in more general rings, prime ideals carry the concept further than prime elements ever could. A cornerstone result of algebraic number theory is that in any Dedekind ring, which includes the integers and more generally the ring of integers in any number field, every ideal decomposes uniquely as a product of prime ideals. This restores the order that element-level factorization had lost. The structure of ideals can be organized by two finiteness conditions named after Emmy Noether and Emil Artin. A Noetherian ring, named in honor of Noether, who developed the concept, satisfies the property that every ascending chain of ideals eventually stabilizes. An Artinian ring satisfies the analogous condition for descending chains. Despite the apparent symmetry, the two conditions are deeply asymmetric: by the Hopkins-Levitzki theorem, every Artinian ring is automatically Noetherian, but the integers show the converse fails, since the descending chain of ideals generated by successive powers of a prime never stabilizes.

• 4. Geometry from Algebra

  ›

  The spectrum of a commutative ring, denoted Spec R, is the set of all its prime ideals, and it is the bridge between algebra and geometry. Each element of the ring behaves like a function on this space: the value of an element f at a prime ideal p is its image in the residue field at that point. The topology placed on Spec R, called the Zariski topology, reflects algebraic properties of the ring in a geometric language, though it is quite different from the familiar topology on the real number line even for basic rings. For an algebraically closed field k, the maximal ideals of a polynomial ring correspond exactly to the solution sets of polynomial equations. Maximal ideals are thus where geometry and algebra first meet. But non-maximal prime ideals also carry geometric meaning: the minimal prime ideals of a Noetherian ring correspond to the irreducible components of Spec R, and primary decomposition ensures there are only finitely many of them. Endowing Spec R with a sheaf, a device that tracks functions defined on varying open subsets, produces an affine scheme. Affine schemes are the local building blocks for the objects studied in algebraic geometry, playing the same role that open subsets of n-dimensional real space play for manifolds. The Krull dimension of a ring, which measures its size by the length of the longest chain of prime ideals, formalizes the intuition of geometric dimension: a field is zero-dimensional, and the integers are one-dimensional, since any chain of prime ideals in Z has the form of the zero ideal contained in the ideal generated by a single prime number p.

• 5. Local Rings and Regularity

  ›

  A local ring has exactly one maximal ideal, called m, and its study turns out to be central to commutative algebra because many global problems can be reduced to the local case. For any ring R and any prime ideal p, the localization of R at p is a local ring that captures the geometric behavior of Spec R around that point. The residue field k of a local ring is the quotient of R by its maximal ideal m. The vector space m divided by m squared is an algebraic incarnation of the cotangent space at p, a concept imported directly from differential geometry. Elements of m are thought of as functions vanishing at the point, while m squared contains the functions vanishing to at least second order. For a Noetherian local ring, the dimension of m over m squared is always at least the Krull dimension of the ring. When equality holds, the ring is called regular. Regular local rings behave much like polynomial rings: they are unique factorization domains, and a local Noetherian ring is regular if and only if its global dimension is finite. Discrete valuation rings, which are equipped with a function assigning an integer valuation to each element, are precisely the one-dimensional regular local rings. The ring of germs of holomorphic functions on a Riemann surface is one such example. Stepping down from regularity, a Cohen-Macaulay ring is one where the depth, measured by the length of a maximal regular sequence, equals the Krull dimension. Cohen-Macaulay rings are more robust under taking quotients than regular local rings while still retaining desirable structural properties.

• 6. Homological Methods

  ›

  Projective modules, defined as direct summands of free modules, generalize the notion of a vector bundle to the algebraic setting. Over a local ring, any finitely generated projective module is actually free, which tightens the analogy. The Quillen-Suslin theorem establishes that over a polynomial ring in finitely many variables over a field, every finitely generated projective module is also free, though the two concepts diverge in more general settings. The Ext functor is the derived functor of the Hom functor and measures how far a module is from being projective. A local Noetherian ring R with residue field k is regular if and only if the Ext groups of k over R vanish for all sufficiently large n. When instead the dimensions of these Ext groups, known as Betti numbers, grow polynomially in n, the ring is a local complete intersection ring. The Koszul complex provides an explicit free resolution of the residue field in terms of a regular sequence and is a key computational tool in these arguments. Flatness is another homological property with direct geometric meaning. A ring homomorphism R to S is flat when the tensor product functor it defines is exact, not merely right-exact. When S is flat over R, the fibers of the corresponding map of spectra have the expected dimension: dim S minus dim R plus the dimension of R modulo the relevant prime ideal. This expected-dimension behavior is what flat morphisms preserve, making flatness an indispensable condition in algebraic geometry and a starting point for the Hensel's lemma machinery available in complete local rings.

• 7. Beyond the Commutative World

  ›

  The theory of commutative rings opens outward into several generalizations. A graded-commutative ring is one where the sign of the product of two homogeneous elements depends on their degrees, so commutativity holds only up to a sign determined by grading. When such a ring is also equipped with a differential satisfying an abstract product rule, the result is a commutative differential graded algebra, abbreviated cdga. The complex of differential forms on a manifold, with multiplication given by the exterior product, is one such example, and its cohomology is itself a graded-commutative ring called the cohomology ring. A graded-commutative ring graded by the integers modulo two is called a superalgebra. An almost commutative ring is filtered in such a way that the associated graded ring is commutative; the Weyl algebra and other rings of differential operators fall into this category. Simplicial commutative rings, which are simplicial objects in the category of commutative rings, serve as building blocks for connective derived algebraic geometry; the more general notion here is that of an E-infinity ring. Among the concrete applications listed in the source, the Hecke algebra appears in Andrew Wiles's proof of Fermat's Last Theorem, and the Lazard ring, which is the ring of cobordism classes of complex manifolds, appears as the universal example of a graded-commutative ring arising from formal group laws. As of 2017, one open question remains regarding curves in three-dimensional space: it is not known in general whether every such curve is a set-theoretic complete intersection.