GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Algebra
  • Applied Mathematics
  • Calculus and Analysis
  • Discrete Mathematics
  • Foundations of Mathematics
  • Geometry
  • History and Terminology
  • Number Theory
  • Probability and Statistics
  • Recreational Mathematics
  • Topology
  • Alphabetical Index
  • Random Entry
  • New in MathWorld

This view

  • Original page
  • New address

GeezerVison is showing mathworld.wolfram.com — Ring -- from Wolfram MathWorld

Search

Ring

DOWNLOAD Mathematica NotebookDownload Wolfram Notebook

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

1. Additive associativity: For all a,b,c in S, (a+b)+c=a+(b+c),

2. Additive commutativity: For all a,b in S, a+b=b+a,

3. Additive identity: There exists an element 0 in S such that for all a in S, 0+a=a+0=a,

4. Additive inverse: For every a in S there exists -a in S such that a+(-a)=(-a)+a=0,

5. Left and right distributivity: For all a,b,c in S, a*(b+c)=(a*b)+(a*c) and (b+c)*a=(b*a)+(c*a),

6. Multiplicative associativity: For all a,b,c in S, (a*b)*c=a*(b*c) (a ring satisfying this property is sometimes explicitly termed an associative ring).

Conditions 1-5 are required. The definition above also requires condition 6. Broader usage allows nonassociative rings (Itô 1993, pp. 1369-1372; Zwillinger 1995, pp. 141-143; Harris and Stocker 1998; Knuth 1998; Korn and Korn 2000; Bronshtein et al. 2004).

Rings may also satisfy various optional conditions:

7. Multiplicative commutativity: For all a,b in S, a*b=b*a (a ring satisfying this property is termed a commutative ring),

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

9. Multiplicative inverse: For each a!=0 in S, there exists an element a^(-1) in S such that a*a^(-1)=a^(-1)*a=1, where 1 is the identity element.

A nonzero ring satisfying all additional properties 6-9, with 1!=0, is called a field, whereas a nonzero ring satisfying properties 6, 8, and 9, with 1!=0, is called a division algebra (or skew field).

Conventions vary as to which additional properties are required of a ring. For example, Birkhoff and Mac Lane (1997) 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,

2. Without multiplicative commutativity: 2×2 real 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." Kleiner (1998, p. 33) dates Fraenkel's first abstract definition of a ring to 1914 and describes its limited initial impact. The term was introduced by Hilbert (1897, §31) to describe rings like

Z[RadicalBox[2, 3]]={a+bRadicalBox[2, 3]+cRadicalBox[4, 3] such that a,b,c in Z}.

By successively multiplying the new element RadicalBox[2, 3], it eventually loops around to become something already generated, something like a ring, that is, (RadicalBox[2, 3])^2=RadicalBox[4, 3] is new but (RadicalBox[2, 3])^3=2 is an integer. Every algebraic integer satisfies a monic polynomial with integer coefficients, so some power is an integer linear combination of lower powers. For example, the algebraic integer eta=sqrt(2)+sqrt(3) satisfies eta^4=10eta^2-1. An arbitrary algebraic number only requires a polynomial relation with rational coefficients.

A ring must contain at least one element, but need not contain a multiplicative identity or be commutative. The numbers of finite associative rings with n elements, counted up to isomorphism, for n=1, 2, ..., are 1, 2, 2, 11, 2, 4, 2, 52, 11, 4, 2, 22, 2, 4, 4, ... (OEIS A027623 and A037234; Fletcher 1980). If p and q are distinct primes, there are two rings of size p, four rings of size pq, 11 rings of size p^2 (Singmaster and Bloom 1964, Dresden), 22 rings of size p^2q, 52 rings of size p^3 for p=2, and 3p+50 rings of size p^3 for p>2 (Antipkin and Elizarov 1982).

If multiplicative associativity is not required, the corresponding counts up to isomorphism begin 1, 2, 2, 55, ... (OEIS A037292). These include the associative rings, so the count 55 at n=4 consists of 11 associative rings and 44 rings that fail multiplicative associativity.

A ring that is commutative under multiplication, has a multiplicative identity 1!=0, and has no zero divisors 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 Z, polynomials R[x] and R[x,y] in one and two variables, and square n×n 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.

A centrally essential ring permits each nonzero element to be multiplied by a nonzero central element to obtain a nonzero central element. This condition is weaker than commutativity.

See also

