Axiom:Ring Axioms

Definition
A ring is an algebraic structure $\struct {R, *, \circ}$, on which are defined two binary operations $\circ$ and $*$, which satisfy the following conditions:

These criteria are called the ring axioms.

Also presented as
These can also be presented as:

Also defined as
For a ring with unity, the following axiom also holds:

For a commutative ring, the following axiom also holds:

Also see

 * Definition:Ring (Abstract Algebra)