A ring in the mathematical sense is a set together with two binary operators and (commonly interpreted as addition and multiplication, respectively) satisfying the following conditions:

1. Additive associativity: For all , ,

2. Additive commutativity: For all , ,

3. Additive identity: There exists an element such that for all , ,

4. Additive inverse: For every there exists such that ,

5. Left and right distributivity: For all , and ,

6. Multiplicative associativity: For all , (a ring satisfying this property is sometimes explicitly termed an associative ring).

Conditions 1-5 are always required. Though non-associative rings exist, virtually all texts also require condition 6 (Itô 1986, pp. 1369-1372; p. 418; Zwillinger 1995, pp. 141-143; Harris and Stocker 1998; Knuth 1998; Korn and Korn 2000; Bronshtein and Semendyayev 2004).

Rings may also satisfy various optional conditions:

7. Multiplicative commutativity: For all , (a ring satisfying this property is termed a commutative ring),

8. Multiplicative identity: There exists an element such that for all , (a ring satisfying this property is termed a unit ring, or sometimes a "ring with identity"),

9. Multiplicative inverse: For each in , there exists an element such that for all , , where 1 is the identity element.

A ring satisfying all additional properties 6-9 is called a field, whereas one satisfying only additional properties 6, 8, and 9 is called a division algebra (or skew field).

Some authors depart from the normal convention and require (under their definition) a ring to include additional properties. For example, Birkhoff and Mac Lane (1996) define a ring to have a multiplicative identity (i.e., property 8).

Here are a number of examples of rings lacking particular conditions:

1. Without multiplicative associativity (sometimes also called nonassociative algebras): octonions, OEIS A037292,

2. Without multiplicative commutativity: Real-valued matrices, quaternions,

3. Without multiplicative identity: Even-valued integers,

4. Without multiplicative inverse: integers.

The word ring is short for the German word 'Zahlring' (number ring). The French word for a ring is *anneau*, and the modern German word is *Ring*, both meaning
(not so surprisingly) "ring." Fraenkel (1914) gave the first abstract definition
of the ring, although this work did not have much impact. The term was introduced
by Hilbert to describe rings like

By successively multiplying the new element , it eventually loops around to become something already generated, something like a ring, that is, is new but is an integer. All algebraic numbers have this property, e.g., satisfies .

A ring must contain at least one element, but need not contain a multiplicative identity or be commutative. The number of finite rings of elements for , 2, ..., are 1, 2, 2, 11, 2, 4, 2, 52, 11, 4, 2, 22, 2, 4, 4, ... (OEIS A027623 and A037234; Fletcher 1980). If and are prime, there are two rings of size , four rings of size , 11 rings of size (Singmaster 1964, Dresden), 22 rings of size , 52 rings of size for , and 53 rings of size for (Ballieu 1947, Gilmer and Mott 1973; Dresden).

A ring that is commutative under multiplication, has a unit element, and has no divisors of zero is called an integral domain. A ring whose nonzero elements form a commutative multiplication group is called a field. The simplest rings are the integers , polynomials and in one and two variables, and square real matrices.

Rings which have been investigated and found to be of interest are usually named after one or more of their investigators. This practice unfortunately leads to names which give very little insight into the relevant properties of the associated rings.

Renteln and Dundes (2005) give the following (bad) mathematical joke about rings:

Q: What's an Abelian group under addition, closed, associative, distributive, and bears a curse? A: The Ring of the Nibelung.