Ring (mathematics)

From Example Problems
(Redirected from Ring (algebra))
Jump to navigation Jump to search

In mathematics, a ring is an algebraic structure in which addition and multiplication are defined and have properties listed below. A ring is a generalization of the integers, which are one example of a ring. Other examples include the polynomials and the integers modulo n. The branch of abstract algebra which studies rings is called ring theory.

Formal definition

A ring is a set R equipped with two binary operations + and ·, called addition and multiplication, such that:

  • (R, +) is an abelian group with identity element 0:
    • (a + b) + c = a + (b + c)
    • a + b = b + a
    • 0 + a = a + 0 = a
    • a ∃(−a) such that a + −a = −a + a = 0
  • (R, ·) is a monoid with identity element 1:
    • a = a·1 = a
    • (a·bc = a·(b·c)
  • Multiplication distributes over addition:
    • a·(b + c) = (a·b) + (a·c)
    • (a + bc = (a·c) + (b·c)

As with groups the symbol · is usually omitted and multiplication is just denoted by juxtaposition. Also the standard order of operation rules are used, so that for example, a+bc is an abbreviation for a+(b·c).

Although ring addition is commutative, such that a+b = b+a, ring multiplication is not required to be commutatitve — a·b need not equal b·a. Rings that also satisfy commutativity for multiplication (such as the ring of integers) are called commutative rings. Not all rings are commutative. For example Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle M_n(K)} , the ring of Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n\times n} matrices over a field 'K', is a non-commutative ring.

Rings need not have a multiplicative inverses either. An element a in a ring is called a unit if it is invertible with respect to multiplication, such that if there is an element b in the ring such that a·b = b·a = 1. If that is the case, then b is uniquely determined by a and we write a−1 = b. The set of all units in R forms a group under ring multiplication; this group is denoted by U(R).

Alternative definitions

There are some alternative definitions of rings of which the reader should be aware:

  • Some authors add the additional requirement that 0 ≠ 1. This omits only one ring: the so called trivial ring, which has only a single element.
  • A more significant difference is that some authors (such as I. N. Herstein) omit the requirement that a ring have a multiplicative identity. These authors call rings which do have multiplicative identities unital rings, unitary rings, or simply rings with a 1. Authors such as Bourbaki, who do require rings to have an identity, call algebraic objects which meet all the requirements of a ring except the identity requirement pseudo-rings.
  • Similarly, the requirement for the ring multiplication to be associative is sometimes dropped, and rings in which the associative law holds are called associative rings. See nonassociative rings for a discussion of the more general situation.

In this article all rings are assumed to be associative and unital unless otherwise stated.


  • The trivial ring {0} has only one element which serves both as additive and multiplicative identity. Note that some authors define the ring as to specifically exclude this from being considered a ring.
  • The motivating example is the ring of integers with the two operations of addition and multiplication. This is a commutative ring.
  • Every field is by definition a commutative ring.
  • The Gaussian integers form a ring, as do the Eisenstein integers.
  • The polynomial ring R[X] of polynomials over a ring R is also a ring.
  • Noncommutative ring: For any ring R and any natural number n, the set of all square n-by-n matrices with entries from R, forms a ring with matrix addition and matrix multiplication as operations. For n=1, this matrix ring is just (isomorphic to) R itself. For n>2, this matrix ring is an example of a noncommutative ring (unless R is the trivial ring).
  • Finite ring: If n is a positive integer, then the set Zn = Z/nZ of integers modulo n (as an additive group the cyclic group of order n ) forms a ring with n elements (see modular arithmetic).
  • If S is a set, then the power set of S becomes a ring if we define addition to be the symmetric difference of sets and multiplication to be intersection. This is an example of a Boolean ring.
  • The set of all continuous real-valued functions defined on the interval [a, b] forms a ring (even an associative algebra). The operations are addition and multiplication of functions.
  • If G is an abelian group, then the endomorphisms of G form a ring, the endomorphism ring End(G) of G. The operations in this ring are addition and composition of endomorphisms.
  • If G is a group and R is a ring the group ring of G over R is a free module over having G as basis. Multiplication is defined by the rules that the elements of G commute with the elements of R and multiply together as they do in the group G.
  • Non-example: The set of natural numbers N is not a ring, since (N, +) is not even a group (the elements are not invertible with respect to addition). For instance, there is no natural number which can be added to 3 to get 0 as a result. To make it a ring one needs to add negative numbers to the set, thus obtaining the ring of integers. The natural numbers form an algebraic structure known as a semiring (which has all of the properties of a ring except the additive inverse property).

Basic theorems

From the axioms, one can immediately deduce that, for all elements a and b of a ring, we have

  • 0a = a0 = 0
  • (−1)a = −a
  • (−a)b = a(−b) = −(ab)
  • (ab)−1 = b−1 a−1 if both a and b are invertible

Other basic theorems

  • The identity element 1 is unique
  • If the ring has at least two elements then 0 ≠ 1
  • The binomial theorem Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x+y)^n=\sum_{k=0}^n{n \choose k}x^ky^{n-k}} works in a ring if xy=yx

Constructing new rings from given ones

  • For every ring R we can define the opposite ring Rop by reversing the muliplications in R. Given the multiplication · in R the multiplication in Rop is defined as b·a := a·b. A ring R and its opposite ring are isomorphic if and only if R is commutative.
  • If a subset S of a ring R is closed under multiplication and subtraction and contains the multiplicative identity element, then S is called a subring of R.
  • The center of a ring R is the set of elements of R that commute with every element of R; that is, c lies in the center if cr=rc for every r in R. The center is a subring of R. We say that a subring S of R is central if it is a subring of the center of R.
  • The direct product of two rings R and S is the cartesian product R×S together with the operations
(r1, s1) + (r2, s2) = (r1+r2, s1+s2) and
(r1, s1)(r2, s2) = (r1r2, s1s2).
  • Given a ring R and an ideal I of R, the quotient ring (or factor ring) R/I 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.
  • Since any ring is both a left and right module over itself, it is possible to construct the tensor product of R over a ring S with another ring T to get another ring provided S is a central subring of R and T.

Categorical description

Just as monoids and groups can be viewed as categories with a single object, rings can be viewed as (pre)additive categories with a single object. Here the morphisms are the ring elements, composition of morphisms is ring multiplication, and the additive structure on morphisms in ring addition. The opposite ring is then the categorical dual.

See also

Error creating thumbnail: Unable to save thumbnail to destination
Wikibooks Abstract algebra has more about this subject: