SMS: Commutative algebra