Difference between revisions of "Ring"

m
Line 3: Line 3:
 
A '''ring''' is a structure of [[abstract algebra]], similar to a [[group]] or a [[field]].  A ring <math>R</math> is a [[set]] of elements with two operations, usually called multiplication and addition and denoted <math>\cdot</math> and <math>+</math>, which have the following properties:
 
A '''ring''' is a structure of [[abstract algebra]], similar to a [[group]] or a [[field]].  A ring <math>R</math> is a [[set]] of elements with two operations, usually called multiplication and addition and denoted <math>\cdot</math> and <math>+</math>, which have the following properties:
  
There exists an element, usually denoted 0, such that <math>0 + a = a + 0 = a</math> for all <math>a\in R</math>.
+
Under the operation +, the ring is an [[abelian group]] and so obeys all the group axioms (existence of an [[identity]], existence of [[inverse]]s, [[associativity]]) as well as [[commutivity]].
(List of other defining properties goes here.)
 
  
 +
There exists an element, usually denoted 1, such that <math>1 \cdot a = a \cdot 1 = a</math> for all <math>a\in R</math>.  (Multiplicative identity.)
 +
 +
For every three elements <math>a, b, c\in R</math> we have <math>a\cdot(b\cdot c) = (a\cdot b)\cdot c</math>.  (Associativity.)
 +
 +
For every three elements <math>a, b, c\in R</math> we have <math>a\cdot(b + c) = (a\cdot b) + (a\cdot c)</math> and <math>(a + b)\cdot c = (a\cdot c) + (b\cdot c)</math>.  (Distributivity of multiplication over addition.)
 +
 +
 +
Note especially that multiplicative inverses need not exist, and that multiplication need not be commutative.
  
 
Common examples of rings include the [[integer]]s or the integers taken [[modular arithmetic|modulo]] <math>n</math>, with addition and multiplication as usual.  In addition, every field is a ring.
 
Common examples of rings include the [[integer]]s or the integers taken [[modular arithmetic|modulo]] <math>n</math>, with addition and multiplication as usual.  In addition, every field is a ring.
 +
 +
 +
==See also==
 +
 +
* [[Ring theory]]

Revision as of 10:41, 16 July 2006

This article is a stub. Help us out by expanding it.

A ring is a structure of abstract algebra, similar to a group or a field. A ring $R$ is a set of elements with two operations, usually called multiplication and addition and denoted $\cdot$ and $+$, which have the following properties:

Under the operation +, the ring is an abelian group and so obeys all the group axioms (existence of an identity, existence of inverses, associativity) as well as commutivity.

There exists an element, usually denoted 1, such that $1 \cdot a = a \cdot 1 = a$ for all $a\in R$. (Multiplicative identity.)

For every three elements $a, b, c\in R$ we have $a\cdot(b\cdot c) = (a\cdot b)\cdot c$. (Associativity.)

For every three elements $a, b, c\in R$ we have $a\cdot(b + c) = (a\cdot b) + (a\cdot c)$ and $(a + b)\cdot c = (a\cdot c) + (b\cdot c)$. (Distributivity of multiplication over addition.)


Note especially that multiplicative inverses need not exist, and that multiplication need not be commutative.

Common examples of rings include the integers or the integers taken modulo $n$, with addition and multiplication as usual. In addition, every field is a ring.


See also