Ring axioms - Imported Knowlpedia Content

The ring axioms specify a set $R$ equipped with two binary operations $+$ and $\cdot$ such that:

$(R,+)$ is an abelian group (with identity element $0$ ).
Multiplication is associative: $(ab)c=a(bc)$ for all $a,b,c\in R$ .
Distributive laws hold: $a(b+c)=ab+ac$ and $(a+b)c=ac+bc$ for all $a,b,c\in R$ .

Remarks

These axioms define a ring (not necessarily unital, and not necessarily commutative). Most structural notions—such as an ideal and a ring homomorphism—are formulated relative to this axiomatic package.