Definition: A ring is an abelian group with another associative operation over it called multiplication that distributes over the group operation on both sides.
the ring is commutative if multiplication is commutative
the ring has an identity if one exists under multiplication