 Commutative ring

In ring theory, a branch of abstract algebra, a commutative ring is a ring in which the multiplication operation is commutative. The study of commutative rings is called commutative algebra.
Some specific kinds of commutative rings are given with the following chain of class inclusions:
 Commutative rings ⊃ integral domains ⊃ integrally closed domains ⊃ unique factorization domains ⊃ principal ideal domains ⊃ Euclidean domains ⊃ fields
Contents
Definition and first examples
Definition
For more details on the definition of rings, see Ring (mathematics).A ring is a set R equipped with two binary operations, i.e. operations combining any two elements of the ring to a third. They are called addition and multiplication and commonly denoted by "+" and "⋅"; e.g. a + b and a ⋅ b. To form a ring these two operations have to satisfy a number of properties: the ring has to be an abelian group under addition as well as a monoid under multiplication, where multiplication distributes over addition; i.e., a ⋅ (b + c) = (a ⋅ b) + (a ⋅ c). The identity elements for addition and multiplication are denoted 0 and 1, respectively.
If, in addition, the multiplication is also commutative:
 a ⋅ b = b ⋅ a
the ring R is called commutative. In the remainder of this article, all rings will be commutative, unless explicitly stated otherwise.
First examples
An important example, and in some sense crucial, is the ring of integers Z with the two operations of addition and multiplication. As the multiplication of integers is a commutative operation, this is a commutative ring. It is usually denoted Z as an abbreviation of the German word Zahlen (numbers).
A field is a commutative ring where every nonzero element a is invertible; i.e., has a multiplicative inverse b such that a ⋅ b = 1. Therefore, by definition, any field is a commutative ring. The rational, real and complex numbers form fields.
The ring of 2×2 matrices is not commutative, since matrix multiplication fails to be commutative, as the following example shows:
However, matrices that can be diagonalized with the same similarity transformation do form a commutative ring. An example is the set of matrices of divided differences with respect to a fixed set of nodes.
If R is a given commutative ring, then the set of all polynomials in the variable X whose coefficients are in R forms the polynomial ring, denoted R[X]. The same holds true for several variables.
If V is some topological space, for example a subset of some R^{n}, real or complexvalued continuous functions on V form a commutative ring. The same is true for differentiable or holomorphic functions, when the two concepts are defined, such as for V a complex manifold.
Ideals and the spectrum
In the following, R denotes a commutative ring.In contrast to fields, where every nonzero element is multiplicatively invertible, the theory of rings is more complicated. There are several notions to cope with that situation. First, an element a of a R is called a unit if it possesses a multiplicative inverse. Another particular type of element is the zero divisors, i.e. a nonzero element a such that there exists a nonzero element b of the ring such that ab = 0. If R possesses no zero divisors, it is called an integral domain since it closely resembles the integers in some ways.
Many of the following notions also exist for not necessarily commutative rings, but the definitions and properties are usually more complicated. For example, all ideals in a commutative ring are automatically twosided, which simplifies the situation considerably.
Ideals and factor rings
Main articles: Ideal and Factor ringThe inner structure of a commutative ring is determined by considering its ideals, i.e. nonempty subsets that are closed under multiplication with arbitrary ring elements and addition: for all r in R, i and j in I, both ri and i + j are required to be in I. Given any subset F = {f_{j}}_{j ∈ J} of R (where J is some index set), the ideal generated by F is the smallest ideal that contains F. Equivalently, it is given by finite linear combinations
 r_{1}f_{1} + r_{2}f_{2} + ... + r_{n}f_{n}.
An ideal generated by one element is called principal ideal. A ring all of whose ideals are principal is called a principal ideal ring, two important cases are Z and k[X], the polynomial ring over a field k. Any ring has two ideals, namely the zero ideal {0} and R, the whole ring. Any ideal that is not contained in any proper ideal (i.e. ≠R) is called maximal. An ideal m is maximal if and only if R / m is a field. Any ring possesses at least one maximal ideal, a statement following from Zorn's lemma, which is equivalent to the axiom of choice.
The definition of ideals is such that "dividing" I "out" gives another ring, the factor ring R / I: it is the set of cosets of I together with the operations
 (a + I) + (b + I) = (a + b) + I and (a + I)(b + I) = ab + I.
For example, the ring Z/nZ (also denoted Z_{n}), where n is an integer, is the ring of integers modulo n. It is the basis of modular arithmetic.
Localizations
Main article: Localization of a ringThe localization of a ring is the counterpart to factor rings insofar as in a factor ring R / I certain elements (namely the elements of I) become zero, whereas in the localization certain elements are rendered invertible, i.e. multiplicative inverses are added to the ring. Concretely, if S is a multiplicatively closed subset of R (i.e. whenever s, t ∈ S then so is st) then the localization of R at S, or ring of fractions with denominators in S, usually denoted S^{−1}R consists of symbols
 with r ∈ R, s ∈ S