Abelian Group, Artinian Ring, Chow Ring, Dedekind Ring, Division Algebra, Endomorphism Ring, Field, Gorenstein Ring, Group, Group Ring, Ideal, Integral Domain, Module, Nilpotent Element, Noetherian Ring, Noncommutative Ring, Number Field, Ordered Ring, Prime Ring, Prüfer Ring, Quotient Ring, Regular Ring, Ring Characteristic, Ring of Integers, Ringoid, Semiprime Ring, Semiring, Semisimple Ring, Simple Ring, Trivial Ring, Unit Ring, Zero Divisor Explore this topic in the MathWorld classroom

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

  • linear algebra
  • Riemann surface
  • ring nebula

References

Abyzov, A.; Lyubimtsev, O.; and Tuganbaev, A. "Finite Non-Commutative Centrally Essential Rings of Minimal Order." 26 Oct 2026. https://arxiv.org/abs/2610.36174.Allenby, R. B. Rings, Fields, and Groups: An Introduction to Abstract Algebra, 2nd ed. Oxford, England: Oxford University Press, 1991.Antipkin, V. G. and Elizarov, V. P. "Rings of Order p^3." Siberian Math. J. 23, 457-464, 1982. https://doi.org/10.1007/BF00968650.Ballieu, R. "Anneaux finis; systèmes hypercomplexes de rang trois sur un corps commutatif." Ann. Soc. Sci. Bruxelles. Sér. I 61, 222-227, 1947.Beachy, J. A. Introductory Lectures on Rings and Modules. Cambridge, England: Cambridge University Press, 1999.Berrick, A. J. and Keating, M. E. An Introduction to Rings and Modules with K-Theory in View. Cambridge, England: Cambridge University Press, 2000.Birkhoff, G. and Mac Lane, S. A Survey of Modern Algebra, 5th ed. Wellesley, MA: A K Peters, 1997.Bronshtein, I. N.; Semendyayev, K. A.; Musiol, G.; and Muehlig, H. Handbook of Mathematics, 4th ed. New York: Springer-Verlag, 2004.Dresden, G. "Small Rings." http://home.wlu.edu/~dresdeng/smallrings/.Ellis, G. Rings and Fields. Oxford, England: Oxford University Press, 1993.Fine, B. "Classification of Finite Rings of Order p^2." Math. Mag. 66, 248-252, 1993.Fletcher, C. R. "Rings of Small Order." Math. Gaz. 64, 9-22, 1980.Fraenkel, A. "Über die Teiler der Null und die Zerlegung von Ringen." J. reine angew. Math. 145, 139-176, 1915. https://doi.org/10.1515/crll.1915.145.139.Gilmer, R. and Mott, J. "Associative Rings of Order p^3." Proc. Japan Acad. 49, 795-799, 1973.Harris, J. W. and Stocker, H. Handbook of Mathematics and Computational Science. New York: Springer-Verlag, 1998.Hilbert, D. "Die Theorie der algebraischen Zahlkörper." Jahresber. Deutsch. Math.-Verein. 4, 175-546, 1897. https://doi.org/10.3931/e-rara-10039.Itô, K. (Ed.). "Rings." §368 in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 2. Cambridge, MA: MIT Press, 1993.Kleiner, I. "The Genesis of the Abstract Ring Concept." Amer. Math. Monthly 103, 417-424, 1996.Kleiner, I. "From Numbers to Rings: The Early History of Ring Theory." Elem. Math. 53, 18-35, 1998. https://doi.org/10.1007/s000170050029.Knuth, D. E. The Art of Computer Programming, Vol. 2: Seminumerical Algorithms, 3rd ed. Reading, MA: Addison-Wesley, 1998.Korn, G. A. and Korn, T. M. Mathematical Handbook for Scientists and Engineers. New York: Dover, 2000.Nagell, T. "Moduls, Rings, and Fields." §6 in Introduction to Number Theory. New York: Wiley, pp. 19-21, 1951.Renteln, P. and Dundes, A. "Foolproof: A Sampling of Mathematical Folk Humor." Notices Amer. Math. Soc. 52, 24-34, 2005.Singmaster, D. and Bloom, D. M. "Problem E1648." Amer. Math. Monthly 71, 918-920, 1964.van der Waerden, B. L. A History of Algebra. New York: Springer-Verlag, 1985.Wolfram, S. A New Kind of Science. Champaign, IL: Wolfram Media, p. 1168, 2002.Zwillinger, D. (Ed.). "Rings." §2.6.3 in CRC Standard Mathematical Tables and Formulae. Boca Raton, FL: CRC Press, pp. 141-143, 1995.Sloane, N. J. A. Sequences A027623, A037234, and A037292 in "The On-Line Encyclopedia of Integer Sequences."

Referenced on Wolfram|Alpha

Ring

Cite this as:

Weisstein, Eric W. "Ring." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Ring.html

Subject classifications

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.