SMS: Commutative rings