isCommutative
isCommutative R
-- tells whether the ring R is commutative.