subject to certain rules that mimick the cancellation familiar from rational numbers. Indeed, in this language Q is the localization of Z at all nonzero integers. This construction works for any integral domain R instead of Z. The localization (R \ {0})^{−1}R is called the quotient field of R. If S consists of the powers of one fixed element f, the localisation is written R_{f}.
Prime ideals and the spectrum
Main articles: Prime ideal and Spectrum of a ringA particularly important type of ideals is prime ideals, often denoted p. This notion arose when algebraists (in the 19th century) realized that, unlike in Z, in many rings there is no unique factorization into prime numbers. (Rings where it does hold are called unique factorization domains.) By definition, a prime ideal is a proper ideal such that, whenever the product ab of any two ring elements a and b is in p, at least one of the two elements is already in p. (The opposite conclusion holds for any ideal, by definition). Equivalently, the factor ring R / p is an integral domain. Yet another way of expressing the same is to say that the complement R \ p is multiplicatively closed. The localisation (R \ p)^{−1}R is important enough to have its own notation: R_{p}. This ring has only one maximal ideal, namely pR_{p}. Such rings are called local.
By the above, any maximal ideal is prime. Proving that an ideal is prime, or equivalently that a ring has no zerodivisors can be very difficult.
Prime ideals are the key step in interpreting a ring geometrically, via the spectrum of a ring Spec R: it is the set of all prime ideals of R.^{[nb 1]} As noted above, there is at least one prime ideal, therefore the spectrum is nonempty. If R is a field, the only prime ideal is the zero ideal, therefore the spectrum is just one point. The spectrum of Z, however, contains one point for the zero ideal, and a point for any prime number p (which generates the prime ideal pZ). The spectrum is endowed with a topology called the Zariski topology, which is determined by specifying that subsets D(f) = {p ∈ Spec R, f ∉ p}, where f is any ring element, be open. This topology tends to be different from those encountered in analysis or differential geometry; for example, there will generally be points which are not closed. The closure of the point corresponding to the zero ideal 0 ⊂ Z, for example, is the whole spectrum of Z.
The notion of a spectrum is the common basis of commutative algebra and algebraic geometry. Algebraic geometry proceeds by endowing Spec R with a sheaf (an entity that collects functions defined locally, i.e. on varying open subsets). The datum of the space and the sheaf is called an affine scheme. Given an affine scheme, the underlying ring R can be recovered as the global sections of . Moreover, the established onetoone correspondence between rings and affine schemes is also compatible with ring homomorphisms: any f : R → S gives rise to a continuous map in the opposite direction
 Spec S → Spec R, q ↦ f^{−1}(q), i.e. any prime ideal of S is mapped to its preimage under f, which is a prime ideal of R.
The spectrum also makes precise the intuition that localisation and factor rings are complementary: the natural maps R → R_{f} and R → R / fR correspond, after endowing the spectra of the rings in question with their Zariski topology, to complementary open and closed immersions respectively.
Altogether the equivalence of the two said categories is very apt to reflect algebraic properties of rings in a geometrical manner. Affine schemes are–much the same way as manifolds are locally given by open subsets of R^{n}–local models for schemes, which are the object of study in algebraic geometry. Therefore, many notions that apply to rings and homomorphisms stem from geometric intuition.
Ring homomorphisms
Main article: Ring homomorphismAs usual in algebra, a function f between two objects that respects the structures of the objects in question is called homomorphism. In the case of rings, a ring homomorphism is a map f : R → S such that
 f(a + b) = f(a) + f(b), f(ab) = f(a)f(b) and f(1) = 1.
These conditions ensure f(0) = 0, but the requirement that the multiplicative identity element 1 is preserved under f would not follow from the two remaining properties. In such a situation S is also called an Ralgebra, by understanding that s in S may be multiplied by some r of R, by setting
 r · s := f(r) · s.
