A [[Ring]] is an algebraic structure aimed to imitate that of addition and multiplication on [[Integer|Integers]]. More formally, a ring is some [[Set]] $R$ with two [[Binary Operation|binary operations]] such that the following [[Axiom|Axioms]] hold: - $(R, +)$ is an [[Abelian Group]] - Multiplication is [[Associative Property|Associative]] on $R$ $a(bc)=(ab)c$ - Multiplication is [[Distributive Property|Distributive]] (left and right) over addition $a(b+c)=ab+ac$ and $(b+c)a=ba+ca$