SMS: Commutative algebra /