ring-theory

Ring $(R,+,\ast )$ is a set $R$ defined over two operations $(+)$ and $(\ast )$ satisfying following ring axioms:

1. $R$ is abelian under $(+)$.
2. $R$ is closed under $(\ast )$ and is associative.
3. $(\ast )$ is distributive over $(+)$.