Definition:Ring (Abstract Algebra)

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

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

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.

Also defined as
Some sources insist on another criterion which a ring $\left({S, *, \circ}\right)$ must satisfy to be classified as a semiring:

Such sources refer to what this website calls a ring as a rng (pronounced "rung"): i.e. a "ring" without an "identity".

However, this website specifically defines a ring as one fulfilling axioms $A0 - A4, M0 - M1, D$ only.

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.