The kernel and image of f are defined by ker (f) = {r ∈ R, f(r) = 0} and im (f) = f(R) = {f(r), r ∈ R}. Both kernel and image are subrings of R and S, respectively.
Modules
Main article: ModulesThe outer structure of a commutative ring is determined by considering linear algebra over that ring, i.e., by investigating the theory of its modules, which are similar to vector spaces, except that the base is not necessarily a field, but can be any ring R. The theory of Rmodules is significantly more difficult than linear algebra of vector spaces. Module theory has to grapple with difficulties such as modules not having bases, that the rank of a free module (i.e. the analog of the dimension of vector spaces) may not be welldefined and that submodules of finitely generated modules need not be finitely generated (unless R is Noetherian, see below).
Ideals within a ring R can be characterized as Rmodules which are submodules of R. On the one hand, a good understanding of Rmodules necessitates enough information about R. Vice versa, however, many techniques in commutative algebra that study the structure of R, by examining its ideals, proceed by studying modules in general.
Noetherian rings
Main article: Noetherian ringA ring is called Noetherian (in honor of Emmy Noether, who developed this concept) if every ascending chain of ideals
 0 ⊆ I_{0} ⊆ I_{1} ... ⊆ I_{n} ⊆ I_{n + 1} ⊆ ...
becomes stationary, i.e. becomes constant beyond some index n. Equivalently, any ideal is generated by finitely many elements, or, yet equivalent, submodules of finitely generated modules are finitely generated. A ring is called Artinian (after Emil Artin), if every descending chain of ideals
 R ⊇ I_{0} ⊇ I_{1} ... ⊇ I_{n} ⊇ I_{n + 1} ⊇ ...
becomes stationary eventually. Despite the two conditions appearing symmetric, Noetherian rings are much more general than Artinian rings. For example, Z is Noetherian, since every ideal can be generated by one element, but is not Artinian, as the chain
 Z ⊋ 2Z ⊋ 4Z ⊋ 8Z ⊋ ...
