Let $(X,+,*)$ be a ring. Since $(X,+)$ is required to be an abelian group, the operation $+$ necessarily is commutative. This needs not to happen for $*$ . Rings where $*$ is commutative, that is, $x*y=y*x$ for all $x,y\in R$ , are called commutative rings.