Definition:Ring (Abstract Algebra)

Definition
A ring $\left({R, *, \circ}\right)$ is a semiring in which $\left({R, *}\right)$ forms a group.

That is, in addition to $\left({R, *}\right)$ being closed and associative under $*$, it also has an identity, and each element has an inverse.

Ring Axioms
A ring is an algebraic structure $\left({R, *, \circ}\right)$, on which is defined two binary operations $\circ$ and $*$, which satisfies the following conditions:

These four stipulations are called the ring axioms.

Note that a ring is still a semiring, so all properties of a semiring also apply to a ring.

Binding Priority
We usually simplify our brackets somewhat, by imposing the rule:


 * $a \circ b + c = \left({a \circ b}\right) + c$

... that is, ring product has a higher precedence than addition.

Element Categories
The elements in a ring are partitioned into three classes:
 * 1) the zero
 * 2) the units
 * 3) the proper elements.

Historical Note
According to Ian Stewart, the ring axioms were first formulated by Heinrich Martin Weber in 1893.

Also see

 * A commutative ring is a ring $\left({R, +, \circ}\right)$ in which the ring product $\circ$ is commutative.


 * If $\left({R^*, \circ}\right)$ is a monoid, then $\left({R, +, \circ}\right)$ is a ring with unity.


 * A commutative and unitary ring is a commutative ring $\left({R, +, \circ}\right)$ which at the same time is a ring with unity.


 * If $\left({R^*, \circ}\right)$ is a group, then $\left({R, +, \circ}\right)$ is a division ring.


 * If $\left({R^*, \circ}\right)$ is a abelian group, then $\left({R, +, \circ}\right)$ is a field.