shows. In fact, every Artinian ring is Noetherian.
Being Noetherian is an extremely important finiteness condition. The condition is preserved under many operations that occur frequently in geometry: if R is Noetherian, then so is the polynomial ring R[X_{1}, X_{2}, ..., X_{n}] (by Hilbert's basis theorem), any localization S^{−1}R, factor rings R / I.
Dimension
Main article: Krull dimensionThe Krull dimension (or simply dimension) dim R of a ring R is a notion to measure the "size" of a ring, very roughly by the counting independent elements in R. Precisely, it is defined as the supremum of lengths n of chains of prime ideals
 0 ⊆ p_{0} ⊆ p_{1} ⊆ ... ⊆ p_{n}.
For example, a field is zerodimensional, since the only prime ideal is the zero ideal. It is also known that a commutative ring is Artinian if and only if it is Noetherian and zerodimensional (i.e., all its prime ideals are maximal). The integers are onedimensional: any chain of prime ideals is of the form
 0 = p_{0} ⊆ pZ = p_{1}, where p is a prime number
since any ideal in Z is principal.
The dimension behaves well if the rings in question are Noetherian: the expected equality
 dim R[X] = dim R + 1
holds in this case (in general, one has only dim R + 1 ≤ dim R[X] ≤ 2 · dim R + 1). Furthermore, since the dimension depends only on one maximal chain, the dimension of R is the supremum of all dimensions of its localisations R_{p}, where p is an arbitrary prime ideal. Intuitively, the dimension of R is a local property of the spectrum of R. Therefore, the dimension is often considered for local rings only, also since general Noetherian rings may still be infinite, despite all their localisations being finitedimensional.
Determining the dimension of, say,
 k[X_{1}, X_{2}, ..., X_{n}] / (f_{1}, f_{2}, ..., f_{m}), where k is a field and the f_{i} are some polynomials in n variables,
is generally not easy. For R Noetherian, the dimension of R / I is, by Krull's principal ideal theorem, at least dim R − n, if I is generated by n elements. If the dimension does drops as much as possible, i.e. dim R / I = dim R − n, the R / I is called a complete intersection.
A local ring R, i.e. one with only one maximal ideal m, is called regular, if the (Krull) dimension of R equals the dimension (as a vector space over the field R / m) of the cotangent space m / m^{2}.
Constructing commutative rings
There are several ways to construct new rings out of given ones. The aim of such constructions is often to improve certain properties of the ring so as to make it more readily understandable. For example, an integral domain that is integrally closed in its field of fractions is called normal. This is a desirable property, for example any normal onedimensional ring is necessarily regular. Rendering a ring normal is known as normalization.
Completions
If I is an ideal in a commutative ring R, the powers of I form topological neighborhoods of 0 which allow R to be viewed as a topological ring. This topology is called the Iadic topology. R can then be completed with respect to this topology. Formally, the Iadic completion is the inverse limit of the rings R/I^{n}. For example, if k is a field, k[[X]], the formal power series ring in one variable over k, is the Iadic completion of k[X] where I is the principal ideal generated by X. Analogously, the ring of padic integers is the Iadic completion of Z where I is the principal ideal generated by p. Any ring that is isomorphic to its own completion, is called complete.
Properties
By Wedderburn's theorem, every finite division ring is commutative, and therefore a finite field. Another condition ensuring commutativity of a ring, due to Jacobson, is the following: for every element r of R there exists an integer n > 1 such that r^{n} = r.^{[1]} If, r^{2} = r for every r, the ring is called Boolean ring. More general conditions which guarantee commutativity of a ring are also known.^{[2]}
See also
 Graded ring
Notes
 ^ This notion can be related to the spectrum of a linear operator, see Spectrum of a C*algebra and Gelfand representation.
Citations
References
 Atiyah, Michael; Macdonald, I. G. (1969), Introduction to commutative algebra, AddisonWesley Publishing Co.
 Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Commutative Noetherian and Krull rings, Ellis Horwood Series: Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 9780131556157
 Balcerzyk, Stanisław; Józefiak, Tadeusz (1989), Dimension, multiplicity and homological methods, Ellis Horwood Series: Mathematics and its Applications., Chichester: Ellis Horwood Ltd., ISBN 9780131556232
 Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry., Graduate Texts in Mathematics, 150, Berlin, New York: SpringerVerlag, ISBN 9780387942681; 9780387942698, MR1322960
 Jacobson, Nathan (1945), "Structure theory of algebraic algebras of bounded degree", Annals of Mathematics 46 (4): 695–707, doi:10.2307/1969205, ISSN 0003486X, JSTOR 1969205
 Kaplansky, Irving (1974), Commutative rings (Revised ed.), University of Chicago Press, MR0345945
 Matsumura, Hideyuki (1989), Commutative Ring Theory, Cambridge Studies in Advanced Mathematics (2nd ed.), Cambridge University Press, ISBN 9780521367646
 Nagata, Masayoshi (1962), Local rings, Interscience Tracts in Pure and Applied Mathematics, 13, Interscience Publishers, pp. xiii+234, ISBN 9780882752280 (1975 reprint), MR0155856
 PinterLucke, James (2007), "Commutativity conditions for rings: 1950–2005", Expositiones Mathematicae 25 (2): 165–174, doi:10.1016/j.exmath.2006.07.001, ISSN 07230869
 Zariski, Oscar; Samuel, Pierre (195860), Commutative Algebra I, II, University series in Higher Mathematics, Princeton, N.J.: D. van Nostrand, Inc. (Reprinted 197576 by Springer as volumes 2829 of Graduate Texts in Mathematics.)
Categories:
Wikimedia Foundation. 2010.
Look at other dictionaries:
Ring — /ring/, n. a male given name. * * * I Circular band of gold, silver, or other precious or decorative material usually worn on the finger, but sometimes on the toes, the ears, or the nose. The earliest examples were found in the tombs of ancient… … Universalium
Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… … Wikipedia
Ring theory — In abstract algebra, ring theory is the study of rings algebraic structures in which addition and multiplication are defined and have similar properties to those familiar from the integers. Ring theory studies the structure of rings, their… … Wikipedia
Commutative algebra — This page deals with the area of study. For algebras which are commutative, see algebra (disambiguation). Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both… … Wikipedia
Commutative property — For other uses, see Commute (disambiguation). In mathematics an operation is commutative if changing the order of the operands does not change the end result. It is a fundamental property of many binary operations, and many mathematical proofs… … Wikipedia
ring — ring1 ringless, adj. ringlike, adj. /ring/, n., v., ringed, ringing. n. 1. a typically circular band of metal or other durable material, esp. one of gold or other precious metal, often set with gems, for wearing on the finger as an ornament, a… … Universalium
Ring homomorphism — In ring theory or abstract algebra, a ring homomorphism is a function between two rings which respects the operations of addition and multiplication. More precisely, if R and S are rings, then a ring homomorphism is a function f : R → S such that … Wikipedia
Ring of integers — In mathematics, the ring of integers is the set of integers making an algebraic structure Z with the operations of integer addition, negation, and multiplication. It is a commutative ring, and is the prototypical such by virtue of satisfying only … Wikipedia
Ring of mixed characteristic — In commutative algebra, a ring of mixed characteristic is a commutative ring R having characteristic zero and having an ideal I such that R / I has positive characteristic. Examples The integers Z have characteristic zero, but for any prime… … Wikipedia
commutative — adjective a) Such that the order in which the operands are taken does not affect their image under the operation. Addition on the real numbers is commutative because for any real numbers , . b) Having a commutative operation. Syn: abelian … Wiktionary